1 ; Test 32-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 i32 @f1(i32 %src1) {
16 %src2 = zext i16 %val to i32
17 %cond = icmp ult i32 %src1, %src2
18 br i1 %cond, label %exit, label %mulb
20 %mul = mul i32 %src1, %src1
23 %res = phi i32 [ %src1, %entry ], [ %mul, %mulb ]
27 ; Check signed comparison.
28 define i32 @f2(i32 %src1) {
34 %src2 = zext i16 %val to i32
35 %cond = icmp slt i32 %src1, %src2
36 br i1 %cond, label %exit, label %mulb
38 %mul = mul i32 %src1, %src1
41 %res = phi i32 [ %src1, %entry ], [ %mul, %mulb ]
46 define i32 @f3(i32 %src1) {
53 %src2 = zext i16 %val to i32
54 %cond = icmp eq i32 %src1, %src2
55 br i1 %cond, label %exit, label %mulb
57 %mul = mul i32 %src1, %src1
60 %res = phi i32 [ %src1, %entry ], [ %mul, %mulb ]
65 define i32 @f4(i32 %src1) {
72 %src2 = zext i16 %val to i32
73 %cond = icmp ne i32 %src1, %src2
74 br i1 %cond, label %exit, label %mulb
76 %mul = mul i32 %src1, %src1
79 %res = phi i32 [ %src1, %entry ], [ %mul, %mulb ]