joker-eph wrote: > We also discussed that having an SSA semantic is a design choice. SSA semantics to me implies that these are tracked and honored in the lowering: is it the case though? https://github.com/llvm/llvm-project/pull/130482