T0b1/wasmtime
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

[cranelift] Fix block and value names in IR documentation

Browse Source
This commit is contained in:
Samrat Man Singh
2020-03-17 09:33:39 +05:30
committed by Benjamin Bouvier
parent ec5442c12a
commit 50496efb6b
1 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
cranelift/docs/ir.md
View File

@@ -116,11 +116,11 @@ arguments to the entry EBB's parameters.
Instructions define zero, one, or more result values. All SSA values are either
EBB parameters or instruction results.
In the example above, the loop induction variable `i` is represented as three
SSA values: In the entry block, `v4` is the initial value. In the loop block
`ebb2`, the EBB parameter `v5` represents the value of the induction
variable during each iteration. Finally, `v12` is computed as the induction
variable value for the next iteration.
In the example above, the loop induction variable `i` is represented
as three SSA values: In `block2`, `v3` is the initial value. In the
loop block `block3`, the EBB parameter `v4` represents the value of the
induction variable during each iteration. Finally, `v11` is computed
as the induction variable value for the next iteration.
The `cranelift_frontend` crate contains utilities for translating from programs
containing multiple assignments to the same variables into SSA form for