47 lines · plain
1# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py2# RUN: llc -mtriple=aarch64-linux-gnu -O0 -run-pass=legalizer %s -o - | FileCheck %s3--- |4 target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"5 target triple = "aarch64-none-linux-gnu"6 7 @addr = dso_local global ptr null8 9 define dso_local void @test_blockaddress() {10 store ptr blockaddress(@test_blockaddress, %block), ptr @addr11 indirectbr ptr blockaddress(@test_blockaddress, %block), [label %block]12 13 block: ; preds = %014 ret void15 }16 17...18---19name: test_blockaddress20alignment: 421tracksRegLiveness: true22registers:23 - { id: 0, class: _ }24 - { id: 1, class: _ }25body: |26 ; CHECK-LABEL: name: test_blockaddress27 ; CHECK: bb.0 (%ir-block.0):28 ; CHECK-NEXT: [[BLOCK_ADDR:%[0-9]+]]:_(p0) = G_BLOCK_ADDR blockaddress(@test_blockaddress, %ir-block.block)29 ; CHECK-NEXT: [[ADRP:%[0-9]+]]:gpr64(p0) = ADRP target-flags(aarch64-page) @addr30 ; CHECK-NEXT: [[ADD_LOW:%[0-9]+]]:_(p0) = G_ADD_LOW [[ADRP]](p0), target-flags(aarch64-pageoff, aarch64-nc) @addr31 ; CHECK-NEXT: G_STORE [[BLOCK_ADDR]](p0), [[ADD_LOW]](p0) :: (store (p0) into @addr)32 ; CHECK-NEXT: G_BRINDIRECT [[BLOCK_ADDR]](p0)33 ; CHECK-NEXT: {{ $}}34 ; CHECK-NEXT: bb.1.block (ir-block-address-taken %ir-block.block):35 ; CHECK-NEXT: RET_ReallyLR36 bb.1 (%ir-block.0):37 %0:_(p0) = G_BLOCK_ADDR blockaddress(@test_blockaddress, %ir-block.block)38 %1:_(p0) = G_GLOBAL_VALUE @addr39 G_STORE %0(p0), %1(p0) :: (store (p0) into @addr)40 G_BRINDIRECT %0(p0)41 42 bb.2.block (ir-block-address-taken %ir-block.block):43 RET_ReallyLR44 45...46 47