; RUN: llc < %s -verify-machineinstrs
;
; This test is disabled until PPCISelLowering learns to insert proper 64-bit
; code for ATOMIC_CMP_SWAP. Currently, it is inserting 32-bit instructions with
; 64-bit operands which causes the machine code verifier to throw a tantrum.
;
; XFAIL: *

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"
target triple = "powerpc64-unknown-linux-gnu"

@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, align 8
@ul = common global i64 0, align 8
@sll = common global i64 0, align 8
@ull = common global i64 0, align 8

define void @test_op_ignore() nounwind {
entry:
  %0 = atomicrmw add ptr @sc, i8 1 monotonic
  %1 = atomicrmw add ptr @uc, i8 1 monotonic
  %2 = atomicrmw add ptr @ss, i16 1 monotonic
  %3 = atomicrmw add ptr @us, i16 1 monotonic
  %4 = atomicrmw add ptr @si, i32 1 monotonic
  %5 = atomicrmw add ptr @ui, i32 1 monotonic
  %6 = atomicrmw add ptr @sl, i64 1 monotonic
  %7 = atomicrmw add ptr @ul, i64 1 monotonic
  %8 = atomicrmw sub ptr @sc, i8 1 monotonic
  %9 = atomicrmw sub ptr @uc, i8 1 monotonic
  %10 = atomicrmw sub ptr @ss, i16 1 monotonic
  %11 = atomicrmw sub ptr @us, i16 1 monotonic
  %12 = atomicrmw sub ptr @si, i32 1 monotonic
  %13 = atomicrmw sub ptr @ui, i32 1 monotonic
  %14 = atomicrmw sub ptr @sl, i64 1 monotonic
  %15 = atomicrmw sub ptr @ul, i64 1 monotonic
  %16 = atomicrmw or ptr @sc, i8 1 monotonic
  %17 = atomicrmw or ptr @uc, i8 1 monotonic
  %18 = atomicrmw or ptr @ss, i16 1 monotonic
  %19 = atomicrmw or ptr @us, i16 1 monotonic
  %20 = atomicrmw or ptr @si, i32 1 monotonic
  %21 = atomicrmw or ptr @ui, i32 1 monotonic
  %22 = atomicrmw or ptr @sl, i64 1 monotonic
  %23 = atomicrmw or ptr @ul, i64 1 monotonic
  %24 = atomicrmw xor ptr @sc, i8 1 monotonic
  %25 = atomicrmw xor ptr @uc, i8 1 monotonic
  %26 = atomicrmw xor ptr @ss, i16 1 monotonic
  %27 = atomicrmw xor ptr @us, i16 1 monotonic
  %28 = atomicrmw xor ptr @si, i32 1 monotonic
  %29 = atomicrmw xor ptr @ui, i32 1 monotonic
  %30 = atomicrmw xor ptr @sl, i64 1 monotonic
  %31 = atomicrmw xor ptr @ul, i64 1 monotonic
  %32 = atomicrmw and ptr @sc, i8 1 monotonic
  %33 = atomicrmw and ptr @uc, i8 1 monotonic
  %34 = atomicrmw and ptr @ss, i16 1 monotonic
  %35 = atomicrmw and ptr @us, i16 1 monotonic
  %36 = atomicrmw and ptr @si, i32 1 monotonic
  %37 = atomicrmw and ptr @ui, i32 1 monotonic
  %38 = atomicrmw and ptr @sl, i64 1 monotonic
  %39 = atomicrmw and ptr @ul, i64 1 monotonic
  %40 = atomicrmw nand ptr @sc, i8 1 monotonic
  %41 = atomicrmw nand ptr @uc, i8 1 monotonic
  %42 = atomicrmw nand ptr @ss, i16 1 monotonic
  %43 = atomicrmw nand ptr @us, i16 1 monotonic
  %44 = atomicrmw nand ptr @si, i32 1 monotonic
  %45 = atomicrmw nand ptr @ui, i32 1 monotonic
  %46 = atomicrmw nand ptr @sl, i64 1 monotonic
  %47 = atomicrmw nand ptr @ul, i64 1 monotonic
  br label %return

return:                                           ; preds = %entry
  ret void
}

define void @test_fetch_and_op() nounwind {
entry:
  %0 = atomicrmw add ptr @sc, i8 11 monotonic
  store i8 %0, ptr @sc, align 1
  %1 = atomicrmw add ptr @uc, i8 11 monotonic
  store i8 %1, ptr @uc, align 1
  %2 = atomicrmw add ptr @ss, i16 11 monotonic
  store i16 %2, ptr @ss, align 2
  %3 = atomicrmw add ptr @us, i16 11 monotonic
  store i16 %3, ptr @us, align 2
  %4 = atomicrmw add ptr @si, i32 11 monotonic
  store i32 %4, ptr @si, align 4
  %5 = atomicrmw add ptr @ui, i32 11 monotonic
  store i32 %5, ptr @ui, align 4
  %6 = atomicrmw add ptr @sl, i64 11 monotonic
  store i64 %6, ptr @sl, align 8
  %7 = atomicrmw add ptr @ul, i64 11 monotonic
  store i64 %7, ptr @ul, align 8
  %8 = atomicrmw sub ptr @sc, i8 11 monotonic
  store i8 %8, ptr @sc, align 1
  %9 = atomicrmw sub ptr @uc, i8 11 monotonic
  store i8 %9, ptr @uc, align 1
  %10 = atomicrmw sub ptr @ss, i16 11 monotonic
  store i16 %10, ptr @ss, align 2
  %11 = atomicrmw sub ptr @us, i16 11 monotonic
  store i16 %11, ptr @us, align 2
  %12 = atomicrmw sub ptr @si, i32 11 monotonic
  store i32 %12, ptr @si, align 4
  %13 = atomicrmw sub ptr @ui, i32 11 monotonic
  store i32 %13, ptr @ui, align 4
  %14 = atomicrmw sub ptr @sl, i64 11 monotonic
  store i64 %14, ptr @sl, align 8
  %15 = atomicrmw sub ptr @ul, i64 11 monotonic
  store i64 %15, ptr @ul, align 8
  %16 = atomicrmw or ptr @sc, i8 11 monotonic
  store i8 %16, ptr @sc, align 1
  %17 = atomicrmw or ptr @uc, i8 11 monotonic
  store i8 %17, ptr @uc, align 1
  %18 = atomicrmw or ptr @ss, i16 11 monotonic
  store i16 %18, ptr @ss, align 2
  %19 = atomicrmw or ptr @us, i16 11 monotonic
  store i16 %19, ptr @us, align 2
  %20 = atomicrmw or ptr @si, i32 11 monotonic
  store i32 %20, ptr @si, align 4
  %21 = atomicrmw or ptr @ui, i32 11 monotonic
  store i32 %21, ptr @ui, align 4
  %22 = atomicrmw or ptr @sl, i64 11 monotonic
  store i64 %22, ptr @sl, align 8
  %23 = atomicrmw or ptr @ul, i64 11 monotonic
  store i64 %23, ptr @ul, align 8
  %24 = atomicrmw xor ptr @sc, i8 11 monotonic
  store i8 %24, ptr @sc, align 1
  %25 = atomicrmw xor ptr @uc, i8 11 monotonic
  store i8 %25, ptr @uc, align 1
  %26 = atomicrmw xor ptr @ss, i16 11 monotonic
  store i16 %26, ptr @ss, align 2
  %27 = atomicrmw xor ptr @us, i16 11 monotonic
  store i16 %27, ptr @us, align 2
  %28 = atomicrmw xor ptr @si, i32 11 monotonic
  store i32 %28, ptr @si, align 4
  %29 = atomicrmw xor ptr @ui, i32 11 monotonic
  store i32 %29, ptr @ui, align 4
  %30 = atomicrmw xor ptr @sl, i64 11 monotonic
  store i64 %30, ptr @sl, align 8
  %31 = atomicrmw xor ptr @ul, i64 11 monotonic
  store i64 %31, ptr @ul, align 8
  %32 = atomicrmw and ptr @sc, i8 11 monotonic
  store i8 %32, ptr @sc, align 1
  %33 = atomicrmw and ptr @uc, i8 11 monotonic
  store i8 %33, ptr @uc, align 1
  %34 = atomicrmw and ptr @ss, i16 11 monotonic
  store i16 %34, ptr @ss, align 2
  %35 = atomicrmw and ptr @us, i16 11 monotonic
  store i16 %35, ptr @us, align 2
  %36 = atomicrmw and ptr @si, i32 11 monotonic
  store i32 %36, ptr @si, align 4
  %37 = atomicrmw and ptr @ui, i32 11 monotonic
  store i32 %37, ptr @ui, align 4
  %38 = atomicrmw and ptr @sl, i64 11 monotonic
  store i64 %38, ptr @sl, align 8
  %39 = atomicrmw and ptr @ul, i64 11 monotonic
  store i64 %39, ptr @ul, align 8
  %40 = atomicrmw nand ptr @sc, i8 11 monotonic
  store i8 %40, ptr @sc, align 1
  %41 = atomicrmw nand ptr @uc, i8 11 monotonic
  store i8 %41, ptr @uc, align 1
  %42 = atomicrmw nand ptr @ss, i16 11 monotonic
  store i16 %42, ptr @ss, align 2
  %43 = atomicrmw nand ptr @us, i16 11 monotonic
  store i16 %43, ptr @us, align 2
  %44 = atomicrmw nand ptr @si, i32 11 monotonic
  store i32 %44, ptr @si, align 4
  %45 = atomicrmw nand ptr @ui, i32 11 monotonic
  store i32 %45, ptr @ui, align 4
  %46 = atomicrmw nand ptr @sl, i64 11 monotonic
  store i64 %46, ptr @sl, align 8
  %47 = atomicrmw nand ptr @ul, i64 11 monotonic
  store i64 %47, ptr @ul, align 8
  br label %return

return:                                           ; preds = %entry
  ret void
}

