1; RUN: llc < %s -march=x86 | FileCheck %s 2 3target datalayout = "e-p:32:32:32-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-f80:128:128" 4 5define void @func(i32 %argc, i8** %argv) nounwind { 6entry: 7 %argc.addr = alloca i32 ; <i32*> [#uses=1] 8 %argv.addr = alloca i8** ; <i8***> [#uses=1] 9 %val1 = alloca i32 ; <i32*> [#uses=2] 10 %val2 = alloca i32 ; <i32*> [#uses=15] 11 %andt = alloca i32 ; <i32*> [#uses=2] 12 %ort = alloca i32 ; <i32*> [#uses=2] 13 %xort = alloca i32 ; <i32*> [#uses=2] 14 %old = alloca i32 ; <i32*> [#uses=18] 15 %temp = alloca i32 ; <i32*> [#uses=2] 16 store i32 %argc, i32* %argc.addr 17 store i8** %argv, i8*** %argv.addr 18 store i32 0, i32* %val1 19 store i32 31, i32* %val2 20 store i32 3855, i32* %andt 21 store i32 3855, i32* %ort 22 store i32 3855, i32* %xort 23 store i32 4, i32* %temp 24 %tmp = load i32* %temp 25 ; CHECK: lock 26 ; CHECK: xaddl 27 %0 = atomicrmw add i32* %val1, i32 %tmp monotonic 28 store i32 %0, i32* %old 29 ; CHECK: lock 30 ; CHECK: xaddl 31 %1 = atomicrmw sub i32* %val2, i32 30 monotonic 32 store i32 %1, i32* %old 33 ; CHECK: lock 34 ; CHECK: xaddl 35 %2 = atomicrmw add i32* %val2, i32 1 monotonic 36 store i32 %2, i32* %old 37 ; CHECK: lock 38 ; CHECK: xaddl 39 %3 = atomicrmw sub i32* %val2, i32 1 monotonic 40 store i32 %3, i32* %old 41 ; CHECK: andl 42 ; CHECK: lock 43 ; CHECK: cmpxchgl 44 %4 = atomicrmw and i32* %andt, i32 4080 monotonic 45 store i32 %4, i32* %old 46 ; CHECK: orl 47 ; CHECK: lock 48 ; CHECK: cmpxchgl 49 %5 = atomicrmw or i32* %ort, i32 4080 monotonic 50 store i32 %5, i32* %old 51 ; CHECK: xorl 52 ; CHECK: lock 53 ; CHECK: cmpxchgl 54 %6 = atomicrmw xor i32* %xort, i32 4080 monotonic 55 store i32 %6, i32* %old 56 ; CHECK: cmov 57 ; CHECK: lock 58 ; CHECK: cmpxchgl 59 %7 = atomicrmw min i32* %val2, i32 16 monotonic 60 store i32 %7, i32* %old 61 %neg = sub i32 0, 1 ; <i32> [#uses=1] 62 ; CHECK: cmov 63 ; CHECK: lock 64 ; CHECK: cmpxchgl 65 %8 = atomicrmw min i32* %val2, i32 %neg monotonic 66 store i32 %8, i32* %old 67 ; CHECK: cmov 68 ; CHECK: lock 69 ; CHECK: cmpxchgl 70 %9 = atomicrmw max i32* %val2, i32 1 monotonic 71 store i32 %9, i32* %old 72 ; CHECK: cmov 73 ; CHECK: lock 74 ; CHECK: cmpxchgl 75 %10 = atomicrmw max i32* %val2, i32 0 monotonic 76 store i32 %10, i32* %old 77 ; CHECK: cmov 78 ; CHECK: lock 79 ; CHECK: cmpxchgl 80 %11 = atomicrmw umax i32* %val2, i32 65535 monotonic 81 store i32 %11, i32* %old 82 ; CHECK: cmov 83 ; CHECK: lock 84 ; CHECK: cmpxchgl 85 %12 = atomicrmw umax i32* %val2, i32 10 monotonic 86 store i32 %12, i32* %old 87 ; CHECK: cmov 88 ; CHECK: lock 89 ; CHECK: cmpxchgl 90 %13 = atomicrmw umin i32* %val2, i32 1 monotonic 91 store i32 %13, i32* %old 92 ; CHECK: cmov 93 ; CHECK: lock 94 ; CHECK: cmpxchgl 95 %14 = atomicrmw umin i32* %val2, i32 10 monotonic 96 store i32 %14, i32* %old 97 ; CHECK: xchgl %{{.*}}, {{.*}}(%esp) 98 %15 = atomicrmw xchg i32* %val2, i32 1976 monotonic 99 store i32 %15, i32* %old 100 %neg1 = sub i32 0, 10 ; <i32> [#uses=1] 101 ; CHECK: lock 102 ; CHECK: cmpxchgl 103 %16 = cmpxchg i32* %val2, i32 %neg1, i32 1 monotonic 104 store i32 %16, i32* %old 105 ; CHECK: lock 106 ; CHECK: cmpxchgl 107 %17 = cmpxchg i32* %val2, i32 1976, i32 1 monotonic 108 store i32 %17, i32* %old 109 ret void 110} 111 112define void @test2(i32 addrspace(256)* nocapture %P) nounwind { 113entry: 114; CHECK: lock 115; CHECK: cmpxchgl %{{.*}}, %gs:(%{{.*}}) 116 117 %0 = cmpxchg i32 addrspace(256)* %P, i32 0, i32 1 monotonic 118 ret void 119} 120