46 lines
1.6 KiB
Plaintext
46 lines
1.6 KiB
Plaintext
|
# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
|
||
|
|
# RUN: llc -mtriple=aarch64-linux-gnu -O0 -run-pass=legalizer %s -o - | FileCheck %s
|
||
|
|
--- |
|
||
|
|
target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"
|
||
|
|
target triple = "aarch64-none-linux-gnu"
|
||
|
|
|
||
|
|
@addr = dso_local global i8* null
|
||
|
|
|
||
|
|
define dso_local void @test_blockaddress() {
|
||
|
|
store i8* blockaddress(@test_blockaddress, %block), i8** @addr
|
||
|
|
indirectbr i8* blockaddress(@test_blockaddress, %block), [label %block]
|
||
|
|
|
||
|
|
block: ; preds = %0
|
||
|
|
ret void
|
||
|
|
}
|
||
|
|
|
||
|
|
...
|
||
|
|
---
|
||
|
|
name: test_blockaddress
|
||
|
|
alignment: 4
|
||
|
|
tracksRegLiveness: true
|
||
|
|
registers:
|
||
|
|
- { id: 0, class: _ }
|
||
|
|
- { id: 1, class: _ }
|
||
|
|
body: |
|
||
|
|
; CHECK-LABEL: name: test_blockaddress
|
||
|
|
; CHECK: bb.0 (%ir-block.0):
|
||
|
|
; CHECK: [[BLOCK_ADDR:%[0-9]+]]:_(p0) = G_BLOCK_ADDR blockaddress(@test_blockaddress, %ir-block.block)
|
||
|
|
; CHECK: [[ADRP:%[0-9]+]]:gpr64(p0) = ADRP target-flags(aarch64-page) @addr
|
||
|
|
; CHECK: [[ADD_LOW:%[0-9]+]]:_(p0) = G_ADD_LOW [[ADRP]](p0), target-flags(aarch64-pageoff, aarch64-nc) @addr
|
||
|
|
; CHECK: G_STORE [[BLOCK_ADDR]](p0), [[ADD_LOW]](p0) :: (store 8 into @addr)
|
||
|
|
; CHECK: G_BRINDIRECT [[BLOCK_ADDR]](p0)
|
||
|
|
; CHECK: bb.1.block (address-taken):
|
||
|
|
; CHECK: RET_ReallyLR
|
||
|
|
bb.1 (%ir-block.0):
|
||
|
|
%0:_(p0) = G_BLOCK_ADDR blockaddress(@test_blockaddress, %ir-block.block)
|
||
|
|
%1:_(p0) = G_GLOBAL_VALUE @addr
|
||
|
|
G_STORE %0(p0), %1(p0) :: (store 8 into @addr)
|
||
|
|
G_BRINDIRECT %0(p0)
|
||
|
|
|
||
|
|
bb.2.block (address-taken):
|
||
|
|
RET_ReallyLR
|
||
|
|
|
||
|
|
...
|
||
|
|
|