define void @test_op_and_fetch() nounwind {
entry:
  %0 = load i8, ptr @uc, align 1
  %1 = atomicrmw add ptr @sc, i8 %0 monotonic
  %2 = add i8 %1, %0
  store i8 %2, ptr @sc, align 1
  %3 = load i8, ptr @uc, align 1
  %4 = atomicrmw add ptr @uc, i8 %3 monotonic
  %5 = add i8 %4, %3
  store i8 %5, ptr @uc, align 1
  %6 = load i8, ptr @uc, align 1
  %7 = zext i8 %6 to i16
  %8 = atomicrmw add ptr @ss, i16 %7 monotonic
  %9 = add i16 %8, %7
  store i16 %9, ptr @ss, align 2
  %10 = load i8, ptr @uc, align 1
  %11 = zext i8 %10 to i16
  %12 = atomicrmw add ptr @us, i16 %11 monotonic
  %13 = add i16 %12, %11
  store i16 %13, ptr @us, align 2
  %14 = load i8, ptr @uc, align 1
  %15 = zext i8 %14 to i32
  %16 = atomicrmw add ptr @si, i32 %15 monotonic
  %17 = add i32 %16, %15
  store i32 %17, ptr @si, align 4
  %18 = load i8, ptr @uc, align 1
  %19 = zext i8 %18 to i32
  %20 = atomicrmw add ptr @ui, i32 %19 monotonic
  %21 = add i32 %20, %19
  store i32 %21, ptr @ui, align 4
  %22 = load i8, ptr @uc, align 1
  %23 = zext i8 %22 to i64
  %24 = atomicrmw add ptr @sl, i64 %23 monotonic
  %25 = add i64 %24, %23
  store i64 %25, ptr @sl, align 8
  %26 = load i8, ptr @uc, align 1
  %27 = zext i8 %26 to i64
  %28 = atomicrmw add ptr @ul, i64 %27 monotonic
  %29 = add i64 %28, %27
  store i64 %29, ptr @ul, align 8
  %30 = load i8, ptr @uc, align 1
  %31 = atomicrmw sub ptr @sc, i8 %30 monotonic
  %32 = sub i8 %31, %30
  store i8 %32, ptr @sc, align 1
  %33 = load i8, ptr @uc, align 1
  %34 = atomicrmw sub ptr @uc, i8 %33 monotonic
  %35 = sub i8 %34, %33
  store i8 %35, ptr @uc, align 1
  %36 = load i8, ptr @uc, align 1
  %37 = zext i8 %36 to i16
  %38 = atomicrmw sub ptr @ss, i16 %37 monotonic
  %39 = sub i16 %38, %37
  store i16 %39, ptr @ss, align 2
  %40 = load i8, ptr @uc, align 1
  %41 = zext i8 %40 to i16
  %42 = atomicrmw sub ptr @us, i16 %41 monotonic
  %43 = sub i16 %42, %41
  store i16 %43, ptr @us, align 2
  %44 = load i8, ptr @uc, align 1
  %45 = zext i8 %44 to i32
  %46 = atomicrmw sub ptr @si, i32 %45 monotonic
  %47 = sub i32 %46, %45
  store i32 %47, ptr @si, align 4
  %48 = load i8, ptr @uc, align 1
  %49 = zext i8 %48 to i32
  %50 = atomicrmw sub ptr @ui, i32 %49 monotonic
  %51 = sub i32 %50, %49
  store i32 %51, ptr @ui, align 4
  %52 = load i8, ptr @uc, align 1
  %53 = zext i8 %52 to i64
  %54 = atomicrmw sub ptr @sl, i64 %53 monotonic
  %55 = sub i64 %54, %53
  store i64 %55, ptr @sl, align 8
  %56 = load i8, ptr @uc, align 1
  %57 = zext i8 %56 to i64
  %58 = atomicrmw sub ptr @ul, i64 %57 monotonic
  %59 = sub i64 %58, %57
  store i64 %59, ptr @ul, align 8
  %60 = load i8, ptr @uc, align 1
  %61 = atomicrmw or ptr @sc, i8 %60 monotonic
  %62 = or i8 %61, %60
  store i8 %62, ptr @sc, align 1
  %63 = load i8, ptr @uc, align 1
  %64 = atomicrmw or ptr @uc, i8 %63 monotonic
  %65 = or i8 %64, %63
  store i8 %65, ptr @uc, align 1
  %66 = load i8, ptr @uc, align 1
  %67 = zext i8 %66 to i16
  %68 = atomicrmw or ptr @ss, i16 %67 monotonic
  %69 = or i16 %68, %67
  store i16 %69, ptr @ss, align 2
  %70 = load i8, ptr @uc, align 1
  %71 = zext i8 %70 to i16
  %72 = atomicrmw or ptr @us, i16 %71 monotonic
  %73 = or i16 %72, %71
  store i16 %73, ptr @us, align 2
  %74 = load i8, ptr @uc, align 1
  %75 = zext i8 %74 to i32
  %76 = atomicrmw or ptr @si, i32 %75 monotonic
  %77 = or i32 %76, %75
  store i32 %77, ptr @si, align 4
  %78 = load i8, ptr @uc, align 1
  %79 = zext i8 %78 to i32
  %80 = atomicrmw or ptr @ui, i32 %79 monotonic
  %81 = or i32 %80, %79
  store i32 %81, ptr @ui, align 4
  %82 = load i8, ptr @uc, align 1
  %83 = zext i8 %82 to i64
  %84 = atomicrmw or ptr @sl, i64 %83 monotonic
  %85 = or i64 %84, %83
  store i64 %85, ptr @sl, align 8
  %86 = load i8, ptr @uc, align 1
  %87 = zext i8 %86 to i64
  %88 = atomicrmw or ptr @ul, i64 %87 monotonic
  %89 = or i64 %88, %87
  store i64 %89, ptr @ul, align 8
  %90 = load i8, ptr @uc, align 1
  %91 = atomicrmw xor ptr @sc, i8 %90 monotonic
  %92 = xor i8 %91, %90
  store i8 %92, ptr @sc, align 1
  %93 = load i8, ptr @uc, align 1
  %94 = atomicrmw xor ptr @uc, i8 %93 monotonic
  %95 = xor i8 %94, %93
  store i8 %95, ptr @uc, align 1
  %96 = load i8, ptr @uc, align 1
  %97 = zext i8 %96 to i16
  %98 = atomicrmw xor ptr @ss, i16 %97 monotonic
  %99 = xor i16 %98, %97
  store i16 %99, ptr @ss, align 2
  %100 = load i8, ptr @uc, align 1
  %101 = zext i8 %100 to i16
  %102 = atomicrmw xor ptr @us, i16 %101 monotonic
  %103 = xor i16 %102, %101
  store i16 %103, ptr @us, align 2
  %104 = load i8, ptr @uc, align 1
  %105 = zext i8 %104 to i32
  %106 = atomicrmw xor ptr @si, i32 %105 monotonic
  %107 = xor i32 %106, %105
  store i32 %107, ptr @si, align 4
  %108 = load i8, ptr @uc, align 1
  %109 = zext i8 %108 to i32
  %110 = atomicrmw xor ptr @ui, i32 %109 monotonic
  %111 = xor i32 %110, %109
  store i32 %111, ptr @ui, align 4
  %112 = load i8, ptr @uc, align 1
  %113 = zext i8 %112 to i64
  %114 = atomicrmw xor ptr @sl, i64 %113 monotonic
  %115 = xor i64 %114, %113
  store i64 %115, ptr @sl, align 8
  %116 = load i8, ptr @uc, align 1
  %117 = zext i8 %116 to i64
  %118 = atomicrmw xor ptr @ul, i64 %117 monotonic
  %119 = xor i64 %118, %117
  store i64 %119, ptr @ul, align 8
  %120 = load i8, ptr @uc, align 1
  %121 = atomicrmw and ptr @sc, i8 %120 monotonic
  %122 = and i8 %121, %120
  store i8 %122, ptr @sc, align 1
  %123 = load i8, ptr @uc, align 1
  %124 = atomicrmw and ptr @uc, i8 %123 monotonic
  %125 = and i8 %124, %123
  store i8 %125, ptr @uc, align 1
  %126 = load i8, ptr @uc, align 1
  %127 = zext i8 %126 to i16
  %128 = atomicrmw and ptr @ss, i16 %127 monotonic
  %129 = and i16 %128, %127
  store i16 %129, ptr @ss, align 2
  %130 = load i8, ptr @uc, align 1
  %131 = zext i8 %130 to i16
  %132 = atomicrmw and ptr @us, i16 %131 monotonic
  %133 = and i16 %132, %131
  store i16 %133, ptr @us, align 2
  %134 = load i8, ptr @uc, align 1
  %135 = zext i8 %134 to i32
  %136 = atomicrmw and ptr @si, i32 %135 monotonic
  %137 = and i32 %136, %135
  store i32 %137, ptr @si, align 4
  %138 = load i8, ptr @uc, align 1
  %139 = zext i8 %138 to i32
  %140 = atomicrmw and ptr @ui, i32 %139 monotonic
  %141 = and i32 %140, %139
  store i32 %141, ptr @ui, align 4
  %142 = load i8, ptr @uc, align 1
  %143 = zext i8 %142 to i64
  %144 = atomicrmw and ptr @sl, i64 %143 monotonic
  %145 = and i64 %144, %143
  store i64 %145, ptr @sl, align 8
  %146 = load i8, ptr @uc, align 1
  %147 = zext i8 %146 to i64
  %148 = atomicrmw and ptr @ul, i64 %147 monotonic
  %149 = and i64 %148, %147
  store i64 %149, ptr @ul, align 8
  %150 = load i8, ptr @uc, align 1
  %151 = atomicrmw nand ptr @sc, i8 %150 monotonic
  %152 = xor i8 %151, -1
  %153 = and i8 %152, %150
  store i8 %153, ptr @sc, align 1
  %154 = load i8, ptr @uc, align 1
  %155 = atomicrmw nand ptr @uc, i8 %154 monotonic
  %156 = xor i8 %155, -1
  %157 = and i8 %156, %154
  store i8 %157, ptr @uc, align 1
  %158 = load i8, ptr @uc, align 1
  %159 = zext i8 %158 to i16
  %160 = atomicrmw nand ptr @ss, i16 %159 monotonic
  %161 = xor i16 %160, -1
  %162 = and i16 %161, %159
  store i16 %162, ptr @ss, align 2
  %163 = load i8, ptr @uc, align 1
  %164 = zext i8 %163 to i16
  %165 = atomicrmw nand ptr @us, i16 %164 monotonic
  %166 = xor i16 %165, -1
  %167 = and i16 %166, %164
  store i16 %167, ptr @us, align 2
  %168 = load i8, ptr @uc, align 1
  %169 = zext i8 %168 to i32
  %170 = atomicrmw nand ptr @si, i32 %169 monotonic
  %171 = xor i32 %170, -1
  %172 = and i32 %171, %169
  store i32 %172, ptr @si, align 4
  %173 = load i8, ptr @uc, align 1
  %174 = zext i8 %173 to i32
  %175 = atomicrmw nand ptr @ui, i32 %174 monotonic
  %176 = xor i32 %175, -1
  %177 = and i32 %176, %174
  store i32 %177, ptr @ui, align 4
  %178 = load i8, ptr @uc, align 1
  %179 = zext i8 %178 to i64
  %180 = atomicrmw nand ptr @sl, i64 %179 monotonic
  %181 = xor i64 %180, -1
  %182 = and i64 %181, %179
  store i64 %182, ptr @sl, align 8
  %183 = load i8, ptr @uc, align 1
  %184 = zext i8 %183 to i64
  %185 = atomicrmw nand ptr @ul, i64 %184 monotonic
  %186 = xor i64 %185, -1
  %187 = and i64 %186, %184
  store i64 %187, ptr @ul, align 8
  br label %return

return:                                           ; preds = %entry
  ret void
}

