[llvm] 97a6c15 - [ConstraintElim] Add extra info transfer tests for #72879.
Florian Hahn via llvm-commits
llvm-commits at lists.llvm.org
Mon Nov 20 14:43:11 PST 2023
Author: Florian Hahn
Date: 2023-11-20T22:42:30Z
New Revision: 97a6c1534f65f2a9ac4490269b0051475d8384d9
URL: https://github.com/llvm/llvm-project/commit/97a6c1534f65f2a9ac4490269b0051475d8384d9
DIFF: https://github.com/llvm/llvm-project/commit/97a6c1534f65f2a9ac4490269b0051475d8384d9.diff
LOG: [ConstraintElim] Add extra info transfer tests for #72879.
Extend test coverage to include all predicates we support transfers for.
Added:
llvm/test/Transforms/ConstraintElimination/transfer-signed-facts-to-unsigned-is-known-non-negative.ll
llvm/test/Transforms/ConstraintElimination/transfer-unsigned-facts-to-signed-is-known-non-negative.ll
Modified:
llvm/test/Transforms/ConstraintElimination/transfer-signed-facts-to-unsigned.ll
Removed:
################################################################################
diff --git a/llvm/test/Transforms/ConstraintElimination/transfer-signed-facts-to-unsigned-is-known-non-negative.ll b/llvm/test/Transforms/ConstraintElimination/transfer-signed-facts-to-unsigned-is-known-non-negative.ll
new file mode 100644
index 000000000000000..e75cf70b71af0d6
--- /dev/null
+++ b/llvm/test/Transforms/ConstraintElimination/transfer-signed-facts-to-unsigned-is-known-non-negative.ll
@@ -0,0 +1,495 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s
+
+declare void @use(i1)
+
+define void @iv_known_non_negative_constant_trip_count() {
+; CHECK-LABEL: @iv_known_non_negative_constant_trip_count(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: br label [[LOOP_HEADER:%.*]]
+; CHECK: loop.header:
+; CHECK-NEXT: [[IV:%.*]] = phi i8 [ 0, [[ENTRY:%.*]] ], [ [[IV_NEXT:%.*]], [[LOOP_LATCH:%.*]] ]
+; CHECK-NEXT: [[CMP:%.*]] = icmp slt i8 [[IV]], 2
+; CHECK-NEXT: br i1 [[CMP]], label [[LOOP_LATCH]], label [[EXIT_1:%.*]]
+; CHECK: loop.latch:
+; CHECK-NEXT: [[T_1:%.*]] = icmp ugt i8 2, [[IV]]
+; CHECK-NEXT: call void @use(i1 [[T_1]])
+; CHECK-NEXT: [[T_2:%.*]] = icmp sgt i8 2, [[IV]]
+; CHECK-NEXT: call void @use(i1 [[T_2]])
+; CHECK-NEXT: [[F_1:%.*]] = icmp ule i8 2, [[IV]]
+; CHECK-NEXT: call void @use(i1 [[F_1]])
+; CHECK-NEXT: [[F_2:%.*]] = icmp sle i8 2, [[IV]]
+; CHECK-NEXT: call void @use(i1 [[F_2]])
+; CHECK-NEXT: [[C_0:%.*]] = icmp ugt i8 [[IV]], 2
+; CHECK-NEXT: call void @use(i1 [[C_0]])
+; CHECK-NEXT: [[IV_NEXT]] = add nuw nsw i8 [[IV]], 1
+; CHECK-NEXT: br label [[LOOP_HEADER]]
+; CHECK: exit.1:
+; CHECK-NEXT: ret void
+;
+entry:
+ br label %loop.header
+
+loop.header:
+ %iv = phi i8 [ 0, %entry ], [ %iv.next, %loop.latch ]
+ %cmp = icmp slt i8 %iv, 2
+ br i1 %cmp, label %loop.latch, label %exit.1
+
+loop.latch:
+ %t.1 = icmp ugt i8 2, %iv
+ call void @use(i1 %t.1)
+ %t.2 = icmp sgt i8 2, %iv
+ call void @use(i1 %t.2)
+ %f.1 = icmp ule i8 2, %iv
+ call void @use(i1 %f.1)
+ %f.2 = icmp sle i8 2, %iv
+ call void @use(i1 %f.2)
+ %c.0 = icmp ugt i8 %iv, 2
+ call void @use(i1 %c.0)
+ %iv.next = add nuw nsw i8 %iv, 1
+ br label %loop.header
+
+exit.1:
+ ret void
+}
+
+define void @iv_known_non_negative_constant_trip_count_no_nsw_flag(i8 %N) {
+; CHECK-LABEL: @iv_known_non_negative_constant_trip_count_no_nsw_flag(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: br label [[LOOP_HEADER:%.*]]
+; CHECK: loop.header:
+; CHECK-NEXT: [[IV:%.*]] = phi i8 [ 0, [[ENTRY:%.*]] ], [ [[IV_NEXT:%.*]], [[LOOP_LATCH:%.*]] ]
+; CHECK-NEXT: [[CMP:%.*]] = icmp slt i8 [[IV]], 2
+; CHECK-NEXT: br i1 [[CMP]], label [[LOOP_LATCH]], label [[EXIT_1:%.*]]
+; CHECK: loop.latch:
+; CHECK-NEXT: [[T_1:%.*]] = icmp ugt i8 [[N:%.*]], [[IV]]
+; CHECK-NEXT: call void @use(i1 [[T_1]])
+; CHECK-NEXT: [[T_2:%.*]] = icmp sgt i8 [[N]], [[IV]]
+; CHECK-NEXT: call void @use(i1 [[T_2]])
+; CHECK-NEXT: [[F_1:%.*]] = icmp ule i8 [[N]], [[IV]]
+; CHECK-NEXT: call void @use(i1 [[F_1]])
+; CHECK-NEXT: [[F_2:%.*]] = icmp sle i8 [[N]], [[IV]]
+; CHECK-NEXT: call void @use(i1 [[F_2]])
+; CHECK-NEXT: [[C_0:%.*]] = icmp ugt i8 [[IV]], 2
+; CHECK-NEXT: call void @use(i1 [[C_0]])
+; CHECK-NEXT: [[IV_NEXT]] = add nuw i8 [[IV]], 1
+; CHECK-NEXT: br label [[LOOP_HEADER]]
+; CHECK: exit.1:
+; CHECK-NEXT: ret void
+;
+entry:
+ br label %loop.header
+
+loop.header:
+ %iv = phi i8 [ 0, %entry ], [ %iv.next, %loop.latch ]
+ %cmp = icmp slt i8 %iv, 2
+ br i1 %cmp, label %loop.latch, label %exit.1
+
+loop.latch:
+ %t.1 = icmp ugt i8 %N, %iv
+ call void @use(i1 %t.1)
+ %t.2 = icmp sgt i8 %N, %iv
+ call void @use(i1 %t.2)
+ %f.1 = icmp ule i8 %N, %iv
+ call void @use(i1 %f.1)
+ %f.2 = icmp sle i8 %N, %iv
+ call void @use(i1 %f.2)
+ %c.0 = icmp ugt i8 %iv, 2
+ call void @use(i1 %c.0)
+ %iv.next = add nuw i8 %iv, 1
+ br label %loop.header
+
+exit.1:
+ ret void
+}
+
+define void @iv_known_non_negative_variable_trip_count(i8 %N) {
+; CHECK-LABEL: @iv_known_non_negative_variable_trip_count(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: br label [[LOOP_HEADER:%.*]]
+; CHECK: loop.header:
+; CHECK-NEXT: [[IV:%.*]] = phi i8 [ 0, [[ENTRY:%.*]] ], [ [[IV_NEXT:%.*]], [[LOOP_LATCH:%.*]] ]
+; CHECK-NEXT: [[CMP:%.*]] = icmp slt i8 [[IV]], [[N:%.*]]
+; CHECK-NEXT: br i1 [[CMP]], label [[LOOP_LATCH]], label [[EXIT_1:%.*]]
+; CHECK: loop.latch:
+; CHECK-NEXT: [[T_1:%.*]] = icmp ugt i8 [[N]], [[IV]]
+; CHECK-NEXT: call void @use(i1 [[T_1]])
+; CHECK-NEXT: call void @use(i1 true)
+; CHECK-NEXT: [[F_1:%.*]] = icmp ule i8 [[N]], [[IV]]
+; CHECK-NEXT: call void @use(i1 [[F_1]])
+; CHECK-NEXT: call void @use(i1 false)
+; CHECK-NEXT: [[C_0:%.*]] = icmp ugt i8 [[IV]], 2
+; CHECK-NEXT: call void @use(i1 [[C_0]])
+; CHECK-NEXT: [[IV_NEXT]] = add nuw nsw i8 [[IV]], 1
+; CHECK-NEXT: br label [[LOOP_HEADER]]
+; CHECK: exit.1:
+; CHECK-NEXT: ret void
+;
+entry:
+ br label %loop.header
+
+loop.header:
+ %iv = phi i8 [ 0, %entry ], [ %iv.next, %loop.latch ]
+ %cmp = icmp slt i8 %iv, %N
+ br i1 %cmp, label %loop.latch, label %exit.1
+
+loop.latch:
+ %t.1 = icmp ugt i8 %N, %iv
+ call void @use(i1 %t.1)
+ %t.2 = icmp sgt i8 %N, %iv
+ call void @use(i1 %t.2)
+ %f.1 = icmp ule i8 %N, %iv
+ call void @use(i1 %f.1)
+ %f.2 = icmp sle i8 %N, %iv
+ call void @use(i1 %f.2)
+ %c.0 = icmp ugt i8 %iv, 2
+ call void @use(i1 %c.0)
+ %iv.next = add nuw nsw i8 %iv, 1
+ br label %loop.header
+
+exit.1:
+ ret void
+}
+
+define void @iv_may_signed_wrap_variable_trip_count(i8 %N) {
+; CHECK-LABEL: @iv_may_signed_wrap_variable_trip_count(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: br label [[LOOP_HEADER:%.*]]
+; CHECK: loop.header:
+; CHECK-NEXT: [[IV:%.*]] = phi i8 [ 0, [[ENTRY:%.*]] ], [ [[IV_NEXT:%.*]], [[LOOP_LATCH:%.*]] ]
+; CHECK-NEXT: [[CMP:%.*]] = icmp slt i8 [[IV]], [[N:%.*]]
+; CHECK-NEXT: br i1 [[CMP]], label [[LOOP_LATCH]], label [[EXIT_1:%.*]]
+; CHECK: loop.latch:
+; CHECK-NEXT: [[T_1:%.*]] = icmp ugt i8 [[N]], [[IV]]
+; CHECK-NEXT: call void @use(i1 [[T_1]])
+; CHECK-NEXT: call void @use(i1 true)
+; CHECK-NEXT: [[F_1:%.*]] = icmp ule i8 [[N]], [[IV]]
+; CHECK-NEXT: call void @use(i1 [[F_1]])
+; CHECK-NEXT: call void @use(i1 false)
+; CHECK-NEXT: [[C_0:%.*]] = icmp ugt i8 [[IV]], 2
+; CHECK-NEXT: call void @use(i1 [[C_0]])
+; CHECK-NEXT: [[IV_NEXT]] = add nuw i8 [[IV]], 1
+; CHECK-NEXT: br label [[LOOP_HEADER]]
+; CHECK: exit.1:
+; CHECK-NEXT: ret void
+;
+entry:
+ br label %loop.header
+
+loop.header:
+ %iv = phi i8 [ 0, %entry ], [ %iv.next, %loop.latch ]
+ %cmp = icmp slt i8 %iv, %N
+ br i1 %cmp, label %loop.latch, label %exit.1
+
+loop.latch:
+ %t.1 = icmp ugt i8 %N, %iv
+ call void @use(i1 %t.1)
+ %t.2 = icmp sgt i8 %N, %iv
+ call void @use(i1 %t.2)
+ %f.1 = icmp ule i8 %N, %iv
+ call void @use(i1 %f.1)
+ %f.2 = icmp sle i8 %N, %iv
+ call void @use(i1 %f.2)
+ %c.0 = icmp ugt i8 %iv, 2
+ call void @use(i1 %c.0)
+ %iv.next = add nuw i8 %iv, 1
+ br label %loop.header
+
+exit.1:
+ ret void
+}
+
+define void @iv_known_non_negative_iv_constant_trip_count_sgt() {
+; CHECK-LABEL: @iv_known_non_negative_iv_constant_trip_count_sgt(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: br label [[LOOP_HEADER:%.*]]
+; CHECK: loop.header:
+; CHECK-NEXT: [[IV:%.*]] = phi i8 [ 0, [[ENTRY:%.*]] ], [ [[IV_NEXT:%.*]], [[LOOP_LATCH:%.*]] ]
+; CHECK-NEXT: [[CMP:%.*]] = icmp sgt i8 2, [[IV]]
+; CHECK-NEXT: br i1 [[CMP]], label [[LOOP_LATCH]], label [[EXIT_1:%.*]]
+; CHECK: loop.latch:
+; CHECK-NEXT: [[T_1:%.*]] = icmp ugt i8 [[IV]], 2
+; CHECK-NEXT: call void @use(i1 [[T_1]])
+; CHECK-NEXT: [[T_2:%.*]] = icmp sgt i8 2, [[IV]]
+; CHECK-NEXT: call void @use(i1 [[T_2]])
+; CHECK-NEXT: [[F_1:%.*]] = icmp ule i8 2, [[IV]]
+; CHECK-NEXT: call void @use(i1 [[F_1]])
+; CHECK-NEXT: [[F_2:%.*]] = icmp sle i8 2, [[IV]]
+; CHECK-NEXT: call void @use(i1 [[F_2]])
+; CHECK-NEXT: [[C_0:%.*]] = icmp ugt i8 [[IV]], 2
+; CHECK-NEXT: call void @use(i1 [[C_0]])
+; CHECK-NEXT: [[IV_NEXT]] = add nuw nsw i8 [[IV]], 1
+; CHECK-NEXT: br label [[LOOP_HEADER]]
+; CHECK: exit.1:
+; CHECK-NEXT: ret void
+;
+entry:
+ br label %loop.header
+
+loop.header:
+ %iv = phi i8 [ 0, %entry ], [ %iv.next, %loop.latch ]
+ %cmp = icmp sgt i8 2, %iv
+ br i1 %cmp, label %loop.latch, label %exit.1
+
+loop.latch:
+ %t.1 = icmp ugt i8 %iv, 2
+ call void @use(i1 %t.1)
+ %t.2 = icmp sgt i8 2, %iv
+ call void @use(i1 %t.2)
+ %f.1 = icmp ule i8 2, %iv
+ call void @use(i1 %f.1)
+ %f.2 = icmp sle i8 2, %iv
+ call void @use(i1 %f.2)
+ %c.0 = icmp ugt i8 %iv, 2
+ call void @use(i1 %c.0)
+ %iv.next = add nsw nuw i8 %iv, 1
+ br label %loop.header
+
+exit.1:
+ ret void
+}
+
+define void @iv_known_non_negative_iv_variable_trip_count_sgt(i8 %N) {
+; CHECK-LABEL: @iv_known_non_negative_iv_variable_trip_count_sgt(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: br label [[LOOP_HEADER:%.*]]
+; CHECK: loop.header:
+; CHECK-NEXT: [[IV:%.*]] = phi i8 [ 0, [[ENTRY:%.*]] ], [ [[IV_NEXT:%.*]], [[LOOP_LATCH:%.*]] ]
+; CHECK-NEXT: [[CMP:%.*]] = icmp sgt i8 [[N:%.*]], [[IV]]
+; CHECK-NEXT: br i1 [[CMP]], label [[LOOP_LATCH]], label [[EXIT_1:%.*]]
+; CHECK: loop.latch:
+; CHECK-NEXT: [[T_1:%.*]] = icmp ugt i8 [[IV]], [[N]]
+; CHECK-NEXT: call void @use(i1 [[T_1]])
+; CHECK-NEXT: call void @use(i1 true)
+; CHECK-NEXT: [[F_1:%.*]] = icmp ule i8 [[N]], [[IV]]
+; CHECK-NEXT: call void @use(i1 [[F_1]])
+; CHECK-NEXT: call void @use(i1 false)
+; CHECK-NEXT: [[C_0:%.*]] = icmp ugt i8 [[IV]], 2
+; CHECK-NEXT: call void @use(i1 [[C_0]])
+; CHECK-NEXT: [[IV_NEXT]] = add nuw nsw i8 [[IV]], 1
+; CHECK-NEXT: br label [[LOOP_HEADER]]
+; CHECK: exit.1:
+; CHECK-NEXT: ret void
+;
+entry:
+ br label %loop.header
+
+loop.header:
+ %iv = phi i8 [ 0, %entry ], [ %iv.next, %loop.latch ]
+ %cmp = icmp sgt i8 %N, %iv
+ br i1 %cmp, label %loop.latch, label %exit.1
+
+loop.latch:
+ %t.1 = icmp ugt i8 %iv, %N
+ call void @use(i1 %t.1)
+ %t.2 = icmp sgt i8 %N, %iv
+ call void @use(i1 %t.2)
+ %f.1 = icmp ule i8 %N, %iv
+ call void @use(i1 %f.1)
+ %f.2 = icmp sle i8 %N, %iv
+ call void @use(i1 %f.2)
+ %c.0 = icmp ugt i8 %iv, 2
+ call void @use(i1 %c.0)
+ %iv.next = add nsw nuw i8 %iv, 1
+ br label %loop.header
+
+exit.1:
+ ret void
+}
+
+
+define void @iv_known_non_negative_iv_variable_trip_count_sgt_ops_flipped(i8 %N) {
+; CHECK-LABEL: @iv_known_non_negative_iv_variable_trip_count_sgt_ops_flipped(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: br label [[LOOP_HEADER:%.*]]
+; CHECK: loop.header:
+; CHECK-NEXT: [[IV:%.*]] = phi i8 [ 0, [[ENTRY:%.*]] ], [ [[IV_NEXT:%.*]], [[LOOP_LATCH:%.*]] ]
+; CHECK-NEXT: [[CMP:%.*]] = icmp sgt i8 [[IV]], [[N:%.*]]
+; CHECK-NEXT: br i1 [[CMP]], label [[LOOP_LATCH]], label [[EXIT_1:%.*]]
+; CHECK: loop.latch:
+; CHECK-NEXT: [[T_1:%.*]] = icmp ugt i8 [[IV]], [[N]]
+; CHECK-NEXT: call void @use(i1 [[T_1]])
+; CHECK-NEXT: call void @use(i1 true)
+; CHECK-NEXT: [[F_1:%.*]] = icmp ule i8 [[N]], [[IV]]
+; CHECK-NEXT: call void @use(i1 [[F_1]])
+; CHECK-NEXT: call void @use(i1 true)
+; CHECK-NEXT: [[C_0:%.*]] = icmp ugt i8 [[IV]], 2
+; CHECK-NEXT: call void @use(i1 [[C_0]])
+; CHECK-NEXT: [[IV_NEXT]] = add nuw nsw i8 [[IV]], 1
+; CHECK-NEXT: br label [[LOOP_HEADER]]
+; CHECK: exit.1:
+; CHECK-NEXT: ret void
+;
+entry:
+ br label %loop.header
+
+loop.header:
+ %iv = phi i8 [ 0, %entry ], [ %iv.next, %loop.latch ]
+ %cmp = icmp sgt i8 %iv, %N
+ br i1 %cmp, label %loop.latch, label %exit.1
+
+loop.latch:
+ %t.1 = icmp ugt i8 %iv, %N
+ call void @use(i1 %t.1)
+ %t.2 = icmp sgt i8 %iv, %N
+ call void @use(i1 %t.2)
+ %f.1 = icmp ule i8 %N, %iv
+ call void @use(i1 %f.1)
+ %f.2 = icmp sle i8 %N, %iv
+ call void @use(i1 %f.2)
+ %c.0 = icmp ugt i8 %iv, 2
+ call void @use(i1 %c.0)
+ %iv.next = add nsw nuw i8 %iv, 1
+ br label %loop.header
+
+exit.1:
+ ret void
+}
+
+define void @iv_known_non_negative_iv_constant_trip_count_sge() {
+; CHECK-LABEL: @iv_known_non_negative_iv_constant_trip_count_sge(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: br label [[LOOP_HEADER:%.*]]
+; CHECK: loop.header:
+; CHECK-NEXT: [[IV:%.*]] = phi i8 [ 0, [[ENTRY:%.*]] ], [ [[IV_NEXT:%.*]], [[LOOP_LATCH:%.*]] ]
+; CHECK-NEXT: [[CMP:%.*]] = icmp sge i8 2, [[IV]]
+; CHECK-NEXT: br i1 [[CMP]], label [[LOOP_LATCH]], label [[EXIT_1:%.*]]
+; CHECK: loop.latch:
+; CHECK-NEXT: [[T_1:%.*]] = icmp uge i8 2, [[IV]]
+; CHECK-NEXT: call void @use(i1 [[T_1]])
+; CHECK-NEXT: [[T_2:%.*]] = icmp sge i8 2, [[IV]]
+; CHECK-NEXT: call void @use(i1 [[T_2]])
+; CHECK-NEXT: [[F_1:%.*]] = icmp ult i8 2, [[IV]]
+; CHECK-NEXT: call void @use(i1 [[F_1]])
+; CHECK-NEXT: [[F_2:%.*]] = icmp slt i8 2, [[IV]]
+; CHECK-NEXT: call void @use(i1 [[F_2]])
+; CHECK-NEXT: [[C_0:%.*]] = icmp ugt i8 [[IV]], 2
+; CHECK-NEXT: call void @use(i1 [[C_0]])
+; CHECK-NEXT: [[IV_NEXT]] = add nuw nsw i8 [[IV]], 1
+; CHECK-NEXT: br label [[LOOP_HEADER]]
+; CHECK: exit.1:
+; CHECK-NEXT: ret void
+;
+entry:
+ br label %loop.header
+
+loop.header:
+ %iv = phi i8 [ 0, %entry ], [ %iv.next, %loop.latch ]
+ %cmp = icmp sge i8 2, %iv
+ br i1 %cmp, label %loop.latch, label %exit.1
+
+loop.latch:
+ %t.1 = icmp uge i8 2, %iv
+ call void @use(i1 %t.1)
+ %t.2 = icmp sge i8 2, %iv
+ call void @use(i1 %t.2)
+ %f.1 = icmp ult i8 2, %iv
+ call void @use(i1 %f.1)
+ %f.2 = icmp slt i8 2, %iv
+ call void @use(i1 %f.2)
+ %c.0 = icmp ugt i8 %iv, 2
+ call void @use(i1 %c.0)
+ %iv.next = add nsw nuw i8 %iv, 1
+ br label %loop.header
+
+exit.1:
+ ret void
+}
+
+define void @iv_known_non_negative_iv_variable_trip_count_sge(i8 %N) {
+; CHECK-LABEL: @iv_known_non_negative_iv_variable_trip_count_sge(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: br label [[LOOP_HEADER:%.*]]
+; CHECK: loop.header:
+; CHECK-NEXT: [[IV:%.*]] = phi i8 [ 0, [[ENTRY:%.*]] ], [ [[IV_NEXT:%.*]], [[LOOP_LATCH:%.*]] ]
+; CHECK-NEXT: [[CMP:%.*]] = icmp sge i8 [[N:%.*]], [[IV]]
+; CHECK-NEXT: br i1 [[CMP]], label [[LOOP_LATCH]], label [[EXIT_1:%.*]]
+; CHECK: loop.latch:
+; CHECK-NEXT: [[T_1:%.*]] = icmp uge i8 [[N]], [[IV]]
+; CHECK-NEXT: call void @use(i1 [[T_1]])
+; CHECK-NEXT: call void @use(i1 true)
+; CHECK-NEXT: [[F_1:%.*]] = icmp ult i8 [[N]], [[IV]]
+; CHECK-NEXT: call void @use(i1 [[F_1]])
+; CHECK-NEXT: call void @use(i1 false)
+; CHECK-NEXT: [[C_0:%.*]] = icmp ugt i8 [[IV]], 2
+; CHECK-NEXT: call void @use(i1 [[C_0]])
+; CHECK-NEXT: [[IV_NEXT]] = add nuw nsw i8 [[IV]], 1
+; CHECK-NEXT: br label [[LOOP_HEADER]]
+; CHECK: exit.1:
+; CHECK-NEXT: ret void
+;
+entry:
+ br label %loop.header
+
+loop.header:
+ %iv = phi i8 [ 0, %entry ], [ %iv.next, %loop.latch ]
+ %cmp = icmp sge i8 %N, %iv
+ br i1 %cmp, label %loop.latch, label %exit.1
+
+loop.latch:
+ %t.1 = icmp uge i8 %N, %iv
+ call void @use(i1 %t.1)
+ %t.2 = icmp sge i8 %N, %iv
+ call void @use(i1 %t.2)
+ %f.1 = icmp ult i8 %N, %iv
+ call void @use(i1 %f.1)
+ %f.2 = icmp slt i8 %N, %iv
+ call void @use(i1 %f.2)
+ %c.0 = icmp ugt i8 %iv, 2
+ call void @use(i1 %c.0)
+ %iv.next = add nsw nuw i8 %iv, 1
+ br label %loop.header
+
+exit.1:
+ ret void
+}
+
+define void @iv_known_non_negative_iv_variable_trip_count_sge_operands_swapped(i8 %N) {
+; CHECK-LABEL: @iv_known_non_negative_iv_variable_trip_count_sge_operands_swapped(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: br label [[LOOP_HEADER:%.*]]
+; CHECK: loop.header:
+; CHECK-NEXT: [[IV:%.*]] = phi i8 [ 0, [[ENTRY:%.*]] ], [ [[IV_NEXT:%.*]], [[LOOP_LATCH:%.*]] ]
+; CHECK-NEXT: [[CMP:%.*]] = icmp sge i8 [[IV]], [[N:%.*]]
+; CHECK-NEXT: br i1 [[CMP]], label [[LOOP_LATCH]], label [[EXIT_1:%.*]]
+; CHECK: loop.latch:
+; CHECK-NEXT: [[T_1:%.*]] = icmp uge i8 [[N]], [[IV]]
+; CHECK-NEXT: call void @use(i1 [[T_1]])
+; CHECK-NEXT: [[T_2:%.*]] = icmp sge i8 [[N]], [[IV]]
+; CHECK-NEXT: call void @use(i1 [[T_2]])
+; CHECK-NEXT: [[F_1:%.*]] = icmp ult i8 [[N]], [[IV]]
+; CHECK-NEXT: call void @use(i1 [[F_1]])
+; CHECK-NEXT: [[F_2:%.*]] = icmp slt i8 [[N]], [[IV]]
+; CHECK-NEXT: call void @use(i1 [[F_2]])
+; CHECK-NEXT: [[C_0:%.*]] = icmp ugt i8 [[IV]], 2
+; CHECK-NEXT: call void @use(i1 [[C_0]])
+; CHECK-NEXT: [[IV_NEXT]] = add nuw nsw i8 [[IV]], 1
+; CHECK-NEXT: br label [[LOOP_HEADER]]
+; CHECK: exit.1:
+; CHECK-NEXT: ret void
+;
+entry:
+ br label %loop.header
+
+loop.header:
+ %iv = phi i8 [ 0, %entry ], [ %iv.next, %loop.latch ]
+ %cmp = icmp sge i8 %iv, %N
+ br i1 %cmp, label %loop.latch, label %exit.1
+
+loop.latch:
+ %t.1 = icmp uge i8 %N, %iv
+ call void @use(i1 %t.1)
+ %t.2 = icmp sge i8 %N, %iv
+ call void @use(i1 %t.2)
+ %f.1 = icmp ult i8 %N, %iv
+ call void @use(i1 %f.1)
+ %f.2 = icmp slt i8 %N, %iv
+ call void @use(i1 %f.2)
+ %c.0 = icmp ugt i8 %iv, 2
+ call void @use(i1 %c.0)
+ %iv.next = add nsw nuw i8 %iv, 1
+ br label %loop.header
+
+exit.1:
+ ret void
+}
diff --git a/llvm/test/Transforms/ConstraintElimination/transfer-signed-facts-to-unsigned.ll b/llvm/test/Transforms/ConstraintElimination/transfer-signed-facts-to-unsigned.ll
index 41596dbf3e3365e..2fe92628dfa3b64 100644
--- a/llvm/test/Transforms/ConstraintElimination/transfer-signed-facts-to-unsigned.ll
+++ b/llvm/test/Transforms/ConstraintElimination/transfer-signed-facts-to-unsigned.ll
@@ -730,201 +730,3 @@ entry:
%res.2 = xor i1 %res.1, %c.1
ret i1 %res.2
}
-
-declare void @use(i1)
-
-define i8 @iv_known_non_negative_constant_trip_count(ptr %dst, i8 %N) {
-; CHECK-LABEL: @iv_known_non_negative_constant_trip_count(
-; CHECK-NEXT: entry:
-; CHECK-NEXT: br label [[LOOP_HEADER:%.*]]
-; CHECK: loop.header:
-; CHECK-NEXT: [[IV:%.*]] = phi i8 [ 0, [[ENTRY:%.*]] ], [ [[IV_NEXT:%.*]], [[LOOP_LATCH:%.*]] ]
-; CHECK-NEXT: [[CMP:%.*]] = icmp slt i8 [[IV]], 2
-; CHECK-NEXT: br i1 [[CMP]], label [[LOOP_LATCH]], label [[EXIT_1:%.*]]
-; CHECK: loop.latch:
-; CHECK-NEXT: [[T_1:%.*]] = icmp ugt i8 [[N:%.*]], [[IV]]
-; CHECK-NEXT: call void @use(i1 [[T_1]])
-; CHECK-NEXT: [[T_2:%.*]] = icmp sgt i8 [[N]], [[IV]]
-; CHECK-NEXT: call void @use(i1 [[T_2]])
-; CHECK-NEXT: [[F_1:%.*]] = icmp ule i8 [[N]], [[IV]]
-; CHECK-NEXT: call void @use(i1 [[F_1]])
-; CHECK-NEXT: [[F_2:%.*]] = icmp sle i8 [[N]], [[IV]]
-; CHECK-NEXT: call void @use(i1 [[F_2]])
-; CHECK-NEXT: [[C_0:%.*]] = icmp ugt i8 [[IV]], 2
-; CHECK-NEXT: call void @use(i1 [[C_0]])
-; CHECK-NEXT: [[IV_NEXT]] = add nuw nsw i8 [[IV]], 1
-; CHECK-NEXT: br label [[LOOP_HEADER]]
-; CHECK: exit.1:
-; CHECK-NEXT: ret i8 10
-;
-entry:
- br label %loop.header
-
-loop.header:
- %iv = phi i8 [ 0, %entry ], [ %iv.next, %loop.latch ]
- %cmp = icmp slt i8 %iv, 2
- br i1 %cmp, label %loop.latch, label %exit.1
-
-loop.latch:
- %t.1 = icmp ugt i8 %N, %iv
- call void @use(i1 %t.1)
- %t.2 = icmp sgt i8 %N, %iv
- call void @use(i1 %t.2)
- %f.1 = icmp ule i8 %N, %iv
- call void @use(i1 %f.1)
- %f.2 = icmp sle i8 %N, %iv
- call void @use(i1 %f.2)
- %c.0 = icmp ugt i8 %iv, 2
- call void @use(i1 %c.0)
- %iv.next = add nuw nsw i8 %iv, 1
- br label %loop.header
-
-exit.1:
- ret i8 10
-}
-
-define i8 @iv_known_non_negative_constant_trip_count_no_nsw_flag(ptr %dst, i8 %N) {
-; CHECK-LABEL: @iv_known_non_negative_constant_trip_count_no_nsw_flag(
-; CHECK-NEXT: entry:
-; CHECK-NEXT: br label [[LOOP_HEADER:%.*]]
-; CHECK: loop.header:
-; CHECK-NEXT: [[IV:%.*]] = phi i8 [ 0, [[ENTRY:%.*]] ], [ [[IV_NEXT:%.*]], [[LOOP_LATCH:%.*]] ]
-; CHECK-NEXT: [[CMP:%.*]] = icmp slt i8 [[IV]], 2
-; CHECK-NEXT: br i1 [[CMP]], label [[LOOP_LATCH]], label [[EXIT_1:%.*]]
-; CHECK: loop.latch:
-; CHECK-NEXT: [[T_1:%.*]] = icmp ugt i8 [[N:%.*]], [[IV]]
-; CHECK-NEXT: call void @use(i1 [[T_1]])
-; CHECK-NEXT: [[T_2:%.*]] = icmp sgt i8 [[N]], [[IV]]
-; CHECK-NEXT: call void @use(i1 [[T_2]])
-; CHECK-NEXT: [[F_1:%.*]] = icmp ule i8 [[N]], [[IV]]
-; CHECK-NEXT: call void @use(i1 [[F_1]])
-; CHECK-NEXT: [[F_2:%.*]] = icmp sle i8 [[N]], [[IV]]
-; CHECK-NEXT: call void @use(i1 [[F_2]])
-; CHECK-NEXT: [[C_0:%.*]] = icmp ugt i8 [[IV]], 2
-; CHECK-NEXT: call void @use(i1 [[C_0]])
-; CHECK-NEXT: [[IV_NEXT]] = add nuw i8 [[IV]], 1
-; CHECK-NEXT: br label [[LOOP_HEADER]]
-; CHECK: exit.1:
-; CHECK-NEXT: ret i8 10
-;
-entry:
- br label %loop.header
-
-loop.header:
- %iv = phi i8 [ 0, %entry ], [ %iv.next, %loop.latch ]
- %cmp = icmp slt i8 %iv, 2
- br i1 %cmp, label %loop.latch, label %exit.1
-
-loop.latch:
- %t.1 = icmp ugt i8 %N, %iv
- call void @use(i1 %t.1)
- %t.2 = icmp sgt i8 %N, %iv
- call void @use(i1 %t.2)
- %f.1 = icmp ule i8 %N, %iv
- call void @use(i1 %f.1)
- %f.2 = icmp sle i8 %N, %iv
- call void @use(i1 %f.2)
- %c.0 = icmp ugt i8 %iv, 2
- call void @use(i1 %c.0)
- %iv.next = add nuw i8 %iv, 1
- br label %loop.header
-
-exit.1:
- ret i8 10
-}
-
-define i8 @iv_known_non_negative_variable_trip_count(ptr %dst, i8 %N) {
-; CHECK-LABEL: @iv_known_non_negative_variable_trip_count(
-; CHECK-NEXT: entry:
-; CHECK-NEXT: br label [[LOOP_HEADER:%.*]]
-; CHECK: loop.header:
-; CHECK-NEXT: [[IV:%.*]] = phi i8 [ 0, [[ENTRY:%.*]] ], [ [[IV_NEXT:%.*]], [[LOOP_LATCH:%.*]] ]
-; CHECK-NEXT: [[CMP:%.*]] = icmp slt i8 [[IV]], [[N:%.*]]
-; CHECK-NEXT: br i1 [[CMP]], label [[LOOP_LATCH]], label [[EXIT_1:%.*]]
-; CHECK: loop.latch:
-; CHECK-NEXT: [[T_1:%.*]] = icmp ugt i8 [[N]], [[IV]]
-; CHECK-NEXT: call void @use(i1 [[T_1]])
-; CHECK-NEXT: call void @use(i1 true)
-; CHECK-NEXT: [[F_1:%.*]] = icmp ule i8 [[N]], [[IV]]
-; CHECK-NEXT: call void @use(i1 [[F_1]])
-; CHECK-NEXT: call void @use(i1 false)
-; CHECK-NEXT: [[C_0:%.*]] = icmp ugt i8 [[IV]], 2
-; CHECK-NEXT: call void @use(i1 [[C_0]])
-; CHECK-NEXT: [[IV_NEXT]] = add nuw nsw i8 [[IV]], 1
-; CHECK-NEXT: br label [[LOOP_HEADER]]
-; CHECK: exit.1:
-; CHECK-NEXT: ret i8 10
-;
-entry:
- br label %loop.header
-
-loop.header:
- %iv = phi i8 [ 0, %entry ], [ %iv.next, %loop.latch ]
- %cmp = icmp slt i8 %iv, %N
- br i1 %cmp, label %loop.latch, label %exit.1
-
-loop.latch:
- %t.1 = icmp ugt i8 %N, %iv
- call void @use(i1 %t.1)
- %t.2 = icmp sgt i8 %N, %iv
- call void @use(i1 %t.2)
- %f.1 = icmp ule i8 %N, %iv
- call void @use(i1 %f.1)
- %f.2 = icmp sle i8 %N, %iv
- call void @use(i1 %f.2)
- %c.0 = icmp ugt i8 %iv, 2
- call void @use(i1 %c.0)
- %iv.next = add nuw nsw i8 %iv, 1
- br label %loop.header
-
-exit.1:
- ret i8 10
-}
-
-define i8 @iv_may_signed_wrap_variable_trip_count(ptr %dst, i8 %N) {
-; CHECK-LABEL: @iv_may_signed_wrap_variable_trip_count(
-; CHECK-NEXT: entry:
-; CHECK-NEXT: br label [[LOOP_HEADER:%.*]]
-; CHECK: loop.header:
-; CHECK-NEXT: [[IV:%.*]] = phi i8 [ 0, [[ENTRY:%.*]] ], [ [[IV_NEXT:%.*]], [[LOOP_LATCH:%.*]] ]
-; CHECK-NEXT: [[CMP:%.*]] = icmp slt i8 [[IV]], [[N:%.*]]
-; CHECK-NEXT: br i1 [[CMP]], label [[LOOP_LATCH]], label [[EXIT_1:%.*]]
-; CHECK: loop.latch:
-; CHECK-NEXT: [[T_1:%.*]] = icmp ugt i8 [[N]], [[IV]]
-; CHECK-NEXT: call void @use(i1 [[T_1]])
-; CHECK-NEXT: call void @use(i1 true)
-; CHECK-NEXT: [[F_1:%.*]] = icmp ule i8 [[N]], [[IV]]
-; CHECK-NEXT: call void @use(i1 [[F_1]])
-; CHECK-NEXT: call void @use(i1 false)
-; CHECK-NEXT: [[C_0:%.*]] = icmp ugt i8 [[IV]], 2
-; CHECK-NEXT: call void @use(i1 [[C_0]])
-; CHECK-NEXT: [[IV_NEXT]] = add nuw i8 [[IV]], 1
-; CHECK-NEXT: br label [[LOOP_HEADER]]
-; CHECK: exit.1:
-; CHECK-NEXT: ret i8 10
-;
-entry:
- br label %loop.header
-
-loop.header:
- %iv = phi i8 [ 0, %entry ], [ %iv.next, %loop.latch ]
- %cmp = icmp slt i8 %iv, %N
- br i1 %cmp, label %loop.latch, label %exit.1
-
-loop.latch:
- %t.1 = icmp ugt i8 %N, %iv
- call void @use(i1 %t.1)
- %t.2 = icmp sgt i8 %N, %iv
- call void @use(i1 %t.2)
- %f.1 = icmp ule i8 %N, %iv
- call void @use(i1 %f.1)
- %f.2 = icmp sle i8 %N, %iv
- call void @use(i1 %f.2)
- %c.0 = icmp ugt i8 %iv, 2
- call void @use(i1 %c.0)
- %iv.next = add nuw i8 %iv, 1
- br label %loop.header
-
-exit.1:
- ret i8 10
-}
diff --git a/llvm/test/Transforms/ConstraintElimination/transfer-unsigned-facts-to-signed-is-known-non-negative.ll b/llvm/test/Transforms/ConstraintElimination/transfer-unsigned-facts-to-signed-is-known-non-negative.ll
new file mode 100644
index 000000000000000..a25d532774fb91c
--- /dev/null
+++ b/llvm/test/Transforms/ConstraintElimination/transfer-unsigned-facts-to-signed-is-known-non-negative.ll
@@ -0,0 +1,234 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s
+
+declare void @use(i1)
+
+define void @iv_known_non_negative_iv_constant_trip_count_uge() {
+; CHECK-LABEL: @iv_known_non_negative_iv_constant_trip_count_uge(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: br label [[LOOP_HEADER:%.*]]
+; CHECK: loop.header:
+; CHECK-NEXT: [[IV:%.*]] = phi i8 [ 0, [[ENTRY:%.*]] ], [ [[IV_NEXT:%.*]], [[LOOP_LATCH:%.*]] ]
+; CHECK-NEXT: [[CMP:%.*]] = icmp uge i8 [[IV]], 2
+; CHECK-NEXT: br i1 [[CMP]], label [[LOOP_LATCH]], label [[EXIT_1:%.*]]
+; CHECK: loop.latch:
+; CHECK-NEXT: call void @use(i1 true)
+; CHECK-NEXT: call void @use(i1 true)
+; CHECK-NEXT: call void @use(i1 false)
+; CHECK-NEXT: call void @use(i1 false)
+; CHECK-NEXT: [[IV_NEXT]] = add nuw nsw i8 [[IV]], 1
+; CHECK-NEXT: br label [[LOOP_HEADER]]
+; CHECK: exit.1:
+; CHECK-NEXT: ret void
+;
+entry:
+ br label %loop.header
+
+loop.header:
+ %iv = phi i8 [ 0, %entry ], [ %iv.next, %loop.latch ]
+ %cmp = icmp uge i8 %iv, 2
+ br i1 %cmp, label %loop.latch, label %exit.1
+
+loop.latch:
+ %t.1 = icmp uge i8 %iv, 2
+ call void @use(i1 %t.1)
+ %t.2 = icmp sge i8 %iv, 2
+ call void @use(i1 %t.2)
+ %f.1 = icmp ult i8 %iv, 2
+ call void @use(i1 %f.1)
+ %f.2 = icmp slt i8 %iv, 2
+ call void @use(i1 %f.2)
+ %iv.next = add nsw nuw i8 %iv, 1
+ br label %loop.header
+
+exit.1:
+ ret void
+}
+
+define void @iv_known_non_negative_iv_variable_trip_count_uge(i8 %N) {
+; CHECK-LABEL: @iv_known_non_negative_iv_variable_trip_count_uge(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: br label [[LOOP_HEADER:%.*]]
+; CHECK: loop.header:
+; CHECK-NEXT: [[IV:%.*]] = phi i8 [ 0, [[ENTRY:%.*]] ], [ [[IV_NEXT:%.*]], [[LOOP_LATCH:%.*]] ]
+; CHECK-NEXT: [[CMP:%.*]] = icmp uge i8 [[IV]], [[N:%.*]]
+; CHECK-NEXT: br i1 [[CMP]], label [[LOOP_LATCH]], label [[EXIT_1:%.*]]
+; CHECK: loop.latch:
+; CHECK-NEXT: call void @use(i1 true)
+; CHECK-NEXT: [[T_2:%.*]] = icmp sge i8 [[IV]], [[N]]
+; CHECK-NEXT: call void @use(i1 [[T_2]])
+; CHECK-NEXT: call void @use(i1 false)
+; CHECK-NEXT: [[F_2:%.*]] = icmp slt i8 [[IV]], [[N]]
+; CHECK-NEXT: call void @use(i1 [[F_2]])
+; CHECK-NEXT: [[C_0:%.*]] = icmp ugt i8 [[IV]], 2
+; CHECK-NEXT: call void @use(i1 [[C_0]])
+; CHECK-NEXT: [[IV_NEXT]] = add nuw nsw i8 [[IV]], 1
+; CHECK-NEXT: br label [[LOOP_HEADER]]
+; CHECK: exit.1:
+; CHECK-NEXT: ret void
+;
+entry:
+ br label %loop.header
+
+loop.header:
+ %iv = phi i8 [ 0, %entry ], [ %iv.next, %loop.latch ]
+ %cmp = icmp uge i8 %iv, %N
+ br i1 %cmp, label %loop.latch, label %exit.1
+
+loop.latch:
+ %t.1 = icmp uge i8 %iv, %N
+ call void @use(i1 %t.1)
+ %t.2 = icmp sge i8 %iv, %N
+ call void @use(i1 %t.2)
+ %f.1 = icmp ult i8 %iv, %N
+ call void @use(i1 %f.1)
+ %f.2 = icmp slt i8 %iv, %N
+ call void @use(i1 %f.2)
+ %c.0 = icmp ugt i8 %iv, 2
+ call void @use(i1 %c.0)
+ %iv.next = add nsw nuw i8 %iv, 1
+ br label %loop.header
+
+exit.1:
+ ret void
+}
+
+define void @iv_known_non_negative_iv_variable_trip_count_uge_operands_swapped(i8 %N) {
+; CHECK-LABEL: @iv_known_non_negative_iv_variable_trip_count_uge_operands_swapped(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: br label [[LOOP_HEADER:%.*]]
+; CHECK: loop.header:
+; CHECK-NEXT: [[IV:%.*]] = phi i8 [ 0, [[ENTRY:%.*]] ], [ [[IV_NEXT:%.*]], [[LOOP_LATCH:%.*]] ]
+; CHECK-NEXT: [[CMP:%.*]] = icmp uge i8 [[N:%.*]], [[IV]]
+; CHECK-NEXT: br i1 [[CMP]], label [[LOOP_LATCH]], label [[EXIT_1:%.*]]
+; CHECK: loop.latch:
+; CHECK-NEXT: call void @use(i1 true)
+; CHECK-NEXT: [[T_2:%.*]] = icmp sge i8 [[N]], [[IV]]
+; CHECK-NEXT: call void @use(i1 [[T_2]])
+; CHECK-NEXT: call void @use(i1 false)
+; CHECK-NEXT: [[F_2:%.*]] = icmp slt i8 [[N]], [[IV]]
+; CHECK-NEXT: call void @use(i1 [[F_2]])
+; CHECK-NEXT: [[IV_NEXT]] = add nuw nsw i8 [[IV]], 1
+; CHECK-NEXT: br label [[LOOP_HEADER]]
+; CHECK: exit.1:
+; CHECK-NEXT: ret void
+;
+entry:
+ br label %loop.header
+
+loop.header:
+ %iv = phi i8 [ 0, %entry ], [ %iv.next, %loop.latch ]
+ %cmp = icmp uge i8 %N, %iv
+ br i1 %cmp, label %loop.latch, label %exit.1
+
+loop.latch:
+ %t.1 = icmp uge i8 %N, %iv
+ call void @use(i1 %t.1)
+ %t.2 = icmp sge i8 %N, %iv
+ call void @use(i1 %t.2)
+ %f.1 = icmp ult i8 %N, %iv
+ call void @use(i1 %f.1)
+ %f.2 = icmp slt i8 %N, %iv
+ call void @use(i1 %f.2)
+ %iv.next = add nsw nuw i8 %iv, 1
+ br label %loop.header
+
+exit.1:
+ ret void
+}
+
+define void @iv_known_non_negative_iv_variable_trip_count_ugt(i8 %N) {
+; CHECK-LABEL: @iv_known_non_negative_iv_variable_trip_count_ugt(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: br label [[LOOP_HEADER:%.*]]
+; CHECK: loop.header:
+; CHECK-NEXT: [[IV:%.*]] = phi i8 [ 0, [[ENTRY:%.*]] ], [ [[IV_NEXT:%.*]], [[LOOP_LATCH:%.*]] ]
+; CHECK-NEXT: [[CMP:%.*]] = icmp ugt i8 [[IV]], [[N:%.*]]
+; CHECK-NEXT: br i1 [[CMP]], label [[LOOP_LATCH]], label [[EXIT_1:%.*]]
+; CHECK: loop.latch:
+; CHECK-NEXT: call void @use(i1 true)
+; CHECK-NEXT: [[T_2:%.*]] = icmp sgt i8 [[IV]], [[N]]
+; CHECK-NEXT: call void @use(i1 [[T_2]])
+; CHECK-NEXT: call void @use(i1 false)
+; CHECK-NEXT: [[F_2:%.*]] = icmp slt i8 [[IV]], [[N]]
+; CHECK-NEXT: call void @use(i1 [[F_2]])
+; CHECK-NEXT: [[C_0:%.*]] = icmp ugt i8 [[IV]], 2
+; CHECK-NEXT: call void @use(i1 [[C_0]])
+; CHECK-NEXT: [[IV_NEXT]] = add nuw nsw i8 [[IV]], 1
+; CHECK-NEXT: br label [[LOOP_HEADER]]
+; CHECK: exit.1:
+; CHECK-NEXT: ret void
+;
+entry:
+ br label %loop.header
+
+loop.header:
+ %iv = phi i8 [ 0, %entry ], [ %iv.next, %loop.latch ]
+ %cmp = icmp ugt i8 %iv, %N
+ br i1 %cmp, label %loop.latch, label %exit.1
+
+loop.latch:
+ %t.1 = icmp ugt i8 %iv, %N
+ call void @use(i1 %t.1)
+ %t.2 = icmp sgt i8 %iv, %N
+ call void @use(i1 %t.2)
+ %f.1 = icmp ult i8 %iv, %N
+ call void @use(i1 %f.1)
+ %f.2 = icmp slt i8 %iv, %N
+ call void @use(i1 %f.2)
+ %c.0 = icmp ugt i8 %iv, 2
+ call void @use(i1 %c.0)
+ %iv.next = add nsw nuw i8 %iv, 1
+ br label %loop.header
+
+exit.1:
+ ret void
+}
+
+define void @iv_known_non_negative_iv_variable_trip_count_ugt_operands_swapped(i8 %N) {
+; CHECK-LABEL: @iv_known_non_negative_iv_variable_trip_count_ugt_operands_swapped(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: br label [[LOOP_HEADER:%.*]]
+; CHECK: loop.header:
+; CHECK-NEXT: [[IV:%.*]] = phi i8 [ 0, [[ENTRY:%.*]] ], [ [[IV_NEXT:%.*]], [[LOOP_LATCH:%.*]] ]
+; CHECK-NEXT: [[CMP:%.*]] = icmp ugt i8 [[N:%.*]], [[IV]]
+; CHECK-NEXT: br i1 [[CMP]], label [[LOOP_LATCH]], label [[EXIT_1:%.*]]
+; CHECK: loop.latch:
+; CHECK-NEXT: call void @use(i1 true)
+; CHECK-NEXT: [[T_2:%.*]] = icmp sgt i8 [[N]], [[IV]]
+; CHECK-NEXT: call void @use(i1 [[T_2]])
+; CHECK-NEXT: call void @use(i1 false)
+; CHECK-NEXT: [[F_2:%.*]] = icmp slt i8 [[N]], [[IV]]
+; CHECK-NEXT: call void @use(i1 [[F_2]])
+; CHECK-NEXT: [[C_0:%.*]] = icmp ugt i8 [[IV]], 2
+; CHECK-NEXT: call void @use(i1 [[C_0]])
+; CHECK-NEXT: [[IV_NEXT]] = add nuw nsw i8 [[IV]], 1
+; CHECK-NEXT: br label [[LOOP_HEADER]]
+; CHECK: exit.1:
+; CHECK-NEXT: ret void
+;
+entry:
+ br label %loop.header
+
+loop.header:
+ %iv = phi i8 [ 0, %entry ], [ %iv.next, %loop.latch ]
+ %cmp = icmp ugt i8 %N, %iv
+ br i1 %cmp, label %loop.latch, label %exit.1
+
+loop.latch:
+ %t.1 = icmp ugt i8 %N, %iv
+ call void @use(i1 %t.1)
+ %t.2 = icmp sgt i8 %N, %iv
+ call void @use(i1 %t.2)
+ %f.1 = icmp ult i8 %N, %iv
+ call void @use(i1 %f.1)
+ %f.2 = icmp slt i8 %N, %iv
+ call void @use(i1 %f.2)
+ %c.0 = icmp ugt i8 %iv, 2
+ call void @use(i1 %c.0)
+ %iv.next = add nsw nuw i8 %iv, 1
+ br label %loop.header
+
+exit.1:
+ ret void
+}
More information about the llvm-commits
mailing list