Revision as of 12:11, 13 August 2024 edit Doradus (talk \| contribs) Extended confirmed users, Pending changes reviewers 6,033 edits m →History: Fix incorrect word order. The cited source uses the order "static single assigmnent"; see heading 2.2 for example ← Previous edit		Revision as of 22:09, 20 October 2024 edit undo 87.70.54.52 (talk) →Block arguments: mention MLton uses BBA, link MLIR Next edit →
Line 123: ===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. [[MLton]], [[Swift (programming language)\|Swift ~~SIL~~]] SIL, and LLVM [[MLIR (software)\|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==

Static single-assignment form: Difference between revisions