diff options
Diffstat (limited to 'llvm/test/Transforms/SimplifyCFG/implied-cond-matching.ll')
| -rw-r--r-- | llvm/test/Transforms/SimplifyCFG/implied-cond-matching.ll | 1029 |
1 files changed, 0 insertions, 1029 deletions
diff --git a/llvm/test/Transforms/SimplifyCFG/implied-cond-matching.ll b/llvm/test/Transforms/SimplifyCFG/implied-cond-matching.ll deleted file mode 100644 index 33fc016bd38..00000000000 --- a/llvm/test/Transforms/SimplifyCFG/implied-cond-matching.ll +++ /dev/null @@ -1,1029 +0,0 @@ -; RUN: opt %s -S -simplifycfg | FileCheck %s - -declare void @dead() -declare void @alive() -declare void @is(i1) - -; Test same condition with swapped operands. -; void test_swapped_ops(unsigned a, unsigned b) { -; if (a > b) { -; if (b > a) <- always false -; dead(); -; alive(); -; } -; } -; -; CHECK-LABEL: @test_swapped_ops -; CHECK-NOT: call void @dead() -; CHECK: call void @alive() -; CHECK: ret -define void @test_swapped_ops(i32 %a, i32 %b) { -entry: - %cmp = icmp ugt i32 %a, %b - br i1 %cmp, label %if.then, label %if.end3 - -if.then: - %cmp1 = icmp ugt i32 %b, %a - br i1 %cmp1, label %if.then2, label %if.end - -if.then2: - call void @dead() - br label %if.end - -if.end: - call void @alive() - br label %if.end3 - -if.end3: - ret void -} - -; void test_swapped_pred(unsigned a, unsigned b) { -; if (a > b) { -; alive(); -; if (b < a) <- always true; remove branch -; alive(); -; } -; } -; -; CHECK-LABEL: @test_swapped_pred -; CHECK: call void @alive() -; CHECK-NEXT: call void @alive() -; CHECK: ret -define void @test_swapped_pred(i32 %a, i32 %b) { -entry: - %cmp = icmp ugt i32 %a, %b - br i1 %cmp, label %if.then, label %if.end3 - -if.then: - call void @alive() - %cmp1 = icmp ult i32 %b, %a - br i1 %cmp1, label %if.then2, label %if.end3 - -if.then2: - call void @alive() - br label %if.end3 - -if.end3: - ret void -} - -; A == B implies A == B is true. -; CHECK-LABEL: @test_eq_eq -; CHECK: call void @is(i1 true) -; CHECK-NOT: call void @is(i1 false) -define void @test_eq_eq(i32 %a, i32 %b) { - %cmp1 = icmp eq i32 %a, %b - br i1 %cmp1, label %taken, label %untaken - -taken: - %cmp2 = icmp eq i32 %a, %b - br i1 %cmp2, label %eq_eq_istrue, label %eq_eq_isfalse - -eq_eq_istrue: - call void @is(i1 true) - ret void - -eq_eq_isfalse: - call void @is(i1 false) - ret void - -untaken: - ret void -} - -; A == B implies A != B is false. -; CHECK-LABEL: @test_eq_ne -; CHECK-NOT: call void @is(i1 true) -; CHECK: call void @is(i1 false) -define void @test_eq_ne(i32 %a, i32 %b) { - %cmp1 = icmp eq i32 %a, %b - br i1 %cmp1, label %taken, label %untaken - -taken: - %cmp2 = icmp ne i32 %a, %b - br i1 %cmp2, label %eq_ne_istrue, label %eq_ne_isfalse - -eq_ne_istrue: - call void @is(i1 true) - ret void - -eq_ne_isfalse: - call void @is(i1 false) - ret void - -untaken: - ret void -} - -; A == B implies A >u B is false. -; CHECK-LABEL: @test_eq_ugt -; CHECK-NOT: call void @is(i1 true) -; CHECK: call void @is(i1 false) -define void @test_eq_ugt(i32 %a, i32 %b) { - %cmp1 = icmp eq i32 %a, %b - br i1 %cmp1, label %taken, label %untaken - -taken: - %cmp2 = icmp ugt i32 %a, %b - br i1 %cmp2, label %eq_ugt_istrue, label %eq_ugt_isfalse - -eq_ugt_istrue: - call void @is(i1 true) - ret void - -eq_ugt_isfalse: - call void @is(i1 false) - ret void - -untaken: - ret void -} - -; A == B implies A >=u B is true. -; CHECK-LABEL: @test_eq_uge -; CHECK: call void @is(i1 true) -; CHECK-NOT: call void @is(i1 false) -define void @test_eq_uge(i32 %a, i32 %b) { - %cmp1 = icmp eq i32 %a, %b - br i1 %cmp1, label %taken, label %untaken - -taken: - %cmp2 = icmp uge i32 %a, %b - br i1 %cmp2, label %eq_uge_istrue, label %eq_uge_isfalse - -eq_uge_istrue: - call void @is(i1 true) - ret void - -eq_uge_isfalse: - call void @is(i1 false) - ret void - -untaken: - ret void -} - -; A == B implies A <u B is false. -; CHECK-LABEL: @test_eq_ult -; CHECK-NOT: call void @is(i1 true) -; CHECK: call void @is(i1 false) -define void @test_eq_ult(i32 %a, i32 %b) { - %cmp1 = icmp eq i32 %a, %b - br i1 %cmp1, label %taken, label %untaken - -taken: - %cmp2 = icmp ult i32 %a, %b - br i1 %cmp2, label %eq_ult_istrue, label %eq_ult_isfalse - -eq_ult_istrue: - call void @is(i1 true) - ret void - -eq_ult_isfalse: - call void @is(i1 false) - ret void - -untaken: - ret void -} - -; A == B implies A <=u B is true. -; CHECK-LABEL: @test_eq_ule -; CHECK: call void @is(i1 true) -; CHECK-NOT: call void @is(i1 false) -define void @test_eq_ule(i32 %a, i32 %b) { - %cmp1 = icmp eq i32 %a, %b - br i1 %cmp1, label %taken, label %untaken - -taken: - %cmp2 = icmp ule i32 %a, %b - br i1 %cmp2, label %eq_ule_istrue, label %eq_ule_isfalse - -eq_ule_istrue: - call void @is(i1 true) - ret void - -eq_ule_isfalse: - call void @is(i1 false) - ret void - -untaken: - ret void -} - -; A == B implies A >s B is false. -; CHECK-LABEL: @test_eq_sgt -; CHECK-NOT: call void @is(i1 true) -; CHECK: call void @is(i1 false) -define void @test_eq_sgt(i32 %a, i32 %b) { - %cmp1 = icmp eq i32 %a, %b - br i1 %cmp1, label %taken, label %untaken - -taken: - %cmp2 = icmp sgt i32 %a, %b - br i1 %cmp2, label %eq_sgt_istrue, label %eq_sgt_isfalse - -eq_sgt_istrue: - call void @is(i1 true) - ret void - -eq_sgt_isfalse: - call void @is(i1 false) - ret void - -untaken: - ret void -} - -; A == B implies A >=s B is true. -; CHECK-LABEL: @test_eq_sge -; CHECK: call void @is(i1 true) -; CHECK-NOT: call void @is(i1 false) -define void @test_eq_sge(i32 %a, i32 %b) { - %cmp1 = icmp eq i32 %a, %b - br i1 %cmp1, label %taken, label %untaken - -taken: - %cmp2 = icmp sge i32 %a, %b - br i1 %cmp2, label %eq_sge_istrue, label %eq_sge_isfalse - -eq_sge_istrue: - call void @is(i1 true) - ret void - -eq_sge_isfalse: - call void @is(i1 false) - ret void - -untaken: - ret void -} - -; A == B implies A <s B is false. -; CHECK-LABEL: @test_eq_slt -; CHECK-NOT: call void @is(i1 true) -; CHECK: call void @is(i1 false) -define void @test_eq_slt(i32 %a, i32 %b) { - %cmp1 = icmp eq i32 %a, %b - br i1 %cmp1, label %taken, label %untaken - -taken: - %cmp2 = icmp slt i32 %a, %b - br i1 %cmp2, label %eq_slt_istrue, label %eq_slt_isfalse - -eq_slt_istrue: - call void @is(i1 true) - ret void - -eq_slt_isfalse: - call void @is(i1 false) - ret void - -untaken: - ret void -} - -; A == B implies A <=s B is true. -; CHECK-LABEL: @test_eq_sle -; CHECK: call void @is(i1 true) -; CHECK-NOT: call void @is(i1 false) -define void @test_eq_sle(i32 %a, i32 %b) { - %cmp1 = icmp eq i32 %a, %b - br i1 %cmp1, label %taken, label %untaken - -taken: - %cmp2 = icmp sle i32 %a, %b - br i1 %cmp2, label %eq_sle_istrue, label %eq_sle_isfalse - -eq_sle_istrue: - call void @is(i1 true) - ret void - -eq_sle_isfalse: - call void @is(i1 false) - ret void - -untaken: - ret void -} - -; A != B implies A != B is true. -; CHECK-LABEL: @test_ne_ne -; CHECK: call void @is(i1 true) -; CHECK-NOT: call void @is(i1 false) -define void @test_ne_ne(i32 %a, i32 %b) { - %cmp1 = icmp ne i32 %a, %b - br i1 %cmp1, label %taken, label %untaken - -taken: - %cmp2 = icmp ne i32 %a, %b - br i1 %cmp2, label %ne_ne_istrue, label %ne_ne_isfalse - -ne_ne_istrue: - call void @is(i1 true) - ret void - -ne_ne_isfalse: - call void @is(i1 false) - ret void - -untaken: - ret void -} - -; A != B implies A >u B is unknown to be true or false. -; CHECK-LABEL: @test_ne_ugt -; CHECK: call void @is(i1 true) -; CHECK: call void @is(i1 false) -define void @test_ne_ugt(i32 %a, i32 %b) { - %cmp1 = icmp ne i32 %a, %b - br i1 %cmp1, label %taken, label %untaken - -taken: - %cmp2 = icmp ugt i32 %a, %b - br i1 %cmp2, label %ne_ugt_istrue, label %ne_ugt_isfalse - -ne_ugt_istrue: - call void @is(i1 true) - ret void - -ne_ugt_isfalse: - call void @is(i1 false) - ret void - -untaken: - ret void -} - -; A != B implies A >=u B is unknown to be true or false. -; CHECK-LABEL: @test_ne_uge -; CHECK: call void @is(i1 true) -; CHECK: call void @is(i1 false) -define void @test_ne_uge(i32 %a, i32 %b) { - %cmp1 = icmp ne i32 %a, %b - br i1 %cmp1, label %taken, label %untaken - -taken: - %cmp2 = icmp uge i32 %a, %b - br i1 %cmp2, label %ne_uge_istrue, label %ne_uge_isfalse - -ne_uge_istrue: - call void @is(i1 true) - ret void - -ne_uge_isfalse: - call void @is(i1 false) - ret void - -untaken: - ret void -} - -; A != B implies A <u B is unknown to be true or false. -; CHECK-LABEL: @test_ne_ult -; CHECK: call void @is(i1 true) -; CHECK: call void @is(i1 false) -define void @test_ne_ult(i32 %a, i32 %b) { - %cmp1 = icmp ne i32 %a, %b - br i1 %cmp1, label %taken, label %untaken - -taken: - %cmp2 = icmp ult i32 %a, %b - br i1 %cmp2, label %ne_ult_istrue, label %ne_ult_isfalse - -ne_ult_istrue: - call void @is(i1 true) - ret void - -ne_ult_isfalse: - call void @is(i1 false) - ret void - -untaken: - ret void -} - -; A != B implies A <=u B is unknown to be true or false. -; CHECK-LABEL: @test_ne_ule -; CHECK: call void @is(i1 true) -; CHECK: call void @is(i1 false) -define void @test_ne_ule(i32 %a, i32 %b) { - %cmp1 = icmp ne i32 %a, %b - br i1 %cmp1, label %taken, label %untaken - -taken: - %cmp2 = icmp ule i32 %a, %b - br i1 %cmp2, label %ne_ule_istrue, label %ne_ule_isfalse - -ne_ule_istrue: - call void @is(i1 true) - ret void - -ne_ule_isfalse: - call void @is(i1 false) - ret void - -untaken: - ret void -} - -; A != B implies A >s B is unknown to be true or false. -; CHECK-LABEL: @test_ne_sgt -; CHECK: call void @is(i1 true) -; CHECK: call void @is(i1 false) -define void @test_ne_sgt(i32 %a, i32 %b) { - %cmp1 = icmp ne i32 %a, %b - br i1 %cmp1, label %taken, label %untaken - -taken: - %cmp2 = icmp sgt i32 %a, %b - br i1 %cmp2, label %ne_sgt_istrue, label %ne_sgt_isfalse - -ne_sgt_istrue: - call void @is(i1 true) - ret void - -ne_sgt_isfalse: - call void @is(i1 false) - ret void - -untaken: - ret void -} - -; A != B implies A >=s B is unknown to be true or false. -; CHECK-LABEL: @test_ne_sge -; CHECK: call void @is(i1 true) -; CHECK: call void @is(i1 false) -define void @test_ne_sge(i32 %a, i32 %b) { - %cmp1 = icmp ne i32 %a, %b - br i1 %cmp1, label %taken, label %untaken - -taken: - %cmp2 = icmp sge i32 %a, %b - br i1 %cmp2, label %ne_sge_istrue, label %ne_sge_isfalse - -ne_sge_istrue: - call void @is(i1 true) - ret void - -ne_sge_isfalse: - call void @is(i1 false) - ret void - -untaken: - ret void -} - -; A != B implies A <s B is unknown to be true or false. -; CHECK-LABEL: @test_ne_slt -; CHECK: call void @is(i1 true) -; CHECK: call void @is(i1 false) -define void @test_ne_slt(i32 %a, i32 %b) { - %cmp1 = icmp ne i32 %a, %b - br i1 %cmp1, label %taken, label %untaken - -taken: - %cmp2 = icmp slt i32 %a, %b - br i1 %cmp2, label %ne_slt_istrue, label %ne_slt_isfalse - -ne_slt_istrue: - call void @is(i1 true) - ret void - -ne_slt_isfalse: - call void @is(i1 false) - ret void - -untaken: - ret void -} - -; A != B implies A <=s B is unknown to be true or false. -; CHECK-LABEL: @test_ne_sle -; CHECK: call void @is(i1 true) -; CHECK: call void @is(i1 false) -define void @test_ne_sle(i32 %a, i32 %b) { - %cmp1 = icmp ne i32 %a, %b - br i1 %cmp1, label %taken, label %untaken - -taken: - %cmp2 = icmp sle i32 %a, %b - br i1 %cmp2, label %ne_sle_istrue, label %ne_sle_isfalse - -ne_sle_istrue: - call void @is(i1 true) - ret void - -ne_sle_isfalse: - call void @is(i1 false) - ret void - -untaken: - ret void -} - -; A >u B implies A >u B is true. -; CHECK-LABEL: @test_ugt_ugt -; CHECK: call void @is(i1 true) -; CHECK-NOT: call void @is(i1 false) -define void @test_ugt_ugt(i32 %a, i32 %b) { - %cmp1 = icmp ugt i32 %a, %b - br i1 %cmp1, label %taken, label %untaken - -taken: - %cmp2 = icmp ugt i32 %a, %b - br i1 %cmp2, label %ugt_ugt_istrue, label %ugt_ugt_isfalse - -ugt_ugt_istrue: - call void @is(i1 true) - ret void - -ugt_ugt_isfalse: - call void @is(i1 false) - ret void - -untaken: - ret void -} - -; A >u B implies A >=u B is true. -; CHECK-LABEL: @test_ugt_uge -; CHECK: call void @is(i1 true) -; CHECK-NOT: call void @is(i1 false) -define void @test_ugt_uge(i32 %a, i32 %b) { - %cmp1 = icmp ugt i32 %a, %b - br i1 %cmp1, label %taken, label %untaken - -taken: - %cmp2 = icmp uge i32 %a, %b - br i1 %cmp2, label %ugt_uge_istrue, label %ugt_uge_isfalse - -ugt_uge_istrue: - call void @is(i1 true) - ret void - -ugt_uge_isfalse: - call void @is(i1 false) - ret void - -untaken: - ret void -} - -; A >u B implies A <u B is false. -; CHECK-LABEL: @test_ugt_ult -; CHECK-NOT: call void @is(i1 true) -; CHECK: call void @is(i1 false) -define void @test_ugt_ult(i32 %a, i32 %b) { - %cmp1 = icmp ugt i32 %a, %b - br i1 %cmp1, label %taken, label %untaken - -taken: - %cmp2 = icmp ult i32 %a, %b - br i1 %cmp2, label %ugt_ult_istrue, label %ugt_ult_isfalse - -ugt_ult_istrue: - call void @is(i1 true) - ret void - -ugt_ult_isfalse: - call void @is(i1 false) - ret void - -untaken: - ret void -} - -; A >u B implies A <=u B is false. -; CHECK-LABEL: @test_ugt_ule -; CHECK-NOT: call void @is(i1 true) -; CHECK: call void @is(i1 false) -define void @test_ugt_ule(i32 %a, i32 %b) { - %cmp1 = icmp ugt i32 %a, %b - br i1 %cmp1, label %taken, label %untaken - -taken: - %cmp2 = icmp ule i32 %a, %b - br i1 %cmp2, label %ugt_ule_istrue, label %ugt_ule_isfalse - -ugt_ule_istrue: - call void @is(i1 true) - ret void - -ugt_ule_isfalse: - call void @is(i1 false) - ret void - -untaken: - ret void -} - -; A >=u B implies A >=u B is true. -; CHECK-LABEL: @test_uge_uge -; CHECK: call void @is(i1 true) -; CHECK-NOT: call void @is(i1 false) -define void @test_uge_uge(i32 %a, i32 %b) { - %cmp1 = icmp uge i32 %a, %b - br i1 %cmp1, label %taken, label %untaken - -taken: - %cmp2 = icmp uge i32 %a, %b - br i1 %cmp2, label %uge_uge_istrue, label %uge_uge_isfalse - -uge_uge_istrue: - call void @is(i1 true) - ret void - -uge_uge_isfalse: - call void @is(i1 false) - ret void - -untaken: - ret void -} - -; A >=u B implies A <u B is false. -; CHECK-LABEL: @test_uge_ult -; CHECK-NOT: call void @is(i1 true) -; CHECK: call void @is(i1 false) -define void @test_uge_ult(i32 %a, i32 %b) { - %cmp1 = icmp uge i32 %a, %b - br i1 %cmp1, label %taken, label %untaken - -taken: - %cmp2 = icmp ult i32 %a, %b - br i1 %cmp2, label %uge_ult_istrue, label %uge_ult_isfalse - -uge_ult_istrue: - call void @is(i1 true) - ret void - -uge_ult_isfalse: - call void @is(i1 false) - ret void - -untaken: - ret void -} - -; A >=u B implies A <=u B is unknown to be true or false. -; CHECK-LABEL: @test_uge_ule -; CHECK: call void @is(i1 true) -; CHECK: call void @is(i1 false) -define void @test_uge_ule(i32 %a, i32 %b) { - %cmp1 = icmp uge i32 %a, %b - br i1 %cmp1, label %taken, label %untaken - -taken: - %cmp2 = icmp ule i32 %a, %b - br i1 %cmp2, label %uge_ule_istrue, label %uge_ule_isfalse - -uge_ule_istrue: - call void @is(i1 true) - ret void - -uge_ule_isfalse: - call void @is(i1 false) - ret void - -untaken: - ret void -} - -; A <u B implies A <u B is true. -; CHECK-LABEL: @test_ult_ult -; CHECK: call void @is(i1 true) -; CHECK-NOT: call void @is(i1 false) -define void @test_ult_ult(i32 %a, i32 %b) { - %cmp1 = icmp ult i32 %a, %b - br i1 %cmp1, label %taken, label %untaken - -taken: - %cmp2 = icmp ult i32 %a, %b - br i1 %cmp2, label %ult_ult_istrue, label %ult_ult_isfalse - -ult_ult_istrue: - call void @is(i1 true) - ret void - -ult_ult_isfalse: - call void @is(i1 false) - ret void - -untaken: - ret void -} - -; A <u B implies A <=u B is true. -; CHECK-LABEL: @test_ult_ule -; CHECK: call void @is(i1 true) -; CHECK-NOT: call void @is(i1 false) -define void @test_ult_ule(i32 %a, i32 %b) { - %cmp1 = icmp ult i32 %a, %b - br i1 %cmp1, label %taken, label %untaken - -taken: - %cmp2 = icmp ule i32 %a, %b - br i1 %cmp2, label %ult_ule_istrue, label %ult_ule_isfalse - -ult_ule_istrue: - call void @is(i1 true) - ret void - -ult_ule_isfalse: - call void @is(i1 false) - ret void - -untaken: - ret void -} - -; A <=u B implies A <=u B is true. -; CHECK-LABEL: @test_ule_ule -; CHECK: call void @is(i1 true) -; CHECK-NOT: call void @is(i1 false) -define void @test_ule_ule(i32 %a, i32 %b) { - %cmp1 = icmp ule i32 %a, %b - br i1 %cmp1, label %taken, label %untaken - -taken: - %cmp2 = icmp ule i32 %a, %b - br i1 %cmp2, label %ule_ule_istrue, label %ule_ule_isfalse - -ule_ule_istrue: - call void @is(i1 true) - ret void - -ule_ule_isfalse: - call void @is(i1 false) - ret void - -untaken: - ret void -} - -; A >s B implies A >s B is true. -; CHECK-LABEL: @test_sgt_sgt -; CHECK: call void @is(i1 true) -; CHECK-NOT: call void @is(i1 false) -define void @test_sgt_sgt(i32 %a, i32 %b) { - %cmp1 = icmp sgt i32 %a, %b - br i1 %cmp1, label %taken, label %untaken - -taken: - %cmp2 = icmp sgt i32 %a, %b - br i1 %cmp2, label %sgt_sgt_istrue, label %sgt_sgt_isfalse - -sgt_sgt_istrue: - call void @is(i1 true) - ret void - -sgt_sgt_isfalse: - call void @is(i1 false) - ret void - -untaken: - ret void -} - -; A >s B implies A >=s B is true. -; CHECK-LABEL: @test_sgt_sge -; CHECK: call void @is(i1 true) -; CHECK-NOT: call void @is(i1 false) -define void @test_sgt_sge(i32 %a, i32 %b) { - %cmp1 = icmp sgt i32 %a, %b - br i1 %cmp1, label %taken, label %untaken - -taken: - %cmp2 = icmp sge i32 %a, %b - br i1 %cmp2, label %sgt_sge_istrue, label %sgt_sge_isfalse - -sgt_sge_istrue: - call void @is(i1 true) - ret void - -sgt_sge_isfalse: - call void @is(i1 false) - ret void - -untaken: - ret void -} - -; A >s B implies A <s B is false. -; CHECK-LABEL: @test_sgt_slt -; CHECK-NOT: call void @is(i1 true) -; CHECK: call void @is(i1 false) -define void @test_sgt_slt(i32 %a, i32 %b) { - %cmp1 = icmp sgt i32 %a, %b - br i1 %cmp1, label %taken, label %untaken - -taken: - %cmp2 = icmp slt i32 %a, %b - br i1 %cmp2, label %sgt_slt_istrue, label %sgt_slt_isfalse - -sgt_slt_istrue: - call void @is(i1 true) - ret void - -sgt_slt_isfalse: - call void @is(i1 false) - ret void - -untaken: - ret void -} - -; A >s B implies A <=s B is false. -; CHECK-LABEL: @test_sgt_sle -; CHECK-NOT: call void @is(i1 true) -; CHECK: call void @is(i1 false) -define void @test_sgt_sle(i32 %a, i32 %b) { - %cmp1 = icmp sgt i32 %a, %b - br i1 %cmp1, label %taken, label %untaken - -taken: - %cmp2 = icmp sle i32 %a, %b - br i1 %cmp2, label %sgt_sle_istrue, label %sgt_sle_isfalse - -sgt_sle_istrue: - call void @is(i1 true) - ret void - -sgt_sle_isfalse: - call void @is(i1 false) - ret void - -untaken: - ret void -} - -; A >=s B implies A >=s B is true. -; CHECK-LABEL: @test_sge_sge -; CHECK: call void @is(i1 true) -; CHECK-NOT: call void @is(i1 false) -define void @test_sge_sge(i32 %a, i32 %b) { - %cmp1 = icmp sge i32 %a, %b - br i1 %cmp1, label %taken, label %untaken - -taken: - %cmp2 = icmp sge i32 %a, %b - br i1 %cmp2, label %sge_sge_istrue, label %sge_sge_isfalse - -sge_sge_istrue: - call void @is(i1 true) - ret void - -sge_sge_isfalse: - call void @is(i1 false) - ret void - -untaken: - ret void -} - -; A >=s B implies A <s B is false. -; CHECK-LABEL: @test_sge_slt -; CHECK-NOT: call void @is(i1 true) -; CHECK: call void @is(i1 false) -define void @test_sge_slt(i32 %a, i32 %b) { - %cmp1 = icmp sge i32 %a, %b - br i1 %cmp1, label %taken, label %untaken - -taken: - %cmp2 = icmp slt i32 %a, %b - br i1 %cmp2, label %sge_slt_istrue, label %sge_slt_isfalse - -sge_slt_istrue: - call void @is(i1 true) - ret void - -sge_slt_isfalse: - call void @is(i1 false) - ret void - -untaken: - ret void -} - -; A >=s B implies A <=s B is unknown to be true or false. -; CHECK-LABEL: @test_sge_sle -; CHECK: call void @is(i1 true) -; CHECK: call void @is(i1 false) -define void @test_sge_sle(i32 %a, i32 %b) { - %cmp1 = icmp sge i32 %a, %b - br i1 %cmp1, label %taken, label %untaken - -taken: - %cmp2 = icmp sle i32 %a, %b - br i1 %cmp2, label %sge_sle_istrue, label %sge_sle_isfalse - -sge_sle_istrue: - call void @is(i1 true) - ret void - -sge_sle_isfalse: - call void @is(i1 false) - ret void - -untaken: - ret void -} - -; A <s B implies A <s B is true. -; CHECK-LABEL: @test_slt_slt -; CHECK: call void @is(i1 true) -; CHECK-NOT: call void @is(i1 false) -define void @test_slt_slt(i32 %a, i32 %b) { - %cmp1 = icmp slt i32 %a, %b - br i1 %cmp1, label %taken, label %untaken - -taken: - %cmp2 = icmp slt i32 %a, %b - br i1 %cmp2, label %slt_slt_istrue, label %slt_slt_isfalse - -slt_slt_istrue: - call void @is(i1 true) - ret void - -slt_slt_isfalse: - call void @is(i1 false) - ret void - -untaken: - ret void -} - -; A <s B implies A <=s B is true. -; CHECK-LABEL: @test_slt_sle -; CHECK: call void @is(i1 true) -; CHECK-NOT: call void @is(i1 false) -define void @test_slt_sle(i32 %a, i32 %b) { - %cmp1 = icmp slt i32 %a, %b - br i1 %cmp1, label %taken, label %untaken - -taken: - %cmp2 = icmp sle i32 %a, %b - br i1 %cmp2, label %slt_sle_istrue, label %slt_sle_isfalse - -slt_sle_istrue: - call void @is(i1 true) - ret void - -slt_sle_isfalse: - call void @is(i1 false) - ret void - -untaken: - ret void -} - -; A <=s B implies A <=s B is true. -; CHECK-LABEL: @test_sle_sle -; CHECK: call void @is(i1 true) -; CHECK-NOT: call void @is(i1 false) -define void @test_sle_sle(i32 %a, i32 %b) { - %cmp1 = icmp sle i32 %a, %b - br i1 %cmp1, label %taken, label %untaken - -taken: - %cmp2 = icmp sle i32 %a, %b - br i1 %cmp2, label %sle_sle_istrue, label %sle_sle_isfalse - -sle_sle_istrue: - call void @is(i1 true) - ret void - -sle_sle_isfalse: - call void @is(i1 false) - ret void - -untaken: - ret void -} - -; A >=u 5 implies A <u 5 is false. -; CHECK-LABEL: @test_uge_ult_const -; CHECK-NOT: call void @is(i1 true) -; CHECK: call void @is(i1 false) -define void @test_uge_ult_const(i32 %a, i32 %b) { - %cmp1 = icmp uge i32 %a, 5 - br i1 %cmp1, label %taken, label %untaken - -taken: - %cmp2 = icmp ult i32 %a, 5 - br i1 %cmp2, label %istrue, label %isfalse - -istrue: - call void @is(i1 true) - ret void - -isfalse: - call void @is(i1 false) - ret void - -untaken: - ret void -} |
