The current code incorrectly returned the first instead of the last row.
This fixes the debug output.
bool isConditionImplied(SmallVector<int64_t, 8> R) const;
- ArrayRef<int64_t> getLastConstraint() { return Constraints[0]; }
+ ArrayRef<int64_t> getLastConstraint() { return Constraints.back(); }
void popLastConstraint() { Constraints.pop_back(); }
void popLastNVariables(unsigned N) {
for (auto &C : Constraints) {
; CHECK: Checking %t.1 = icmp ule i4 %x, %z
; CHECK: Condition %t.1 = icmp ule i4 %x, %z implied by dominating constraints
-; CHECK: Removing %x + -1 * %y <= 0
+; CHECK: Removing %y + -1 * %z <= 0
; CHECK: Removing %x + -1 * %y <= 0
entry: