• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
2# RUN: llc -mtriple=aarch64-linux-gnu -O0 -run-pass=legalizer %s -o - | FileCheck %s
3--- |
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 = global i8* null
8
9  define void @test_blockaddress() {
10    store i8* blockaddress(@test_blockaddress, %block), i8** @addr
11    indirectbr i8* blockaddress(@test_blockaddress, %block), [label %block]
12
13  block:                                            ; preds = %0
14    ret void
15  }
16
17...
18---
19name:            test_blockaddress
20alignment:       4
21tracksRegLiveness: true
22registers:
23  - { id: 0, class: _ }
24  - { id: 1, class: _ }
25body:             |
26  ; CHECK-LABEL: name: test_blockaddress
27  ; CHECK: bb.0 (%ir-block.0):
28  ; CHECK:   [[BLOCK_ADDR:%[0-9]+]]:_(p0) = G_BLOCK_ADDR blockaddress(@test_blockaddress, %ir-block.block)
29  ; CHECK:   [[ADRP:%[0-9]+]]:gpr64(p0) = ADRP target-flags(aarch64-page) @addr
30  ; CHECK:   [[ADD_LOW:%[0-9]+]]:_(p0) = G_ADD_LOW [[ADRP]](p0), target-flags(aarch64-pageoff, aarch64-nc) @addr
31  ; CHECK:   G_STORE [[BLOCK_ADDR]](p0), [[ADD_LOW]](p0) :: (store 8 into @addr)
32  ; CHECK:   G_BRINDIRECT [[BLOCK_ADDR]](p0)
33  ; CHECK: bb.1.block (address-taken):
34  ; CHECK:   RET_ReallyLR
35  bb.1 (%ir-block.0):
36    %0:_(p0) = G_BLOCK_ADDR blockaddress(@test_blockaddress, %ir-block.block)
37    %1:_(p0) = G_GLOBAL_VALUE @addr
38    G_STORE %0(p0), %1(p0) :: (store 8 into @addr)
39    G_BRINDIRECT %0(p0)
40
41  bb.2.block (address-taken):
42    RET_ReallyLR
43
44...
45
46