diff options
Diffstat (limited to 'llvm/test/Transforms')
| -rw-r--r-- | llvm/test/Transforms/JumpThreading/implied-cond.ll | 29 | ||||
| -rw-r--r-- | llvm/test/Transforms/SimplifyCFG/implied-cond-matching.ll | 478 |
2 files changed, 507 insertions, 0 deletions
diff --git a/llvm/test/Transforms/JumpThreading/implied-cond.ll b/llvm/test/Transforms/JumpThreading/implied-cond.ll index 3d1717e9126..991f78ff497 100644 --- a/llvm/test/Transforms/JumpThreading/implied-cond.ll +++ b/llvm/test/Transforms/JumpThreading/implied-cond.ll @@ -96,3 +96,32 @@ define void @test2(i32 %i, i32 %len, i1* %c.ptr) { call void @side_effect(i32 %t) ret void } + +; A s<= B implies A s> B is false. +; CHECK-LABEL: @test3( +; CHECK: entry: +; CHECK: br i1 %cmp, label %if.end, label %if.end3 +; CHECK-NOT: br i1 %cmp1, label %if.then2, label %if.end +; CHECK-NOT: call void @side_effect(i32 0) +; CHECK: br label %if.end3 +; CHECK: ret void + +define void @test3(i32 %a, i32 %b) { +entry: + %cmp = icmp sle i32 %a, %b + br i1 %cmp, label %if.then, label %if.end3 + +if.then: + %cmp1 = icmp sgt i32 %a, %b + br i1 %cmp1, label %if.then2, label %if.end + +if.then2: + call void @side_effect(i32 0) + br label %if.end + +if.end: + br label %if.end3 + +if.end3: + ret void +} diff --git a/llvm/test/Transforms/SimplifyCFG/implied-cond-matching.ll b/llvm/test/Transforms/SimplifyCFG/implied-cond-matching.ll new file mode 100644 index 00000000000..9dbe7208009 --- /dev/null +++ b/llvm/test/Transforms/SimplifyCFG/implied-cond-matching.ll @@ -0,0 +1,478 @@ +; RUN: opt %s -S -simplifycfg | FileCheck %s + +; 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 >u B is false +; A == B implies A <u B is false +; CHECK-LABEL: @test_eq_unsigned +; CHECK-NOT: dead +; CHECK: ret void +define void @test_eq_unsigned(i32 %a, i32 %b) { +entry: + %cmp = icmp eq i32 %a, %b + br i1 %cmp, label %if.end, label %if.end9 + +if.end: + %cmp3 = icmp ugt i32 %a, %b + br i1 %cmp3, label %if.then4, label %if.end5 + +if.then4: + call void @dead() + br label %if.end5 + +if.end5: + %cmp6 = icmp ult i32 %a, %b + br i1 %cmp6, label %if.then7, label %if.end8 + +if.then7: + call void @dead() + br label %if.end8 + +if.end8: + br label %if.end9 + +if.end9: + ret void +} + +; A == B implies A >s B is false +; A == B implies A <s B is false +; CHECK-LABEL: @test_eq_signed +; CHECK-NOT: dead +; CHECK: ret void +define void @test_eq_signed(i32 %a, i32 %b) { +entry: + %cmp = icmp eq i32 %a, %b + br i1 %cmp, label %if.end, label %if.end9 + +if.end: + %cmp3 = icmp sgt i32 %a, %b + br i1 %cmp3, label %if.then4, label %if.end5 + +if.then4: + call void @dead() + br label %if.end5 + +if.end5: + %cmp6 = icmp slt i32 %a, %b + br i1 %cmp6, label %if.then7, label %if.end8 + +if.then7: + call void @dead() + br label %if.end8 + +if.end8: + br label %if.end9 + +if.end9: + ret void +} + +; A != B implies A == B is false +; CHECK-LABEL: @test_ne +; CHECK-NOT: dead +; CHECK: ret void +define void @test_ne(i32 %a, i32 %b) { +entry: + %cmp = icmp ne i32 %a, %b + br i1 %cmp, label %if.then, label %if.end3 + +if.then: + %cmp1 = icmp eq i32 %a, %b + br i1 %cmp1, label %if.then2, label %if.end + +if.then2: + call void @dead() + br label %if.end + +if.end: + br label %if.end3 + +if.end3: + ret void +} + +; A >u B implies A == B is false. +; A >u B implies A <=u B is false. +; A >u B implies A != B is true. +; CHECK-LABEL: @test_ugt +; CHECK-NOT: dead +; CHECK: alive +; CHECK-NOT: dead +; CHECK: ret void +define void @test_ugt(i32 %a, i32 %b) { +entry: + %cmp = icmp ugt i32 %a, %b + br i1 %cmp, label %if.then, label %if.end9 + +if.then: + %cmp1 = icmp eq i32 %a, %b + br i1 %cmp1, label %if.then2, label %if.end + +if.then2: + call void @dead() + br label %if.end + +if.end: + %cmp3 = icmp ule i32 %a, %b + br i1 %cmp3, label %if.then4, label %if.end5 + +if.then4: + call void @dead() + br label %if.end5 + +if.end5: + %cmp6 = icmp ne i32 %a, %b + br i1 %cmp6, label %if.then7, label %if.end8 + +if.then7: + call void @alive() + br label %if.end8 + +if.end8: + br label %if.end9 + +if.end9: + ret void +} + +; A >s B implies A == B is false. +; A >s B implies A <=s B is false. +; A >s B implies A != B is true. +; CHECK-LABEL: @test_sgt +; CHECK-NOT: dead +; CHECK: alive +; CHECK-NOT: dead +; CHECK: ret void +define void @test_sgt(i32 %a, i32 %b) { +entry: + %cmp = icmp sgt i32 %a, %b + br i1 %cmp, label %if.then, label %if.end9 + +if.then: + %cmp1 = icmp eq i32 %a, %b + br i1 %cmp1, label %if.then2, label %if.end + +if.then2: + call void @dead() + br label %if.end + +if.end: + %cmp3 = icmp sle i32 %a, %b + br i1 %cmp3, label %if.then4, label %if.end5 + +if.then4: + call void @dead() + br label %if.end5 + +if.end5: + %cmp6 = icmp ne i32 %a, %b + br i1 %cmp6, label %if.then7, label %if.end8 + +if.then7: + call void @alive() + br label %if.end8 + +if.end8: + br label %if.end9 + +if.end9: + ret void +} + +; A <u B implies A == B is false. +; A <u B implies A >=u B is false. +; A <u B implies A != B is true. +; CHECK-LABEL: @test_ult +; CHECK-NOT: dead +; CHECK: alive +; CHECK-NOT: dead +; CHECK: ret void +define void @test_ult(i32 %a, i32 %b) { +entry: + %cmp = icmp ult i32 %a, %b + br i1 %cmp, label %if.then, label %if.end9 + +if.then: + %cmp1 = icmp eq i32 %a, %b + br i1 %cmp1, label %if.then2, label %if.end + +if.then2: + call void @dead() + br label %if.end + +if.end: + %cmp3 = icmp uge i32 %a, %b + br i1 %cmp3, label %if.then4, label %if.end5 + +if.then4: + call void @dead() + br label %if.end5 + +if.end5: + %cmp6 = icmp eq i32 %a, %b + br i1 %cmp6, label %if.end8, label %if.then7 + +if.then7: + call void @alive() + br label %if.end8 + +if.end8: + br label %if.end9 + +if.end9: + ret void +} + +; A <s B implies A == B is false. +; A <s B implies A >=s B is false. +; A <s B implies A != B is true. +; CHECK-LABEL: @test_slt +; CHECK-NOT: dead +; CHECK: alive +; CHECK-NOT: dead +; CHECK: ret void +define void @test_slt(i32 %a, i32 %b) { +entry: + %cmp = icmp slt i32 %a, %b + br i1 %cmp, label %if.then, label %if.end9 + +if.then: + %cmp1 = icmp eq i32 %a, %b + br i1 %cmp1, label %if.then2, label %if.end + +if.then2: + call void @dead() + br label %if.end + +if.end: + %cmp3 = icmp sge i32 %a, %b + br i1 %cmp3, label %if.then4, label %if.end5 + +if.then4: + call void @dead() + br label %if.end5 + +if.end5: + %cmp6 = icmp eq i32 %a, %b + br i1 %cmp6, label %if.end8, label %if.then7 + +if.then7: + call void @alive() + br label %if.end8 + +if.end8: + br label %if.end9 + +if.end9: + ret void +} + +; A >=u B implies A <u B is false. +; CHECK-LABEL: @test_uge +; CHECK-NOT: dead +; CHECK: ret void +define void @test_uge(i32 %a, i32 %b) { +entry: + %cmp = icmp uge i32 %a, %b + br i1 %cmp, label %if.then, label %if.end3 + +if.then: + %cmp1 = icmp ult i32 %a, %b + br i1 %cmp1, label %if.then2, label %if.end + +if.then2: + call void @dead() + br label %if.end + +if.end: + br label %if.end3 + +if.end3: + ret void +} + +; A >=s B implies A <s B is false. +; CHECK-LABEL: @test_sge +; CHECK-NOT: dead +; CHECK: ret void +define void @test_sge(i32 %a, i32 %b) { +entry: + %cmp = icmp sge i32 %a, %b + br i1 %cmp, label %if.then, label %if.end3 + +if.then: + %cmp1 = icmp slt i32 %a, %b + br i1 %cmp1, label %if.then2, label %if.end + +if.then2: + call void @dead() + br label %if.end + +if.end: + br label %if.end3 + +if.end3: + ret void +} + +; A <=u B implies A >u B is false. +; CHECK-LABEL: @test_ule +; CHECK-NOT: dead +; CHECK: ret void +define void @test_ule(i32 %a, i32 %b) { +entry: + %cmp = icmp ule i32 %a, %b + br i1 %cmp, label %if.then, label %if.end3 + +if.then: + %cmp1 = icmp ugt i32 %a, %b + br i1 %cmp1, label %if.then2, label %if.end + +if.then2: + call void @dead() + br label %if.end + +if.end: + br label %if.end3 + +if.end3: + ret void +} + +; A <=s B implies A >s B is false. +; CHECK-LABEL: @test_sle +; CHECK-NOT: dead +; CHECK: ret void +define void @test_sle(i32 %a, i32 %b) { +entry: + %cmp = icmp sle i32 %a, %b + br i1 %cmp, label %if.then, label %if.end3 + +if.then: + %cmp1 = icmp sgt i32 %a, %b + br i1 %cmp1, label %if.then2, label %if.end + +if.then2: + call void @dead() + br label %if.end + +if.end: + br label %if.end3 + +if.end3: + ret void +} + +; A u<= B does not imply A s> B is false. +; CHECK-LABEL: @test_ule_sgt_unsafe +; CHECK: alive +; CHECK: ret void +define void @test_ule_sgt_unsafe(i32 %a, i32 %b) { +entry: + %cmp = icmp ule i32 %a, %b + br i1 %cmp, label %if.then, label %if.end3 + +if.then: + %cmp1 = icmp sgt i32 %a, %b + br i1 %cmp1, label %if.then2, label %if.end + +if.then2: + call void @alive() + br label %if.end + +if.end: + br label %if.end3 + +if.end3: + ret void +} + +; A u> B does not imply B s> A is false. +; CHECK-LABEL: @test_ugt_sgt_unsafe +; CHECK: alive +; CHECK: ret void +define void @test_ugt_sgt_unsafe(i32 %a, i32 %b) { +entry: + %cmp = icmp ugt i32 %a, %b + br i1 %cmp, label %if.then, label %if.end3 + +if.then: + %cmp1 = icmp sgt i32 %b, %a + br i1 %cmp1, label %if.then2, label %if.end + +if.then2: + call void @alive() + br label %if.end + +if.end: + br label %if.end3 + +if.end3: + ret void +} + +declare void @dead() +declare void @alive() |
