Lines Matching refs:Consistent
261 Consistent = true; in FullDependence()
1113 Result.Consistent = false; in testZIV()
1221 Result.Consistent = false; in strongSIVtest()
1292 Result.Consistent = false; in weakCrossingSIVtest()
1494 Result.Consistent = false; in exactSIVtest()
1690 Result.Consistent = false; in weakZeroSrcSIVtest()
1799 Result.Consistent = false; in weakZeroDstSIVtest()
1879 Result.Consistent = false; in exactRDIVtest()
2280 Result.Consistent = false; in testMIV()
3058 bool &Consistent) { in propagate() argument
3064 Result |= propagateDistance(Src, Dst, Constraints[LI], Consistent); in propagate()
3066 Result |= propagateLine(Src, Dst, Constraints[LI], Consistent); in propagate()
3081 bool &Consistent) { in propagateDistance() argument
3095 Consistent = false; in propagateDistance()
3107 bool &Consistent) { in propagateLine() argument
3129 Consistent = false; in propagateLine()
3143 Consistent = false; in propagateLine()
3158 Consistent = false; in propagateLine()
3169 Consistent = false; in propagateLine()
3665 Result.Consistent = false; in depends()
3792 Constraints, Result.Consistent)) { in depends()
4001 Result.Consistent = false; in getSplitIteration()
4090 Pair[SJ].Loops, Constraints, Result.Consistent)) { in getSplitIteration()