Beyond Induction Variables: Detecting and Classifying Sequences Using a Demand-driven SSA Form

Beyond Induction Variables: Detecting and Classifying Sequences Using a Demand-driven SSA Form (1995)

Cached

Download Links

by Michael P. Gerlek , Eric Stoltz , Michael Wolfe

Venue:	ACM Transactions on Programming Languages and Systems
Citations:	99 - 5 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Beyond Induction Variables: Detecting and Classifying Sequences Using a Demand-driven SSA Form	user correction - Legacy Corrections
AUTHOR NAME	Michael P. Gerlek	user correction - Legacy Corrections
AUTHOR AFFIL	Oregon Graduate Institute of Science & Technology	user correction - Legacy Corrections
AUTHOR NAME	Eric Stoltz	user correction - Legacy Corrections
AUTHOR NAME	Michael Wolfe	user correction - Legacy Corrections
AUTHOR AFFIL	Categories and Subject Descriptors: D.3.4 [Programming Languages]: Processors---Compilers;; Optimization	user correction - Legacy Corrections
ABSTRACT	this paper we present a practical technique for detecting a broader class of linear induction variables than is usually recognized, as well as several other sequence forms, including periodic, polynomial, geometric, monotonic, and wrap-around variables. Our method is based on Factored Use-Def (FUD) chains, a demand-driven representation of the popular Static Single Assignment form. In this form, strongly connected components of the associated SSA graph correspond to sequences in the source program: we describe a simple yet efficient algorithm for detecting and classifying these sequences. We have implemented this algorithm in Nascent, our restructuring Fortran 90+ compiler, and we present some results showing the effectiveness of our approach.	user correction - Legacy Corrections
YEAR	1995	INFERENCE
VENUE	ACM Transactions on Programming Languages and Systems	INFERENCE
VENUE TYPE	JOURNAL	INFERENCE
PAGES	85--122	INFERENCE
VOLUME	17	INFERENCE
CITATIONS	25 found	ParsCit 1.0