1e10b0ea3SFlorian Hahn; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2e10b0ea3SFlorian Hahn; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s 3e10b0ea3SFlorian Hahn 4e10b0ea3SFlorian Hahndeclare void @may_unwind() 5e10b0ea3SFlorian Hahn 6*c5e1ddb6SFlorian Hahndeclare i32 @__gxx_personality_v0(...) 7e10b0ea3SFlorian Hahn 8*c5e1ddb6SFlorian Hahndefine i1 @test_invoke_in_block_with_assume(i32 %x) personality ptr @__gxx_personality_v0 { 9e10b0ea3SFlorian Hahn; CHECK-LABEL: @test_invoke_in_block_with_assume( 10e10b0ea3SFlorian Hahn; CHECK-NEXT: entry: 11e10b0ea3SFlorian Hahn; CHECK-NEXT: call void @may_unwind() 12e10b0ea3SFlorian Hahn; CHECK-NEXT: [[C_1:%.*]] = icmp ult i32 [[X:%.*]], 10 13e10b0ea3SFlorian Hahn; CHECK-NEXT: call void @llvm.assume(i1 [[C_1]]) 14e10b0ea3SFlorian Hahn; CHECK-NEXT: invoke void @may_unwind() 15e10b0ea3SFlorian Hahn; CHECK-NEXT: to label [[CONT:%.*]] unwind label [[LPAD:%.*]] 16e10b0ea3SFlorian Hahn; CHECK: cont: 17e10b0ea3SFlorian Hahn; CHECK-NEXT: [[C_2:%.*]] = icmp ult i32 [[X]], 9 18e10b0ea3SFlorian Hahn; CHECK-NEXT: [[RES_1:%.*]] = xor i1 true, [[C_2]] 19e10b0ea3SFlorian Hahn; CHECK-NEXT: ret i1 [[RES_1]] 20e10b0ea3SFlorian Hahn; CHECK: lpad: 21*c5e1ddb6SFlorian Hahn; CHECK-NEXT: [[LP:%.*]] = landingpad { ptr, i32 } 22*c5e1ddb6SFlorian Hahn; CHECK-NEXT: filter [0 x ptr] zeroinitializer 23e10b0ea3SFlorian Hahn; CHECK-NEXT: [[C_3:%.*]] = icmp ult i32 [[X]], 9 24e10b0ea3SFlorian Hahn; CHECK-NEXT: [[RES_2:%.*]] = xor i1 true, [[C_3]] 25e10b0ea3SFlorian Hahn; CHECK-NEXT: ret i1 [[RES_2]] 26e10b0ea3SFlorian Hahn; 27e10b0ea3SFlorian Hahnentry: 28e10b0ea3SFlorian Hahn call void @may_unwind() 29e10b0ea3SFlorian Hahn %c.1 = icmp ult i32 %x, 10 30e10b0ea3SFlorian Hahn call void @llvm.assume(i1 %c.1) 31*c5e1ddb6SFlorian Hahn invoke void @may_unwind() 32*c5e1ddb6SFlorian Hahn to label %cont unwind label %lpad 33e10b0ea3SFlorian Hahn 34e10b0ea3SFlorian Hahncont: 35e10b0ea3SFlorian Hahn %t.1 = icmp ult i32 %x, 10 36e10b0ea3SFlorian Hahn %c.2 = icmp ult i32 %x, 9 37e10b0ea3SFlorian Hahn %res.1 = xor i1 %t.1, %c.2 38e10b0ea3SFlorian Hahn ret i1 %res.1 39e10b0ea3SFlorian Hahn 40e10b0ea3SFlorian Hahnlpad: 41*c5e1ddb6SFlorian Hahn %lp = landingpad { ptr, i32 } 42*c5e1ddb6SFlorian Hahn filter [0 x ptr] zeroinitializer 43e10b0ea3SFlorian Hahn %t.2 = icmp ult i32 %x, 10 44e10b0ea3SFlorian Hahn %c.3 = icmp ult i32 %x, 9 45e10b0ea3SFlorian Hahn %res.2 = xor i1 %t.2, %c.3 46e10b0ea3SFlorian Hahn ret i1 %res.2 47e10b0ea3SFlorian Hahn} 48e10b0ea3SFlorian Hahn 49e10b0ea3SFlorian Hahndeclare void @llvm.assume(i1) 50