shylie/llvm-project
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
llvm-project/llvm/test/CodeGen/PowerPC/Atomics-64.ll
Kai Nacke 427fb35192 [PPC] Opaque pointer migration, part 1. 
The LIT test cases were migrated with the script provided by
Nikita Popov. Due to the size of the change it is split into
several parts.

Reviewed By: nemanja, amyk, nikic, PowerPC

Differential Revision: https://reviews.llvm.org/D135470
2022-10-11 17:24:06 +00:00

581 lines
20 KiB
LLVM
Raw Permalink Blame History

; 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
}
Reference in New Issue View Git Blame Copy Permalink