Static single-assignment form: Difference between revisions

Content deleted Content added
No edit summary
No edit summary
Line 119:
===Block arguments===
 
Block arguments are an alternative to Φ functions that is representationally identical but in practice can be more convenient during optimization. Blocks are named and take a list of block arguments, notated as function parameters. When calling a block the block arguments are bound to specified values. [[Swift SIL (programming language)|Swift SIL]] and MLIR use block arguments.<ref>{{cite web |title=Block Arguments vs PHI nodes - MLIR Rationale |url=https://mlir.llvm.org/docs/Rationale/Rationale/#block-arguments-vs-phi-nodes |website=mlir.llvm.org |access-date=4 March 2022}}</ref>
 
==Converting out of SSA form==