Home | History | Annotate | Download | only in Analysis

Lines Matching defs:Two

456   // two Line constraints, and the right-hand value, Y, is never
948 // the ZIV test. Basically, we test by comparing the two values,
1123 // the two lines, where i = i', yielding
1253 APInt Two = APInt(Distance.getBitWidth(), 2, true);
1254 Remainder = Distance.srem(Two);
2371 // The difference of the two coefficients might not be a product