1 ; Test the use of TM and TMY.
3 ; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z196 | FileCheck %s
7 ; Check a simple branching use of TM.
8 define void @f1(i8 *%src) {
15 %and = and i8 %byte, 1
16 %cmp = icmp eq i8 %and, 0
17 br i1 %cmp, label %exit, label %store
28 ; Check that we do not fold across an aliasing store.
29 define void @f2(i8 *%src) {
31 ; CHECK: llc [[REG:%r[0-5]]], 0(%r2)
32 ; CHECK: mvi 0(%r2), 0
33 ; CHECK: tmll [[REG]], 1
39 %and = and i8 %byte, 1
40 %cmp = icmp eq i8 %and, 0
41 br i1 %cmp, label %exit, label %store
51 ; Check a simple select-based use of TM.
52 define double @f3(i8 *%src, double %a, double %b) {
58 %and = and i8 %byte, 1
59 %cmp = icmp eq i8 %and, 0
60 %res = select i1 %cmp, double %b, double %a
64 ; Check that we do not fold across an aliasing store.
65 define double @f4(i8 *%src, double %a, double %b) {
69 ; CHECK: mvi 0(%r2), 0
72 %and = and i8 %byte, 1
73 %cmp = icmp eq i8 %and, 0
74 %res = select i1 %cmp, double %b, double %a
79 ; Check an inequality check.
80 define double @f5(i8 *%src, double %a, double %b) {
83 ; CHECK: jne {{\.L.*}}
86 %and = and i8 %byte, 1
87 %cmp = icmp ne i8 %and, 0
88 %res = select i1 %cmp, double %b, double %a
92 ; Check that we can also use TM for equality comparisons with the mask.
93 define double @f6(i8 *%src, double %a, double %b) {
95 ; CHECK: tm 0(%r2), 254
99 %and = and i8 %byte, 254
100 %cmp = icmp eq i8 %and, 254
101 %res = select i1 %cmp, double %b, double %a
105 ; Check inequality comparisons with the mask.
106 define double @f7(i8 *%src, double %a, double %b) {
108 ; CHECK: tm 0(%r2), 254
109 ; CHECK: jno {{\.L.*}}
111 %byte = load i8 *%src
112 %and = and i8 %byte, 254
113 %cmp = icmp ne i8 %and, 254
114 %res = select i1 %cmp, double %b, double %a
118 ; Check that we do not use the memory TM instruction when CC is being tested
120 define double @f8(i8 *%src, double %a, double %b) {
122 ; CHECK: llc [[REG:%r[0-5]]], 0(%r2)
123 ; CHECK: tmll [[REG]], 3
124 ; CHECK: jh {{\.L.*}}
126 %byte = load i8 *%src
127 %and = and i8 %byte, 3
128 %cmp = icmp eq i8 %and, 2
129 %res = select i1 %cmp, double %b, double %a
134 define double @f9(i8 *%src, double %a, double %b) {
136 ; CHECK: llc [[REG:%r[0-5]]], 0(%r2)
137 ; CHECK: tmll [[REG]], 3
138 ; CHECK: jl {{\.L.*}}
140 %byte = load i8 *%src
141 %and = and i8 %byte, 3
142 %cmp = icmp eq i8 %and, 1
143 %res = select i1 %cmp, double %b, double %a
147 ; Check the high end of the TM range.
148 define double @f10(i8 *%src, double %a, double %b) {
150 ; CHECK: tm 4095(%r2), 1
151 ; CHECK: je {{\.L.*}}
153 %ptr = getelementptr i8 *%src, i64 4095
154 %byte = load i8 *%ptr
155 %and = and i8 %byte, 1
156 %cmp = icmp eq i8 %and, 0
157 %res = select i1 %cmp, double %b, double %a
161 ; Check the low end of the positive TMY range.
162 define double @f11(i8 *%src, double %a, double %b) {
164 ; CHECK: tmy 4096(%r2), 1
165 ; CHECK: je {{\.L.*}}
167 %ptr = getelementptr i8 *%src, i64 4096
168 %byte = load i8 *%ptr
169 %and = and i8 %byte, 1
170 %cmp = icmp eq i8 %and, 0
171 %res = select i1 %cmp, double %b, double %a
175 ; Check the high end of the TMY range.
176 define double @f12(i8 *%src, double %a, double %b) {
178 ; CHECK: tmy 524287(%r2), 1
179 ; CHECK: je {{\.L.*}}
181 %ptr = getelementptr i8 *%src, i64 524287
182 %byte = load i8 *%ptr
183 %and = and i8 %byte, 1
184 %cmp = icmp eq i8 %and, 0
185 %res = select i1 %cmp, double %b, double %a
189 ; Check the next byte up, which needs separate address logic.
190 define double @f13(i8 *%src, double %a, double %b) {
192 ; CHECK: agfi %r2, 524288
193 ; CHECK: tm 0(%r2), 1
194 ; CHECK: je {{\.L.*}}
196 %ptr = getelementptr i8 *%src, i64 524288
197 %byte = load i8 *%ptr
198 %and = and i8 %byte, 1
199 %cmp = icmp eq i8 %and, 0
200 %res = select i1 %cmp, double %b, double %a
204 ; Check the low end of the TMY range.
205 define double @f14(i8 *%src, double %a, double %b) {
207 ; CHECK: tmy -524288(%r2), 1
208 ; CHECK: je {{\.L.*}}
210 %ptr = getelementptr i8 *%src, i64 -524288
211 %byte = load i8 *%ptr
212 %and = and i8 %byte, 1
213 %cmp = icmp eq i8 %and, 0
214 %res = select i1 %cmp, double %b, double %a
218 ; Check the next byte down, which needs separate address logic.
219 define double @f15(i8 *%src, double %a, double %b) {
221 ; CHECK: agfi %r2, -524289
222 ; CHECK: tm 0(%r2), 1
223 ; CHECK: je {{\.L.*}}
225 %ptr = getelementptr i8 *%src, i64 -524289
226 %byte = load i8 *%ptr
227 %and = and i8 %byte, 1
228 %cmp = icmp eq i8 %and, 0
229 %res = select i1 %cmp, double %b, double %a
233 ; Check that TM(Y) does not allow an index
234 define double @f16(i8 *%src, i64 %index, double %a, double %b) {
236 ; CHECK: tm 0({{%r[1-5]}}), 1
237 ; CHECK: je {{\.L.*}}
239 %ptr = getelementptr i8 *%src, i64 %index
240 %byte = load i8 *%ptr
241 %and = and i8 %byte, 1
242 %cmp = icmp eq i8 %and, 0
243 %res = select i1 %cmp, double %b, double %a