xref: /aosp_15_r20/external/llvm/test/CodeGen/X86/Atomics-64.ll (revision 9880d6810fe72a1726cb53787c6711e909410d58)

; RUN: llc < %s -march=x86-64 > %t.x86-64
; RUN: llc < %s -march=x86 -mattr=cx16 > %t.x86
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128"
target triple = "x86_64-apple-darwin8"

@sc = common global i8 0
@uc = common global i8 0
@ss = common global i16 0
@us = common global i16 0
@si = common global i32 0
@ui = common global i32 0
@sl = common global i64 0
@ul = common global i64 0
@sll = common global i64 0
@ull = common global i64 0

define void @test_op_ignore() nounwind {
entry:
  %0 = atomicrmw add i8* @sc, i8 1 monotonic
  %1 = atomicrmw add i8* @uc, i8 1 monotonic
  %2 = bitcast i8* bitcast (i16* @ss to i8*) to i16*
  %3 = atomicrmw add i16* %2, i16 1 monotonic
  %4 = bitcast i8* bitcast (i16* @us to i8*) to i16*
  %5 = atomicrmw add i16* %4, i16 1 monotonic
  %6 = bitcast i8* bitcast (i32* @si to i8*) to i32*
  %7 = atomicrmw add i32* %6, i32 1 monotonic
  %8 = bitcast i8* bitcast (i32* @ui to i8*) to i32*
  %9 = atomicrmw add i32* %8, i32 1 monotonic
  %10 = bitcast i8* bitcast (i64* @sl to i8*) to i64*
  %11 = atomicrmw add i64* %10, i64 1 monotonic
  %12 = bitcast i8* bitcast (i64* @ul to i8*) to i64*
  %13 = atomicrmw add i64* %12, i64 1 monotonic
  %14 = bitcast i8* bitcast (i64* @sll to i8*) to i64*
  %15 = atomicrmw add i64* %14, i64 1 monotonic
  %16 = bitcast i8* bitcast (i64* @ull to i8*) to i64*
  %17 = atomicrmw add i64* %16, i64 1 monotonic
  %18 = atomicrmw sub i8* @sc, i8 1 monotonic
  %19 = atomicrmw sub i8* @uc, i8 1 monotonic
  %20 = bitcast i8* bitcast (i16* @ss to i8*) to i16*
  %21 = atomicrmw sub i16* %20, i16 1 monotonic
  %22 = bitcast i8* bitcast (i16* @us to i8*) to i16*
  %23 = atomicrmw sub i16* %22, i16 1 monotonic
  %24 = bitcast i8* bitcast (i32* @si to i8*) to i32*
  %25 = atomicrmw sub i32* %24, i32 1 monotonic
  %26 = bitcast i8* bitcast (i32* @ui to i8*) to i32*
  %27 = atomicrmw sub i32* %26, i32 1 monotonic
  %28 = bitcast i8* bitcast (i64* @sl to i8*) to i64*
  %29 = atomicrmw sub i64* %28, i64 1 monotonic
  %30 = bitcast i8* bitcast (i64* @ul to i8*) to i64*
  %31 = atomicrmw sub i64* %30, i64 1 monotonic
  %32 = bitcast i8* bitcast (i64* @sll to i8*) to i64*
  %33 = atomicrmw sub i64* %32, i64 1 monotonic
  %34 = bitcast i8* bitcast (i64* @ull to i8*) to i64*
  %35 = atomicrmw sub i64* %34, i64 1 monotonic
  %36 = atomicrmw or i8* @sc, i8 1 monotonic
  %37 = atomicrmw or i8* @uc, i8 1 monotonic
  %38 = bitcast i8* bitcast (i16* @ss to i8*) to i16*
  %39 = atomicrmw or i16* %38, i16 1 monotonic
  %40 = bitcast i8* bitcast (i16* @us to i8*) to i16*
  %41 = atomicrmw or i16* %40, i16 1 monotonic
  %42 = bitcast i8* bitcast (i32* @si to i8*) to i32*
  %43 = atomicrmw or i32* %42, i32 1 monotonic
  %44 = bitcast i8* bitcast (i32* @ui to i8*) to i32*
  %45 = atomicrmw or i32* %44, i32 1 monotonic
  %46 = bitcast i8* bitcast (i64* @sl to i8*) to i64*
  %47 = atomicrmw or i64* %46, i64 1 monotonic
  %48 = bitcast i8* bitcast (i64* @ul to i8*) to i64*
  %49 = atomicrmw or i64* %48, i64 1 monotonic
  %50 = bitcast i8* bitcast (i64* @sll to i8*) to i64*
  %51 = atomicrmw or i64* %50, i64 1 monotonic
  %52 = bitcast i8* bitcast (i64* @ull to i8*) to i64*
  %53 = atomicrmw or i64* %52, i64 1 monotonic
  %54 = atomicrmw xor i8* @sc, i8 1 monotonic
  %55 = atomicrmw xor i8* @uc, i8 1 monotonic
  %56 = bitcast i8* bitcast (i16* @ss to i8*) to i16*
  %57 = atomicrmw xor i16* %56, i16 1 monotonic
  %58 = bitcast i8* bitcast (i16* @us to i8*) to i16*
  %59 = atomicrmw xor i16* %58, i16 1 monotonic
  %60 = bitcast i8* bitcast (i32* @si to i8*) to i32*
  %61 = atomicrmw xor i32* %60, i32 1 monotonic
  %62 = bitcast i8* bitcast (i32* @ui to i8*) to i32*
  %63 = atomicrmw xor i32* %62, i32 1 monotonic
  %64 = bitcast i8* bitcast (i64* @sl to i8*) to i64*
  %65 = atomicrmw xor i64* %64, i64 1 monotonic
  %66 = bitcast i8* bitcast (i64* @ul to i8*) to i64*
  %67 = atomicrmw xor i64* %66, i64 1 monotonic
  %68 = bitcast i8* bitcast (i64* @sll to i8*) to i64*
  %69 = atomicrmw xor i64* %68, i64 1 monotonic
  %70 = bitcast i8* bitcast (i64* @ull to i8*) to i64*
  %71 = atomicrmw xor i64* %70, i64 1 monotonic
  %72 = atomicrmw and i8* @sc, i8 1 monotonic
  %73 = atomicrmw and i8* @uc, i8 1 monotonic
  %74 = bitcast i8* bitcast (i16* @ss to i8*) to i16*
  %75 = atomicrmw and i16* %74, i16 1 monotonic
  %76 = bitcast i8* bitcast (i16* @us to i8*) to i16*
  %77 = atomicrmw and i16* %76, i16 1 monotonic
  %78 = bitcast i8* bitcast (i32* @si to i8*) to i32*
  %79 = atomicrmw and i32* %78, i32 1 monotonic
  %80 = bitcast i8* bitcast (i32* @ui to i8*) to i32*
  %81 = atomicrmw and i32* %80, i32 1 monotonic
  %82 = bitcast i8* bitcast (i64* @sl to i8*) to i64*
  %83 = atomicrmw and i64* %82, i64 1 monotonic
  %84 = bitcast i8* bitcast (i64* @ul to i8*) to i64*
  %85 = atomicrmw and i64* %84, i64 1 monotonic
  %86 = bitcast i8* bitcast (i64* @sll to i8*) to i64*
  %87 = atomicrmw and i64* %86, i64 1 monotonic
  %88 = bitcast i8* bitcast (i64* @ull to i8*) to i64*
  %89 = atomicrmw and i64* %88, i64 1 monotonic
  %90 = atomicrmw nand i8* @sc, i8 1 monotonic
  %91 = atomicrmw nand i8* @uc, i8 1 monotonic
  %92 = bitcast i8* bitcast (i16* @ss to i8*) to i16*
  %93 = atomicrmw nand i16* %92, i16 1 monotonic
  %94 = bitcast i8* bitcast (i16* @us to i8*) to i16*
  %95 = atomicrmw nand i16* %94, i16 1 monotonic
  %96 = bitcast i8* bitcast (i32* @si to i8*) to i32*
  %97 = atomicrmw nand i32* %96, i32 1 monotonic
  %98 = bitcast i8* bitcast (i32* @ui to i8*) to i32*
  %99 = atomicrmw nand i32* %98, i32 1 monotonic
  %100 = bitcast i8* bitcast (i64* @sl to i8*) to i64*
  %101 = atomicrmw nand i64* %100, i64 1 monotonic
  %102 = bitcast i8* bitcast (i64* @ul to i8*) to i64*
  %103 = atomicrmw nand i64* %102, i64 1 monotonic
  %104 = bitcast i8* bitcast (i64* @sll to i8*) to i64*
  %105 = atomicrmw nand i64* %104, i64 1 monotonic
  %106 = bitcast i8* bitcast (i64* @ull to i8*) to i64*
  %107 = atomicrmw nand i64* %106, i64 1 monotonic
  br label %return

return:                                           ; preds = %entry
  ret void
}

