diff options
Diffstat (limited to 'llvm/test/CodeGen/AArch64/GlobalISel/localizer.mir')
| -rw-r--r-- | llvm/test/CodeGen/AArch64/GlobalISel/localizer.mir | 87 |
1 files changed, 87 insertions, 0 deletions
diff --git a/llvm/test/CodeGen/AArch64/GlobalISel/localizer.mir b/llvm/test/CodeGen/AArch64/GlobalISel/localizer.mir index e4648a868f2..dad2240aa84 100644 --- a/llvm/test/CodeGen/AArch64/GlobalISel/localizer.mir +++ b/llvm/test/CodeGen/AArch64/GlobalISel/localizer.mir @@ -15,6 +15,29 @@ define void @float_non_local_phi_use_followed_by_use_fi() { ret void } define void @non_local_phi() { ret void } define void @non_local_label() { ret void } + + @var1 = common global i32 0, align 4 + @var2 = common global i32 0, align 4 + @var3 = common global i32 0, align 4 + @var4 = common global i32 0, align 4 + + define i32 @intrablock_with_globalvalue() { + entry: + %0 = load i32, i32* @var1, align 4 + %cmp = icmp eq i32 %0, 1 + br i1 %cmp, label %if.then, label %if.end + + if.then: + store i32 2, i32* @var2, align 4 + store i32 3, i32* @var1, align 4 + store i32 2, i32* @var3, align 4 + store i32 3, i32* @var1, align 4 + br label %if.end + + if.end: + ret i32 0 + } + ... --- @@ -301,3 +324,67 @@ body: | %2:fpr(s32) = G_FADD %0, %1 G_BR %bb.1 ... +--- +name: intrablock_with_globalvalue +legalized: true +regBankSelected: true +tracksRegLiveness: true +body: | + ; CHECK-LABEL: name: intrablock_with_globalvalue + ; CHECK: bb.0.entry: + ; CHECK: successors: %bb.1(0x40000000), %bb.2(0x40000000) + ; CHECK: [[GV:%[0-9]+]]:gpr(p0) = G_GLOBAL_VALUE @var1 + ; CHECK: [[C:%[0-9]+]]:gpr(s32) = G_CONSTANT i32 1 + ; CHECK: [[C1:%[0-9]+]]:gpr(s32) = G_CONSTANT i32 2 + ; CHECK: [[GV1:%[0-9]+]]:gpr(p0) = G_GLOBAL_VALUE @var2 + ; CHECK: [[C2:%[0-9]+]]:gpr(s32) = G_CONSTANT i32 3 + ; CHECK: [[GV2:%[0-9]+]]:gpr(p0) = G_GLOBAL_VALUE @var3 + ; CHECK: [[C3:%[0-9]+]]:gpr(s32) = G_CONSTANT i32 0 + ; CHECK: [[LOAD:%[0-9]+]]:gpr(s32) = G_LOAD [[GV]](p0) :: (load 4 from @var1) + ; CHECK: [[ICMP:%[0-9]+]]:gpr(s32) = G_ICMP intpred(eq), [[LOAD]](s32), [[C]] + ; CHECK: [[TRUNC:%[0-9]+]]:gpr(s1) = G_TRUNC [[ICMP]](s32) + ; CHECK: G_BRCOND [[TRUNC]](s1), %bb.1 + ; CHECK: G_BR %bb.2 + ; CHECK: bb.1.if.then: + ; CHECK: successors: %bb.2(0x80000000) + ; CHECK: [[GV3:%[0-9]+]]:gpr(p0) = G_GLOBAL_VALUE @var2 + ; CHECK: [[C4:%[0-9]+]]:gpr(s32) = G_CONSTANT i32 2 + ; CHECK: G_STORE [[C4]](s32), [[GV3]](p0) :: (store 4 into @var2) + ; CHECK: [[GV4:%[0-9]+]]:gpr(p0) = G_GLOBAL_VALUE @var1 + ; CHECK: [[C5:%[0-9]+]]:gpr(s32) = G_CONSTANT i32 3 + ; CHECK: G_STORE [[C5]](s32), [[GV4]](p0) :: (store 4 into @var1) + ; CHECK: [[GV5:%[0-9]+]]:gpr(p0) = G_GLOBAL_VALUE @var3 + ; CHECK: G_STORE [[C4]](s32), [[GV5]](p0) :: (store 4 into @var3) + ; CHECK: G_STORE [[C5]](s32), [[GV4]](p0) :: (store 4 into @var1) + ; CHECK: bb.2.if.end: + ; CHECK: [[C6:%[0-9]+]]:gpr(s32) = G_CONSTANT i32 0 + ; CHECK: $w0 = COPY [[C6]](s32) + ; CHECK: RET_ReallyLR implicit $w0 + + ; Some of these instructions are dead. We're checking that the other instructions are + ; sunk immediately before their first user in the if.then block or as close as possible. + bb.1.entry: + %1:gpr(p0) = G_GLOBAL_VALUE @var1 + %2:gpr(s32) = G_CONSTANT i32 1 + %4:gpr(s32) = G_CONSTANT i32 2 + %5:gpr(p0) = G_GLOBAL_VALUE @var2 + %6:gpr(s32) = G_CONSTANT i32 3 + %7:gpr(p0) = G_GLOBAL_VALUE @var3 + %8:gpr(s32) = G_CONSTANT i32 0 + %0:gpr(s32) = G_LOAD %1(p0) :: (load 4 from @var1) + %9:gpr(s32) = G_ICMP intpred(eq), %0(s32), %2 + %3:gpr(s1) = G_TRUNC %9(s32) + G_BRCOND %3(s1), %bb.2 + G_BR %bb.3 + + bb.2.if.then: + G_STORE %4(s32), %5(p0) :: (store 4 into @var2) + G_STORE %6(s32), %1(p0) :: (store 4 into @var1) + G_STORE %4(s32), %7(p0) :: (store 4 into @var3) + G_STORE %6(s32), %1(p0) :: (store 4 into @var1) + + bb.3.if.end: + $w0 = COPY %8(s32) + RET_ReallyLR implicit $w0 + +... |
