summary refs log tree commit diff
path: root/doc/il.txt
diff options
context:
space:
mode:
authorQuentin Carbonneaux <quentin.carbonneaux@yale.edu>2016-11-09 22:34:05 -0500
committerQuentin Carbonneaux <quentin.carbonneaux@yale.edu>2016-11-09 22:34:05 -0500
commit6ed62fe94531f2e56c58d1d7891e099de0a26663 (patch)
tree6a7a3c6f75a9b9c69fc67f55d733cb8b5e8fd6cb /doc/il.txt
parent3e8a18dd1b322a811550da9874a2612dd8ad4b03 (diff)
downloadroux-6ed62fe94531f2e56c58d1d7891e099de0a26663.tar.gz
doc nits
Diffstat (limited to 'doc/il.txt')
-rw-r--r--doc/il.txt10
1 files changed, 5 insertions, 5 deletions
diff --git a/doc/il.txt b/doc/il.txt
index 51525d7..865b81f 100644
--- a/doc/il.txt
+++ b/doc/il.txt
@@ -761,7 +761,7 @@ will be correctly compiled by QBE.
     @end
             ret %s
 
-Now, if you want to know what a phi instruction is and how
+Now, if you want to know what phi instructions are and how
 to use them in QBE, you can read the following.
 
 Phi instructions are specific to SSA form.  In SSA form
@@ -791,10 +791,10 @@ translate it in SSA form is to insert a phi instruction.
             %y =w phi @ift 1, @iff 2
             ret %y
 
-The phi in the example expresses a choice depending on
-which block the control came from.  When the `@ift` block
-is taken, the phi instruction defining `%y` selects 1;
-if `@iff` is taken, 2 is selected.
+Phi instructions return one of their arguments depending
+on where the control came from.  In the example, `%y` is
+set to 1 if the `@ift` branch is taken, and it is set to
+2 otherwise.
 
 An important remark about phi instructions is that QBE
 assumes that if a variable is defined by a phi it respects