search

BoiseState-AdaptLab / IEGenLib

Inspector/Executor Generation Library for manipulating sets and relations with uninterpreted function symbols.
BSD 2-Clause "Simplified" License
2 stars 4 forks source link

Static SSA new approach #170

Open kalyanbhetwal opened 2 years ago

kalyanbhetwal commented 2 years ago
  1. SSA should be done after finalizing the computation
  2. Add phi node as a statement having the same execution schedule as the statement at the same level
  3. Implement the SSA algorithm based on the CYTRON paper [ https://www.cs.utexas.edu/~pingali/CS380C/2010/papers/ssaCytron.pdf ]