Update GTF_VAR_USEASG documentation
authorMike Danes <onemihaid@hotmail.com>
Tue, 12 Dec 2017 17:22:13 +0000 (19:22 +0200)
committerMike Danes <onemihaid@hotmail.com>
Tue, 12 Dec 2017 17:46:26 +0000 (19:46 +0200)
Documentation/botr/ryujit-overview.md
Documentation/botr/ryujit-tutorial.md

index 94eeb06..68110e2 100644 (file)
@@ -103,7 +103,7 @@ The liveness analysis determines the set of defs, as well as the uses that are u
 
 * The live-in and live-out sets are captured in the `bbLiveIn` and `bbLiveOut` fields of the `BasicBlock`.
 * The `GTF_VAR_DEF` flag is set on a lclVar node (all of which are of type `GenTreeLclVarCommon`) that is a definition.
-* The `GTF_VAR_USEASG` flag is set (in addition to the `GTF_VAR_DEF` flag) for the target of an update (e.g. +=).
+* The `GTF_VAR_USEASG` flag is set (in addition to the `GTF_VAR_DEF` flag) on partial definitions of a local variable (i.e. `GT_LCL_FLD` nodes that do not define the entire variable).
 
 ## SSA
 
index 97e64f1..ec8037f 100644 (file)
@@ -299,7 +299,7 @@ They are also the lclVars for which GC ranges will be reported. Although the CLR
 ### Liveness Analysis
 - The live-in and live-out sets are captured in the bbLiveIn and bbLiveOut fields of the BasicBlock.
   - The GTF_VAR_DEF flag is set on a lclVar GenTree node that is a definition.
-  - The GTF_VAR_USEASG flag is set (in addition to the GTF_VAR_DEF flag) for the target of an update (e.g. +=).
+  - The GTF_VAR_USEASG flag is set (in addition to the GTF_VAR_DEF flag) on partial definitions of a local variable (i.e. `GT_LCL_FLD` nodes that do not define the entire variable).
   - GTF_VAR_DEATH is set to indicate the last uses.
 - The bitvector implementation is abstracted and can be changed to a variable sized set.