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

   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 ---
  19 name:            test_blockaddress
  20 alignment:       4
  21 tracksRegLiveness: true
  22 registers:
  23   - { id: 0, class: _ }
  24   - { id: 1, class: _ }
  25 body:             |
  26   ; CHECK-LABEL: name: test_blockaddress
  27   ; CHECK: bb.0 (%ir-block.0):
  28   ; CHECK:   successors: %bb.1(0x80000000)
  29   ; CHECK:   [[BLOCK_ADDR:%[0-9]+]]:_(p0) = G_BLOCK_ADDR blockaddress(@test_blockaddress, %ir-block.block)
  30   ; CHECK:   [[GV:%[0-9]+]]:_(p0) = G_GLOBAL_VALUE @addr
  31   ; CHECK:   G_STORE [[BLOCK_ADDR]](p0), [[GV]](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