1; RUN: llc < %s -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 9target 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" 10target triple = "powerpc64-unknown-linux-gnu" 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 23define void @test_op_ignore() nounwind { 24entry: 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 111return: ; preds = %entry 112 ret void 113} 114 115define void @test_fetch_and_op() nounwind { 116entry: 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 251return: ; preds = %entry 252 ret void 253} 254 255define void @test_op_and_fetch() nounwind { 256entry: 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 531return: ; preds = %entry 532 ret void 533} 534 535define void @test_compare_and_swap() nounwind { 536entry: 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 663return: ; preds = %entry 664 ret void 665} 666 667define void @test_lock() nounwind { 668entry: 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 712return: ; preds = %entry 713 ret void 714} 715