llvm/test/CodeGen/AArch64/machine-outliner-side-effect-2.mir

   1 # RUN: llc -mtriple=aarch64 -run-pass=machine-outliner -verify-machineinstrs %s -o - | FileCheck %s
   2
   3 # The test checks whether the compiler updates the side effect of function @OUTLINED_FUNCTION_0 by adding the use of register x0.
   4
   5 --- |
   6   declare void @spam() local_unnamed_addr
   7   define void @bax() optsize minsize noredzone { ret void }
   8   define void @bay() optsize minsize noredzone { ret void }
   9   define void @baz() optsize minsize noredzone { ret void }
  10 ...
  11 ---
  12 name:            bax
  13 tracksRegLiveness: true
  14 body:             |
  15   bb.0:
  16     liveins: $x0, $lr
  17
  18     $x1 = ADDXri $sp, 16, 0
  19     BL @spam, csr_darwin_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $x0, implicit killed $x1, implicit-def $sp, implicit-def dead $x0
  20
  21     RET_ReallyLR
  22
  23 ...
  24 ---
  25 name:            bay
  26 tracksRegLiveness: true
  27 body:             |
  28   bb.0:
  29     liveins: $x0, $lr
  30
  31     $x1 = ADDXri $sp, 16, 0
  32     BL @spam, csr_darwin_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $x0, implicit killed $x1, implicit-def $sp, implicit-def dead $x0
  33
  34     RET_ReallyLR
  35
  36 ...
  37 ---
  38 name:            baz
  39 tracksRegLiveness: true
  40 body:             |
  41   bb.0:
  42     liveins: $x0, $lr
  43
  44     $x1 = ADDXri $sp, 16, 0
  45     BL @spam, csr_darwin_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $x0, implicit killed $x1, implicit-def $sp, implicit-def dead $x0
  46
  47     RET_ReallyLR
  48
  49 ...
  50
  51 # CHECK: BL @OUTLINED_FUNCTION_0, {{.*}}, implicit $x0