1 ; Test 64-bit signed comparisons in which the second operand is a constant.
3 ; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s
5 ; Check comparisons with 0.
6 define double @f1(double %a, double %b, i64 %i1) {
12 %cond = icmp slt i64 %i1, 0
13 %res = select i1 %cond, double %a, double %b
17 ; Check comparisons with 1.
18 define double @f2(double %a, double %b, i64 %i1) {
24 %cond = icmp slt i64 %i1, 1
25 %res = select i1 %cond, double %a, double %b
29 ; Check the high end of the CGHI range.
30 define double @f3(double %a, double %b, i64 %i1) {
32 ; CHECK: cghi %r2, 32767
36 %cond = icmp slt i64 %i1, 32767
37 %res = select i1 %cond, double %a, double %b
41 ; Check the next value up, which must use CGFI.
42 define double @f4(double %a, double %b, i64 %i1) {
44 ; CHECK: cgfi %r2, 32768
48 %cond = icmp slt i64 %i1, 32768
49 %res = select i1 %cond, double %a, double %b
53 ; Check the high end of the CGFI range.
54 define double @f5(double %a, double %b, i64 %i1) {
56 ; CHECK: cgfi %r2, 2147483647
60 %cond = icmp slt i64 %i1, 2147483647
61 %res = select i1 %cond, double %a, double %b
65 ; Check the next value up, which must use register comparison.
66 define double @f6(double %a, double %b, i64 %i1) {
71 %cond = icmp slt i64 %i1, 2147483648
72 %res = select i1 %cond, double %a, double %b
76 ; Check the high end of the negative CGHI range.
77 define double @f7(double %a, double %b, i64 %i1) {
83 %cond = icmp slt i64 %i1, -1
84 %res = select i1 %cond, double %a, double %b
88 ; Check the low end of the CGHI range.
89 define double @f8(double %a, double %b, i64 %i1) {
91 ; CHECK: cghi %r2, -32768
95 %cond = icmp slt i64 %i1, -32768
96 %res = select i1 %cond, double %a, double %b
100 ; Check the next value down, which must use CGFI instead.
101 define double @f9(double %a, double %b, i64 %i1) {
103 ; CHECK: cgfi %r2, -32769
105 ; CHECK: ldr %f0, %f2
107 %cond = icmp slt i64 %i1, -32769
108 %res = select i1 %cond, double %a, double %b
112 ; Check the low end of the CGFI range.
113 define double @f10(double %a, double %b, i64 %i1) {
115 ; CHECK: cgfi %r2, -2147483648
117 ; CHECK: ldr %f0, %f2
119 %cond = icmp slt i64 %i1, -2147483648
120 %res = select i1 %cond, double %a, double %b
124 ; Check the next value down, which must use register comparison.
125 define double @f11(double %a, double %b, i64 %i1) {
128 ; CHECK: ldr %f0, %f2
130 %cond = icmp slt i64 %i1, -2147483649
131 %res = select i1 %cond, double %a, double %b