On Thu, 2004-01-08 at 18:49, Devang Patel wrote:
Recently I spent some time understanding
"Array SSA form and its use in Parallelization
- Kathleen Knobe, Vivek Sarkar
(POPL 98)"
Any thoughts about their approach?
Yes, that's the one you'll see most often referenced. From what I
remember, we could use the VDEFs as their define-phi nodes. I wouldn't
want to use actual PHI_NODEs because those have specific control-flow
semantics that define-phis don't.
The "time-stamp" @ operators could be added to the virtual operands of
statements. Though we may also want to add them as real statements.
We
will need to quickly collect iteration vectors with all the
corresponding index variables in nested loops for these time stamps.