1 ; Test 64-bit comparisons in which the second operand is sign-extended
2 ; from a PC-relative i16.
4 ; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s
8 ; Check signed comparison.
9 define i64 @f1(i64 %src1) {
16 %src2 = sext i16 %val to i64
17 %cond = icmp slt 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 unsigned comparison, which cannot use CHRL.
28 define i64 @f2(i64 %src1) {
34 %src2 = sext i16 %val to i64
35 %cond = icmp ult 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) {
53 %src2 = sext 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) {
72 %src2 = sext 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 ]