test/CodeGen/X86/atomic32.ll

   1 ; RUN: llc < %s -O0 -march=x86-64 -mcpu=corei7 -verify-machineinstrs | FileCheck %s --check-prefix X64
   2 ; RUN: llc < %s -O0 -march=x86 -mcpu=corei7 -verify-machineinstrs | FileCheck %s --check-prefix X32
   3 ; RUN: llc < %s -O0 -march=x86 -mcpu=corei7 -mattr=-cmov -verify-machineinstrs | FileCheck %s --check-prefix NOCMOV
   4
   5 @sc32 = external global i32
   6
   7 define void @atomic_fetch_add32() nounwind {
   8 ; X64:   atomic_fetch_add32
   9 ; X32:   atomic_fetch_add32
  10 entry:
  11 ; 32-bit
  12   %t1 = atomicrmw add  i32* @sc32, i32 1 acquire
  13 ; X64:       lock
  14 ; X64:       incl
  15 ; X32:       lock
  16 ; X32:       incl
  17   %t2 = atomicrmw add  i32* @sc32, i32 3 acquire
  18 ; X64:       lock
  19 ; X64:       addl $3
  20 ; X32:       lock
  21 ; X32:       addl $3
  22   %t3 = atomicrmw add  i32* @sc32, i32 5 acquire
  23 ; X64:       lock
  24 ; X64:       xaddl
  25 ; X32:       lock
  26 ; X32:       xaddl
  27   %t4 = atomicrmw add  i32* @sc32, i32 %t3 acquire
  28 ; X64:       lock
  29 ; X64:       addl
  30 ; X32:       lock
  31 ; X32:       addl
  32   ret void
  33 ; X64:       ret
  34 ; X32:       ret
  35 }
  36
  37 define void @atomic_fetch_sub32() nounwind {
  38 ; X64:   atomic_fetch_sub32
  39 ; X32:   atomic_fetch_sub32
  40   %t1 = atomicrmw sub  i32* @sc32, i32 1 acquire
  41 ; X64:       lock
  42 ; X64:       decl
  43 ; X32:       lock
  44 ; X32:       decl
  45   %t2 = atomicrmw sub  i32* @sc32, i32 3 acquire
  46 ; X64:       lock
  47 ; X64:       subl $3
  48 ; X32:       lock
  49 ; X32:       subl $3
  50   %t3 = atomicrmw sub  i32* @sc32, i32 5 acquire
  51 ; X64:       lock
  52 ; X64:       xaddl
  53 ; X32:       lock
  54 ; X32:       xaddl
  55   %t4 = atomicrmw sub  i32* @sc32, i32 %t3 acquire
  56 ; X64:       lock
  57 ; X64:       subl
  58 ; X32:       lock
  59 ; X32:       subl
  60   ret void
  61 ; X64:       ret
  62 ; X32:       ret
  63 }
  64
  65 define void @atomic_fetch_and32() nounwind {
  66 ; X64:   atomic_fetch_and32
  67 ; X32:   atomic_fetch_and32
  68   %t1 = atomicrmw and  i32* @sc32, i32 3 acquire
  69 ; X64:       lock
  70 ; X64:       andl $3
  71 ; X32:       lock
  72 ; X32:       andl $3
  73   %t2 = atomicrmw and  i32* @sc32, i32 5 acquire
  74 ; X64:       andl
  75 ; X64:       lock
  76 ; X64:       cmpxchgl
  77 ; X32:       andl
  78 ; X32:       lock
  79 ; X32:       cmpxchgl
  80   %t3 = atomicrmw and  i32* @sc32, i32 %t2 acquire
  81 ; X64:       lock
  82 ; X64:       andl
  83 ; X32:       lock
  84 ; X32:       andl
  85   ret void
  86 ; X64:       ret
  87 ; X32:       ret
  88 }
  89
  90 define void @atomic_fetch_or32() nounwind {
  91 ; X64:   atomic_fetch_or32
  92 ; X32:   atomic_fetch_or32
  93   %t1 = atomicrmw or   i32* @sc32, i32 3 acquire
  94 ; X64:       lock
  95 ; X64:       orl $3
  96 ; X32:       lock
  97 ; X32:       orl $3
  98   %t2 = atomicrmw or   i32* @sc32, i32 5 acquire
  99 ; X64:       orl
 100 ; X64:       lock
 101 ; X64:       cmpxchgl
 102 ; X32:       orl
 103 ; X32:       lock
 104 ; X32:       cmpxchgl
 105   %t3 = atomicrmw or   i32* @sc32, i32 %t2 acquire
 106 ; X64:       lock
 107 ; X64:       orl
 108 ; X32:       lock
 109 ; X32:       orl
 110   ret void
 111 ; X64:       ret
 112 ; X32:       ret
 113 }
 114
 115 define void @atomic_fetch_xor32() nounwind {
 116 ; X64:   atomic_fetch_xor32
 117 ; X32:   atomic_fetch_xor32
 118   %t1 = atomicrmw xor  i32* @sc32, i32 3 acquire
 119 ; X64:       lock
 120 ; X64:       xorl $3
 121 ; X32:       lock
 122 ; X32:       xorl $3
 123   %t2 = atomicrmw xor  i32* @sc32, i32 5 acquire
 124 ; X64:       xorl
 125 ; X64:       lock
 126 ; X64:       cmpxchgl
 127 ; X32:       xorl
 128 ; X32:       lock
 129 ; X32:       cmpxchgl
 130   %t3 = atomicrmw xor  i32* @sc32, i32 %t2 acquire
 131 ; X64:       lock
 132 ; X64:       xorl
 133 ; X32:       lock
 134 ; X32:       xorl
 135   ret void
 136 ; X64:       ret
 137 ; X32:       ret
 138 }
 139
 140 define void @atomic_fetch_nand32(i32 %x) nounwind {
 141 ; X64:   atomic_fetch_nand32
 142 ; X32:   atomic_fetch_nand32
 143   %t1 = atomicrmw nand i32* @sc32, i32 %x acquire
 144 ; X64:       andl
 145 ; X64:       notl
 146 ; X64:       lock
 147 ; X64:       cmpxchgl
 148 ; X32:       andl
 149 ; X32:       notl
 150 ; X32:       lock
 151 ; X32:       cmpxchgl
 152   ret void
 153 ; X64:       ret
 154 ; X32:       ret
 155 }
 156
 157 define void @atomic_fetch_max32(i32 %x) nounwind {
 158   %t1 = atomicrmw max  i32* @sc32, i32 %x acquire
 159 ; X64:       cmpl
 160 ; X64:       cmov
 161 ; X64:       lock
 162 ; X64:       cmpxchgl
 163
 164 ; X32:       cmpl
 165 ; X32:       cmov
 166 ; X32:       lock
 167 ; X32:       cmpxchgl
 168
 169 ; NOCMOV:    cmpl
 170 ; NOCMOV:    jl
 171 ; NOCMOV:    lock
 172 ; NOCMOV:    cmpxchgl
 173   ret void
 174 ; X64:       ret
 175 ; X32:       ret
 176 ; NOCMOV:    ret
 177 }
 178
 179 define void @atomic_fetch_min32(i32 %x) nounwind {
 180   %t1 = atomicrmw min  i32* @sc32, i32 %x acquire
 181 ; X64:       cmpl
 182 ; X64:       cmov
 183 ; X64:       lock
 184 ; X64:       cmpxchgl
 185
 186 ; X32:       cmpl
 187 ; X32:       cmov
 188 ; X32:       lock
 189 ; X32:       cmpxchgl
 190
 191 ; NOCMOV:    cmpl
 192 ; NOCMOV:    jg
 193 ; NOCMOV:    lock
 194 ; NOCMOV:    cmpxchgl
 195   ret void
 196 ; X64:       ret
 197 ; X32:       ret
 198 ; NOCMOV:    ret
 199 }
 200
 201 define void @atomic_fetch_umax32(i32 %x) nounwind {
 202   %t1 = atomicrmw umax i32* @sc32, i32 %x acquire
 203 ; X64:       cmpl
 204 ; X64:       cmov
 205 ; X64:       lock
 206 ; X64:       cmpxchgl
 207
 208 ; X32:       cmpl
 209 ; X32:       cmov
 210 ; X32:       lock
 211 ; X32:       cmpxchgl
 212
 213 ; NOCMOV:    cmpl
 214 ; NOCMOV:    jb
 215 ; NOCMOV:    lock
 216 ; NOCMOV:    cmpxchgl
 217   ret void
 218 ; X64:       ret
 219 ; X32:       ret
 220 ; NOCMOV:    ret
 221 }
 222
 223 define void @atomic_fetch_umin32(i32 %x) nounwind {
 224   %t1 = atomicrmw umin i32* @sc32, i32 %x acquire
 225 ; X64:       cmpl
 226 ; X64:       cmov
 227 ; X64:       lock
 228 ; X64:       cmpxchgl
 229
 230 ; X32:       cmpl
 231 ; X32:       cmov
 232 ; X32:       lock
 233 ; X32:       cmpxchgl
 234
 235 ; NOCMOV:    cmpl
 236 ; NOCMOV:    ja
 237 ; NOCMOV:    lock
 238 ; NOCMOV:    cmpxchgl
 239   ret void
 240 ; X64:       ret
 241 ; X32:       ret
 242 ; NOCMOV:    ret
 243 }
 244
 245 define void @atomic_fetch_cmpxchg32() nounwind {
 246   %t1 = cmpxchg i32* @sc32, i32 0, i32 1 acquire
 247 ; X64:       lock
 248 ; X64:       cmpxchgl
 249 ; X32:       lock
 250 ; X32:       cmpxchgl
 251   ret void
 252 ; X64:       ret
 253 ; X32:       ret
 254 }
 255
 256 define void @atomic_fetch_store32(i32 %x) nounwind {
 257   store atomic i32 %x, i32* @sc32 release, align 4
 258 ; X64-NOT:   lock
 259 ; X64:       movl
 260 ; X32-NOT:   lock
 261 ; X32:       movl
 262   ret void
 263 ; X64:       ret
 264 ; X32:       ret
 265 }
 266
 267 define void @atomic_fetch_swap32(i32 %x) nounwind {
 268   %t1 = atomicrmw xchg i32* @sc32, i32 %x acquire
 269 ; X64-NOT:   lock
 270 ; X64:       xchgl
 271 ; X32-NOT:   lock
 272 ; X32:       xchgl
 273   ret void
 274 ; X64:       ret
 275 ; X32:       ret
 276 }