llvm/test/CodeGen/AArch64/machine-outliner-side-effect.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 x20.
   4
   5 --- |
   6   declare void @spam() local_unnamed_addr
   7   define void @baz() optsize minsize noredzone { ret void }
   8 ...
   9 ---
  10 name:            baz
  11 tracksRegLiveness: true
  12 body:             |
  13   bb.0:
  14     liveins: $x0, $x20
  15
  16     $x0 = COPY renamable $x20
  17     BL @spam, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $x0, implicit-def $sp, implicit-def $x0
  18     renamable $x21 = COPY $x0
  19
  20     $x0 = COPY renamable $x20
  21     BL @spam, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $x0, implicit-def $sp, implicit-def $x0
  22     renamable $x22 = COPY $x0
  23
  24     $x0 = COPY killed renamable $x20
  25     BL @spam, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $x0, implicit-def $sp, implicit-def $x0
  26     renamable $x3 = COPY $x0
  27
  28     RET_ReallyLR
  29
  30 ...
  31
  32 # CHECK: BL @OUTLINED_FUNCTION_0, {{.*}}, implicit $x20{{.*}}