Sciweavers

2 search results - page 1 / 1
» Gated SSA-based Demand-Driven Symbolic Analysis for Parallel...
Sort
View
ICS
1995
Tsinghua U.
13 years 8 months ago
Gated SSA-based Demand-Driven Symbolic Analysis for Parallelizing Compilers
In this paper, we present a GSA-based technique that performs more e cient and more precise symbolic analysis of predicated assignments, recurrences and index arrays. The e ciency...
Peng Tu, David A. Padua
LCPC
1995
Springer
13 years 8 months ago
Demand-Driven, Symbolic Range Propagation
Abstract. To e ectively parallelize real programs, parallelizing compilers need powerful symbolic analysis techniques 13, 6]. In previous work we have introduced an algorithm calle...
William Blume, Rudolf Eigenmann