119 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py2; RUN: llc -O0 -mtriple=aarch64-apple-ios -global-isel -stop-after=legalizer %s -o - | FileCheck %s3 4@global_var = external global i325declare i32 @__gxx_personality_v0(...)6declare void @may_throw()7 8; This test checks that the widened G_CONSTANT operand to the phi in "continue" bb9; is placed before the potentially throwing call in the entry block.10define i1 @test_lpad_phi_widen_into_pred() personality ptr @__gxx_personality_v0 {11 ; CHECK-LABEL: name: test_lpad_phi_widen_into_pred12 ; CHECK: bb.1 (%ir-block.0):13 ; CHECK-NEXT: successors: %bb.3(0x40000000), %bb.2(0x40000000)14 ; CHECK-NEXT: {{ $}}15 ; CHECK-NEXT: [[GV:%[0-9]+]]:_(p0) = G_GLOBAL_VALUE @global_var16 ; CHECK-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 4217 ; CHECK-NEXT: G_STORE [[C]](s32), [[GV]](p0) :: (store (s32) into @global_var)18 ; CHECK-NEXT: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 1119 ; CHECK-NEXT: [[C2:%[0-9]+]]:_(s16) = G_CONSTANT i16 120 ; CHECK-NEXT: G_INVOKE_REGION_START21 ; CHECK-NEXT: EH_LABEL <mcsymbol >22 ; CHECK-NEXT: ADJCALLSTACKDOWN 0, 0, implicit-def $sp, implicit $sp23 ; CHECK-NEXT: BL @may_throw, csr_darwin_aarch64_aapcs, implicit-def $lr, implicit $sp24 ; CHECK-NEXT: ADJCALLSTACKUP 0, 0, implicit-def $sp, implicit $sp25 ; CHECK-NEXT: EH_LABEL <mcsymbol >26 ; CHECK-NEXT: G_BR %bb.327 ; CHECK-NEXT: {{ $}}28 ; CHECK-NEXT: bb.2.lpad (landing-pad):29 ; CHECK-NEXT: successors: %bb.3(0x80000000)30 ; CHECK-NEXT: liveins: $x0, $x131 ; CHECK-NEXT: {{ $}}32 ; CHECK-NEXT: [[PHI:%[0-9]+]]:_(s32) = G_PHI [[C1]](s32), %bb.133 ; CHECK-NEXT: EH_LABEL <mcsymbol >34 ; CHECK-NEXT: [[GV1:%[0-9]+]]:_(p0) = G_GLOBAL_VALUE @global_var35 ; CHECK-NEXT: G_STORE [[PHI]](s32), [[GV1]](p0) :: (store (s32) into @global_var)36 ; CHECK-NEXT: [[C3:%[0-9]+]]:_(s16) = G_CONSTANT i16 037 ; CHECK-NEXT: G_BR %bb.338 ; CHECK-NEXT: {{ $}}39 ; CHECK-NEXT: bb.3.continue:40 ; CHECK-NEXT: [[PHI1:%[0-9]+]]:_(s16) = G_PHI [[C2]](s16), %bb.1, [[C3]](s16), %bb.241 ; CHECK-NEXT: [[ANYEXT:%[0-9]+]]:_(s32) = G_ANYEXT [[PHI1]](s16)42 ; CHECK-NEXT: [[C4:%[0-9]+]]:_(s32) = G_CONSTANT i32 143 ; CHECK-NEXT: [[AND:%[0-9]+]]:_(s32) = G_AND [[ANYEXT]], [[C4]]44 ; CHECK-NEXT: $w0 = COPY [[AND]](s32)45 ; CHECK-NEXT: RET_ReallyLR implicit $w046 store i32 42, ptr @global_var47 invoke void @may_throw()48 to label %continue unwind label %lpad49 50lpad: ; preds = %entry51 %p = phi i32 [ 11, %0 ]52 %1 = landingpad { ptr, i32 }53 catch ptr null54 store i32 %p, ptr @global_var55 br label %continue56 57continue: ; preds = %entry, %lpad58 %r.0 = phi i1 [ 1, %0 ], [ 0, %lpad ]59 ret i1 %r.060}61 62; Same test but with extensions.63define i1 @test_lpad_phi_widen_into_pred_ext(ptr %ptr) personality ptr @__gxx_personality_v0 {64 ; CHECK-LABEL: name: test_lpad_phi_widen_into_pred_ext65 ; CHECK: bb.1 (%ir-block.0):66 ; CHECK-NEXT: successors: %bb.3(0x40000000), %bb.2(0x40000000)67 ; CHECK-NEXT: liveins: $x068 ; CHECK-NEXT: {{ $}}69 ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(p0) = COPY $x070 ; CHECK-NEXT: [[GV:%[0-9]+]]:_(p0) = G_GLOBAL_VALUE @global_var71 ; CHECK-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 4272 ; CHECK-NEXT: G_STORE [[C]](s32), [[GV]](p0) :: (store (s32) into @global_var)73 ; CHECK-NEXT: [[LOAD:%[0-9]+]]:_(s8) = G_LOAD [[COPY]](p0) :: (load (s8) from %ir.ptr)74 ; CHECK-NEXT: [[ASSERT_ZEXT:%[0-9]+]]:_(s8) = G_ASSERT_ZEXT [[LOAD]], 175 ; CHECK-NEXT: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 1176 ; CHECK-NEXT: [[ANYEXT:%[0-9]+]]:_(s16) = G_ANYEXT [[ASSERT_ZEXT]](s8)77 ; CHECK-NEXT: G_INVOKE_REGION_START78 ; CHECK-NEXT: EH_LABEL <mcsymbol >79 ; CHECK-NEXT: ADJCALLSTACKDOWN 0, 0, implicit-def $sp, implicit $sp80 ; CHECK-NEXT: BL @may_throw, csr_darwin_aarch64_aapcs, implicit-def $lr, implicit $sp81 ; CHECK-NEXT: ADJCALLSTACKUP 0, 0, implicit-def $sp, implicit $sp82 ; CHECK-NEXT: EH_LABEL <mcsymbol >83 ; CHECK-NEXT: G_BR %bb.384 ; CHECK-NEXT: {{ $}}85 ; CHECK-NEXT: bb.2.lpad (landing-pad):86 ; CHECK-NEXT: successors: %bb.3(0x80000000)87 ; CHECK-NEXT: liveins: $x0, $x188 ; CHECK-NEXT: {{ $}}89 ; CHECK-NEXT: [[PHI:%[0-9]+]]:_(s32) = G_PHI [[C1]](s32), %bb.190 ; CHECK-NEXT: EH_LABEL <mcsymbol >91 ; CHECK-NEXT: [[GV1:%[0-9]+]]:_(p0) = G_GLOBAL_VALUE @global_var92 ; CHECK-NEXT: G_STORE [[PHI]](s32), [[GV1]](p0) :: (store (s32) into @global_var)93 ; CHECK-NEXT: [[C2:%[0-9]+]]:_(s16) = G_CONSTANT i16 094 ; CHECK-NEXT: G_BR %bb.395 ; CHECK-NEXT: {{ $}}96 ; CHECK-NEXT: bb.3.continue:97 ; CHECK-NEXT: [[PHI1:%[0-9]+]]:_(s16) = G_PHI [[ANYEXT]](s16), %bb.1, [[C2]](s16), %bb.298 ; CHECK-NEXT: [[ANYEXT1:%[0-9]+]]:_(s32) = G_ANYEXT [[PHI1]](s16)99 ; CHECK-NEXT: [[C3:%[0-9]+]]:_(s32) = G_CONSTANT i32 1100 ; CHECK-NEXT: [[AND:%[0-9]+]]:_(s32) = G_AND [[ANYEXT1]], [[C3]]101 ; CHECK-NEXT: $w0 = COPY [[AND]](s32)102 ; CHECK-NEXT: RET_ReallyLR implicit $w0103 store i32 42, ptr @global_var104 %v = load i1, ptr %ptr105 invoke void @may_throw()106 to label %continue unwind label %lpad107 108lpad: ; preds = %entry109 %p = phi i32 [ 11, %0 ]110 %1 = landingpad { ptr, i32 }111 catch ptr null112 store i32 %p, ptr @global_var113 br label %continue114 115continue: ; preds = %entry, %lpad116 %r.0 = phi i1 [ %v, %0 ], [ 0, %lpad ]117 ret i1 %r.0118}119