Automatic array privatization and demand-driven symbolic analysis
Peng Tu · 1996
ion for Inner Loop : : : : : : : : : : : : : : : : : : : : : 22 2.3.2 Working through an Example : : : : : : : : : : : : : : : : : : : : : : : : : 26 2.3.3 Profitability of Privatization : : : : : : : : : : : : : : : : : : : : : : : : : : 28 2.3.4 Last Value Assignment : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 30 2.3.4.1 Liveness Analysis : : : : : : : : : : : : : : : : : : : : : : : : : : 30 2.3.4.2 Static and Dynamic Last-Value Assignment : : : : : : : : : : : : 31 2.3.5 Interprocedural Analysis of Privatizable Arrays : : : : : : : : : : : : : : : 33 2.4 Automatic versus Manual Array Privatization : : : : : : : : : : : : : : : : : : : : 35 2.4.1 Limitations and Areas Needing Improvement : : : : : : : : : : : : : : : : 36 2.4.1.1 Simple Enhancement : : : : : : : : : : : : : : : : : : : : : : : : 36 2.4.1.2 Conditional Analysis : : : : : : : : : : : : : : : : : : : : : : : : 37 viii 2.4.1.3 Induction and Monotonic Variable : : : : : : : : : : : : : : : : : 38 2.4.2 Pr...