; RUN: llc < %s -mtriple=x86_64-apple-darwin8 > %t.x86-64
; RUN: llc < %s -mtriple=i686-apple-darwin8 -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"

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

return:                                           ; preds = %entry
  ret void
}

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