llvm/test/CodeGen/AArch64/fast-isel-atomic.ll

   1 ; RUN: llc -mtriple=aarch64-- -O0 -fast-isel -fast-isel-abort=4 -verify-machineinstrs < %s | FileCheck %s
   2 ; RUN: llc -mtriple=aarch64-- -O0 -fast-isel=0 -global-isel=false -verify-machineinstrs < %s | FileCheck %s
   3
   4 ; Note that checking SelectionDAG output isn't strictly necessary, but they
   5 ; currently match, so we might as well check both!  Feel free to remove SDAG.
   6
   7 ; CHECK-LABEL: atomic_store_monotonic_8:
   8 ; CHECK-NEXT: // %bb.0:
   9 ; CHECK-NEXT:  strb  w1, [x0]
  10 ; CHECK-NEXT:  ret
  11 define void @atomic_store_monotonic_8(ptr %p, i8 %val) #0 {
  12   store atomic i8 %val, ptr %p monotonic, align 1
  13   ret void
  14 }
  15
  16 ; CHECK-LABEL: atomic_store_monotonic_8_off:
  17 ; CHECK-NEXT: // %bb.0:
  18 ; CHECK-NEXT:  strb w1, [x0, #1]
  19 ; CHECK-NEXT:  ret
  20 define void @atomic_store_monotonic_8_off(ptr %p, i8 %val) #0 {
  21   %tmp0 = getelementptr i8, ptr %p, i32 1
  22   store atomic i8 %val, ptr %tmp0 monotonic, align 1
  23   ret void
  24 }
  25
  26 ; CHECK-LABEL: atomic_store_monotonic_16:
  27 ; CHECK-NEXT: // %bb.0:
  28 ; CHECK-NEXT:  strh  w1, [x0]
  29 ; CHECK-NEXT:  ret
  30 define void @atomic_store_monotonic_16(ptr %p, i16 %val) #0 {
  31   store atomic i16 %val, ptr %p monotonic, align 2
  32   ret void
  33 }
  34
  35 ; CHECK-LABEL: atomic_store_monotonic_16_off:
  36 ; CHECK-NEXT: // %bb.0:
  37 ; CHECK-NEXT:  strh w1, [x0, #2]
  38 ; CHECK-NEXT:  ret
  39 define void @atomic_store_monotonic_16_off(ptr %p, i16 %val) #0 {
  40   %tmp0 = getelementptr i16, ptr %p, i32 1
  41   store atomic i16 %val, ptr %tmp0 monotonic, align 2
  42   ret void
  43 }
  44
  45 ; CHECK-LABEL: atomic_store_monotonic_32:
  46 ; CHECK-NEXT: // %bb.0:
  47 ; CHECK-NEXT:  str  w1, [x0]
  48 ; CHECK-NEXT:  ret
  49 define void @atomic_store_monotonic_32(ptr %p, i32 %val) #0 {
  50   store atomic i32 %val, ptr %p monotonic, align 4
  51   ret void
  52 }
  53
  54 ; CHECK-LABEL: atomic_store_monotonic_32_off:
  55 ; CHECK-NEXT: // %bb.0:
  56 ; CHECK-NEXT:  str w1, [x0, #4]
  57 ; CHECK-NEXT:  ret
  58 define void @atomic_store_monotonic_32_off(ptr %p, i32 %val) #0 {
  59   %tmp0 = getelementptr i32, ptr %p, i32 1
  60   store atomic i32 %val, ptr %tmp0 monotonic, align 4
  61   ret void
  62 }
  63
  64 ; CHECK-LABEL: atomic_store_monotonic_64:
  65 ; CHECK-NEXT: // %bb.0:
  66 ; CHECK-NEXT:  str  x1, [x0]
  67 ; CHECK-NEXT:  ret
  68 define void @atomic_store_monotonic_64(ptr %p, i64 %val) #0 {
  69   store atomic i64 %val, ptr %p monotonic, align 8
  70   ret void
  71 }
  72
  73 ; CHECK-LABEL: atomic_store_monotonic_64_off:
  74 ; CHECK-NEXT: // %bb.0:
  75 ; CHECK-NEXT:  str x1, [x0, #8]
  76 ; CHECK-NEXT:  ret
  77 define void @atomic_store_monotonic_64_off(ptr %p, i64 %val) #0 {
  78   %tmp0 = getelementptr i64, ptr %p, i32 1
  79   store atomic i64 %val, ptr %tmp0 monotonic, align 8
  80   ret void
  81 }
  82
  83 ; CHECK-LABEL: atomic_store_release_8:
  84 ; CHECK-NEXT: // %bb.0:
  85 ; CHECK-NEXT:  stlrb w1, [x0]
  86 ; CHECK-NEXT:  ret
  87 define void @atomic_store_release_8(ptr %p, i8 %val) #0 {
  88   store atomic i8 %val, ptr %p release, align 1
  89   ret void
  90 }
  91
  92 ; CHECK-LABEL: atomic_store_release_8_off:
  93 ; CHECK-NEXT: // %bb.0:
  94 ; CHECK-NEXT:  add [[REG0:x[0-9]+]], x0, #1
  95 ; CHECK-NEXT:  stlrb w1, [[[REG0]]]
  96 ; CHECK-NEXT:  ret
  97 define void @atomic_store_release_8_off(ptr %p, i8 %val) #0 {
  98   %tmp0 = getelementptr i8, ptr %p, i32 1
  99   store atomic i8 %val, ptr %tmp0 release, align 1
 100   ret void
 101 }
 102
 103 ; CHECK-LABEL: atomic_store_release_16:
 104 ; CHECK-NEXT: // %bb.0:
 105 ; CHECK-NEXT:  stlrh w1, [x0]
 106 ; CHECK-NEXT:  ret
 107 define void @atomic_store_release_16(ptr %p, i16 %val) #0 {
 108   store atomic i16 %val, ptr %p release, align 2
 109   ret void
 110 }
 111
 112 ; CHECK-LABEL: atomic_store_release_16_off:
 113 ; CHECK-NEXT: // %bb.0:
 114 ; CHECK-NEXT:  add [[REG0:x[0-9]+]], x0, #2
 115 ; CHECK-NEXT:  stlrh w1, [[[REG0]]]
 116 ; CHECK-NEXT:  ret
 117 define void @atomic_store_release_16_off(ptr %p, i16 %val) #0 {
 118   %tmp0 = getelementptr i16, ptr %p, i32 1
 119   store atomic i16 %val, ptr %tmp0 release, align 2
 120   ret void
 121 }
 122
 123 ; CHECK-LABEL: atomic_store_release_32:
 124 ; CHECK-NEXT: // %bb.0:
 125 ; CHECK-NEXT:  stlr w1, [x0]
 126 ; CHECK-NEXT:  ret
 127 define void @atomic_store_release_32(ptr %p, i32 %val) #0 {
 128   store atomic i32 %val, ptr %p release, align 4
 129   ret void
 130 }
 131
 132 ; CHECK-LABEL: atomic_store_release_32_off:
 133 ; CHECK-NEXT: // %bb.0:
 134 ; CHECK-NEXT:  add [[REG0:x[0-9]+]], x0, #4
 135 ; CHECK-NEXT:  stlr w1, [[[REG0]]]
 136 ; CHECK-NEXT:  ret
 137 define void @atomic_store_release_32_off(ptr %p, i32 %val) #0 {
 138   %tmp0 = getelementptr i32, ptr %p, i32 1
 139   store atomic i32 %val, ptr %tmp0 release, align 4
 140   ret void
 141 }
 142
 143 ; CHECK-LABEL: atomic_store_release_64:
 144 ; CHECK-NEXT: // %bb.0:
 145 ; CHECK-NEXT:  stlr x1, [x0]
 146 ; CHECK-NEXT:  ret
 147 define void @atomic_store_release_64(ptr %p, i64 %val) #0 {
 148   store atomic i64 %val, ptr %p release, align 8
 149   ret void
 150 }
 151
 152 ; CHECK-LABEL: atomic_store_release_64_off:
 153 ; CHECK-NEXT: // %bb.0:
 154 ; CHECK-NEXT:  add [[REG0:x[0-9]+]], x0, #8
 155 ; CHECK-NEXT:  stlr x1, [[[REG0]]]
 156 ; CHECK-NEXT:  ret
 157 define void @atomic_store_release_64_off(ptr %p, i64 %val) #0 {
 158   %tmp0 = getelementptr i64, ptr %p, i32 1
 159   store atomic i64 %val, ptr %tmp0 release, align 8
 160   ret void
 161 }
 162
 163
 164 ; CHECK-LABEL: atomic_store_seq_cst_8:
 165 ; CHECK-NEXT: // %bb.0:
 166 ; CHECK-NEXT:  stlrb w1, [x0]
 167 ; CHECK-NEXT:  ret
 168 define void @atomic_store_seq_cst_8(ptr %p, i8 %val) #0 {
 169   store atomic i8 %val, ptr %p seq_cst, align 1
 170   ret void
 171 }
 172
 173 ; CHECK-LABEL: atomic_store_seq_cst_8_off:
 174 ; CHECK-NEXT: // %bb.0:
 175 ; CHECK-NEXT:  add [[REG0:x[0-9]+]], x0, #1
 176 ; CHECK-NEXT:  stlrb w1, [[[REG0]]]
 177 ; CHECK-NEXT:  ret
 178 define void @atomic_store_seq_cst_8_off(ptr %p, i8 %val) #0 {
 179   %tmp0 = getelementptr i8, ptr %p, i32 1
 180   store atomic i8 %val, ptr %tmp0 seq_cst, align 1
 181   ret void
 182 }
 183
 184 ; CHECK-LABEL: atomic_store_seq_cst_16:
 185 ; CHECK-NEXT: // %bb.0:
 186 ; CHECK-NEXT:  stlrh w1, [x0]
 187 ; CHECK-NEXT:  ret
 188 define void @atomic_store_seq_cst_16(ptr %p, i16 %val) #0 {
 189   store atomic i16 %val, ptr %p seq_cst, align 2
 190   ret void
 191 }
 192
 193 ; CHECK-LABEL: atomic_store_seq_cst_16_off:
 194 ; CHECK-NEXT: // %bb.0:
 195 ; CHECK-NEXT:  add [[REG0:x[0-9]+]], x0, #2
 196 ; CHECK-NEXT:  stlrh w1, [[[REG0]]]
 197 ; CHECK-NEXT:  ret
 198 define void @atomic_store_seq_cst_16_off(ptr %p, i16 %val) #0 {
 199   %tmp0 = getelementptr i16, ptr %p, i32 1
 200   store atomic i16 %val, ptr %tmp0 seq_cst, align 2
 201   ret void
 202 }
 203
 204 ; CHECK-LABEL: atomic_store_seq_cst_32:
 205 ; CHECK-NEXT: // %bb.0:
 206 ; CHECK-NEXT:  stlr w1, [x0]
 207 ; CHECK-NEXT:  ret
 208 define void @atomic_store_seq_cst_32(ptr %p, i32 %val) #0 {
 209   store atomic i32 %val, ptr %p seq_cst, align 4
 210   ret void
 211 }
 212
 213 ; CHECK-LABEL: atomic_store_seq_cst_32_off:
 214 ; CHECK-NEXT: // %bb.0:
 215 ; CHECK-NEXT:  add [[REG0:x[0-9]+]], x0, #4
 216 ; CHECK-NEXT:  stlr w1, [[[REG0]]]
 217 ; CHECK-NEXT:  ret
 218 define void @atomic_store_seq_cst_32_off(ptr %p, i32 %val) #0 {
 219   %tmp0 = getelementptr i32, ptr %p, i32 1
 220   store atomic i32 %val, ptr %tmp0 seq_cst, align 4
 221   ret void
 222 }
 223
 224 ; CHECK-LABEL: atomic_store_seq_cst_64:
 225 ; CHECK-NEXT: // %bb.0:
 226 ; CHECK-NEXT:  stlr x1, [x0]
 227 ; CHECK-NEXT:  ret
 228 define void @atomic_store_seq_cst_64(ptr %p, i64 %val) #0 {
 229   store atomic i64 %val, ptr %p seq_cst, align 8
 230   ret void
 231 }
 232
 233 ; CHECK-LABEL: atomic_store_seq_cst_64_off:
 234 ; CHECK-NEXT: // %bb.0:
 235 ; CHECK-NEXT:  add [[REG0:x[0-9]+]], x0, #8
 236 ; CHECK-NEXT:  stlr x1, [[[REG0]]]
 237 ; CHECK-NEXT:  ret
 238 define void @atomic_store_seq_cst_64_off(ptr %p, i64 %val) #0 {
 239   %tmp0 = getelementptr i64, ptr %p, i32 1
 240   store atomic i64 %val, ptr %tmp0 seq_cst, align 8
 241   ret void
 242 }
 243
 244 attributes #0 = { nounwind }