Taints the non-acquire RMW's store address with the load part
[oota-llvm.git] / test / CodeGen / SystemZ / int-cmp-10.ll
1 ; Test 32-bit unsigned comparisons in which the second operand is constant.
2 ;
3 ; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s
4
5 ; Check a value near the low end of the range.  We use signed forms for
6 ; comparisons with zero, or things that are equivalent to them.
7 define double @f1(double %a, double %b, i32 %i1) {
8 ; CHECK-LABEL: f1:
9 ; CHECK: clijh %r2, 1
10 ; CHECK: ldr %f0, %f2
11 ; CHECK: br %r14
12   %cond = icmp ugt i32 %i1, 1
13   %res = select i1 %cond, double %a, double %b
14   ret double %res
15 }
16
17 ; Check the top of the CLIJ range.
18 define double @f2(double %a, double %b, i32 %i1) {
19 ; CHECK-LABEL: f2:
20 ; CHECK: clijl %r2, 255
21 ; CHECK: ldr %f0, %f2
22 ; CHECK: br %r14
23   %cond = icmp ult i32 %i1, 255
24   %res = select i1 %cond, double %a, double %b
25   ret double %res
26 }
27
28 ; Check the next value up, which needs a separate comparison.
29 define double @f3(double %a, double %b, i32 %i1) {
30 ; CHECK-LABEL: f3:
31 ; CHECK: clfi %r2, 256
32 ; CHECK: jl
33 ; CHECK: ldr %f0, %f2
34 ; CHECK: br %r14
35   %cond = icmp ult i32 %i1, 256
36   %res = select i1 %cond, double %a, double %b
37   ret double %res
38 }
39
40 ; Check a value near the high end of the range.
41 define double @f4(double %a, double %b, i32 %i1) {
42 ; CHECK-LABEL: f4:
43 ; CHECK: clfi %r2, 4294967280
44 ; CHECK-NEXT: jl
45 ; CHECK: ldr %f0, %f2
46 ; CHECK: br %r14
47   %cond = icmp ult i32 %i1, 4294967280
48   %res = select i1 %cond, double %a, double %b
49   ret double %res
50 }