; 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
}
Codebase Browser
llvm