define void @test_compare_and_swap() nounwind {
entry:
  %0 = load i8, ptr @uc, align 1
  %1 = load i8, ptr @sc, align 1
  %2 = cmpxchg ptr @sc, i8 %0, i8 %1 monotonic monotonic
  store i8 %2, ptr @sc, align 1
  %3 = load i8, ptr @uc, align 1
  %4 = load i8, ptr @sc, align 1
  %5 = cmpxchg ptr @uc, i8 %3, i8 %4 monotonic monotonic
  store i8 %5, ptr @uc, align 1
  %6 = load i8, ptr @uc, align 1
  %7 = zext i8 %6 to i16
  %8 = load i8, ptr @sc, align 1
  %9 = sext i8 %8 to i16
  %10 = cmpxchg ptr @ss, i16 %7, i16 %9 monotonic monotonic
  store i16 %10, ptr @ss, align 2
  %11 = load i8, ptr @uc, align 1
  %12 = zext i8 %11 to i16
  %13 = load i8, ptr @sc, align 1
  %14 = sext i8 %13 to i16
  %15 = cmpxchg ptr @us, i16 %12, i16 %14 monotonic monotonic
  store i16 %15, ptr @us, align 2
  %16 = load i8, ptr @uc, align 1
  %17 = zext i8 %16 to i32
  %18 = load i8, ptr @sc, align 1
  %19 = sext i8 %18 to i32
  %20 = cmpxchg ptr @si, i32 %17, i32 %19 monotonic monotonic
  store i32 %20, ptr @si, align 4
  %21 = load i8, ptr @uc, align 1
  %22 = zext i8 %21 to i32
  %23 = load i8, ptr @sc, align 1
  %24 = sext i8 %23 to i32
  %25 = cmpxchg ptr @ui, i32 %22, i32 %24 monotonic monotonic
  store i32 %25, ptr @ui, align 4
  %26 = load i8, ptr @uc, align 1
  %27 = zext i8 %26 to i64
  %28 = load i8, ptr @sc, align 1
  %29 = sext i8 %28 to i64
  %30 = cmpxchg ptr @sl, i64 %27, i64 %29 monotonic monotonic
  store i64 %30, ptr @sl, align 8
  %31 = load i8, ptr @uc, align 1
  %32 = zext i8 %31 to i64
  %33 = load i8, ptr @sc, align 1
  %34 = sext i8 %33 to i64
  %35 = cmpxchg ptr @ul, i64 %32, i64 %34 monotonic monotonic
  store i64 %35, ptr @ul, align 8
  %36 = load i8, ptr @uc, align 1
  %37 = load i8, ptr @sc, align 1
  %38 = cmpxchg ptr @sc, i8 %36, i8 %37 monotonic monotonic
  %39 = icmp eq i8 %38, %36
  %40 = zext i1 %39 to i8
  %41 = zext i8 %40 to i32
  store i32 %41, ptr @ui, align 4
  %42 = load i8, ptr @uc, align 1
  %43 = load i8, ptr @sc, align 1
  %44 = cmpxchg ptr @uc, i8 %42, i8 %43 monotonic monotonic
  %45 = icmp eq i8 %44, %42
  %46 = zext i1 %45 to i8
  %47 = zext i8 %46 to i32
  store i32 %47, ptr @ui, align 4
  %48 = load i8, ptr @uc, align 1
  %49 = zext i8 %48 to i16
  %50 = load i8, ptr @sc, align 1
  %51 = sext i8 %50 to i16
  %52 = cmpxchg ptr @ss, i16 %49, i16 %51 monotonic monotonic
  %53 = icmp eq i16 %52, %49
  %54 = zext i1 %53 to i8
  %55 = zext i8 %54 to i32
  store i32 %55, ptr @ui, align 4
  %56 = load i8, ptr @uc, align 1
  %57 = zext i8 %56 to i16
  %58 = load i8, ptr @sc, align 1
  %59 = sext i8 %58 to i16
  %60 = cmpxchg ptr @us, i16 %57, i16 %59 monotonic monotonic
  %61 = icmp eq i16 %60, %57
  %62 = zext i1 %61 to i8
  %63 = zext i8 %62 to i32
  store i32 %63, ptr @ui, align 4
  %64 = load i8, ptr @uc, align 1
  %65 = zext i8 %64 to i32
  %66 = load i8, ptr @sc, align 1
  %67 = sext i8 %66 to i32
  %68 = cmpxchg ptr @si, i32 %65, i32 %67 monotonic monotonic
  %69 = icmp eq i32 %68, %65
  %70 = zext i1 %69 to i8
  %71 = zext i8 %70 to i32
  store i32 %71, ptr @ui, align 4
  %72 = load i8, ptr @uc, align 1
  %73 = zext i8 %72 to i32
  %74 = load i8, ptr @sc, align 1
  %75 = sext i8 %74 to i32
  %76 = cmpxchg ptr @ui, i32 %73, i32 %75 monotonic monotonic
  %77 = icmp eq i32 %76, %73
  %78 = zext i1 %77 to i8
  %79 = zext i8 %78 to i32
  store i32 %79, ptr @ui, align 4
  %80 = load i8, ptr @uc, align 1
  %81 = zext i8 %80 to i64
  %82 = load i8, ptr @sc, align 1
  %83 = sext i8 %82 to i64
  %84 = cmpxchg ptr @sl, i64 %81, i64 %83 monotonic monotonic
  %85 = icmp eq i64 %84, %81
  %86 = zext i1 %85 to i8
  %87 = zext i8 %86 to i32
  store i32 %87, ptr @ui, align 4
  %88 = load i8, ptr @uc, align 1
  %89 = zext i8 %88 to i64
  %90 = load i8, ptr @sc, align 1
  %91 = sext i8 %90 to i64
  %92 = cmpxchg ptr @ul, i64 %89, i64 %91 monotonic monotonic
  %93 = icmp eq i64 %92, %89
  %94 = zext i1 %93 to i8
  %95 = zext i8 %94 to i32
  store i32 %95, ptr @ui, align 4
  br label %return

return:                                           ; preds = %entry
  ret void
}

