> Bril’s SSA form needs a full rework, probably including an actual language extension along the lines of MLIR’s basic block arguments.
The linked MLIR documentation, in turn, credits Swift for that idea, but the earliest occurrence of phis as continuation arguments I know is in MLton. It’d be interesting to know where this idea comes from initially, because standard phis really are incredibly awkward.
replies(2):