Extend the statepoint intrinsic to allow statepoints to be marked as transitions...
[oota-llvm.git] / test / CodeGen / X86 / lock-inst-encoding.ll
1 ; RUN: llc -O0 --show-mc-encoding < %s | FileCheck %s
2
3 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-n8:16:32:64"
4 target triple = "x86_64-apple-darwin10.0.0"
5
6 ; CHECK-LABEL: f1:
7 ; CHECK: addq %{{.*}}, ({{.*}}){{.*}}encoding: [0xf0,0x48,0x01,0x37]
8 ; CHECK: ret
9 define void @f1(i64* %a, i64 %b) nounwind {
10   %1 = atomicrmw add i64* %a, i64 %b monotonic
11   ret void
12 }
13
14 ; CHECK-LABEL: f2:
15 ; CHECK: subq %{{.*}}, ({{.*}}){{.*}}encoding: [0xf0,0x48,0x29,0x37]
16 ; CHECK: ret
17 define void @f2(i64* %a, i64 %b) nounwind {
18   %1 = atomicrmw sub i64* %a, i64 %b monotonic
19   ret void
20 }
21
22 ; CHECK-LABEL: f3:
23 ; CHECK: andq %{{.*}}, ({{.*}}){{.*}}encoding: [0xf0,0x48,0x21,0x37]
24 ; CHECK: ret
25 define void @f3(i64* %a, i64 %b) nounwind {
26   %1 = atomicrmw and i64* %a, i64 %b monotonic
27   ret void
28 }
29
30 ; CHECK-LABEL: f4:
31 ; CHECK: orq %{{.*}}, ({{.*}}){{.*}}encoding: [0xf0,0x48,0x09,0x37]
32 ; CHECK: ret
33 define void @f4(i64* %a, i64 %b) nounwind {
34   %1 = atomicrmw or i64* %a, i64 %b monotonic
35   ret void
36 }
37
38 ; CHECK-LABEL: f5:
39 ; CHECK: xorq %{{.*}}, ({{.*}}){{.*}}encoding: [0xf0,0x48,0x31,0x37]
40 ; CHECK: ret
41 define void @f5(i64* %a, i64 %b) nounwind {
42   %1 = atomicrmw xor i64* %a, i64 %b monotonic
43   ret void
44 }