@@ -125,9 +125,8 @@ constexpr unsigned MaxPartialDeadStoreCountLimit = 1;
125
125
// / basic block.
126
126
// /
127
127
// / Initially WriteSetIn is set to true. After the basic block is processed, if
128
- // / its
129
- // / WriteSetOut is different from WriteSetIn, WriteSetIn is initialized to the
130
- // / value of WriteSetOut and the data flow is rerun.
128
+ // / its WriteSetOut is different from WriteSetIn, WriteSetIn is initialized to
129
+ // / the value of WriteSetOut and the data flow is rerun.
131
130
// /
132
131
// / Instructions in each basic block are processed in post-order as follows:
133
132
// /
@@ -137,7 +136,7 @@ constexpr unsigned MaxPartialDeadStoreCountLimit = 1;
137
136
// / any location it may alias with from the WriteSetOut.
138
137
// /
139
138
// / 3. When an instruction reads from memory in an unknown way, the WriteSetOut
140
- // / bit is cleared if the instruction can read the MemLocation.
139
+ // / bit is cleared if the instruction can read the corresponding MemLocation.
141
140
// /
142
141
class BBState {
143
142
public:
@@ -203,8 +202,8 @@ class BBState {
203
202
BBKillSet.resize (MemLocationCount, false );
204
203
}
205
204
206
- // / Check whether the WriteSetIn has changed. If it does, we need to reiterate
207
- // / to reach fixed point.
205
+ // / Check whether the WriteSetIn has changed. If it does, we need to rerun
206
+ // / the data flow to reach fixed point.
208
207
bool updateWriteSetIn ();
209
208
210
209
// / Functions to manipulate the write set.
0 commit comments