I have read somewhere about an alternative SSA representation that doesn't use phi nodes but instead uses parameterized basic blocks.
Something like this in an SSA with phi:
block_a: value_a = ... jump block_c block_b: value_b = ... jump block_c block_c: value_c = phi (block_a: value_a), (block_b: value_b) ...
Would look like this in SSA with parameterized basic blocks:
block_a: value_a = ... jump block_c(value_a) block_b: value_b = ... jump block_c(value_b) block_c(value_c): ...
My two questions are:
- What is this called?
- What other alternatives to phi nodes exists in SSA?