llvm/test/CodeGen/AArch64/expand-blr-rvmarker-pseudo.mir

   1 # RUN: llc -run-pass=aarch64-expand-pseudo -mtriple=arm64-apple-ios -o - -emit-call-site-info %s -verify-machineinstrs | FileCheck %s
   2
   3 --- |
   4   define void @test_1_callsite_info() {
   5     ret void
   6   }
   7
   8   define void @test_bl_pass_x0_arg() {
   9     ret void
  10   }
  11
  12   define void @test_bl_pass_x0_x1_x2_args() {
  13     ret void
  14   }
  15
  16   define void @test_bl_pass_w0_w1_args() {
  17     ret void
  18   }
  19
  20   define void @test_blr_pass_w0_w1_args() {
  21     ret void
  22   }
  23
  24   define void @foo(i32 %a) {
  25     ret void
  26   }
  27
  28   define void @test_blr_undef_arg_in_x0() {
  29     ret void
  30   }
  31
  32   declare ptr @attachedcall()
  33
  34   declare ptr @objc_retainAutoreleasedReturnValue()
  35 ...
  36 ---
  37
  38 # CHECK-LABEL: : test_1_callsite_info
  39 # CHECK:       bb.0:
  40 # CHECK-NEXT: liveins:
  41 # CHECK-NEXT: {{  $}}
  42 # CHECK-NEXT:    BUNDLE implicit-def $lr, implicit-def $w30, implicit-def $sp, implicit-def $wsp, implicit-def dead $x0, implicit-def $fp, implicit-def $w29, implicit $x0, implicit $sp, implicit $xzr, implicit $fp {
  43 # CHECK-NEXT:      BLR $x0, csr_aarch64_aapcs, implicit-def $lr, implicit $sp, implicit-def dead $lr, implicit $sp, implicit-def $sp, implicit-def dead $x0
  44 # CHECK-NEXT:      ORRXrs $xzr, $fp, 0
  45 # CHECK-NEXT:      BL @attachedcall, implicit-def $lr, implicit internal $sp
  46 # CHECK-NEXT:   }
  47 # CHECK-NEXT:    RET undef $lr, implicit killed $w0
  48 #
  49 name: test_1_callsite_info
  50 callSites:
  51   - {bb: 0, offset: 0, fwdArgRegs:
  52     - { arg: 0, reg: '$x0' } }
  53 body:             |
  54     bb.0:
  55         liveins: $lr, $x0
  56
  57         BLR_RVMARKER @attachedcall, $x0, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit-def $sp, implicit-def dead $x0
  58         RET_ReallyLR implicit killed $w0
  59 ...
  60
  61 # CHECK-LABEL: : test_bl_pass_x0_arg
  62 # CHECK:       bb.0:
  63 # CHECK-NEXT: liveins:
  64 # CHECK-NEXT: {{  $}}
  65 # CHECK-NEXT:     BUNDLE implicit-def $lr, implicit-def $w30, implicit-def $sp, implicit-def $wsp, implicit-def dead $x0, implicit-def $fp, implicit-def $w29, implicit $sp, implicit $x0, implicit $xzr, implicit $fp {
  66 # CHECK-NEXT:      BL @foo, csr_aarch64_aapcs, implicit-def $lr, implicit $sp, implicit $x0, implicit-def dead $lr, implicit $sp, implicit-def $sp, implicit-def dead $x0
  67 # CHECK-NEXT:      $fp = ORRXrs $xzr, $fp, 0
  68 # CHECK-NEXT:      BL @attachedcall, implicit-def $lr, implicit internal $sp
  69 # CHECK-NEXT:    }
  70 # CHECK-NEXT:    RET undef $lr, implicit killed $w0
  71 #
  72 name: test_bl_pass_x0_arg
  73 body:             |
  74     bb.0:
  75         liveins: $lr, $x0
  76
  77         BLR_RVMARKER @attachedcall, @foo, $x0, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit-def $sp, implicit-def dead $x0
  78         RET_ReallyLR implicit killed $w0
  79 ...
  80
  81 # CHECK-LABEL: : test_bl_pass_x0_x1_x2_args
  82 # CHECK:       bb.0:
  83 # CHECK-NEXT: liveins:
  84 # CHECK-NEXT: {{  $}}
  85 # CHECK-NEXT:     BUNDLE implicit-def $lr, implicit-def $w30, implicit-def $sp, implicit-def $wsp, implicit-def $x0, implicit-def $w0, implicit-def $fp, implicit-def $w29, implicit $sp, implicit $x0, implicit $x1, implicit $x2, implicit $xzr, implicit $fp {
  86 # CHECK-NEXT:      BL @foo, csr_aarch64_aapcs, implicit-def $lr, implicit $sp, implicit $x0, implicit $x1, implicit $x2, implicit-def dead $lr, implicit $sp, implicit-def $sp, implicit-def $x0
  87 # CHECK-NEXT:      $fp = ORRXrs $xzr, $fp, 0
  88 # CHECK-NEXT:      BL @attachedcall, implicit-def $lr, implicit internal $sp
  89 # CHECK-NEXT:    }
  90 # CHECK-NEXT:    RET undef $lr
  91 #
  92 name: test_bl_pass_x0_x1_x2_args
  93 body:             |
  94     bb.0:
  95         liveins: $lr, $x0, $x1, $x2
  96
  97         BLR_RVMARKER @attachedcall, @foo, $x0, $x1, $x2, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit-def $sp, implicit-def $x0
  98         RET_ReallyLR
  99 ...
 100
 101 # CHECK-LABEL: : test_bl_pass_w0_w1_args
 102 # CHECK:       bb.0:
 103 # CHECK-NEXT: liveins:
 104 # CHECK-NEXT: {{  $}}
 105 # CHECK-NEXT:     BUNDLE implicit-def $lr, implicit-def $w30, implicit-def $sp, implicit-def $wsp, implicit-def dead $x0, implicit-def $fp, implicit-def $w29, implicit $sp, implicit $w0, implicit $w1, implicit $xzr, implicit $fp {
 106 # CHECK-NEXT:      BL @foo, csr_aarch64_aapcs, implicit-def $lr, implicit $sp, implicit $w0, implicit $w1, implicit-def dead $lr, implicit $sp, implicit-def $sp, implicit-def dead $x0
 107 # CHECK-NEXT:      $fp = ORRXrs $xzr, $fp, 0
 108 # CHECK-NEXT:      BL @attachedcall, implicit-def $lr, implicit internal $sp
 109 # CHECK-NEXT:    }
 110 # CHECK-NEXT:    RET undef $lr, implicit killed $w0
 111 #
 112 name: test_bl_pass_w0_w1_args
 113 body:             |
 114     bb.0:
 115         liveins: $lr, $w0, $w1
 116
 117         BLR_RVMARKER @attachedcall, @foo, $w0, $w1, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit-def $sp, implicit-def dead $x0
 118         RET_ReallyLR implicit killed $w0
 119 ...
 120
 121
 122 # CHECK-LABEL: : test_blr_pass_w0_w1_args
 123 # CHECK:       bb.0:
 124 # CHECK-NEXT: liveins:
 125 # CHECK-NEXT: {{  $}}
 126 # CHECK-NEXT:     BUNDLE implicit-def $lr, implicit-def $w30, implicit-def $sp, implicit-def $wsp, implicit-def dead $x0, implicit-def $fp, implicit-def $w29, implicit $x8, implicit $sp, implicit $w0, implicit $w1, implicit $xzr, implicit $fp {
 127 # CHECK-NEXT:      BLR $x8, csr_aarch64_aapcs, implicit-def $lr, implicit $sp, implicit $w0, implicit $w1, implicit-def dead $lr, implicit $sp, implicit-def $sp, implicit-def dead $x0
 128 # CHECK-NEXT:      $fp = ORRXrs $xzr, $fp, 0
 129 # CHECK-NEXT:      BL @attachedcall, implicit-def $lr, implicit internal $sp
 130 # CHECK-NEXT:    }
 131 # CHECK-NEXT:    RET undef $lr, implicit killed $w0
 132 #
 133 name: test_blr_pass_w0_w1_args
 134 body:             |
 135     bb.0:
 136         liveins: $lr, $x8, $w0, $w1
 137
 138         BLR_RVMARKER @attachedcall, $x8, $w0, $w1, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit-def $sp, implicit-def dead $x0
 139         RET_ReallyLR implicit killed $w0
 140 ...
 141
 142 # Test for https://github.com/llvm/llvm-project/issues/68005.
 143 #
 144 # CHECK-LABEL: : test_blr_undef_arg_in_x0
 145 # CHECK:       bb.0:
 146 # CHECK-NEXT: liveins:
 147 # CHECK-NEXT: {{  $}}
 148 # CHECK-NEXT:    BUNDLE implicit-def $lr, implicit-def $w30, implicit-def $sp, implicit-def $wsp, implicit-def dead $x0, implicit-def $fp, implicit-def $w29, implicit $sp, implicit undef $x0, implicit $xzr, implicit $fp {
 149 # CHECK-NEXT:      BL @foo, csr_darwin_aarch64_aapcs, implicit-def $lr, implicit $sp, implicit undef $x0, implicit-def dead $lr, implicit $sp, implicit-def $sp, implicit-def dead $x0
 150 # CHECK-NEXT:      $fp = ORRXrs $xzr, $fp, 0
 151 # CHECK-NEXT:      BL @objc_retainAutoreleasedReturnValue, implicit-def $lr, implicit internal $sp
 152 # CHECK-NEXT:    }
 153 # CHECK-NEXT:    RET undef $lr
 154 #
 155 name: test_blr_undef_arg_in_x0
 156 tracksRegLiveness: true
 157 body:             |
 158   bb.0:
 159     liveins: $lr
 160
 161     BLR_RVMARKER @objc_retainAutoreleasedReturnValue, @foo, undef $x0, csr_darwin_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit-def $sp, implicit-def dead $x0
 162     RET_ReallyLR
 163 ...