Mercurial > hg > Members > tobaru > cbc > CbC_llvm

comparison test/CodeGen/SystemZ/atomicrmw-and-04.ll @ 0:95c75e76d11b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
LLVM 3.4
author Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
date Thu, 12 Dec 2013 13:56:28 +0900
parents
children
comparison
equal deleted inserted replaced
-1:000000000000 0:95c75e76d11b
1 ; Test 64-bit atomic ANDs.
2 ;
3 ; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z10 | FileCheck %s
4
5 ; Check ANDs of a variable.
6 define i64 @f1(i64 %dummy, i64 *%src, i64 %b) {
7 ; CHECK-LABEL: f1:
8 ; CHECK: lg %r2, 0(%r3)
9 ; CHECK: [[LABEL:\.[^:]*]]:
10 ; CHECK: lgr %r0, %r2
11 ; CHECK: ngr %r0, %r4
12 ; CHECK: csg %r2, %r0, 0(%r3)
13 ; CHECK: jl [[LABEL]]
14 ; CHECK: br %r14
15 %res = atomicrmw and i64 *%src, i64 %b seq_cst
16 ret i64 %res
17 }
18
19 ; Check ANDs of 1, which are done using a register. (We could use RISBG
20 ; instead, but that isn't implemented yet.)
21 define i64 @f2(i64 %dummy, i64 *%src) {
22 ; CHECK-LABEL: f2:
23 ; CHECK: ngr
24 ; CHECK: br %r14
25 %res = atomicrmw and i64 *%src, i64 1 seq_cst
26 ret i64 %res
27 }
28
29 ; Check the equivalent of NIHF with 1, which can use RISBG instead.
30 define i64 @f3(i64 %dummy, i64 *%src) {
31 ; CHECK-LABEL: f3:
32 ; CHECK: lg %r2, 0(%r3)
33 ; CHECK: [[LABEL:\.[^:]*]]:
34 ; CHECK: risbg %r0, %r2, 31, 191, 0
35 ; CHECK: csg %r2, %r0, 0(%r3)
36 ; CHECK: jl [[LABEL]]
37 ; CHECK: br %r14
38 %res = atomicrmw and i64 *%src, i64 8589934591 seq_cst
39 ret i64 %res
40 }
41
42 ; Check the lowest NIHF value outside the range of RISBG.
43 define i64 @f4(i64 %dummy, i64 *%src) {
44 ; CHECK-LABEL: f4:
45 ; CHECK: lg %r2, 0(%r3)
46 ; CHECK: [[LABEL:\.[^:]*]]:
47 ; CHECK: lgr %r0, %r2
48 ; CHECK: nihf %r0, 2
49 ; CHECK: csg %r2, %r0, 0(%r3)
50 ; CHECK: jl [[LABEL]]
51 ; CHECK: br %r14
52 %res = atomicrmw and i64 *%src, i64 12884901887 seq_cst
53 ret i64 %res
54 }
55
56 ; Check the next value up, which must use a register.
57 define i64 @f5(i64 %dummy, i64 *%src) {
58 ; CHECK-LABEL: f5:
59 ; CHECK: ngr
60 ; CHECK: br %r14
61 %res = atomicrmw and i64 *%src, i64 12884901888 seq_cst
62 ret i64 %res
63 }
64
65 ; Check the lowest NIHH value outside the range of RISBG.
66 define i64 @f6(i64 %dummy, i64 *%src) {
67 ; CHECK-LABEL: f6:
68 ; CHECK: nihh {{%r[0-5]}}, 2
69 ; CHECK: br %r14
70 %res = atomicrmw and i64 *%src, i64 844424930131967 seq_cst
71 ret i64 %res
72 }
73
74 ; Check the next value up, which must use a register.
75 define i64 @f7(i64 %dummy, i64 *%src) {
76 ; CHECK-LABEL: f7:
77 ; CHECK: ngr
78 ; CHECK: br %r14
79 %res = atomicrmw and i64 *%src, i64 281474976710656 seq_cst
80 ret i64 %res
81 }
82
83 ; Check the highest NILL value outside the range of RISBG.
84 define i64 @f8(i64 %dummy, i64 *%src) {
85 ; CHECK-LABEL: f8:
86 ; CHECK: nill {{%r[0-5]}}, 65530
87 ; CHECK: br %r14
88 %res = atomicrmw and i64 *%src, i64 -6 seq_cst
89 ret i64 %res
90 }
91
92 ; Check the lowest NILL value outside the range of RISBG.
93 define i64 @f9(i64 %dummy, i64 *%src) {
94 ; CHECK-LABEL: f9:
95 ; CHECK: nill {{%r[0-5]}}, 2
96 ; CHECK: br %r14
97 %res = atomicrmw and i64 *%src, i64 -65534 seq_cst
98 ret i64 %res
99 }
100
101 ; Check the highest useful NILF value.
102 define i64 @f10(i64 %dummy, i64 *%src) {
103 ; CHECK-LABEL: f10:
104 ; CHECK: nilf {{%r[0-5]}}, 4294901758
105 ; CHECK: br %r14
106 %res = atomicrmw and i64 *%src, i64 -65538 seq_cst
107 ret i64 %res
108 }
109
110 ; Check the highest NILH value outside the range of RISBG.
111 define i64 @f11(i64 %dummy, i64 *%src) {
112 ; CHECK-LABEL: f11:
113 ; CHECK: nilh {{%r[0-5]}}, 65530
114 ; CHECK: br %r14
115 %res = atomicrmw and i64 *%src, i64 -327681 seq_cst
116 ret i64 %res
117 }
118
119 ; Check the lowest NILH value outside the range of RISBG.
120 define i64 @f12(i64 %dummy, i64 *%src) {
121 ; CHECK-LABEL: f12:
122 ; CHECK: nilh {{%r[0-5]}}, 2
123 ; CHECK: br %r14
124 %res = atomicrmw and i64 *%src, i64 -4294770689 seq_cst
125 ret i64 %res
126 }
127
128 ; Check the lowest NILF value outside the range of RISBG.
129 define i64 @f13(i64 %dummy, i64 *%src) {
130 ; CHECK-LABEL: f13:
131 ; CHECK: nilf {{%r[0-5]}}, 2
132 ; CHECK: br %r14
133 %res = atomicrmw and i64 *%src, i64 -4294967294 seq_cst
134 ret i64 %res
135 }
136
137 ; Check the highest NIHL value outside the range of RISBG.
138 define i64 @f14(i64 %dummy, i64 *%src) {
139 ; CHECK-LABEL: f14:
140 ; CHECK: nihl {{%r[0-5]}}, 65530
141 ; CHECK: br %r14
142 %res = atomicrmw and i64 *%src, i64 -21474836481 seq_cst
143 ret i64 %res
144 }
145
146 ; Check the lowest NIHL value outside the range of RISBG.
147 define i64 @f15(i64 %dummy, i64 *%src) {
148 ; CHECK-LABEL: f15:
149 ; CHECK: nihl {{%r[0-5]}}, 2
150 ; CHECK: br %r14
151 %res = atomicrmw and i64 *%src, i64 -281462091808769 seq_cst
152 ret i64 %res
153 }
154
155 ; Check the highest NIHH value outside the range of RISBG.
156 define i64 @f16(i64 %dummy, i64 *%src) {
157 ; CHECK-LABEL: f16:
158 ; CHECK: nihh {{%r[0-5]}}, 65530
159 ; CHECK: br %r14
160 %res = atomicrmw and i64 *%src, i64 -1407374883553281 seq_cst
161 ret i64 %res
162 }
163
164 ; Check the highest useful NIHF value.
165 define i64 @f17(i64 %dummy, i64 *%src) {
166 ; CHECK-LABEL: f17:
167 ; CHECK: nihf {{%r[0-5]}}, 4294901758
168 ; CHECK: br %r14
169 %res = atomicrmw and i64 *%src, i64 -281479271677953 seq_cst
170 ret i64 %res
171 }