1 ; Test 64-bit comparisons in which the second operand is zero-extended
2 ; from a PC-relative i16.
4 ; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s
8 ; Check unsigned comparison.
9 define i64 @f1(i64 %src1) {
11 ; CHECK: clghrl %r2, g
12 ; CHECK-NEXT: j{{g?}}l
16 %src2 = zext i16 %val to i64
17 %cond = icmp ult i64 %src1, %src2
18 br i1 %cond, label %exit, label %mulb
20 %mul = mul i64 %src1, %src1
23 %res = phi i64 [ %src1, %entry ], [ %mul, %mulb ]
27 ; Check signed comparison.
28 define i64 @f2(i64 %src1) {
34 %src2 = zext i16 %val to i64
35 %cond = icmp slt i64 %src1, %src2
36 br i1 %cond, label %exit, label %mulb
38 %mul = mul i64 %src1, %src1
41 %res = phi i64 [ %src1, %entry ], [ %mul, %mulb ]
46 define i64 @f3(i64 %src1) {
48 ; CHECK: clghrl %r2, g
49 ; CHECK-NEXT: j{{g?}}e
53 %src2 = zext i16 %val to i64
54 %cond = icmp eq i64 %src1, %src2
55 br i1 %cond, label %exit, label %mulb
57 %mul = mul i64 %src1, %src1
60 %res = phi i64 [ %src1, %entry ], [ %mul, %mulb ]
65 define i64 @f4(i64 %src1) {
67 ; CHECK: clghrl %r2, g
68 ; CHECK-NEXT: j{{g?}}lh
72 %src2 = zext i16 %val to i64
73 %cond = icmp ne i64 %src1, %src2
74 br i1 %cond, label %exit, label %mulb
76 %mul = mul i64 %src1, %src1
79 %res = phi i64 [ %src1, %entry ], [ %mul, %mulb ]