Sciweavers

41 search results - page 1 / 9
» Translating Out of Static Single Assignment Form
Sort
View
SAS
1999
Springer
106views Formal Methods» more  SAS 1999»
14 years 3 months ago
Translating Out of Static Single Assignment Form
Programs represented in Static Single Assignment (SSA) form contain phi instructions (or functions) whose operational semantics are to merge values coming from distinct control flo...
Vugranam C. Sreedhar, Roy Dz-Ching Ju, David M. Gi...
CGO
2004
IEEE
14 years 2 months ago
Optimizing Translation Out of SSA Using Renaming Constraints
Static Single Assignment form is an intermediate representation that uses instructions to merge values at each confluent point of the control flow graph. instructions are not ma...
Fabrice Rastello, François de Ferriè...
EUROPAR
2008
Springer
14 years 19 days ago
Efficiently Building the Gated Single Assignment Form in Codes with Pointers in Modern Optimizing Compilers
Abstract. Understanding program behavior is at the foundation of program optimization. Techniques for automatic recognition of program constructs characterize the behavior of code ...
Manuel Arenaz, Pedro Amoedo, Juan Touriño
WCRE
2007
IEEE
14 years 5 months ago
Interprocedural Static Single Assignment Form
In this paper we describe interprocedural static single assignment form (ISSA) with optimizations as implemented in the Bauhaus project. We explain our framework which abstract pr...
Stefan Staiger, Gunther Vogel, Steffen Keul, Eduar...
SPE
1998
88views more  SPE 1998»
13 years 10 months ago
Practical Improvements to the Construction and Destruction of Static Single Assignment Form
Preston Briggs, Keith D. Cooper, Timothy J. Harvey...