define void @test_fetch_and_op() nounwind {
entry:
  %0 = atomicrmw add i8* @sc, i8 11 monotonic
  store i8 %0, i8* @sc, align 1
  %1 = atomicrmw add i8* @uc, i8 11 monotonic
  store i8 %1, i8* @uc, align 1
  %2 = bitcast i8* bitcast (i16* @ss to i8*) to i16*
  %3 = atomicrmw add i16* %2, i16 11 monotonic
  store i16 %3, i16* @ss, align 2
  %4 = bitcast i8* bitcast (i16* @us to i8*) to i16*
  %5 = atomicrmw add i16* %4, i16 11 monotonic
  store i16 %5, i16* @us, align 2
  %6 = bitcast i8* bitcast (i32* @si to i8*) to i32*
  %7 = atomicrmw add i32* %6, i32 11 monotonic
  store i32 %7, i32* @si, align 4
  %8 = bitcast i8* bitcast (i32* @ui to i8*) to i32*
  %9 = atomicrmw add i32* %8, i32 11 monotonic
  store i32 %9, i32* @ui, align 4
  %10 = bitcast i8* bitcast (i64* @sl to i8*) to i64*
  %11 = atomicrmw add i64* %10, i64 11 monotonic
  store i64 %11, i64* @sl, align 8
  %12 = bitcast i8* bitcast (i64* @ul to i8*) to i64*
  %13 = atomicrmw add i64* %12, i64 11 monotonic
  store i64 %13, i64* @ul, align 8
  %14 = bitcast i8* bitcast (i64* @sll to i8*) to i64*
  %15 = atomicrmw add i64* %14, i64 11 monotonic
  store i64 %15, i64* @sll, align 8
  %16 = bitcast i8* bitcast (i64* @ull to i8*) to i64*
  %17 = atomicrmw add i64* %16, i64 11 monotonic
  store i64 %17, i64* @ull, align 8
  %18 = atomicrmw sub i8* @sc, i8 11 monotonic
  store i8 %18, i8* @sc, align 1
  %19 = atomicrmw sub i8* @uc, i8 11 monotonic
  store i8 %19, i8* @uc, align 1
  %20 = bitcast i8* bitcast (i16* @ss to i8*) to i16*
  %21 = atomicrmw sub i16* %20, i16 11 monotonic
  store i16 %21, i16* @ss, align 2
  %22 = bitcast i8* bitcast (i16* @us to i8*) to i16*
  %23 = atomicrmw sub i16* %22, i16 11 monotonic
  store i16 %23, i16* @us, align 2
  %24 = bitcast i8* bitcast (i32* @si to i8*) to i32*
  %25 = atomicrmw sub i32* %24, i32 11 monotonic
  store i32 %25, i32* @si, align 4
  %26 = bitcast i8* bitcast (i32* @ui to i8*) to i32*
  %27 = atomicrmw sub i32* %26, i32 11 monotonic
  store i32 %27, i32* @ui, align 4
  %28 = bitcast i8* bitcast (i64* @sl to i8*) to i64*
  %29 = atomicrmw sub i64* %28, i64 11 monotonic
  store i64 %29, i64* @sl, align 8
  %30 = bitcast i8* bitcast (i64* @ul to i8*) to i64*
  %31 = atomicrmw sub i64* %30, i64 11 monotonic
  store i64 %31, i64* @ul, align 8
  %32 = bitcast i8* bitcast (i64* @sll to i8*) to i64*
  %33 = atomicrmw sub i64* %32, i64 11 monotonic
  store i64 %33, i64* @sll, align 8
  %34 = bitcast i8* bitcast (i64* @ull to i8*) to i64*
  %35 = atomicrmw sub i64* %34, i64 11 monotonic
  store i64 %35, i64* @ull, align 8
  %36 = atomicrmw or i8* @sc, i8 11 monotonic
  store i8 %36, i8* @sc, align 1
  %37 = atomicrmw or i8* @uc, i8 11 monotonic
  store i8 %37, i8* @uc, align 1
  %38 = bitcast i8* bitcast (i16* @ss to i8*) to i16*
  %39 = atomicrmw or i16* %38, i16 11 monotonic
  store i16 %39, i16* @ss, align 2
  %40 = bitcast i8* bitcast (i16* @us to i8*) to i16*
  %41 = atomicrmw or i16* %40, i16 11 monotonic
  store i16 %41, i16* @us, align 2
  %42 = bitcast i8* bitcast (i32* @si to i8*) to i32*
  %43 = atomicrmw or i32* %42, i32 11 monotonic
  store i32 %43, i32* @si, align 4
  %44 = bitcast i8* bitcast (i32* @ui to i8*) to i32*
  %45 = atomicrmw or i32* %44, i32 11 monotonic
  store i32 %45, i32* @ui, align 4
  %46 = bitcast i8* bitcast (i64* @sl to i8*) to i64*
  %47 = atomicrmw or i64* %46, i64 11 monotonic
  store i64 %47, i64* @sl, align 8
  %48 = bitcast i8* bitcast (i64* @ul to i8*) to i64*
  %49 = atomicrmw or i64* %48, i64 11 monotonic
  store i64 %49, i64* @ul, align 8
  %50 = bitcast i8* bitcast (i64* @sll to i8*) to i64*
  %51 = atomicrmw or i64* %50, i64 11 monotonic
  store i64 %51, i64* @sll, align 8
  %52 = bitcast i8* bitcast (i64* @ull to i8*) to i64*
  %53 = atomicrmw or i64* %52, i64 11 monotonic
  store i64 %53, i64* @ull, align 8
  %54 = atomicrmw xor i8* @sc, i8 11 monotonic
  store i8 %54, i8* @sc, align 1
  %55 = atomicrmw xor i8* @uc, i8 11 monotonic
  store i8 %55, i8* @uc, align 1
  %56 = bitcast i8* bitcast (i16* @ss to i8*) to i16*
  %57 = atomicrmw xor i16* %56, i16 11 monotonic
  store i16 %57, i16* @ss, align 2
  %58 = bitcast i8* bitcast (i16* @us to i8*) to i16*
  %59 = atomicrmw xor i16* %58, i16 11 monotonic
  store i16 %59, i16* @us, align 2
  %60 = bitcast i8* bitcast (i32* @si to i8*) to i32*
  %61 = atomicrmw xor i32* %60, i32 11 monotonic
  store i32 %61, i32* @si, align 4
  %62 = bitcast i8* bitcast (i32* @ui to i8*) to i32*
  %63 = atomicrmw xor i32* %62, i32 11 monotonic
  store i32 %63, i32* @ui, align 4
  %64 = bitcast i8* bitcast (i64* @sl to i8*) to i64*
  %65 = atomicrmw xor i64* %64, i64 11 monotonic
  store i64 %65, i64* @sl, align 8
  %66 = bitcast i8* bitcast (i64* @ul to i8*) to i64*
  %67 = atomicrmw xor i64* %66, i64 11 monotonic
  store i64 %67, i64* @ul, align 8
  %68 = bitcast i8* bitcast (i64* @sll to i8*) to i64*
  %69 = atomicrmw xor i64* %68, i64 11 monotonic
  store i64 %69, i64* @sll, align 8
  %70 = bitcast i8* bitcast (i64* @ull to i8*) to i64*
  %71 = atomicrmw xor i64* %70, i64 11 monotonic
  store i64 %71, i64* @ull, align 8
  %72 = atomicrmw and i8* @sc, i8 11 monotonic
  store i8 %72, i8* @sc, align 1
  %73 = atomicrmw and i8* @uc, i8 11 monotonic
  store i8 %73, i8* @uc, align 1
  %74 = bitcast i8* bitcast (i16* @ss to i8*) to i16*
  %75 = atomicrmw and i16* %74, i16 11 monotonic
  store i16 %75, i16* @ss, align 2
  %76 = bitcast i8* bitcast (i16* @us to i8*) to i16*
  %77 = atomicrmw and i16* %76, i16 11 monotonic
  store i16 %77, i16* @us, align 2
  %78 = bitcast i8* bitcast (i32* @si to i8*) to i32*
  %79 = atomicrmw and i32* %78, i32 11 monotonic
  store i32 %79, i32* @si, align 4
  %80 = bitcast i8* bitcast (i32* @ui to i8*) to i32*
  %81 = atomicrmw and i32* %80, i32 11 monotonic
  store i32 %81, i32* @ui, align 4
  %82 = bitcast i8* bitcast (i64* @sl to i8*) to i64*
  %83 = atomicrmw and i64* %82, i64 11 monotonic
  store i64 %83, i64* @sl, align 8
  %84 = bitcast i8* bitcast (i64* @ul to i8*) to i64*
  %85 = atomicrmw and i64* %84, i64 11 monotonic
  store i64 %85, i64* @ul, align 8
  %86 = bitcast i8* bitcast (i64* @sll to i8*) to i64*
  %87 = atomicrmw and i64* %86, i64 11 monotonic
  store i64 %87, i64* @sll, align 8
  %88 = bitcast i8* bitcast (i64* @ull to i8*) to i64*
  %89 = atomicrmw and i64* %88, i64 11 monotonic
  store i64 %89, i64* @ull, align 8
  %90 = atomicrmw nand i8* @sc, i8 11 monotonic
  store i8 %90, i8* @sc, align 1
  %91 = atomicrmw nand i8* @uc, i8 11 monotonic
  store i8 %91, i8* @uc, align 1
  %92 = bitcast i8* bitcast (i16* @ss to i8*) to i16*
  %93 = atomicrmw nand i16* %92, i16 11 monotonic
  store i16 %93, i16* @ss, align 2
  %94 = bitcast i8* bitcast (i16* @us to i8*) to i16*
  %95 = atomicrmw nand i16* %94, i16 11 monotonic
  store i16 %95, i16* @us, align 2
  %96 = bitcast i8* bitcast (i32* @si to i8*) to i32*
  %97 = atomicrmw nand i32* %96, i32 11 monotonic
  store i32 %97, i32* @si, align 4
  %98 = bitcast i8* bitcast (i32* @ui to i8*) to i32*
  %99 = atomicrmw nand i32* %98, i32 11 monotonic
  store i32 %99, i32* @ui, align 4
  %100 = bitcast i8* bitcast (i64* @sl to i8*) to i64*
  %101 = atomicrmw nand i64* %100, i64 11 monotonic
  store i64 %101, i64* @sl, align 8
  %102 = bitcast i8* bitcast (i64* @ul to i8*) to i64*
  %103 = atomicrmw nand i64* %102, i64 11 monotonic
  store i64 %103, i64* @ul, align 8
  %104 = bitcast i8* bitcast (i64* @sll to i8*) to i64*
  %105 = atomicrmw nand i64* %104, i64 11 monotonic
  store i64 %105, i64* @sll, align 8
  %106 = bitcast i8* bitcast (i64* @ull to i8*) to i64*
  %107 = atomicrmw nand i64* %106, i64 11 monotonic
  store i64 %107, i64* @ull, align 8
  br label %return

return:                                           ; preds = %entry
  ret void
}

