| ; 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 |
| } |