test/CodeGen/PowerPC/Atomics-64.ll

   1 ; RUN: llc < %s -march=ppc64 -verify-machineinstrs
   2 ;
   3 ; This test is disabled until PPCISelLowering learns to insert proper 64-bit
   4 ; code for ATOMIC_CMP_SWAP. Currently, it is inserting 32-bit instructions with
   5 ; 64-bit operands which causes the machine code verifier to throw a tantrum.
   6 ;
   7 ; XFAIL: *
   8
   9 target datalayout = "E-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f128:64:128"
  10 target triple = "powerpc64-apple-darwin9"
  11
  12 @sc = common global i8 0
  13 @uc = common global i8 0
  14 @ss = common global i16 0
  15 @us = common global i16 0
  16 @si = common global i32 0
  17 @ui = common global i32 0
  18 @sl = common global i64 0, align 8
  19 @ul = common global i64 0, align 8
  20 @sll = common global i64 0, align 8
  21 @ull = common global i64 0, align 8
  22
  23 define void @test_op_ignore() nounwind {
  24 entry:
  25   %0 = atomicrmw add i8* @sc, i8 1 monotonic
  26   %1 = atomicrmw add i8* @uc, i8 1 monotonic
  27   %2 = bitcast i8* bitcast (i16* @ss to i8*) to i16*
  28   %3 = atomicrmw add i16* %2, i16 1 monotonic
  29   %4 = bitcast i8* bitcast (i16* @us to i8*) to i16*
  30   %5 = atomicrmw add i16* %4, i16 1 monotonic
  31   %6 = bitcast i8* bitcast (i32* @si to i8*) to i32*
  32   %7 = atomicrmw add i32* %6, i32 1 monotonic
  33   %8 = bitcast i8* bitcast (i32* @ui to i8*) to i32*
  34   %9 = atomicrmw add i32* %8, i32 1 monotonic
  35   %10 = bitcast i8* bitcast (i64* @sl to i8*) to i64*
  36   %11 = atomicrmw add i64* %10, i64 1 monotonic
  37   %12 = bitcast i8* bitcast (i64* @ul to i8*) to i64*
  38   %13 = atomicrmw add i64* %12, i64 1 monotonic
  39   %14 = atomicrmw sub i8* @sc, i8 1 monotonic
  40   %15 = atomicrmw sub i8* @uc, i8 1 monotonic
  41   %16 = bitcast i8* bitcast (i16* @ss to i8*) to i16*
  42   %17 = atomicrmw sub i16* %16, i16 1 monotonic
  43   %18 = bitcast i8* bitcast (i16* @us to i8*) to i16*
  44   %19 = atomicrmw sub i16* %18, i16 1 monotonic
  45   %20 = bitcast i8* bitcast (i32* @si to i8*) to i32*
  46   %21 = atomicrmw sub i32* %20, i32 1 monotonic
  47   %22 = bitcast i8* bitcast (i32* @ui to i8*) to i32*
  48   %23 = atomicrmw sub i32* %22, i32 1 monotonic
  49   %24 = bitcast i8* bitcast (i64* @sl to i8*) to i64*
  50   %25 = atomicrmw sub i64* %24, i64 1 monotonic
  51   %26 = bitcast i8* bitcast (i64* @ul to i8*) to i64*
  52   %27 = atomicrmw sub i64* %26, i64 1 monotonic
  53   %28 = atomicrmw or i8* @sc, i8 1 monotonic
  54   %29 = atomicrmw or i8* @uc, i8 1 monotonic
  55   %30 = bitcast i8* bitcast (i16* @ss to i8*) to i16*
  56   %31 = atomicrmw or i16* %30, i16 1 monotonic
  57   %32 = bitcast i8* bitcast (i16* @us to i8*) to i16*
  58   %33 = atomicrmw or i16* %32, i16 1 monotonic
  59   %34 = bitcast i8* bitcast (i32* @si to i8*) to i32*
  60   %35 = atomicrmw or i32* %34, i32 1 monotonic
  61   %36 = bitcast i8* bitcast (i32* @ui to i8*) to i32*
  62   %37 = atomicrmw or i32* %36, i32 1 monotonic
  63   %38 = bitcast i8* bitcast (i64* @sl to i8*) to i64*
  64   %39 = atomicrmw or i64* %38, i64 1 monotonic
  65   %40 = bitcast i8* bitcast (i64* @ul to i8*) to i64*
  66   %41 = atomicrmw or i64* %40, i64 1 monotonic
  67   %42 = atomicrmw xor i8* @sc, i8 1 monotonic
  68   %43 = atomicrmw xor i8* @uc, i8 1 monotonic
  69   %44 = bitcast i8* bitcast (i16* @ss to i8*) to i16*
  70   %45 = atomicrmw xor i16* %44, i16 1 monotonic
  71   %46 = bitcast i8* bitcast (i16* @us to i8*) to i16*
  72   %47 = atomicrmw xor i16* %46, i16 1 monotonic
  73   %48 = bitcast i8* bitcast (i32* @si to i8*) to i32*
  74   %49 = atomicrmw xor i32* %48, i32 1 monotonic
  75   %50 = bitcast i8* bitcast (i32* @ui to i8*) to i32*
  76   %51 = atomicrmw xor i32* %50, i32 1 monotonic
  77   %52 = bitcast i8* bitcast (i64* @sl to i8*) to i64*
  78   %53 = atomicrmw xor i64* %52, i64 1 monotonic
  79   %54 = bitcast i8* bitcast (i64* @ul to i8*) to i64*
  80   %55 = atomicrmw xor i64* %54, i64 1 monotonic
  81   %56 = atomicrmw and i8* @sc, i8 1 monotonic
  82   %57 = atomicrmw and i8* @uc, i8 1 monotonic
  83   %58 = bitcast i8* bitcast (i16* @ss to i8*) to i16*
  84   %59 = atomicrmw and i16* %58, i16 1 monotonic
  85   %60 = bitcast i8* bitcast (i16* @us to i8*) to i16*
  86   %61 = atomicrmw and i16* %60, i16 1 monotonic
  87   %62 = bitcast i8* bitcast (i32* @si to i8*) to i32*
  88   %63 = atomicrmw and i32* %62, i32 1 monotonic
  89   %64 = bitcast i8* bitcast (i32* @ui to i8*) to i32*
  90   %65 = atomicrmw and i32* %64, i32 1 monotonic
  91   %66 = bitcast i8* bitcast (i64* @sl to i8*) to i64*
  92   %67 = atomicrmw and i64* %66, i64 1 monotonic
  93   %68 = bitcast i8* bitcast (i64* @ul to i8*) to i64*
  94   %69 = atomicrmw and i64* %68, i64 1 monotonic
  95   %70 = atomicrmw nand i8* @sc, i8 1 monotonic
  96   %71 = atomicrmw nand i8* @uc, i8 1 monotonic
  97   %72 = bitcast i8* bitcast (i16* @ss to i8*) to i16*
  98   %73 = atomicrmw nand i16* %72, i16 1 monotonic
  99   %74 = bitcast i8* bitcast (i16* @us to i8*) to i16*
 100   %75 = atomicrmw nand i16* %74, i16 1 monotonic
 101   %76 = bitcast i8* bitcast (i32* @si to i8*) to i32*
 102   %77 = atomicrmw nand i32* %76, i32 1 monotonic
 103   %78 = bitcast i8* bitcast (i32* @ui to i8*) to i32*
 104   %79 = atomicrmw nand i32* %78, i32 1 monotonic
 105   %80 = bitcast i8* bitcast (i64* @sl to i8*) to i64*
 106   %81 = atomicrmw nand i64* %80, i64 1 monotonic
 107   %82 = bitcast i8* bitcast (i64* @ul to i8*) to i64*
 108   %83 = atomicrmw nand i64* %82, i64 1 monotonic
 109   br label %return
 110
 111 return:                                           ; preds = %entry
 112   ret void
 113 }
 114
 115 define void @test_fetch_and_op() nounwind {
 116 entry:
 117   %0 = atomicrmw add i8* @sc, i8 11 monotonic
 118   store i8 %0, i8* @sc, align 1
 119   %1 = atomicrmw add i8* @uc, i8 11 monotonic
 120   store i8 %1, i8* @uc, align 1
 121   %2 = bitcast i8* bitcast (i16* @ss to i8*) to i16*
 122   %3 = atomicrmw add i16* %2, i16 11 monotonic
 123   store i16 %3, i16* @ss, align 2
 124   %4 = bitcast i8* bitcast (i16* @us to i8*) to i16*
 125   %5 = atomicrmw add i16* %4, i16 11 monotonic
 126   store i16 %5, i16* @us, align 2
 127   %6 = bitcast i8* bitcast (i32* @si to i8*) to i32*
 128   %7 = atomicrmw add i32* %6, i32 11 monotonic
 129   store i32 %7, i32* @si, align 4
 130   %8 = bitcast i8* bitcast (i32* @ui to i8*) to i32*
 131   %9 = atomicrmw add i32* %8, i32 11 monotonic
 132   store i32 %9, i32* @ui, align 4
 133   %10 = bitcast i8* bitcast (i64* @sl to i8*) to i64*
 134   %11 = atomicrmw add i64* %10, i64 11 monotonic
 135   store i64 %11, i64* @sl, align 8
 136   %12 = bitcast i8* bitcast (i64* @ul to i8*) to i64*
 137   %13 = atomicrmw add i64* %12, i64 11 monotonic
 138   store i64 %13, i64* @ul, align 8
 139   %14 = atomicrmw sub i8* @sc, i8 11 monotonic
 140   store i8 %14, i8* @sc, align 1
 141   %15 = atomicrmw sub i8* @uc, i8 11 monotonic
 142   store i8 %15, i8* @uc, align 1
 143   %16 = bitcast i8* bitcast (i16* @ss to i8*) to i16*
 144   %17 = atomicrmw sub i16* %16, i16 11 monotonic
 145   store i16 %17, i16* @ss, align 2
 146   %18 = bitcast i8* bitcast (i16* @us to i8*) to i16*
 147   %19 = atomicrmw sub i16* %18, i16 11 monotonic
 148   store i16 %19, i16* @us, align 2
 149   %20 = bitcast i8* bitcast (i32* @si to i8*) to i32*
 150   %21 = atomicrmw sub i32* %20, i32 11 monotonic
 151   store i32 %21, i32* @si, align 4
 152   %22 = bitcast i8* bitcast (i32* @ui to i8*) to i32*
 153   %23 = atomicrmw sub i32* %22, i32 11 monotonic
 154   store i32 %23, i32* @ui, align 4
 155   %24 = bitcast i8* bitcast (i64* @sl to i8*) to i64*
 156   %25 = atomicrmw sub i64* %24, i64 11 monotonic
 157   store i64 %25, i64* @sl, align 8
 158   %26 = bitcast i8* bitcast (i64* @ul to i8*) to i64*
 159   %27 = atomicrmw sub i64* %26, i64 11 monotonic
 160   store i64 %27, i64* @ul, align 8
 161   %28 = atomicrmw or i8* @sc, i8 11 monotonic
 162   store i8 %28, i8* @sc, align 1
 163   %29 = atomicrmw or i8* @uc, i8 11 monotonic
 164   store i8 %29, i8* @uc, align 1
 165   %30 = bitcast i8* bitcast (i16* @ss to i8*) to i16*
 166   %31 = atomicrmw or i16* %30, i16 11 monotonic
 167   store i16 %31, i16* @ss, align 2
 168   %32 = bitcast i8* bitcast (i16* @us to i8*) to i16*
 169   %33 = atomicrmw or i16* %32, i16 11 monotonic
 170   store i16 %33, i16* @us, align 2
 171   %34 = bitcast i8* bitcast (i32* @si to i8*) to i32*
 172   %35 = atomicrmw or i32* %34, i32 11 monotonic
 173   store i32 %35, i32* @si, align 4
 174   %36 = bitcast i8* bitcast (i32* @ui to i8*) to i32*
 175   %37 = atomicrmw or i32* %36, i32 11 monotonic
 176   store i32 %37, i32* @ui, align 4
 177   %38 = bitcast i8* bitcast (i64* @sl to i8*) to i64*
 178   %39 = atomicrmw or i64* %38, i64 11 monotonic
 179   store i64 %39, i64* @sl, align 8
 180   %40 = bitcast i8* bitcast (i64* @ul to i8*) to i64*
 181   %41 = atomicrmw or i64* %40, i64 11 monotonic
 182   store i64 %41, i64* @ul, align 8
 183   %42 = atomicrmw xor i8* @sc, i8 11 monotonic
 184   store i8 %42, i8* @sc, align 1
 185   %43 = atomicrmw xor i8* @uc, i8 11 monotonic
 186   store i8 %43, i8* @uc, align 1
 187   %44 = bitcast i8* bitcast (i16* @ss to i8*) to i16*
 188   %45 = atomicrmw xor i16* %44, i16 11 monotonic
 189   store i16 %45, i16* @ss, align 2
 190   %46 = bitcast i8* bitcast (i16* @us to i8*) to i16*
 191   %47 = atomicrmw xor i16* %46, i16 11 monotonic
 192   store i16 %47, i16* @us, align 2
 193   %48 = bitcast i8* bitcast (i32* @si to i8*) to i32*
 194   %49 = atomicrmw xor i32* %48, i32 11 monotonic
 195   store i32 %49, i32* @si, align 4
 196   %50 = bitcast i8* bitcast (i32* @ui to i8*) to i32*
 197   %51 = atomicrmw xor i32* %50, i32 11 monotonic
 198   store i32 %51, i32* @ui, align 4
 199   %52 = bitcast i8* bitcast (i64* @sl to i8*) to i64*
 200   %53 = atomicrmw xor i64* %52, i64 11 monotonic
 201   store i64 %53, i64* @sl, align 8
 202   %54 = bitcast i8* bitcast (i64* @ul to i8*) to i64*
 203   %55 = atomicrmw xor i64* %54, i64 11 monotonic
 204   store i64 %55, i64* @ul, align 8
 205   %56 = atomicrmw and i8* @sc, i8 11 monotonic
 206   store i8 %56, i8* @sc, align 1
 207   %57 = atomicrmw and i8* @uc, i8 11 monotonic
 208   store i8 %57, i8* @uc, align 1
 209   %58 = bitcast i8* bitcast (i16* @ss to i8*) to i16*
 210   %59 = atomicrmw and i16* %58, i16 11 monotonic
 211   store i16 %59, i16* @ss, align 2
 212   %60 = bitcast i8* bitcast (i16* @us to i8*) to i16*
 213   %61 = atomicrmw and i16* %60, i16 11 monotonic
 214   store i16 %61, i16* @us, align 2
 215   %62 = bitcast i8* bitcast (i32* @si to i8*) to i32*
 216   %63 = atomicrmw and i32* %62, i32 11 monotonic
 217   store i32 %63, i32* @si, align 4
 218   %64 = bitcast i8* bitcast (i32* @ui to i8*) to i32*
 219   %65 = atomicrmw and i32* %64, i32 11 monotonic
 220   store i32 %65, i32* @ui, align 4
 221   %66 = bitcast i8* bitcast (i64* @sl to i8*) to i64*
 222   %67 = atomicrmw and i64* %66, i64 11 monotonic
 223   store i64 %67, i64* @sl, align 8
 224   %68 = bitcast i8* bitcast (i64* @ul to i8*) to i64*
 225   %69 = atomicrmw and i64* %68, i64 11 monotonic
 226   store i64 %69, i64* @ul, align 8
 227   %70 = atomicrmw nand i8* @sc, i8 11 monotonic
 228   store i8 %70, i8* @sc, align 1
 229   %71 = atomicrmw nand i8* @uc, i8 11 monotonic
 230   store i8 %71, i8* @uc, align 1
 231   %72 = bitcast i8* bitcast (i16* @ss to i8*) to i16*
 232   %73 = atomicrmw nand i16* %72, i16 11 monotonic
 233   store i16 %73, i16* @ss, align 2
 234   %74 = bitcast i8* bitcast (i16* @us to i8*) to i16*
 235   %75 = atomicrmw nand i16* %74, i16 11 monotonic
 236   store i16 %75, i16* @us, align 2
 237   %76 = bitcast i8* bitcast (i32* @si to i8*) to i32*
 238   %77 = atomicrmw nand i32* %76, i32 11 monotonic
 239   store i32 %77, i32* @si, align 4
 240   %78 = bitcast i8* bitcast (i32* @ui to i8*) to i32*
 241   %79 = atomicrmw nand i32* %78, i32 11 monotonic
 242   store i32 %79, i32* @ui, align 4
 243   %80 = bitcast i8* bitcast (i64* @sl to i8*) to i64*
 244   %81 = atomicrmw nand i64* %80, i64 11 monotonic
 245   store i64 %81, i64* @sl, align 8
 246   %82 = bitcast i8* bitcast (i64* @ul to i8*) to i64*
 247   %83 = atomicrmw nand i64* %82, i64 11 monotonic
 248   store i64 %83, i64* @ul, align 8
 249   br label %return
 250
 251 return:                                           ; preds = %entry
 252   ret void
 253 }
 254
 255 define void @test_op_and_fetch() nounwind {
 256 entry:
 257   %0 = load i8, i8* @uc, align 1
 258   %1 = atomicrmw add i8* @sc, i8 %0 monotonic
 259   %2 = add i8 %1, %0
 260   store i8 %2, i8* @sc, align 1
 261   %3 = load i8, i8* @uc, align 1
 262   %4 = atomicrmw add i8* @uc, i8 %3 monotonic
 263   %5 = add i8 %4, %3
 264   store i8 %5, i8* @uc, align 1
 265   %6 = load i8, i8* @uc, align 1
 266   %7 = zext i8 %6 to i16
 267   %8 = bitcast i8* bitcast (i16* @ss to i8*) to i16*
 268   %9 = atomicrmw add i16* %8, i16 %7 monotonic
 269   %10 = add i16 %9, %7
 270   store i16 %10, i16* @ss, align 2
 271   %11 = load i8, i8* @uc, align 1
 272   %12 = zext i8 %11 to i16
 273   %13 = bitcast i8* bitcast (i16* @us to i8*) to i16*
 274   %14 = atomicrmw add i16* %13, i16 %12 monotonic
 275   %15 = add i16 %14, %12
 276   store i16 %15, i16* @us, align 2
 277   %16 = load i8, i8* @uc, align 1
 278   %17 = zext i8 %16 to i32
 279   %18 = bitcast i8* bitcast (i32* @si to i8*) to i32*
 280   %19 = atomicrmw add i32* %18, i32 %17 monotonic
 281   %20 = add i32 %19, %17
 282   store i32 %20, i32* @si, align 4
 283   %21 = load i8, i8* @uc, align 1
 284   %22 = zext i8 %21 to i32
 285   %23 = bitcast i8* bitcast (i32* @ui to i8*) to i32*
 286   %24 = atomicrmw add i32* %23, i32 %22 monotonic
 287   %25 = add i32 %24, %22
 288   store i32 %25, i32* @ui, align 4
 289   %26 = load i8, i8* @uc, align 1
 290   %27 = zext i8 %26 to i64
 291   %28 = bitcast i8* bitcast (i64* @sl to i8*) to i64*
 292   %29 = atomicrmw add i64* %28, i64 %27 monotonic
 293   %30 = add i64 %29, %27
 294   store i64 %30, i64* @sl, align 8
 295   %31 = load i8, i8* @uc, align 1
 296   %32 = zext i8 %31 to i64
 297   %33 = bitcast i8* bitcast (i64* @ul to i8*) to i64*
 298   %34 = atomicrmw add i64* %33, i64 %32 monotonic
 299   %35 = add i64 %34, %32
 300   store i64 %35, i64* @ul, align 8
 301   %36 = load i8, i8* @uc, align 1
 302   %37 = atomicrmw sub i8* @sc, i8 %36 monotonic
 303   %38 = sub i8 %37, %36
 304   store i8 %38, i8* @sc, align 1
 305   %39 = load i8, i8* @uc, align 1
 306   %40 = atomicrmw sub i8* @uc, i8 %39 monotonic
 307   %41 = sub i8 %40, %39
 308   store i8 %41, i8* @uc, align 1
 309   %42 = load i8, i8* @uc, align 1
 310   %43 = zext i8 %42 to i16
 311   %44 = bitcast i8* bitcast (i16* @ss to i8*) to i16*
 312   %45 = atomicrmw sub i16* %44, i16 %43 monotonic
 313   %46 = sub i16 %45, %43
 314   store i16 %46, i16* @ss, align 2
 315   %47 = load i8, i8* @uc, align 1
 316   %48 = zext i8 %47 to i16
 317   %49 = bitcast i8* bitcast (i16* @us to i8*) to i16*
 318   %50 = atomicrmw sub i16* %49, i16 %48 monotonic
 319   %51 = sub i16 %50, %48
 320   store i16 %51, i16* @us, align 2
 321   %52 = load i8, i8* @uc, align 1
 322   %53 = zext i8 %52 to i32
 323   %54 = bitcast i8* bitcast (i32* @si to i8*) to i32*
 324   %55 = atomicrmw sub i32* %54, i32 %53 monotonic
 325   %56 = sub i32 %55, %53
 326   store i32 %56, i32* @si, align 4
 327   %57 = load i8, i8* @uc, align 1
 328   %58 = zext i8 %57 to i32
 329   %59 = bitcast i8* bitcast (i32* @ui to i8*) to i32*
 330   %60 = atomicrmw sub i32* %59, i32 %58 monotonic
 331   %61 = sub i32 %60, %58
 332   store i32 %61, i32* @ui, align 4
 333   %62 = load i8, i8* @uc, align 1
 334   %63 = zext i8 %62 to i64
 335   %64 = bitcast i8* bitcast (i64* @sl to i8*) to i64*
 336   %65 = atomicrmw sub i64* %64, i64 %63 monotonic
 337   %66 = sub i64 %65, %63
 338   store i64 %66, i64* @sl, align 8
 339   %67 = load i8, i8* @uc, align 1
 340   %68 = zext i8 %67 to i64
 341   %69 = bitcast i8* bitcast (i64* @ul to i8*) to i64*
 342   %70 = atomicrmw sub i64* %69, i64 %68 monotonic
 343   %71 = sub i64 %70, %68
 344   store i64 %71, i64* @ul, align 8
 345   %72 = load i8, i8* @uc, align 1
 346   %73 = atomicrmw or i8* @sc, i8 %72 monotonic
 347   %74 = or i8 %73, %72
 348   store i8 %74, i8* @sc, align 1
 349   %75 = load i8, i8* @uc, align 1
 350   %76 = atomicrmw or i8* @uc, i8 %75 monotonic
 351   %77 = or i8 %76, %75
 352   store i8 %77, i8* @uc, align 1
 353   %78 = load i8, i8* @uc, align 1
 354   %79 = zext i8 %78 to i16
 355   %80 = bitcast i8* bitcast (i16* @ss to i8*) to i16*
 356   %81 = atomicrmw or i16* %80, i16 %79 monotonic
 357   %82 = or i16 %81, %79
 358   store i16 %82, i16* @ss, align 2
 359   %83 = load i8, i8* @uc, align 1
 360   %84 = zext i8 %83 to i16
 361   %85 = bitcast i8* bitcast (i16* @us to i8*) to i16*
 362   %86 = atomicrmw or i16* %85, i16 %84 monotonic
 363   %87 = or i16 %86, %84
 364   store i16 %87, i16* @us, align 2
 365   %88 = load i8, i8* @uc, align 1
 366   %89 = zext i8 %88 to i32
 367   %90 = bitcast i8* bitcast (i32* @si to i8*) to i32*
 368   %91 = atomicrmw or i32* %90, i32 %89 monotonic
 369   %92 = or i32 %91, %89
 370   store i32 %92, i32* @si, align 4
 371   %93 = load i8, i8* @uc, align 1
 372   %94 = zext i8 %93 to i32
 373   %95 = bitcast i8* bitcast (i32* @ui to i8*) to i32*
 374   %96 = atomicrmw or i32* %95, i32 %94 monotonic
 375   %97 = or i32 %96, %94
 376   store i32 %97, i32* @ui, align 4
 377   %98 = load i8, i8* @uc, align 1
 378   %99 = zext i8 %98 to i64
 379   %100 = bitcast i8* bitcast (i64* @sl to i8*) to i64*
 380   %101 = atomicrmw or i64* %100, i64 %99 monotonic
 381   %102 = or i64 %101, %99
 382   store i64 %102, i64* @sl, align 8
 383   %103 = load i8, i8* @uc, align 1
 384   %104 = zext i8 %103 to i64
 385   %105 = bitcast i8* bitcast (i64* @ul to i8*) to i64*
 386   %106 = atomicrmw or i64* %105, i64 %104 monotonic
 387   %107 = or i64 %106, %104
 388   store i64 %107, i64* @ul, align 8
 389   %108 = load i8, i8* @uc, align 1
 390   %109 = atomicrmw xor i8* @sc, i8 %108 monotonic
 391   %110 = xor i8 %109, %108
 392   store i8 %110, i8* @sc, align 1
 393   %111 = load i8, i8* @uc, align 1
 394   %112 = atomicrmw xor i8* @uc, i8 %111 monotonic
 395   %113 = xor i8 %112, %111
 396   store i8 %113, i8* @uc, align 1
 397   %114 = load i8, i8* @uc, align 1
 398   %115 = zext i8 %114 to i16
 399   %116 = bitcast i8* bitcast (i16* @ss to i8*) to i16*
 400   %117 = atomicrmw xor i16* %116, i16 %115 monotonic
 401   %118 = xor i16 %117, %115
 402   store i16 %118, i16* @ss, align 2
 403   %119 = load i8, i8* @uc, align 1
 404   %120 = zext i8 %119 to i16
 405   %121 = bitcast i8* bitcast (i16* @us to i8*) to i16*
 406   %122 = atomicrmw xor i16* %121, i16 %120 monotonic
 407   %123 = xor i16 %122, %120
 408   store i16 %123, i16* @us, align 2
 409   %124 = load i8, i8* @uc, align 1
 410   %125 = zext i8 %124 to i32
 411   %126 = bitcast i8* bitcast (i32* @si to i8*) to i32*
 412   %127 = atomicrmw xor i32* %126, i32 %125 monotonic
 413   %128 = xor i32 %127, %125
 414   store i32 %128, i32* @si, align 4
 415   %129 = load i8, i8* @uc, align 1
 416   %130 = zext i8 %129 to i32
 417   %131 = bitcast i8* bitcast (i32* @ui to i8*) to i32*
 418   %132 = atomicrmw xor i32* %131, i32 %130 monotonic
 419   %133 = xor i32 %132, %130
 420   store i32 %133, i32* @ui, align 4
 421   %134 = load i8, i8* @uc, align 1
 422   %135 = zext i8 %134 to i64
 423   %136 = bitcast i8* bitcast (i64* @sl to i8*) to i64*
 424   %137 = atomicrmw xor i64* %136, i64 %135 monotonic
 425   %138 = xor i64 %137, %135
 426   store i64 %138, i64* @sl, align 8
 427   %139 = load i8, i8* @uc, align 1
 428   %140 = zext i8 %139 to i64
 429   %141 = bitcast i8* bitcast (i64* @ul to i8*) to i64*
 430   %142 = atomicrmw xor i64* %141, i64 %140 monotonic
 431   %143 = xor i64 %142, %140
 432   store i64 %143, i64* @ul, align 8
 433   %144 = load i8, i8* @uc, align 1
 434   %145 = atomicrmw and i8* @sc, i8 %144 monotonic
 435   %146 = and i8 %145, %144
 436   store i8 %146, i8* @sc, align 1
 437   %147 = load i8, i8* @uc, align 1
 438   %148 = atomicrmw and i8* @uc, i8 %147 monotonic
 439   %149 = and i8 %148, %147
 440   store i8 %149, i8* @uc, align 1
 441   %150 = load i8, i8* @uc, align 1
 442   %151 = zext i8 %150 to i16
 443   %152 = bitcast i8* bitcast (i16* @ss to i8*) to i16*
 444   %153 = atomicrmw and i16* %152, i16 %151 monotonic
 445   %154 = and i16 %153, %151
 446   store i16 %154, i16* @ss, align 2
 447   %155 = load i8, i8* @uc, align 1
 448   %156 = zext i8 %155 to i16
 449   %157 = bitcast i8* bitcast (i16* @us to i8*) to i16*
 450   %158 = atomicrmw and i16* %157, i16 %156 monotonic
 451   %159 = and i16 %158, %156
 452   store i16 %159, i16* @us, align 2
 453   %160 = load i8, i8* @uc, align 1
 454   %161 = zext i8 %160 to i32
 455   %162 = bitcast i8* bitcast (i32* @si to i8*) to i32*
 456   %163 = atomicrmw and i32* %162, i32 %161 monotonic
 457   %164 = and i32 %163, %161
 458   store i32 %164, i32* @si, align 4
 459   %165 = load i8, i8* @uc, align 1
 460   %166 = zext i8 %165 to i32
 461   %167 = bitcast i8* bitcast (i32* @ui to i8*) to i32*
 462   %168 = atomicrmw and i32* %167, i32 %166 monotonic
 463   %169 = and i32 %168, %166
 464   store i32 %169, i32* @ui, align 4
 465   %170 = load i8, i8* @uc, align 1
 466   %171 = zext i8 %170 to i64
 467   %172 = bitcast i8* bitcast (i64* @sl to i8*) to i64*
 468   %173 = atomicrmw and i64* %172, i64 %171 monotonic
 469   %174 = and i64 %173, %171
 470   store i64 %174, i64* @sl, align 8
 471   %175 = load i8, i8* @uc, align 1
 472   %176 = zext i8 %175 to i64
 473   %177 = bitcast i8* bitcast (i64* @ul to i8*) to i64*
 474   %178 = atomicrmw and i64* %177, i64 %176 monotonic
 475   %179 = and i64 %178, %176
 476   store i64 %179, i64* @ul, align 8
 477   %180 = load i8, i8* @uc, align 1
 478   %181 = atomicrmw nand i8* @sc, i8 %180 monotonic
 479   %182 = xor i8 %181, -1
 480   %183 = and i8 %182, %180
 481   store i8 %183, i8* @sc, align 1
 482   %184 = load i8, i8* @uc, align 1
 483   %185 = atomicrmw nand i8* @uc, i8 %184 monotonic
 484   %186 = xor i8 %185, -1
 485   %187 = and i8 %186, %184
 486   store i8 %187, i8* @uc, align 1
 487   %188 = load i8, i8* @uc, align 1
 488   %189 = zext i8 %188 to i16
 489   %190 = bitcast i8* bitcast (i16* @ss to i8*) to i16*
 490   %191 = atomicrmw nand i16* %190, i16 %189 monotonic
 491   %192 = xor i16 %191, -1
 492   %193 = and i16 %192, %189
 493   store i16 %193, i16* @ss, align 2
 494   %194 = load i8, i8* @uc, align 1
 495   %195 = zext i8 %194 to i16
 496   %196 = bitcast i8* bitcast (i16* @us to i8*) to i16*
 497   %197 = atomicrmw nand i16* %196, i16 %195 monotonic
 498   %198 = xor i16 %197, -1
 499   %199 = and i16 %198, %195
 500   store i16 %199, i16* @us, align 2
 501   %200 = load i8, i8* @uc, align 1
 502   %201 = zext i8 %200 to i32
 503   %202 = bitcast i8* bitcast (i32* @si to i8*) to i32*
 504   %203 = atomicrmw nand i32* %202, i32 %201 monotonic
 505   %204 = xor i32 %203, -1
 506   %205 = and i32 %204, %201
 507   store i32 %205, i32* @si, align 4
 508   %206 = load i8, i8* @uc, align 1
 509   %207 = zext i8 %206 to i32
 510   %208 = bitcast i8* bitcast (i32* @ui to i8*) to i32*
 511   %209 = atomicrmw nand i32* %208, i32 %207 monotonic
 512   %210 = xor i32 %209, -1
 513   %211 = and i32 %210, %207
 514   store i32 %211, i32* @ui, align 4
 515   %212 = load i8, i8* @uc, align 1
 516   %213 = zext i8 %212 to i64
 517   %214 = bitcast i8* bitcast (i64* @sl to i8*) to i64*
 518   %215 = atomicrmw nand i64* %214, i64 %213 monotonic
 519   %216 = xor i64 %215, -1
 520   %217 = and i64 %216, %213
 521   store i64 %217, i64* @sl, align 8
 522   %218 = load i8, i8* @uc, align 1
 523   %219 = zext i8 %218 to i64
 524   %220 = bitcast i8* bitcast (i64* @ul to i8*) to i64*
 525   %221 = atomicrmw nand i64* %220, i64 %219 monotonic
 526   %222 = xor i64 %221, -1
 527   %223 = and i64 %222, %219
 528   store i64 %223, i64* @ul, align 8
 529   br label %return
 530
 531 return:                                           ; preds = %entry
 532   ret void
 533 }
 534
 535 define void @test_compare_and_swap() nounwind {
 536 entry:
 537   %0 = load i8, i8* @uc, align 1
 538   %1 = load i8, i8* @sc, align 1
 539   %2 = cmpxchg i8* @sc, i8 %0, i8 %1 monotonic monotonic
 540   store i8 %2, i8* @sc, align 1
 541   %3 = load i8, i8* @uc, align 1
 542   %4 = load i8, i8* @sc, align 1
 543   %5 = cmpxchg i8* @uc, i8 %3, i8 %4 monotonic monotonic
 544   store i8 %5, i8* @uc, align 1
 545   %6 = load i8, i8* @uc, align 1
 546   %7 = zext i8 %6 to i16
 547   %8 = load i8, i8* @sc, align 1
 548   %9 = sext i8 %8 to i16
 549   %10 = bitcast i8* bitcast (i16* @ss to i8*) to i16*
 550   %11 = cmpxchg i16* %10, i16 %7, i16 %9 monotonic monotonic
 551   store i16 %11, i16* @ss, align 2
 552   %12 = load i8, i8* @uc, align 1
 553   %13 = zext i8 %12 to i16
 554   %14 = load i8, i8* @sc, align 1
 555   %15 = sext i8 %14 to i16
 556   %16 = bitcast i8* bitcast (i16* @us to i8*) to i16*
 557   %17 = cmpxchg i16* %16, i16 %13, i16 %15 monotonic monotonic
 558   store i16 %17, i16* @us, align 2
 559   %18 = load i8, i8* @uc, align 1
 560   %19 = zext i8 %18 to i32
 561   %20 = load i8, i8* @sc, align 1
 562   %21 = sext i8 %20 to i32
 563   %22 = bitcast i8* bitcast (i32* @si to i8*) to i32*
 564   %23 = cmpxchg i32* %22, i32 %19, i32 %21 monotonic monotonic
 565   store i32 %23, i32* @si, align 4
 566   %24 = load i8, i8* @uc, align 1
 567   %25 = zext i8 %24 to i32
 568   %26 = load i8, i8* @sc, align 1
 569   %27 = sext i8 %26 to i32
 570   %28 = bitcast i8* bitcast (i32* @ui to i8*) to i32*
 571   %29 = cmpxchg i32* %28, i32 %25, i32 %27 monotonic monotonic
 572   store i32 %29, i32* @ui, align 4
 573   %30 = load i8, i8* @uc, align 1
 574   %31 = zext i8 %30 to i64
 575   %32 = load i8, i8* @sc, align 1
 576   %33 = sext i8 %32 to i64
 577   %34 = bitcast i8* bitcast (i64* @sl to i8*) to i64*
 578   %35 = cmpxchg i64* %34, i64 %31, i64 %33 monotonic monotonic
 579   store i64 %35, i64* @sl, align 8
 580   %36 = load i8, i8* @uc, align 1
 581   %37 = zext i8 %36 to i64
 582   %38 = load i8, i8* @sc, align 1
 583   %39 = sext i8 %38 to i64
 584   %40 = bitcast i8* bitcast (i64* @ul to i8*) to i64*
 585   %41 = cmpxchg i64* %40, i64 %37, i64 %39 monotonic monotonic
 586   store i64 %41, i64* @ul, align 8
 587   %42 = load i8, i8* @uc, align 1
 588   %43 = load i8, i8* @sc, align 1
 589   %44 = cmpxchg i8* @sc, i8 %42, i8 %43 monotonic monotonic
 590   %45 = icmp eq i8 %44, %42
 591   %46 = zext i1 %45 to i8
 592   %47 = zext i8 %46 to i32
 593   store i32 %47, i32* @ui, align 4
 594   %48 = load i8, i8* @uc, align 1
 595   %49 = load i8, i8* @sc, align 1
 596   %50 = cmpxchg i8* @uc, i8 %48, i8 %49 monotonic monotonic
 597   %51 = icmp eq i8 %50, %48
 598   %52 = zext i1 %51 to i8
 599   %53 = zext i8 %52 to i32
 600   store i32 %53, i32* @ui, align 4
 601   %54 = load i8, i8* @uc, align 1
 602   %55 = zext i8 %54 to i16
 603   %56 = load i8, i8* @sc, align 1
 604   %57 = sext i8 %56 to i16
 605   %58 = bitcast i8* bitcast (i16* @ss to i8*) to i16*
 606   %59 = cmpxchg i16* %58, i16 %55, i16 %57 monotonic monotonic
 607   %60 = icmp eq i16 %59, %55
 608   %61 = zext i1 %60 to i8
 609   %62 = zext i8 %61 to i32
 610   store i32 %62, i32* @ui, align 4
 611   %63 = load i8, i8* @uc, align 1
 612   %64 = zext i8 %63 to i16
 613   %65 = load i8, i8* @sc, align 1
 614   %66 = sext i8 %65 to i16
 615   %67 = bitcast i8* bitcast (i16* @us to i8*) to i16*
 616   %68 = cmpxchg i16* %67, i16 %64, i16 %66 monotonic monotonic
 617   %69 = icmp eq i16 %68, %64
 618   %70 = zext i1 %69 to i8
 619   %71 = zext i8 %70 to i32
 620   store i32 %71, i32* @ui, align 4
 621   %72 = load i8, i8* @uc, align 1
 622   %73 = zext i8 %72 to i32
 623   %74 = load i8, i8* @sc, align 1
 624   %75 = sext i8 %74 to i32
 625   %76 = bitcast i8* bitcast (i32* @si to i8*) to i32*
 626   %77 = cmpxchg i32* %76, i32 %73, i32 %75 monotonic monotonic
 627   %78 = icmp eq i32 %77, %73
 628   %79 = zext i1 %78 to i8
 629   %80 = zext i8 %79 to i32
 630   store i32 %80, i32* @ui, align 4
 631   %81 = load i8, i8* @uc, align 1
 632   %82 = zext i8 %81 to i32
 633   %83 = load i8, i8* @sc, align 1
 634   %84 = sext i8 %83 to i32
 635   %85 = bitcast i8* bitcast (i32* @ui to i8*) to i32*
 636   %86 = cmpxchg i32* %85, i32 %82, i32 %84 monotonic monotonic
 637   %87 = icmp eq i32 %86, %82
 638   %88 = zext i1 %87 to i8
 639   %89 = zext i8 %88 to i32
 640   store i32 %89, i32* @ui, align 4
 641   %90 = load i8, i8* @uc, align 1
 642   %91 = zext i8 %90 to i64
 643   %92 = load i8, i8* @sc, align 1
 644   %93 = sext i8 %92 to i64
 645   %94 = bitcast i8* bitcast (i64* @sl to i8*) to i64*
 646   %95 = cmpxchg i64* %94, i64 %91, i64 %93 monotonic monotonic
 647   %96 = icmp eq i64 %95, %91
 648   %97 = zext i1 %96 to i8
 649   %98 = zext i8 %97 to i32
 650   store i32 %98, i32* @ui, align 4
 651   %99 = load i8, i8* @uc, align 1
 652   %100 = zext i8 %99 to i64
 653   %101 = load i8, i8* @sc, align 1
 654   %102 = sext i8 %101 to i64
 655   %103 = bitcast i8* bitcast (i64* @ul to i8*) to i64*
 656   %104 = cmpxchg i64* %103, i64 %100, i64 %102 monotonic monotonic
 657   %105 = icmp eq i64 %104, %100
 658   %106 = zext i1 %105 to i8
 659   %107 = zext i8 %106 to i32
 660   store i32 %107, i32* @ui, align 4
 661   br label %return
 662
 663 return:                                           ; preds = %entry
 664   ret void
 665 }
 666
 667 define void @test_lock() nounwind {
 668 entry:
 669   %0 = atomicrmw xchg i8* @sc, i8 1 monotonic
 670   store i8 %0, i8* @sc, align 1
 671   %1 = atomicrmw xchg i8* @uc, i8 1 monotonic
 672   store i8 %1, i8* @uc, align 1
 673   %2 = bitcast i8* bitcast (i16* @ss to i8*) to i16*
 674   %3 = atomicrmw xchg i16* %2, i16 1 monotonic
 675   store i16 %3, i16* @ss, align 2
 676   %4 = bitcast i8* bitcast (i16* @us to i8*) to i16*
 677   %5 = atomicrmw xchg i16* %4, i16 1 monotonic
 678   store i16 %5, i16* @us, align 2
 679   %6 = bitcast i8* bitcast (i32* @si to i8*) to i32*
 680   %7 = atomicrmw xchg i32* %6, i32 1 monotonic
 681   store i32 %7, i32* @si, align 4
 682   %8 = bitcast i8* bitcast (i32* @ui to i8*) to i32*
 683   %9 = atomicrmw xchg i32* %8, i32 1 monotonic
 684   store i32 %9, i32* @ui, align 4
 685   %10 = bitcast i8* bitcast (i64* @sl to i8*) to i64*
 686   %11 = atomicrmw xchg i64* %10, i64 1 monotonic
 687   store i64 %11, i64* @sl, align 8
 688   %12 = bitcast i8* bitcast (i64* @ul to i8*) to i64*
 689   %13 = atomicrmw xchg i64* %12, i64 1 monotonic
 690   store i64 %13, i64* @ul, align 8
 691   fence seq_cst
 692   store volatile i8 0, i8* @sc, align 1
 693   store volatile i8 0, i8* @uc, align 1
 694   %14 = bitcast i8* bitcast (i16* @ss to i8*) to i16*
 695   store volatile i16 0, i16* %14, align 2
 696   %15 = bitcast i8* bitcast (i16* @us to i8*) to i16*
 697   store volatile i16 0, i16* %15, align 2
 698   %16 = bitcast i8* bitcast (i32* @si to i8*) to i32*
 699   store volatile i32 0, i32* %16, align 4
 700   %17 = bitcast i8* bitcast (i32* @ui to i8*) to i32*
 701   store volatile i32 0, i32* %17, align 4
 702   %18 = bitcast i8* bitcast (i64* @sl to i8*) to i64*
 703   store volatile i64 0, i64* %18, align 8
 704   %19 = bitcast i8* bitcast (i64* @ul to i8*) to i64*
 705   store volatile i64 0, i64* %19, align 8
 706   %20 = bitcast i8* bitcast (i64* @sll to i8*) to i64*
 707   store volatile i64 0, i64* %20, align 8
 708   %21 = bitcast i8* bitcast (i64* @ull to i8*) to i64*
 709   store volatile i64 0, i64* %21, align 8
 710   br label %return
 711
 712 return:                                           ; preds = %entry
 713   ret void
 714 }