llvm/test/CodeGen/AArch64/ldst-opt-mte.mir

   1 # RUN: llc -mtriple=aarch64-none-linux-gnu -mattr=+mte -run-pass aarch64-ldst-opt  -verify-machineinstrs  -o - %s | FileCheck %s
   2 # RUN: llc -debugify-and-strip-all-safe -mtriple=aarch64-none-linux-gnu -mattr=+mte -run-pass aarch64-ldst-opt  -verify-machineinstrs  -o - %s | FileCheck %s
   3 ---
   4
   5 ### STG and its offset limits
   6
   7 # CHECK-LABEL: name: test_STG_post
   8 # CHECK: STGPostIndex $x0, $x0, 7
   9 name: test_STG_post
  10 body: |
  11   bb.0.entry:
  12     liveins: $x0
  13
  14     STGi $x0, $x0, 0
  15     $x0 = ADDXri $x0, 112, 0
  16     RET_ReallyLR implicit $x0
  17 ...
  18
  19 # CHECK-LABEL: name: test_STG_post_same_reg
  20 # CHECK: STGPostIndex $x1, $x0, 7
  21 name: test_STG_post_same_reg
  22 body: |
  23   bb.0.entry:
  24     liveins: $x0, $x1
  25
  26     STGi $x1, $x0, 0
  27     $x0 = ADDXri $x0, 112, 0
  28     RET_ReallyLR implicit $x0
  29 ...
  30
  31 # CHECK-LABEL: name: test_STG_post_unaligned
  32 # CHECK:      STGi $x0, $x0, 0
  33 # CHECK-NEXT: ADDXri $x0, 8, 0
  34 name: test_STG_post_unaligned
  35 body: |
  36   bb.0.entry:
  37     liveins: $x0
  38
  39     STGi $x0, $x0, 0
  40     $x0 = ADDXri $x0, 8, 0
  41     RET_ReallyLR implicit $x0
  42 ...
  43
  44 # CHECK-LABEL: name: test_STG_post2
  45 # CHECK: STGPostIndex $x0, $x0, -256
  46 name: test_STG_post2
  47 body: |
  48   bb.0.entry:
  49     liveins: $x0
  50
  51     STGi $x0, $x0, 0
  52     $x0 = SUBXri $x0, 4096, 0
  53     RET_ReallyLR implicit $x0
  54 ...
  55
  56 # CHECK-LABEL: name: test_STG_post3
  57 # CHECK:      STGi $x0, $x0, 0
  58 # CHECK-NEXT: SUBXri $x0, 4112, 0
  59 name: test_STG_post3
  60 body: |
  61   bb.0.entry:
  62     liveins: $x0
  63
  64     STGi $x0, $x0, 0
  65     $x0 = SUBXri $x0, 4112, 0
  66     RET_ReallyLR implicit $x0
  67 ...
  68
  69 # CHECK-LABEL: name: test_STG_post4
  70 # CHECK: STGPostIndex $x0, $x0, 255
  71 name: test_STG_post4
  72 body: |
  73   bb.0.entry:
  74     liveins: $x0
  75
  76     STGi $x0, $x0, 0
  77     $x0 = ADDXri $x0, 4080, 0
  78     RET_ReallyLR implicit $x0
  79 ...
  80
  81 # CHECK-LABEL: name: test_STG_post5
  82 # CHECK:      STGi $x0, $x0, 0
  83 # CHECK-NEXT: ADDXri $x0, 4096, 0
  84 name: test_STG_post5
  85 body: |
  86   bb.0.entry:
  87     liveins: $x0
  88
  89     STGi $x0, $x0, 0
  90     $x0 = ADDXri $x0, 4096, 0
  91     RET_ReallyLR implicit $x0
  92 ...
  93
  94 ### The rest of ST*G variants.
  95
  96 # CHECK-LABEL: name: test_STZG_post
  97 # CHECK: STZGPostIndex $x0, $x0, 7
  98 name: test_STZG_post
  99 body: |
 100   bb.0.entry:
 101     liveins: $x0
 102
 103     STZGi $x0, $x0, 0
 104     $x0 = ADDXri $x0, 112, 0
 105     RET_ReallyLR implicit $x0
 106 ...
 107
 108 # CHECK-LABEL: name: test_ST2G_post
 109 # CHECK: ST2GPostIndex $x0, $x0, 7
 110 name: test_ST2G_post
 111 body: |
 112   bb.0.entry:
 113     liveins: $x0
 114
 115     ST2Gi $x0, $x0, 0
 116     $x0 = ADDXri $x0, 112, 0
 117     RET_ReallyLR implicit $x0
 118 ...
 119
 120 # CHECK-LABEL: name: test_STZ2G_post
 121 # CHECK: STZ2GPostIndex $x0, $x0, 7
 122 name: test_STZ2G_post
 123 body: |
 124   bb.0.entry:
 125     liveins: $x0
 126
 127     STZ2Gi $x0, $x0, 0
 128     $x0 = ADDXri $x0, 112, 0
 129     RET_ReallyLR implicit $x0
 130 ...
 131
 132 ### STGP and its offset limits
 133
 134 # CHECK-LABEL: name: test_STGP_post
 135 # CHECK: STGPpost $x1, $x2, $x0, 7
 136 name: test_STGP_post
 137 body: |
 138   bb.0.entry:
 139     liveins: $x0, $x1, $x2
 140
 141     STGPi $x1, $x2, $x0, 0
 142     $x0 = ADDXri $x0, 112, 0
 143     RET_ReallyLR implicit $x0
 144 ...
 145
 146 # CHECK-LABEL: name: test_STGP_post2
 147 # CHECK: STGPpost $x1, $x2, $x0, -64
 148 name: test_STGP_post2
 149 body: |
 150   bb.0.entry:
 151     liveins: $x0, $x1, $x2
 152
 153     STGPi $x1, $x2, $x0, 0
 154     $x0 = SUBXri $x0, 1024, 0
 155     RET_ReallyLR implicit $x0
 156 ...
 157
 158 # CHECK-LABEL: name: test_STGP_post3
 159 # CHECK:      STGPi $x1, $x2, $x0, 0
 160 # CHECK-NEXT: SUBXri $x0, 1040, 0
 161 name: test_STGP_post3
 162 body: |
 163   bb.0.entry:
 164     liveins: $x0, $x1, $x2
 165
 166     STGPi $x1, $x2, $x0, 0
 167     $x0 = SUBXri $x0, 1040, 0
 168     RET_ReallyLR implicit $x0
 169 ...
 170
 171 # CHECK-LABEL: name: test_STGP_post4
 172 # CHECK: STGPpost $x1, $x2, $x0, 63
 173 name: test_STGP_post4
 174 body: |
 175   bb.0.entry:
 176     liveins: $x0, $x1, $x2
 177
 178     STGPi $x1, $x2, $x0, 0
 179     $x0 = ADDXri $x0, 1008, 0
 180     RET_ReallyLR implicit $x0
 181 ...
 182
 183 # CHECK-LABEL: name: test_STGP_post5
 184 # CHECK:      STGPi $x1, $x2, $x0, 0
 185 # CHECK-NEXT: ADDXri $x0, 1024, 0
 186 name: test_STGP_post5
 187 body: |
 188   bb.0.entry:
 189     liveins: $x0, $x1, $x2
 190
 191     STGPi $x1, $x2, $x0, 0
 192     $x0 = ADDXri $x0, 1024, 0
 193     RET_ReallyLR implicit $x0
 194 ...
 195
 196 ### Pre-indexed forms
 197
 198 # CHECK-LABEL: name: test_STG_pre
 199 # CHECK: STGPreIndex $x0, $x0, 10
 200 name: test_STG_pre
 201 body: |
 202   bb.0.entry:
 203     liveins: $x0
 204
 205     STGi $x0, $x0, 10
 206     $x0 = ADDXri $x0, 160, 0
 207     RET_ReallyLR implicit $x0
 208 ...
 209
 210 # CHECK-LABEL: name: test_STGP_pre
 211 # CHECK: STGPpre $x1, $x2, $x0, 10
 212 name: test_STGP_pre
 213 body: |
 214   bb.0.entry:
 215     liveins: $x0, $x1, $x2
 216
 217     STGPi $x1, $x2, $x0, 10
 218     $x0 = ADDXri $x0, 160, 0
 219     RET_ReallyLR implicit $x0
 220 ...
 221
 222 ### Pre-indexed forms with add/sub coming before the store.
 223
 224 # CHECK-LABEL: name: test_STG_pre_back
 225 # CHECK: STGPreIndex $x0, $x0, 2
 226 name: test_STG_pre_back
 227 body: |
 228   bb.0.entry:
 229     liveins: $x0
 230
 231     $x0 = ADDXri $x0, 32, 0
 232     STGi $x0, $x0, 0
 233     RET_ReallyLR implicit $x0
 234 ...
 235
 236 # CHECK-LABEL: name: test_STGP_pre_back
 237 # CHECK: STGPpre $x1, $x2, $x0, -3
 238 name: test_STGP_pre_back
 239 body: |
 240   bb.0.entry:
 241     liveins: $x0, $x1, $x2
 242
 243     $x0 = SUBXri $x0, 48, 0
 244     STGPi $x1, $x2, $x0, 0
 245     RET_ReallyLR implicit $x0
 246 ...
 247
 248 ### STGP with source register == address register
 249
 250 # CHECK-LABEL: name: test_STGP_post_same_reg
 251 # CHECK: STGPpost $x0, $x0, $x0, 7
 252 name: test_STGP_post_same_reg
 253 body: |
 254   bb.0.entry:
 255     liveins: $x0
 256
 257     STGPi $x0, $x0, $x0, 0
 258     $x0 = ADDXri $x0, 112, 0
 259     RET_ReallyLR implicit $x0
 260 ...
 261
 262 # CHECK-LABEL: name: test_STGP_pre_same_reg
 263 # CHECK: STGPpre $x0, $x0, $x0, 7
 264 name: test_STGP_pre_same_reg
 265 body: |
 266   bb.0.entry:
 267     liveins: $x0
 268
 269     STGPi $x0, $x0, $x0, 7
 270     $x0 = ADDXri $x0, 112, 0
 271     RET_ReallyLR implicit $x0
 272 ...
 273
 274 # This case can not be merged because the source register is always read before writeback.
 275 # CHECK-LABEL: name: test_STGP_pre_back_same_reg
 276 # CHECK:      SUBXri $x0, 48, 0
 277 # CHECK-NEXT: STGPi $x0, $x0, $x0, 0
 278 name: test_STGP_pre_back_same_reg
 279 body: |
 280   bb.0.entry:
 281     liveins: $x0
 282
 283     $x0 = SUBXri $x0, 48, 0
 284     STGPi $x0, $x0, $x0, 0
 285     RET_ReallyLR implicit $x0
 286 ...