1; Test 16-bit unsigned comparisons between memory and a constant.
2;
3; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s
4
5; Check a value near the low end of the unsigned 16-bit range.
6define double @f1(double %a, double %b, i16 *%ptr) {
7; CHECK-LABEL: f1:
8; CHECK: clhhsi 0(%r2), 1
9; CHECK-NEXT: jh
10; CHECK: ldr %f0, %f2
11; CHECK: br %r14
12  %val = load i16 *%ptr
13  %cond = icmp ugt i16 %val, 1
14  %res = select i1 %cond, double %a, double %b
15  ret double %res
16}
17
18; Check a value near the high end of the unsigned 16-bit range.
19define double @f2(double %a, double %b, i16 *%ptr) {
20; CHECK-LABEL: f2:
21; CHECK: clhhsi 0(%r2), 65534
22; CHECK-NEXT: jl
23; CHECK: ldr %f0, %f2
24; CHECK: br %r14
25  %val = load i16 *%ptr
26  %cond = icmp ult i16 %val, 65534
27  %res = select i1 %cond, double %a, double %b
28  ret double %res
29}
30
31; Check the high end of the CLHHSI range.
32define double @f3(double %a, double %b, i16 %i1, i16 *%base) {
33; CHECK-LABEL: f3:
34; CHECK: clhhsi 4094(%r3), 1
35; CHECK-NEXT: jh
36; CHECK: ldr %f0, %f2
37; CHECK: br %r14
38  %ptr = getelementptr i16 *%base, i64 2047
39  %val = load i16 *%ptr
40  %cond = icmp ugt i16 %val, 1
41  %res = select i1 %cond, double %a, double %b
42  ret double %res
43}
44
45; Check the next halfword up, which needs separate address logic,
46define double @f4(double %a, double %b, i16 *%base) {
47; CHECK-LABEL: f4:
48; CHECK: aghi %r2, 4096
49; CHECK: clhhsi 0(%r2), 1
50; CHECK-NEXT: jh
51; CHECK: ldr %f0, %f2
52; CHECK: br %r14
53  %ptr = getelementptr i16 *%base, i64 2048
54  %val = load i16 *%ptr
55  %cond = icmp ugt i16 %val, 1
56  %res = select i1 %cond, double %a, double %b
57  ret double %res
58}
59
60; Check negative offsets, which also need separate address logic.
61define double @f5(double %a, double %b, i16 *%base) {
62; CHECK-LABEL: f5:
63; CHECK: aghi %r2, -2
64; CHECK: clhhsi 0(%r2), 1
65; CHECK-NEXT: jh
66; CHECK: ldr %f0, %f2
67; CHECK: br %r14
68  %ptr = getelementptr i16 *%base, i64 -1
69  %val = load i16 *%ptr
70  %cond = icmp ugt i16 %val, 1
71  %res = select i1 %cond, double %a, double %b
72  ret double %res
73}
74
75; Check that CLHHSI does not allow indices.
76define double @f6(double %a, double %b, i64 %base, i64 %index) {
77; CHECK-LABEL: f6:
78; CHECK: agr {{%r2, %r3|%r3, %r2}}
79; CHECK: clhhsi 0({{%r[23]}}), 1
80; CHECK-NEXT: jh
81; CHECK: ldr %f0, %f2
82; CHECK: br %r14
83  %add = add i64 %base, %index
84  %ptr = inttoptr i64 %add to i16 *
85  %val = load i16 *%ptr
86  %cond = icmp ugt i16 %val, 1
87  %res = select i1 %cond, double %a, double %b
88  ret double %res
89}
90