3 ms·

what's SSA-form?

• UncleMeat 4y ago
  An IR form where each variable is assigned to exactly once. It makes reasoning about a lot of local properties cleaner since you know that the value of a register is set by its single def site. The idea has also been expanded to modeling heaps for aiding reasoning about field loads and stores.