define void @test_lock() nounwind {
entry:
  %0 = atomicrmw xchg ptr @sc, i8 1 monotonic
  store i8 %0, ptr @sc, align 1
  %1 = atomicrmw xchg ptr @uc, i8 1 monotonic
  store i8 %1, ptr @uc, align 1
  %2 = atomicrmw xchg ptr @ss, i16 1 monotonic
  store i16 %2, ptr @ss, align 2
  %3 = atomicrmw xchg ptr @us, i16 1 monotonic
  store i16 %3, ptr @us, align 2
  %4 = atomicrmw xchg ptr @si, i32 1 monotonic
  store i32 %4, ptr @si, align 4
  %5 = atomicrmw xchg ptr @ui, i32 1 monotonic
  store i32 %5, ptr @ui, align 4
  %6 = atomicrmw xchg ptr @sl, i64 1 monotonic
  store i64 %6, ptr @sl, align 8
  %7 = atomicrmw xchg ptr @ul, i64 1 monotonic
  store i64 %7, ptr @ul, align 8
  fence seq_cst
  store volatile i8 0, ptr @sc, align 1
  store volatile i8 0, ptr @uc, align 1
  store volatile i16 0, ptr @ss, align 2
  store volatile i16 0, ptr @us, align 2
  store volatile i32 0, ptr @si, align 4
  store volatile i32 0, ptr @ui, align 4
  store volatile i64 0, ptr @sl, align 8
  store volatile i64 0, ptr @ul, align 8
  store volatile i64 0, ptr @sll, align 8
  store volatile i64 0, ptr @ull, align 8
  br label %return

return:                                           ; preds = %entry
  ret void
}