@@ -149,24 +149,24 @@ MatcherGen::MatcherGen(const PatternToMatch &pattern,
149
149
const CodeGenDAGPatterns &cgp)
150
150
: Pattern(pattern), CGP(cgp), NextRecordedOperandNo(0 ), TheMatcher(nullptr ),
151
151
CurPredicate(nullptr ) {
152
- // We need to produce the matcher tree for the patterns source pattern. To
153
- // do this we need to match the structure as well as the types. To do the
154
- // type matching, we want to figure out the fewest number of type checks we
155
- // need to emit. For example, if there is only one integer type supported
156
- // by a target, there should be no type comparisons at all for integer
157
- // patterns!
158
- //
159
- // To figure out the fewest number of type checks needed, clone the pattern,
160
- // remove the types, then perform type inference on the pattern as a whole.
161
- // If there are unresolved types, emit an explicit check for those types,
162
- // apply the type to the tree, then rerun type inference. Iterate until all
163
- // types are resolved.
164
- //
165
- PatWithNoTypes = Pattern.getSrcPattern ()->clone ();
166
- PatWithNoTypes->RemoveAllTypes ();
152
+ // We need to produce the matcher tree for the patterns source pattern. To
153
+ // do this we need to match the structure as well as the types. To do the
154
+ // type matching, we want to figure out the fewest number of type checks we
155
+ // need to emit. For example, if there is only one integer type supported
156
+ // by a target, there should be no type comparisons at all for integer
157
+ // patterns!
158
+ //
159
+ // To figure out the fewest number of type checks needed, clone the pattern,
160
+ // remove the types, then perform type inference on the pattern as a whole.
161
+ // If there are unresolved types, emit an explicit check for those types,
162
+ // apply the type to the tree, then rerun type inference. Iterate until all
163
+ // types are resolved.
164
+ //
165
+ PatWithNoTypes = Pattern.getSrcPattern ()->clone ();
166
+ PatWithNoTypes->RemoveAllTypes ();
167
167
168
- // If there are types that are manifestly known, infer them.
169
- InferPossibleTypes ();
168
+ // If there are types that are manifestly known, infer them.
169
+ InferPossibleTypes ();
170
170
}
171
171
172
172
// / InferPossibleTypes - As we emit the pattern, we end up generating type
0 commit comments