define void @test_op_and_fetch() nounwind {
entry:
  %0 = load i8, i8* @uc, align 1
  %1 = zext i8 %0 to i32
  %2 = trunc i32 %1 to i8
  %3 = atomicrmw add i8* @sc, i8 %2 monotonic
  %4 = add i8 %3, %2
  store i8 %4, i8* @sc, align 1
  %5 = load i8, i8* @uc, align 1
  %6 = zext i8 %5 to i32
  %7 = trunc i32 %6 to i8
  %8 = atomicrmw add i8* @uc, i8 %7 monotonic
  %9 = add i8 %8, %7
  store i8 %9, i8* @uc, align 1
  %10 = load i8, i8* @uc, align 1
  %11 = zext i8 %10 to i32
  %12 = bitcast i8* bitcast (i16* @ss to i8*) to i16*
  %13 = trunc i32 %11 to i16
  %14 = atomicrmw add i16* %12, i16 %13 monotonic
  %15 = add i16 %14, %13
  store i16 %15, i16* @ss, align 2
  %16 = load i8, i8* @uc, align 1
  %17 = zext i8 %16 to i32
  %18 = bitcast i8* bitcast (i16* @us to i8*) to i16*
  %19 = trunc i32 %17 to i16
  %20 = atomicrmw add i16* %18, i16 %19 monotonic
  %21 = add i16 %20, %19
  store i16 %21, i16* @us, align 2
  %22 = load i8, i8* @uc, align 1
  %23 = zext i8 %22 to i32
  %24 = bitcast i8* bitcast (i32* @si to i8*) to i32*
  %25 = atomicrmw add i32* %24, i32 %23 monotonic
  %26 = add i32 %25, %23
  store i32 %26, i32* @si, align 4
  %27 = load i8, i8* @uc, align 1
  %28 = zext i8 %27 to i32
  %29 = bitcast i8* bitcast (i32* @ui to i8*) to i32*
  %30 = atomicrmw add i32* %29, i32 %28 monotonic
  %31 = add i32 %30, %28
  store i32 %31, i32* @ui, align 4
  %32 = load i8, i8* @uc, align 1
  %33 = zext i8 %32 to i64
  %34 = bitcast i8* bitcast (i64* @sl to i8*) to i64*
  %35 = atomicrmw add i64* %34, i64 %33 monotonic
  %36 = add i64 %35, %33
  store i64 %36, i64* @sl, align 8
  %37 = load i8, i8* @uc, align 1
  %38 = zext i8 %37 to i64
  %39 = bitcast i8* bitcast (i64* @ul to i8*) to i64*
  %40 = atomicrmw add i64* %39, i64 %38 monotonic
  %41 = add i64 %40, %38
  store i64 %41, i64* @ul, align 8
  %42 = load i8, i8* @uc, align 1
  %43 = zext i8 %42 to i64
  %44 = bitcast i8* bitcast (i64* @sll to i8*) to i64*
  %45 = atomicrmw add i64* %44, i64 %43 monotonic
  %46 = add i64 %45, %43
  store i64 %46, i64* @sll, align 8
  %47 = load i8, i8* @uc, align 1
  %48 = zext i8 %47 to i64
  %49 = bitcast i8* bitcast (i64* @ull to i8*) to i64*
  %50 = atomicrmw add i64* %49, i64 %48 monotonic
  %51 = add i64 %50, %48
  store i64 %51, i64* @ull, align 8
  %52 = load i8, i8* @uc, align 1
  %53 = zext i8 %52 to i32
  %54 = trunc i32 %53 to i8
  %55 = atomicrmw sub i8* @sc, i8 %54 monotonic
  %56 = sub i8 %55, %54
  store i8 %56, i8* @sc, align 1
  %57 = load i8, i8* @uc, align 1
  %58 = zext i8 %57 to i32
  %59 = trunc i32 %58 to i8
  %60 = atomicrmw sub i8* @uc, i8 %59 monotonic
  %61 = sub i8 %60, %59
  store i8 %61, i8* @uc, align 1
  %62 = load i8, i8* @uc, align 1
  %63 = zext i8 %62 to i32
  %64 = bitcast i8* bitcast (i16* @ss to i8*) to i16*
  %65 = trunc i32 %63 to i16
  %66 = atomicrmw sub i16* %64, i16 %65 monotonic
  %67 = sub i16 %66, %65
  store i16 %67, i16* @ss, align 2
  %68 = load i8, i8* @uc, align 1
  %69 = zext i8 %68 to i32
  %70 = bitcast i8* bitcast (i16* @us to i8*) to i16*
  %71 = trunc i32 %69 to i16
  %72 = atomicrmw sub i16* %70, i16 %71 monotonic
  %73 = sub i16 %72, %71
  store i16 %73, i16* @us, align 2
  %74 = load i8, i8* @uc, align 1
  %75 = zext i8 %74 to i32
  %76 = bitcast i8* bitcast (i32* @si to i8*) to i32*
  %77 = atomicrmw sub i32* %76, i32 %75 monotonic
  %78 = sub i32 %77, %75
  store i32 %78, i32* @si, align 4
  %79 = load i8, i8* @uc, align 1
  %80 = zext i8 %79 to i32
  %81 = bitcast i8* bitcast (i32* @ui to i8*) to i32*
  %82 = atomicrmw sub i32* %81, i32 %80 monotonic
  %83 = sub i32 %82, %80
  store i32 %83, i32* @ui, align 4
  %84 = load i8, i8* @uc, align 1
  %85 = zext i8 %84 to i64
  %86 = bitcast i8* bitcast (i64* @sl to i8*) to i64*
  %87 = atomicrmw sub i64* %86, i64 %85 monotonic
  %88 = sub i64 %87, %85
  store i64 %88, i64* @sl, align 8
  %89 = load i8, i8* @uc, align 1
  %90 = zext i8 %89 to i64
  %91 = bitcast i8* bitcast (i64* @ul to i8*) to i64*
  %92 = atomicrmw sub i64* %91, i64 %90 monotonic
  %93 = sub i64 %92, %90
  store i64 %93, i64* @ul, align 8
  %94 = load i8, i8* @uc, align 1
  %95 = zext i8 %94 to i64
  %96 = bitcast i8* bitcast (i64* @sll to i8*) to i64*
  %97 = atomicrmw sub i64* %96, i64 %95 monotonic
  %98 = sub i64 %97, %95
  store i64 %98, i64* @sll, align 8
  %99 = load i8, i8* @uc, align 1
  %100 = zext i8 %99 to i64
  %101 = bitcast i8* bitcast (i64* @ull to i8*) to i64*
  %102 = atomicrmw sub i64* %101, i64 %100 monotonic
  %103 = sub i64 %102, %100
  store i64 %103, i64* @ull, align 8
  %104 = load i8, i8* @uc, align 1
  %105 = zext i8 %104 to i32
  %106 = trunc i32 %105 to i8
  %107 = atomicrmw or i8* @sc, i8 %106 monotonic
  %108 = or i8 %107, %106
  store i8 %108, i8* @sc, align 1
  %109 = load i8, i8* @uc, align 1
  %110 = zext i8 %109 to i32
  %111 = trunc i32 %110 to i8
  %112 = atomicrmw or i8* @uc, i8 %111 monotonic
  %113 = or i8 %112, %111
  store i8 %113, i8* @uc, align 1
  %114 = load i8, i8* @uc, align 1
  %115 = zext i8 %114 to i32
  %116 = bitcast i8* bitcast (i16* @ss to i8*) to i16*
  %117 = trunc i32 %115 to i16
  %118 = atomicrmw or i16* %116, i16 %117 monotonic
  %119 = or i16 %118, %117
  store i16 %119, i16* @ss, align 2
  %120 = load i8, i8* @uc, align 1
  %121 = zext i8 %120 to i32
  %122 = bitcast i8* bitcast (i16* @us to i8*) to i16*
  %123 = trunc i32 %121 to i16
  %124 = atomicrmw or i16* %122, i16 %123 monotonic
  %125 = or i16 %124, %123
  store i16 %125, i16* @us, align 2
  %126 = load i8, i8* @uc, align 1
  %127 = zext i8 %126 to i32
  %128 = bitcast i8* bitcast (i32* @si to i8*) to i32*
  %129 = atomicrmw or i32* %128, i32 %127 monotonic
  %130 = or i32 %129, %127
  store i32 %130, i32* @si, align 4
  %131 = load i8, i8* @uc, align 1
  %132 = zext i8 %131 to i32
  %133 = bitcast i8* bitcast (i32* @ui to i8*) to i32*
  %134 = atomicrmw or i32* %133, i32 %132 monotonic
  %135 = or i32 %134, %132
  store i32 %135, i32* @ui, align 4
  %136 = load i8, i8* @uc, align 1
  %137 = zext i8 %136 to i64
  %138 = bitcast i8* bitcast (i64* @sl to i8*) to i64*
  %139 = atomicrmw or i64* %138, i64 %137 monotonic
  %140 = or i64 %139, %137
  store i64 %140, i64* @sl, align 8
  %141 = load i8, i8* @uc, align 1
  %142 = zext i8 %141 to i64
  %143 = bitcast i8* bitcast (i64* @ul to i8*) to i64*
  %144 = atomicrmw or i64* %143, i64 %142 monotonic
  %145 = or i64 %144, %142
  store i64 %145, i64* @ul, align 8
  %146 = load i8, i8* @uc, align 1
  %147 = zext i8 %146 to i64
  %148 = bitcast i8* bitcast (i64* @sll to i8*) to i64*
  %149 = atomicrmw or i64* %148, i64 %147 monotonic
  %150 = or i64 %149, %147
  store i64 %150, i64* @sll, align 8
  %151 = load i8, i8* @uc, align 1
  %152 = zext i8 %151 to i64
  %153 = bitcast i8* bitcast (i64* @ull to i8*) to i64*
  %154 = atomicrmw or i64* %153, i64 %152 monotonic
  %155 = or i64 %154, %152
  store i64 %155, i64* @ull, align 8
  %156 = load i8, i8* @uc, align 1
  %157 = zext i8 %156 to i32
  %158 = trunc i32 %157 to i8
  %159 = atomicrmw xor i8* @sc, i8 %158 monotonic
  %160 = xor i8 %159, %158
  store i8 %160, i8* @sc, align 1
  %161 = load i8, i8* @uc, align 1
  %162 = zext i8 %161 to i32
  %163 = trunc i32 %162 to i8
  %164 = atomicrmw xor i8* @uc, i8 %163 monotonic
  %165 = xor i8 %164, %163
  store i8 %165, i8* @uc, align 1
  %166 = load i8, i8* @uc, align 1
  %167 = zext i8 %166 to i32
  %168 = bitcast i8* bitcast (i16* @ss to i8*) to i16*
  %169 = trunc i32 %167 to i16
  %170 = atomicrmw xor i16* %168, i16 %169 monotonic
  %171 = xor i16 %170, %169
  store i16 %171, i16* @ss, align 2
  %172 = load i8, i8* @uc, align 1
  %173 = zext i8 %172 to i32
  %174 = bitcast i8* bitcast (i16* @us to i8*) to i16*
  %175 = trunc i32 %173 to i16
  %176 = atomicrmw xor i16* %174, i16 %175 monotonic
  %177 = xor i16 %176, %175
  store i16 %177, i16* @us, align 2
  %178 = load i8, i8* @uc, align 1
  %179 = zext i8 %178 to i32
  %180 = bitcast i8* bitcast (i32* @si to i8*) to i32*
  %181 = atomicrmw xor i32* %180, i32 %179 monotonic
  %182 = xor i32 %181, %179
  store i32 %182, i32* @si, align 4
  %183 = load i8, i8* @uc, align 1
  %184 = zext i8 %183 to i32
  %185 = bitcast i8* bitcast (i32* @ui to i8*) to i32*
  %186 = atomicrmw xor i32* %185, i32 %184 monotonic
  %187 = xor i32 %186, %184
  store i32 %187, i32* @ui, align 4
  %188 = load i8, i8* @uc, align 1
  %189 = zext i8 %188 to i64
  %190 = bitcast i8* bitcast (i64* @sl to i8*) to i64*
  %191 = atomicrmw xor i64* %190, i64 %189 monotonic
  %192 = xor i64 %191, %189
  store i64 %192, i64* @sl, align 8
  %193 = load i8, i8* @uc, align 1
  %194 = zext i8 %193 to i64
  %195 = bitcast i8* bitcast (i64* @ul to i8*) to i64*
  %196 = atomicrmw xor i64* %195, i64 %194 monotonic
  %197 = xor i64 %196, %194
  store i64 %197, i64* @ul, align 8
  %198 = load i8, i8* @uc, align 1
  %199 = zext i8 %198 to i64
  %200 = bitcast i8* bitcast (i64* @sll to i8*) to i64*
  %201 = atomicrmw xor i64* %200, i64 %199 monotonic
  %202 = xor i64 %201, %199
  store i64 %202, i64* @sll, align 8
  %203 = load i8, i8* @uc, align 1
  %204 = zext i8 %203 to i64
  %205 = bitcast i8* bitcast (i64* @ull to i8*) to i64*
  %206 = atomicrmw xor i64* %205, i64 %204 monotonic
  %207 = xor i64 %206, %204
  store i64 %207, i64* @ull, align 8
  %208 = load i8, i8* @uc, align 1
  %209 = zext i8 %208 to i32
  %210 = trunc i32 %209 to i8
  %211 = atomicrmw and i8* @sc, i8 %210 monotonic
  %212 = and i8 %211, %210
  store i8 %212, i8* @sc, align 1
  %213 = load i8, i8* @uc, align 1
  %214 = zext i8 %213 to i32
  %215 = trunc i32 %214 to i8
  %216 = atomicrmw and i8* @uc, i8 %215 monotonic
  %217 = and i8 %216, %215
  store i8 %217, i8* @uc, align 1
  %218 = load i8, i8* @uc, align 1
  %219 = zext i8 %218 to i32
  %220 = bitcast i8* bitcast (i16* @ss to i8*) to i16*
  %221 = trunc i32 %219 to i16
  %222 = atomicrmw and i16* %220, i16 %221 monotonic
  %223 = and i16 %222, %221
  store i16 %223, i16* @ss, align 2
  %224 = load i8, i8* @uc, align 1
  %225 = zext i8 %224 to i32
  %226 = bitcast i8* bitcast (i16* @us to i8*) to i16*
  %227 = trunc i32 %225 to i16
  %228 = atomicrmw and i16* %226, i16 %227 monotonic
  %229 = and i16 %228, %227
  store i16 %229, i16* @us, align 2
  %230 = load i8, i8* @uc, align 1
  %231 = zext i8 %230 to i32
  %232 = bitcast i8* bitcast (i32* @si to i8*) to i32*
  %233 = atomicrmw and i32* %232, i32 %231 monotonic
  %234 = and i32 %233, %231
  store i32 %234, i32* @si, align 4
  %235 = load i8, i8* @uc, align 1
  %236 = zext i8 %235 to i32
  %237 = bitcast i8* bitcast (i32* @ui to i8*) to i32*
  %238 = atomicrmw and i32* %237, i32 %236 monotonic
  %239 = and i32 %238, %236
  store i32 %239, i32* @ui, align 4
  %240 = load i8, i8* @uc, align 1
  %241 = zext i8 %240 to i64
  %242 = bitcast i8* bitcast (i64* @sl to i8*) to i64*
  %243 = atomicrmw and i64* %242, i64 %241 monotonic
  %244 = and i64 %243, %241
  store i64 %244, i64* @sl, align 8
  %245 = load i8, i8* @uc, align 1
  %246 = zext i8 %245 to i64
  %247 = bitcast i8* bitcast (i64* @ul to i8*) to i64*
  %248 = atomicrmw and i64* %247, i64 %246 monotonic
  %249 = and i64 %248, %246
  store i64 %249, i64* @ul, align 8
  %250 = load i8, i8* @uc, align 1
  %251 = zext i8 %250 to i64
  %252 = bitcast i8* bitcast (i64* @sll to i8*) to i64*
  %253 = atomicrmw and i64* %252, i64 %251 monotonic
  %254 = and i64 %253, %251
  store i64 %254, i64* @sll, align 8
  %255 = load i8, i8* @uc, align 1
  %256 = zext i8 %255 to i64
  %257 = bitcast i8* bitcast (i64* @ull to i8*) to i64*
  %258 = atomicrmw and i64* %257, i64 %256 monotonic
  %259 = and i64 %258, %256
  store i64 %259, i64* @ull, align 8
  %260 = load i8, i8* @uc, align 1
  %261 = zext i8 %260 to i32
  %262 = trunc i32 %261 to i8
  %263 = atomicrmw nand i8* @sc, i8 %262 monotonic
  %264 = xor i8 %263, -1
  %265 = and i8 %264, %262
  store i8 %265, i8* @sc, align 1
  %266 = load i8, i8* @uc, align 1
  %267 = zext i8 %266 to i32
  %268 = trunc i32 %267 to i8
  %269 = atomicrmw nand i8* @uc, i8 %268 monotonic
  %270 = xor i8 %269, -1
  %271 = and i8 %270, %268
  store i8 %271, i8* @uc, align 1
  %272 = load i8, i8* @uc, align 1
  %273 = zext i8 %272 to i32
  %274 = bitcast i8* bitcast (i16* @ss to i8*) to i16*
  %275 = trunc i32 %273 to i16
  %276 = atomicrmw nand i16* %274, i16 %275 monotonic
  %277 = xor i16 %276, -1
  %278 = and i16 %277, %275
  store i16 %278, i16* @ss, align 2
  %279 = load i8, i8* @uc, align 1
  %280 = zext i8 %279 to i32
  %281 = bitcast i8* bitcast (i16* @us to i8*) to i16*
  %282 = trunc i32 %280 to i16
  %283 = atomicrmw nand i16* %281, i16 %282 monotonic
  %284 = xor i16 %283, -1
  %285 = and i16 %284, %282
  store i16 %285, i16* @us, align 2
  %286 = load i8, i8* @uc, align 1
  %287 = zext i8 %286 to i32
  %288 = bitcast i8* bitcast (i32* @si to i8*) to i32*
  %289 = atomicrmw nand i32* %288, i32 %287 monotonic
  %290 = xor i32 %289, -1
  %291 = and i32 %290, %287
  store i32 %291, i32* @si, align 4
  %292 = load i8, i8* @uc, align 1
  %293 = zext i8 %292 to i32
  %294 = bitcast i8* bitcast (i32* @ui to i8*) to i32*
  %295 = atomicrmw nand i32* %294, i32 %293 monotonic
  %296 = xor i32 %295, -1
  %297 = and i32 %296, %293
  store i32 %297, i32* @ui, align 4
  %298 = load i8, i8* @uc, align 1
  %299 = zext i8 %298 to i64
  %300 = bitcast i8* bitcast (i64* @sl to i8*) to i64*
  %301 = atomicrmw nand i64* %300, i64 %299 monotonic
  %302 = xor i64 %301, -1
  %303 = and i64 %302, %299
  store i64 %303, i64* @sl, align 8
  %304 = load i8, i8* @uc, align 1
  %305 = zext i8 %304 to i64
  %306 = bitcast i8* bitcast (i64* @ul to i8*) to i64*
  %307 = atomicrmw nand i64* %306, i64 %305 monotonic
  %308 = xor i64 %307, -1
  %309 = and i64 %308, %305
  store i64 %309, i64* @ul, align 8
  %310 = load i8, i8* @uc, align 1
  %311 = zext i8 %310 to i64
  %312 = bitcast i8* bitcast (i64* @sll to i8*) to i64*
  %313 = atomicrmw nand i64* %312, i64 %311 monotonic
  %314 = xor i64 %313, -1
  %315 = and i64 %314, %311
  store i64 %315, i64* @sll, align 8
  %316 = load i8, i8* @uc, align 1
  %317 = zext i8 %316 to i64
  %318 = bitcast i8* bitcast (i64* @ull to i8*) to i64*
  %319 = atomicrmw nand i64* %318, i64 %317 monotonic
  %320 = xor i64 %319, -1
  %321 = and i64 %320, %317
  store i64 %321, i64* @ull, align 8
  br label %return

return:                                           ; preds = %entry
  ret void
}

