llvm/llvm/test/CodeGen/AArch64/GlobalISel/legalize-blockaddress.mir

# 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 ptr null

  define dso_local void @test_blockaddress() {
    store ptr blockaddress(@test_blockaddress, %block), ptr @addr
    indirectbr ptr 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-NEXT:   [[BLOCK_ADDR:%[0-9]+]]:_(p0) = G_BLOCK_ADDR blockaddress(@test_blockaddress, %ir-block.block)
  ; CHECK-NEXT:   [[ADRP:%[0-9]+]]:gpr64(p0) = ADRP target-flags(aarch64-page) @addr
  ; CHECK-NEXT:   [[ADD_LOW:%[0-9]+]]:_(p0) = G_ADD_LOW [[ADRP]](p0), target-flags(aarch64-pageoff, aarch64-nc) @addr
  ; CHECK-NEXT:   G_STORE [[BLOCK_ADDR]](p0), [[ADD_LOW]](p0) :: (store (p0) into @addr)
  ; CHECK-NEXT:   G_BRINDIRECT [[BLOCK_ADDR]](p0)
  ; CHECK-NEXT: {{  $}}
  ; CHECK-NEXT: bb.1.block (ir-block-address-taken %ir-block.block):
  ; CHECK-NEXT:   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 (p0) into @addr)
    G_BRINDIRECT %0(p0)

  bb.2.block (ir-block-address-taken %ir-block.block):
    RET_ReallyLR

...