test/CodeGen/X86/atomic_op.ll

   1 ; RUN: llc < %s -march=x86 | FileCheck %s
   2
   3 target 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
   5 define void @func(i32 %argc, i8** %argv) nounwind {
   6 entry:
   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         call i32 @llvm.atomic.load.add.i32.p0i32( i32* %val1, i32 %tmp )                ; <i32>:0 [#uses=1]
  28         store i32 %0, i32* %old
  29         ; CHECK: lock
  30         ; CHECK: xaddl
  31         call i32 @llvm.atomic.load.sub.i32.p0i32( i32* %val2, i32 30 )          ; <i32>:1 [#uses=1]
  32         store i32 %1, i32* %old
  33         ; CHECK: lock
  34         ; CHECK: xaddl
  35         call i32 @llvm.atomic.load.add.i32.p0i32( i32* %val2, i32 1 )           ; <i32>:2 [#uses=1]
  36         store i32 %2, i32* %old
  37         ; CHECK: lock
  38         ; CHECK: xaddl
  39         call i32 @llvm.atomic.load.sub.i32.p0i32( i32* %val2, i32 1 )           ; <i32>:3 [#uses=1]
  40         store i32 %3, i32* %old
  41         ; CHECK: andl
  42         ; CHECK: lock
  43         ; CHECK: cmpxchgl
  44         call i32 @llvm.atomic.load.and.i32.p0i32( i32* %andt, i32 4080 )                ; <i32>:4 [#uses=1]
  45         store i32 %4, i32* %old
  46         ; CHECK: orl
  47         ; CHECK: lock
  48         ; CHECK: cmpxchgl
  49         call i32 @llvm.atomic.load.or.i32.p0i32( i32* %ort, i32 4080 )          ; <i32>:5 [#uses=1]
  50         store i32 %5, i32* %old
  51         ; CHECK: xorl
  52         ; CHECK: lock
  53         ; CHECK: cmpxchgl
  54         call i32 @llvm.atomic.load.xor.i32.p0i32( i32* %xort, i32 4080 )                ; <i32>:6 [#uses=1]
  55         store i32 %6, i32* %old
  56         ; CHECK: cmov
  57         ; CHECK: lock
  58         ; CHECK: cmpxchgl
  59         call i32 @llvm.atomic.load.min.i32.p0i32( i32* %val2, i32 16 )          ; <i32>:7 [#uses=1]
  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         call i32 @llvm.atomic.load.min.i32.p0i32( i32* %val2, i32 %neg )                ; <i32>:8 [#uses=1]
  66         store i32 %8, i32* %old
  67         ; CHECK: cmov
  68         ; CHECK: lock
  69         ; CHECK: cmpxchgl
  70         call i32 @llvm.atomic.load.max.i32.p0i32( i32* %val2, i32 1 )           ; <i32>:9 [#uses=1]
  71         store i32 %9, i32* %old
  72         ; CHECK: cmov
  73         ; CHECK: lock
  74         ; CHECK: cmpxchgl
  75         call i32 @llvm.atomic.load.max.i32.p0i32( i32* %val2, i32 0 )           ; <i32>:10 [#uses=1]
  76         store i32 %10, i32* %old
  77         ; CHECK: cmov
  78         ; CHECK: lock
  79         ; CHECK: cmpxchgl
  80         call i32 @llvm.atomic.load.umax.i32.p0i32( i32* %val2, i32 65535 )              ; <i32>:11 [#uses=1]
  81         store i32 %11, i32* %old
  82         ; CHECK: cmov
  83         ; CHECK: lock
  84         ; CHECK: cmpxchgl
  85         call i32 @llvm.atomic.load.umax.i32.p0i32( i32* %val2, i32 10 )         ; <i32>:12 [#uses=1]
  86         store i32 %12, i32* %old
  87         ; CHECK: cmov
  88         ; CHECK: lock
  89         ; CHECK: cmpxchgl
  90         call i32 @llvm.atomic.load.umin.i32.p0i32( i32* %val2, i32 1 )          ; <i32>:13 [#uses=1]
  91         store i32 %13, i32* %old
  92         ; CHECK: cmov
  93         ; CHECK: lock
  94         ; CHECK: cmpxchgl
  95         call i32 @llvm.atomic.load.umin.i32.p0i32( i32* %val2, i32 10 )         ; <i32>:14 [#uses=1]
  96         store i32 %14, i32* %old
  97         ; CHECK: xchgl   %{{.*}}, {{.*}}(%esp)
  98         call i32 @llvm.atomic.swap.i32.p0i32( i32* %val2, i32 1976 )            ; <i32>:15 [#uses=1]
  99         store i32 %15, i32* %old
 100         %neg1 = sub i32 0, 10           ; <i32> [#uses=1]
 101         ; CHECK: lock
 102         ; CHECK: cmpxchgl
 103         call i32 @llvm.atomic.cmp.swap.i32.p0i32( i32* %val2, i32 %neg1, i32 1 )                ; <i32>:16 [#uses=1]
 104         store i32 %16, i32* %old
 105         ; CHECK: lock
 106         ; CHECK: cmpxchgl
 107         call i32 @llvm.atomic.cmp.swap.i32.p0i32( i32* %val2, i32 1976, i32 1 )         ; <i32>:17 [#uses=1]
 108         store i32 %17, i32* %old
 109         ret void
 110 }
 111
 112 define void @test2(i32 addrspace(256)* nocapture %P) nounwind {
 113 entry:
 114 ; CHECK: lock
 115 ; CHECK:        cmpxchgl        %{{.*}}, %gs:(%{{.*}})
 116
 117   %0 = tail call i32 @llvm.atomic.cmp.swap.i32.p256i32(i32 addrspace(256)* %P, i32 0, i32 1)
 118   ret void
 119 }
 120
 121 declare i32 @llvm.atomic.cmp.swap.i32.p256i32(i32 addrspace(256)* nocapture, i32, i32) nounwind
 122
 123 declare i32 @llvm.atomic.load.add.i32.p0i32(i32*, i32) nounwind
 124
 125 declare i32 @llvm.atomic.load.sub.i32.p0i32(i32*, i32) nounwind
 126
 127 declare i32 @llvm.atomic.load.and.i32.p0i32(i32*, i32) nounwind
 128
 129 declare i32 @llvm.atomic.load.or.i32.p0i32(i32*, i32) nounwind
 130
 131 declare i32 @llvm.atomic.load.xor.i32.p0i32(i32*, i32) nounwind
 132
 133 declare i32 @llvm.atomic.load.min.i32.p0i32(i32*, i32) nounwind
 134
 135 declare i32 @llvm.atomic.load.max.i32.p0i32(i32*, i32) nounwind
 136
 137 declare i32 @llvm.atomic.load.umax.i32.p0i32(i32*, i32) nounwind
 138
 139 declare i32 @llvm.atomic.load.umin.i32.p0i32(i32*, i32) nounwind
 140
 141 declare i32 @llvm.atomic.swap.i32.p0i32(i32*, i32) nounwind
 142
 143 declare i32 @llvm.atomic.cmp.swap.i32.p0i32(i32*, i32, i32) nounwind