define void @test_compare_and_swap() nounwind {
entry:
  %0 = load i8, i8* @sc, align 1
  %1 = zext i8 %0 to i32
  %2 = load i8, i8* @uc, align 1
  %3 = zext i8 %2 to i32
  %4 = trunc i32 %3 to i8
  %5 = trunc i32 %1 to i8
  %pair6 = cmpxchg i8* @sc, i8 %4, i8 %5 monotonic monotonic
  %6 = extractvalue { i8, i1 } %pair6, 0
  store i8 %6, i8* @sc, align 1
  %7 = load i8, i8* @sc, align 1
  %8 = zext i8 %7 to i32
  %9 = load i8, i8* @uc, align 1
  %10 = zext i8 %9 to i32
  %11 = trunc i32 %10 to i8
  %12 = trunc i32 %8 to i8
  %pair13 = cmpxchg i8* @uc, i8 %11, i8 %12 monotonic monotonic
  %13 = extractvalue { i8, i1 } %pair13, 0
  store i8 %13, i8* @uc, align 1
  %14 = load i8, i8* @sc, align 1
  %15 = sext i8 %14 to i16
  %16 = zext i16 %15 to i32
  %17 = load i8, i8* @uc, align 1
  %18 = zext i8 %17 to i32
  %19 = bitcast i8* bitcast (i16* @ss to i8*) to i16*
  %20 = trunc i32 %18 to i16
  %21 = trunc i32 %16 to i16
  %pair22 = cmpxchg i16* %19, i16 %20, i16 %21 monotonic monotonic
  %22 = extractvalue { i16, i1 } %pair22, 0
  store i16 %22, i16* @ss, align 2
  %23 = load i8, i8* @sc, align 1
  %24 = sext i8 %23 to i16
  %25 = zext i16 %24 to i32
  %26 = load i8, i8* @uc, align 1
  %27 = zext i8 %26 to i32
  %28 = bitcast i8* bitcast (i16* @us to i8*) to i16*
  %29 = trunc i32 %27 to i16
  %30 = trunc i32 %25 to i16
  %pair31 = cmpxchg i16* %28, i16 %29, i16 %30 monotonic monotonic
  %31 = extractvalue { i16, i1 } %pair31, 0
  store i16 %31, i16* @us, align 2
  %32 = load i8, i8* @sc, align 1
  %33 = sext i8 %32 to i32
  %34 = load i8, i8* @uc, align 1
  %35 = zext i8 %34 to i32
  %36 = bitcast i8* bitcast (i32* @si to i8*) to i32*
  %pair37 = cmpxchg i32* %36, i32 %35, i32 %33 monotonic monotonic
  %37 = extractvalue { i32, i1 } %pair37, 0
  store i32 %37, i32* @si, align 4
  %38 = load i8, i8* @sc, align 1
  %39 = sext i8 %38 to i32
  %40 = load i8, i8* @uc, align 1
  %41 = zext i8 %40 to i32
  %42 = bitcast i8* bitcast (i32* @ui to i8*) to i32*
  %pair43 = cmpxchg i32* %42, i32 %41, i32 %39 monotonic monotonic
  %43 = extractvalue { i32, i1 } %pair43, 0
  store i32 %43, i32* @ui, align 4
  %44 = load i8, i8* @sc, align 1
  %45 = sext i8 %44 to i64
  %46 = load i8, i8* @uc, align 1
  %47 = zext i8 %46 to i64
  %48 = bitcast i8* bitcast (i64* @sl to i8*) to i64*
  %pair49 = cmpxchg i64* %48, i64 %47, i64 %45 monotonic monotonic
  %49 = extractvalue { i64, i1 } %pair49, 0
  store i64 %49, i64* @sl, align 8
  %50 = load i8, i8* @sc, align 1
  %51 = sext i8 %50 to i64
  %52 = load i8, i8* @uc, align 1
  %53 = zext i8 %52 to i64
  %54 = bitcast i8* bitcast (i64* @ul to i8*) to i64*
  %pair55 = cmpxchg i64* %54, i64 %53, i64 %51 monotonic monotonic
  %55 = extractvalue { i64, i1 } %pair55, 0
  store i64 %55, i64* @ul, align 8
  %56 = load i8, i8* @sc, align 1
  %57 = sext i8 %56 to i64
  %58 = load i8, i8* @uc, align 1
  %59 = zext i8 %58 to i64
  %60 = bitcast i8* bitcast (i64* @sll to i8*) to i64*
  %pair61 = cmpxchg i64* %60, i64 %59, i64 %57 monotonic monotonic
  %61 = extractvalue { i64, i1 } %pair61, 0
  store i64 %61, i64* @sll, align 8
  %62 = load i8, i8* @sc, align 1
  %63 = sext i8 %62 to i64
  %64 = load i8, i8* @uc, align 1
  %65 = zext i8 %64 to i64
  %66 = bitcast i8* bitcast (i64* @ull to i8*) to i64*
  %pair67 = cmpxchg i64* %66, i64 %65, i64 %63 monotonic monotonic
  %67 = extractvalue { i64, i1 } %pair67, 0
  store i64 %67, i64* @ull, align 8
  %68 = load i8, i8* @sc, align 1
  %69 = zext i8 %68 to i32
  %70 = load i8, i8* @uc, align 1
  %71 = zext i8 %70 to i32
  %72 = trunc i32 %71 to i8
  %73 = trunc i32 %69 to i8
  %pair74 = cmpxchg i8* @sc, i8 %72, i8 %73 monotonic monotonic
  %74 = extractvalue { i8, i1 } %pair74, 0
  %75 = icmp eq i8 %74, %72
  %76 = zext i1 %75 to i8
  %77 = zext i8 %76 to i32
  store i32 %77, i32* @ui, align 4
  %78 = load i8, i8* @sc, align 1
  %79 = zext i8 %78 to i32
  %80 = load i8, i8* @uc, align 1
  %81 = zext i8 %80 to i32
  %82 = trunc i32 %81 to i8
  %83 = trunc i32 %79 to i8
  %pair84 = cmpxchg i8* @uc, i8 %82, i8 %83 monotonic monotonic
  %84 = extractvalue { i8, i1 } %pair84, 0
  %85 = icmp eq i8 %84, %82
  %86 = zext i1 %85 to i8
  %87 = zext i8 %86 to i32
  store i32 %87, i32* @ui, align 4
  %88 = load i8, i8* @sc, align 1
  %89 = sext i8 %88 to i16
  %90 = zext i16 %89 to i32
  %91 = load i8, i8* @uc, align 1
  %92 = zext i8 %91 to i32
  %93 = trunc i32 %92 to i8
  %94 = trunc i32 %90 to i8
  %pair95 = cmpxchg i8* bitcast (i16* @ss to i8*), i8 %93, i8 %94 monotonic monotonic
  %95 = extractvalue { i8, i1 } %pair95, 0
  %96 = icmp eq i8 %95, %93
  %97 = zext i1 %96 to i8
  %98 = zext i8 %97 to i32
  store i32 %98, i32* @ui, align 4
  %99 = load i8, i8* @sc, align 1
  %100 = sext i8 %99 to i16
  %101 = zext i16 %100 to i32
  %102 = load i8, i8* @uc, align 1
  %103 = zext i8 %102 to i32
  %104 = trunc i32 %103 to i8
  %105 = trunc i32 %101 to i8
  %pair106 = cmpxchg i8* bitcast (i16* @us to i8*), i8 %104, i8 %105 monotonic monotonic
  %106 = extractvalue { i8, i1 } %pair106, 0
  %107 = icmp eq i8 %106, %104
  %108 = zext i1 %107 to i8
  %109 = zext i8 %108 to i32
  store i32 %109, i32* @ui, align 4
  %110 = load i8, i8* @sc, align 1
  %111 = sext i8 %110 to i32
  %112 = load i8, i8* @uc, align 1
  %113 = zext i8 %112 to i32
  %114 = trunc i32 %113 to i8
  %115 = trunc i32 %111 to i8
  %pair116 = cmpxchg i8* bitcast (i32* @si to i8*), i8 %114, i8 %115 monotonic monotonic
  %116 = extractvalue { i8, i1 } %pair116, 0
  %117 = icmp eq i8 %116, %114
  %118 = zext i1 %117 to i8
  %119 = zext i8 %118 to i32
  store i32 %119, i32* @ui, align 4
  %120 = load i8, i8* @sc, align 1
  %121 = sext i8 %120 to i32
  %122 = load i8, i8* @uc, align 1
  %123 = zext i8 %122 to i32
  %124 = trunc i32 %123 to i8
  %125 = trunc i32 %121 to i8
  %pair126 = cmpxchg i8* bitcast (i32* @ui to i8*), i8 %124, i8 %125 monotonic monotonic
  %126 = extractvalue { i8, i1 } %pair126, 0
  %127 = icmp eq i8 %126, %124
  %128 = zext i1 %127 to i8
  %129 = zext i8 %128 to i32
  store i32 %129, i32* @ui, align 4
  %130 = load i8, i8* @sc, align 1
  %131 = sext i8 %130 to i64
  %132 = load i8, i8* @uc, align 1
  %133 = zext i8 %132 to i64
  %134 = trunc i64 %133 to i8
  %135 = trunc i64 %131 to i8
  %pair136 = cmpxchg i8* bitcast (i64* @sl to i8*), i8 %134, i8 %135 monotonic monotonic
  %136 = extractvalue { i8, i1 } %pair136, 0
  %137 = icmp eq i8 %136, %134
  %138 = zext i1 %137 to i8
  %139 = zext i8 %138 to i32
  store i32 %139, i32* @ui, align 4
  %140 = load i8, i8* @sc, align 1
  %141 = sext i8 %140 to i64
  %142 = load i8, i8* @uc, align 1
  %143 = zext i8 %142 to i64
  %144 = trunc i64 %143 to i8
  %145 = trunc i64 %141 to i8
  %pair146 = cmpxchg i8* bitcast (i64* @ul to i8*), i8 %144, i8 %145 monotonic monotonic
  %146 = extractvalue { i8, i1 } %pair146, 0
  %147 = icmp eq i8 %146, %144
  %148 = zext i1 %147 to i8
  %149 = zext i8 %148 to i32
  store i32 %149, i32* @ui, align 4
  %150 = load i8, i8* @sc, align 1
  %151 = sext i8 %150 to i64
  %152 = load i8, i8* @uc, align 1
  %153 = zext i8 %152 to i64
  %154 = trunc i64 %153 to i8
  %155 = trunc i64 %151 to i8
  %pair156 = cmpxchg i8* bitcast (i64* @sll to i8*), i8 %154, i8 %155 monotonic monotonic
  %156 = extractvalue { i8, i1 } %pair156, 0
  %157 = icmp eq i8 %156, %154
  %158 = zext i1 %157 to i8
  %159 = zext i8 %158 to i32
  store i32 %159, i32* @ui, align 4
  %160 = load i8, i8* @sc, align 1
  %161 = sext i8 %160 to i64
  %162 = load i8, i8* @uc, align 1
  %163 = zext i8 %162 to i64
  %164 = trunc i64 %163 to i8
  %165 = trunc i64 %161 to i8
  %pair166 = cmpxchg i8* bitcast (i64* @ull to i8*), i8 %164, i8 %165 monotonic monotonic
  %166 = extractvalue { i8, i1 } %pair166, 0
  %167 = icmp eq i8 %166, %164
  %168 = zext i1 %167 to i8
  %169 = zext i8 %168 to i32
  store i32 %169, i32* @ui, align 4
  br label %return

return:                                           ; preds = %entry
  ret void
}

