llvm/test/CodeGen/AArch64/machine-outliner-2fixup-blr-terminator.mir

   1 # RUN: llc -mtriple=aarch64--- -run-pass=machine-outliner \
   2 # RUN: -verify-machineinstrs %s -o - | FileCheck %s
   3
   4 # CHECK-NOT: OUTLINED_FUNCTION
   5
   6 --- |
   7   define void @f1() #0 { ret void }
   8   define void @f2() #0 { ret void }
   9   define void @f3() #0 { ret void }
  10   define void @f4() #0 { ret void }
  11   attributes #0 = { minsize noredzone "branch-target-enforcement" }
  12 ...
  13 ---
  14 name: f1
  15 tracksRegLiveness: true
  16 body: |
  17   bb.0:
  18   liveins: $lr, $x0, $x1, $x2, $x3, $x4, $x5, $x6, $x7, $x8, $x9, $x10, $x11, $x12, $x13, $x14, $x15, $x18, $x19, $x20, $x21, $x22, $x23, $x20, $x21, $x22, $x23, $x24, $x25, $x26, $x27, $x28, $fp
  19     $x20, $x19 = LDPXi $sp, 11
  20     $x20, $x19 = LDPXi $sp, 12
  21     $x20, $x19 = LDPXi $sp, 13
  22     $x20, $x19 = LDPXi $sp, 14
  23     $x20, $x19 = LDPXi $sp, 18
  24     $x20, $x19 = LDPXi $sp, 19
  25     $x20, $x19 = LDPXi $sp, 20
  26     $x20, $x19 = LDPXi $sp, 21
  27     BLR $x20, implicit $sp
  28   bb.2:
  29   liveins: $lr, $x0, $x1, $x2, $x3, $x4, $x5, $x6, $x7, $x8, $x9, $x10, $x11, $x12, $x13, $x14, $x15, $x18, $x19, $x20, $x21, $x22, $x23, $x20, $x21, $x22, $x23, $x24, $x25, $x26, $x27, $x28, $fp
  30     RET undef $lr
  31 ...
  32 ---
  33 name: f2
  34 tracksRegLiveness: true
  35 body: |
  36   bb.0:
  37   liveins: $lr, $x0, $x1, $x2, $x3, $x4, $x5, $x6, $x7, $x8, $x9, $x10, $x11, $x12, $x13, $x14, $x15, $x18, $x19, $x20, $x21, $x22, $x23, $x20, $x21, $x22, $x23, $x24, $x25, $x26, $x27, $x28, $fp
  38     $x20, $x19 = LDPXi $sp, 11
  39     $x20, $x19 = LDPXi $sp, 12
  40     $x20, $x19 = LDPXi $sp, 13
  41     $x20, $x19 = LDPXi $sp, 14
  42     $x20, $x19 = LDPXi $sp, 18
  43     $x20, $x19 = LDPXi $sp, 19
  44     $x20, $x19 = LDPXi $sp, 20
  45     $x20, $x19 = LDPXi $sp, 21
  46     BLR $x20, implicit $sp
  47   bb.2:
  48   liveins: $lr, $x0, $x1, $x2, $x3, $x4, $x5, $x6, $x7, $x8, $x9, $x10, $x11, $x12, $x13, $x14, $x15, $x18, $x19, $x20, $x21, $x22, $x23, $x20, $x21, $x22, $x23, $x24, $x25, $x26, $x27, $x28, $fp
  49     RET undef $lr
  50 ...
  51 ---
  52 name: f3
  53 tracksRegLiveness: true
  54 body: |
  55   bb.0:
  56   liveins: $lr, $x0, $x1, $x2, $x3, $x4, $x5, $x6, $x7, $x8, $x9, $x10, $x11, $x12, $x13, $x14, $x15, $x18, $x19, $x20, $x21, $x22, $x23, $x20, $x21, $x22, $x23, $x24, $x25, $x26, $x27, $x28, $fp
  57     $x20, $x19 = LDPXi $sp, 11
  58     $x20, $x19 = LDPXi $sp, 12
  59     $x20, $x19 = LDPXi $sp, 13
  60     $x20, $x19 = LDPXi $sp, 14
  61     $x20, $x19 = LDPXi $sp, 18
  62     $x20, $x19 = LDPXi $sp, 19
  63     $x20, $x19 = LDPXi $sp, 20
  64     $x20, $x19 = LDPXi $sp, 21
  65     BLR $x20, implicit $sp
  66   bb.2:
  67   liveins: $lr, $x0, $x1, $x2, $x3, $x4, $x5, $x6, $x7, $x8, $x9, $x10, $x11, $x12, $x13, $x14, $x15, $x18, $x19, $x20, $x21, $x22, $x23, $x20, $x21, $x22, $x23, $x24, $x25, $x26, $x27, $x28, $fp
  68     RET undef $lr
  69 ...
  70 ---
  71 name: f4
  72 tracksRegLiveness: true
  73 body: |
  74   bb.0:
  75     RET undef $lr