| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py |
| ; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s |
| |
| define i1 @test_second_or_condition_implied_by_first(i8 %x) { |
| ; CHECK-LABEL: @test_second_or_condition_implied_by_first( |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: [[C_1:%.*]] = icmp ule i8 [[X:%.*]], 10 |
| ; CHECK-NEXT: [[T_1:%.*]] = icmp ugt i8 [[X]], 5 |
| ; CHECK-NEXT: [[OR:%.*]] = or i1 true, [[T_1]] |
| ; CHECK-NEXT: br i1 [[OR]], label [[THEN:%.*]], label [[ELSE:%.*]] |
| ; CHECK: then: |
| ; CHECK-NEXT: ret i1 false |
| ; CHECK: else: |
| ; CHECK-NEXT: ret i1 true |
| ; |
| entry: |
| %c.1 = icmp ule i8 %x, 10 |
| %t.1 = icmp ugt i8 %x, 5 |
| %or = or i1 %c.1, %t.1 |
| br i1 %or, label %then, label %else |
| |
| then: |
| ret i1 0 |
| |
| else: |
| ret i1 1 |
| } |
| |
| define i1 @test_first_or_condition_implied_by_second_ops(i8 %x) { |
| ; CHECK-LABEL: @test_first_or_condition_implied_by_second_ops( |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: [[C_1:%.*]] = icmp ule i8 [[X:%.*]], 10 |
| ; CHECK-NEXT: [[T_1:%.*]] = icmp ugt i8 [[X]], 5 |
| ; CHECK-NEXT: [[OR:%.*]] = or i1 [[T_1]], true |
| ; CHECK-NEXT: br i1 [[OR]], label [[THEN:%.*]], label [[ELSE:%.*]] |
| ; CHECK: then: |
| ; CHECK-NEXT: ret i1 false |
| ; CHECK: else: |
| ; CHECK-NEXT: ret i1 true |
| ; |
| entry: |
| %c.1 = icmp ule i8 %x, 10 |
| %t.1 = icmp ugt i8 %x, 5 |
| %or = or i1 %t.1, %c.1 |
| br i1 %or, label %then, label %else |
| |
| then: |
| ret i1 0 |
| |
| else: |
| ret i1 1 |
| } |
| |
| define i1 @test_second_or_condition_implied_by_first_select_form(i8 %x) { |
| ; CHECK-LABEL: @test_second_or_condition_implied_by_first_select_form( |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: [[C_1:%.*]] = icmp ule i8 [[X:%.*]], 10 |
| ; CHECK-NEXT: [[T_1:%.*]] = icmp ugt i8 [[X]], 5 |
| ; CHECK-NEXT: [[OR:%.*]] = select i1 [[C_1]], i1 false, i1 [[T_1]] |
| ; CHECK-NEXT: br i1 [[OR]], label [[THEN:%.*]], label [[ELSE:%.*]] |
| ; CHECK: then: |
| ; CHECK-NEXT: ret i1 false |
| ; CHECK: else: |
| ; CHECK-NEXT: ret i1 true |
| ; |
| entry: |
| %c.1 = icmp ule i8 %x, 10 |
| %t.1 = icmp ugt i8 %x, 5 |
| %or = select i1 %c.1, i1 false, i1 %t.1 |
| br i1 %or, label %then, label %else |
| |
| then: |
| ret i1 0 |
| |
| else: |
| ret i1 1 |
| } |
| |
| define i1 @test_first_or_condition_implied_by_second_select_form(i8 %x) { |
| ; CHECK-LABEL: @test_first_or_condition_implied_by_second_select_form( |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: [[C_1:%.*]] = icmp ule i8 [[X:%.*]], 10 |
| ; CHECK-NEXT: [[T_1:%.*]] = icmp ugt i8 [[X]], 5 |
| ; CHECK-NEXT: [[OR:%.*]] = select i1 [[T_1]], i1 false, i1 [[C_1]] |
| ; CHECK-NEXT: br i1 [[OR]], label [[THEN:%.*]], label [[ELSE:%.*]] |
| ; CHECK: then: |
| ; CHECK-NEXT: ret i1 false |
| ; CHECK: else: |
| ; CHECK-NEXT: ret i1 true |
| ; |
| entry: |
| %c.1 = icmp ule i8 %x, 10 |
| %t.1 = icmp ugt i8 %x, 5 |
| %or = select i1 %t.1, i1 false, i1 %c.1 |
| br i1 %or, label %then, label %else |
| |
| then: |
| ret i1 0 |
| |
| else: |
| ret i1 1 |
| } |
| |
| define i1 @test_same_cond_for_or(i8 %x) { |
| ; CHECK-LABEL: @test_same_cond_for_or( |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: [[C_1:%.*]] = icmp ugt i8 [[X:%.*]], 10 |
| ; CHECK-NEXT: [[OR:%.*]] = or i1 false, [[C_1]] |
| ; CHECK-NEXT: br i1 [[OR]], label [[THEN:%.*]], label [[ELSE:%.*]] |
| ; CHECK: then: |
| ; CHECK-NEXT: ret i1 false |
| ; CHECK: else: |
| ; CHECK-NEXT: ret i1 true |
| ; |
| entry: |
| %c.1 = icmp ugt i8 %x, 10 |
| %or = or i1 %c.1, %c.1 |
| br i1 %or, label %then, label %else |
| |
| then: |
| ret i1 0 |
| |
| else: |
| ret i1 1 |
| } |
| |
| define i1 @test_same_cond_for_or_select_form(i8 %x) { |
| ; CHECK-LABEL: @test_same_cond_for_or_select_form( |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: [[C_1:%.*]] = icmp ugt i8 [[X:%.*]], 10 |
| ; CHECK-NEXT: [[OR:%.*]] = select i1 [[C_1]], i1 false, i1 [[C_1]] |
| ; CHECK-NEXT: br i1 [[OR]], label [[THEN:%.*]], label [[ELSE:%.*]] |
| ; CHECK: then: |
| ; CHECK-NEXT: ret i1 false |
| ; CHECK: else: |
| ; CHECK-NEXT: ret i1 true |
| ; |
| entry: |
| %c.1 = icmp ugt i8 %x, 10 |
| %or = select i1 %c.1, i1 false, i1 %c.1 |
| br i1 %or, label %then, label %else |
| |
| then: |
| ret i1 0 |
| |
| else: |
| ret i1 1 |
| } |
| |
| define i1 @test_second_or_condition_not_implied_by_first(i8 %x) { |
| ; CHECK-LABEL: @test_second_or_condition_not_implied_by_first( |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: [[C_1:%.*]] = icmp ugt i8 [[X:%.*]], 10 |
| ; CHECK-NEXT: [[C_2:%.*]] = icmp ugt i8 [[X]], 5 |
| ; CHECK-NEXT: [[OR:%.*]] = or i1 [[C_2]], false |
| ; CHECK-NEXT: br i1 [[OR]], label [[THEN:%.*]], label [[ELSE:%.*]] |
| ; CHECK: then: |
| ; CHECK-NEXT: ret i1 false |
| ; CHECK: else: |
| ; CHECK-NEXT: ret i1 true |
| ; |
| entry: |
| %c.1 = icmp ugt i8 %x, 10 |
| %c.2 = icmp ugt i8 %x, 5 |
| %or = or i1 %c.2, %c.1 |
| br i1 %or, label %then, label %else |
| |
| then: |
| ret i1 0 |
| |
| else: |
| ret i1 1 |
| } |
| |
| define i1 @test_remove_variables(i1 %c, ptr %A, i64 %B, ptr %C) { |
| ; CHECK-LABEL: @test_remove_variables( |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: br i1 [[C:%.*]], label [[THEN_1:%.*]], label [[EXIT:%.*]] |
| ; CHECK: then.1: |
| ; CHECK-NEXT: [[TMP0:%.*]] = load ptr, ptr [[C:%.*]], align 8 |
| ; CHECK-NEXT: [[C_1:%.*]] = icmp ult ptr [[TMP0]], [[A:%.*]] |
| ; CHECK-NEXT: br i1 [[C_1]], label [[THEN_2:%.*]], label [[ELSE_2:%.*]] |
| ; CHECK: then.2: |
| ; CHECK-NEXT: [[C_3:%.*]] = icmp sgt i64 [[B:%.*]], 0 |
| ; CHECK-NEXT: [[OR:%.*]] = or i1 true, [[C_3]] |
| ; CHECK-NEXT: ret i1 [[OR]] |
| ; CHECK: else.2: |
| ; CHECK-NEXT: ret i1 false |
| ; CHECK: exit: |
| ; CHECK-NEXT: ret i1 true |
| ; |
| entry: |
| br i1 %c, label %then.1, label %exit |
| |
| then.1: |
| %0 = load ptr, ptr %C, align 8 |
| %c.1 = icmp ult ptr %0, %A |
| br i1 %c.1, label %then.2, label %else.2 |
| |
| then.2: |
| %c.2 = icmp ne ptr %A, null |
| %c.3 = icmp sgt i64 %B, 0 |
| %or = or i1 %c.2, %c.3 |
| ret i1 %or |
| |
| else.2: |
| ret i1 0 |
| |
| exit: |
| %t = icmp eq ptr null, null |
| ret i1 %t |
| } |
| |
| define i1 @test_or_op_0_simplified(i32 %v) { |
| ; CHECK-LABEL: @test_or_op_0_simplified( |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: [[C_1:%.*]] = icmp sgt i32 [[V:%.*]], 0 |
| ; CHECK-NEXT: [[OR:%.*]] = or i1 false, [[C_1]] |
| ; CHECK-NEXT: ret i1 [[OR]] |
| ; |
| entry: |
| %c.1 = icmp sgt i32 %v, 0 |
| %t.1 = icmp sgt i32 0, 0 |
| %or = or i1 %t.1, %c.1 |
| ret i1 %or |
| } |
| |
| define i1 @test_or_op_1_simplified(i32 %v) { |
| ; CHECK-LABEL: @test_or_op_1_simplified( |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: [[C_1:%.*]] = icmp sgt i32 [[V:%.*]], 0 |
| ; CHECK-NEXT: [[OR:%.*]] = or i1 [[C_1]], false |
| ; CHECK-NEXT: ret i1 [[OR]] |
| ; |
| entry: |
| %c.1 = icmp sgt i32 %v, 0 |
| %t.1 = icmp sgt i32 0, 0 |
| %or = or i1 %c.1, %t.1 |
| ret i1 %or |
| } |
| |
| define i1 @test_or_used_in_false_branch(i8 %x) { |
| ; CHECK-LABEL: @test_or_used_in_false_branch( |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: [[C_1:%.*]] = icmp ule i8 [[X:%.*]], 10 |
| ; CHECK-NEXT: [[T_1:%.*]] = icmp ule i8 [[X]], 5 |
| ; CHECK-NEXT: [[OR:%.*]] = or i1 [[C_1]], false |
| ; CHECK-NEXT: br i1 [[OR]], label [[THEN:%.*]], label [[ELSE:%.*]] |
| ; CHECK: then: |
| ; CHECK-NEXT: ret i1 [[T_1]] |
| ; CHECK: else: |
| ; CHECK-NEXT: ret i1 false |
| ; |
| |
| entry: |
| %c.1 = icmp ule i8 %x, 10 |
| %t.1 = icmp ule i8 %x, 5 |
| %or = or i1 %c.1, %t.1 |
| br i1 %or, label %then, label %else |
| |
| then: |
| ret i1 %t.1 |
| |
| else: |
| ret i1 %t.1 |
| } |
| |
| define i1 @test_or_used_in_false_branch2(i8 %x) { |
| ; CHECK-LABEL: @test_or_used_in_false_branch2( |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: [[C_1:%.*]] = icmp ugt i8 [[X:%.*]], 10 |
| ; CHECK-NEXT: [[T_1:%.*]] = icmp ugt i8 [[X]], 5 |
| ; CHECK-NEXT: [[OR:%.*]] = or i1 false, [[T_1]] |
| ; CHECK-NEXT: br i1 [[OR]], label [[THEN:%.*]], label [[ELSE:%.*]] |
| ; CHECK: then: |
| ; CHECK-NEXT: ret i1 [[T_1]] |
| ; CHECK: else: |
| ; CHECK-NEXT: ret i1 false |
| ; |
| |
| entry: |
| %c.1 = icmp ugt i8 %x, 10 |
| %t.1 = icmp ugt i8 %x, 5 |
| %or = or i1 %c.1, %t.1 |
| br i1 %or, label %then, label %else |
| |
| then: |
| ret i1 %t.1 |
| |
| else: |
| ret i1 %t.1 |
| } |
| |
| define i1 @select_or_set_operand(ptr noundef %a, ptr noundef %b) { |
| ; CHECK-LABEL: @select_or_set_operand( |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: [[CMP_EQ:%.*]] = icmp eq ptr [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: [[INCDEC_PTR12_I:%.*]] = getelementptr inbounds i32, ptr [[A]], i64 1 |
| ; CHECK-NEXT: [[CMP_EQ_1:%.*]] = icmp eq ptr [[INCDEC_PTR12_I]], [[B]] |
| ; CHECK-NEXT: [[OR:%.*]] = select i1 [[CMP_EQ]], i1 true, i1 [[CMP_EQ_1]] |
| ; CHECK-NEXT: ret i1 [[OR]] |
| ; |
| entry: |
| %cmp.eq = icmp eq ptr %a, %b |
| %incdec.ptr12.i = getelementptr inbounds i32, ptr %a, i64 1 |
| %cmp.eq.1 = icmp eq ptr %incdec.ptr12.i, %b |
| %or = select i1 %cmp.eq, i1 true, i1 %cmp.eq.1 |
| ret i1 %or |
| } |