define void @test_lock() nounwind {
entry:
  %0 = atomicrmw xchg i8* @sc, i8 1 monotonic
  store i8 %0, i8* @sc, align 1
  %1 = atomicrmw xchg i8* @uc, i8 1 monotonic
  store i8 %1, i8* @uc, align 1
  %2 = bitcast i8* bitcast (i16* @ss to i8*) to i16*
  %3 = atomicrmw xchg i16* %2, i16 1 monotonic
  store i16 %3, i16* @ss, align 2
  %4 = bitcast i8* bitcast (i16* @us to i8*) to i16*
  %5 = atomicrmw xchg i16* %4, i16 1 monotonic
  store i16 %5, i16* @us, align 2
  %6 = bitcast i8* bitcast (i32* @si to i8*) to i32*
  %7 = atomicrmw xchg i32* %6, i32 1 monotonic
  store i32 %7, i32* @si, align 4
  %8 = bitcast i8* bitcast (i32* @ui to i8*) to i32*
  %9 = atomicrmw xchg i32* %8, i32 1 monotonic
  store i32 %9, i32* @ui, align 4
  %10 = bitcast i8* bitcast (i64* @sl to i8*) to i64*
  %11 = atomicrmw xchg i64* %10, i64 1 monotonic
  store i64 %11, i64* @sl, align 8
  %12 = bitcast i8* bitcast (i64* @ul to i8*) to i64*
  %13 = atomicrmw xchg i64* %12, i64 1 monotonic
  store i64 %13, i64* @ul, align 8
  %14 = bitcast i8* bitcast (i64* @sll to i8*) to i64*
  %15 = atomicrmw xchg i64* %14, i64 1 monotonic
  store i64 %15, i64* @sll, align 8
  %16 = bitcast i8* bitcast (i64* @ull to i8*) to i64*
  %17 = atomicrmw xchg i64* %16, i64 1 monotonic
  store i64 %17, i64* @ull, align 8
  fence seq_cst
  store volatile i8 0, i8* @sc, align 1
  store volatile i8 0, i8* @uc, align 1
  %18 = bitcast i8* bitcast (i16* @ss to i8*) to i16*
  store volatile i16 0, i16* %18, align 2
  %19 = bitcast i8* bitcast (i16* @us to i8*) to i16*
  store volatile i16 0, i16* %19, align 2
  %20 = bitcast i8* bitcast (i32* @si to i8*) to i32*
  store volatile i32 0, i32* %20, align 4
  %21 = bitcast i8* bitcast (i32* @ui to i8*) to i32*
  store volatile i32 0, i32* %21, align 4
  %22 = bitcast i8* bitcast (i64* @sl to i8*) to i64*
  store volatile i64 0, i64* %22, align 8
  %23 = bitcast i8* bitcast (i64* @ul to i8*) to i64*
  store volatile i64 0, i64* %23, align 8
  %24 = bitcast i8* bitcast (i64* @sll to i8*) to i64*
  store volatile i64 0, i64* %24, align 8
  %25 = bitcast i8* bitcast (i64* @ull to i8*) to i64*
  store volatile i64 0, i64* %25, align 8
  br label %return

return:                                           ; preds = %entry
  ret void
}