1; Test all condition-code masks that are relevant for CRJ. 2; 3; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s 4 5declare i32 @foo() 6@g1 = global i16 0 7 8define void @f1(i32 %target) { 9; CHECK-LABEL: f1: 10; CHECK: .cfi_def_cfa_offset 11; CHECK: .L[[LABEL:.*]]: 12; CHECK: crje %r2, {{%r[0-9]+}}, .L[[LABEL]] 13 br label %loop 14loop: 15 %val = call i32 @foo() 16 %cond = icmp eq i32 %val, %target 17 br i1 %cond, label %loop, label %exit 18exit: 19 ret void 20} 21 22define void @f2(i32 %target) { 23; CHECK-LABEL: f2: 24; CHECK: .cfi_def_cfa_offset 25; CHECK: .L[[LABEL:.*]]: 26; CHECK: crjlh %r2, {{%r[0-9]+}}, .L[[LABEL]] 27 br label %loop 28loop: 29 %val = call i32 @foo() 30 %cond = icmp ne i32 %val, %target 31 br i1 %cond, label %loop, label %exit 32exit: 33 ret void 34} 35 36define void @f3(i32 %target) { 37; CHECK-LABEL: f3: 38; CHECK: .cfi_def_cfa_offset 39; CHECK: .L[[LABEL:.*]]: 40; CHECK: crjle %r2, {{%r[0-9]+}}, .L[[LABEL]] 41 br label %loop 42loop: 43 %val = call i32 @foo() 44 %cond = icmp sle i32 %val, %target 45 br i1 %cond, label %loop, label %exit 46exit: 47 ret void 48} 49 50define void @f4(i32 %target) { 51; CHECK-LABEL: f4: 52; CHECK: .cfi_def_cfa_offset 53; CHECK: .L[[LABEL:.*]]: 54; CHECK: crjl %r2, {{%r[0-9]+}}, .L[[LABEL]] 55 br label %loop 56loop: 57 %val = call i32 @foo() 58 %cond = icmp slt i32 %val, %target 59 br i1 %cond, label %loop, label %exit 60exit: 61 ret void 62} 63 64define void @f5(i32 %target) { 65; CHECK-LABEL: f5: 66; CHECK: .cfi_def_cfa_offset 67; CHECK: .L[[LABEL:.*]]: 68; CHECK: crjh %r2, {{%r[0-9]+}}, .L[[LABEL]] 69 br label %loop 70loop: 71 %val = call i32 @foo() 72 %cond = icmp sgt i32 %val, %target 73 br i1 %cond, label %loop, label %exit 74exit: 75 ret void 76} 77 78define void @f6(i32 %target) { 79; CHECK-LABEL: f6: 80; CHECK: .cfi_def_cfa_offset 81; CHECK: .L[[LABEL:.*]]: 82; CHECK: crjhe %r2, {{%r[0-9]+}}, .L[[LABEL]] 83 br label %loop 84loop: 85 %val = call i32 @foo() 86 %cond = icmp sge i32 %val, %target 87 br i1 %cond, label %loop, label %exit 88exit: 89 ret void 90} 91 92; Check that CRJ is used for checking equality with a zero-extending 93; character load. 94define void @f7(i8 *%targetptr) { 95; CHECK-LABEL: f7: 96; CHECK: .cfi_def_cfa_offset 97; CHECK: .L[[LABEL:.*]]: 98; CHECK: llc [[REG:%r[0-5]]], 99; CHECK: crje %r2, [[REG]], .L[[LABEL]] 100 br label %loop 101loop: 102 %val = call i32 @foo() 103 %byte = load i8 , i8 *%targetptr 104 %target = zext i8 %byte to i32 105 %cond = icmp eq i32 %val, %target 106 br i1 %cond, label %loop, label %exit 107exit: 108 ret void 109} 110 111; ...and zero-extending i16 loads. 112define void @f8(i16 *%targetptr) { 113; CHECK-LABEL: f8: 114; CHECK: .cfi_def_cfa_offset 115; CHECK: .L[[LABEL:.*]]: 116; CHECK: llh [[REG:%r[0-5]]], 117; CHECK: crje %r2, [[REG]], .L[[LABEL]] 118 br label %loop 119loop: 120 %val = call i32 @foo() 121 %half = load i16 , i16 *%targetptr 122 %target = zext i16 %half to i32 123 %cond = icmp eq i32 %val, %target 124 br i1 %cond, label %loop, label %exit 125exit: 126 ret void 127} 128 129; ...unless the address is a global. 130define void @f9(i16 *%targetptr) { 131; CHECK-LABEL: f9: 132; CHECK: .cfi_def_cfa_offset 133; CHECK: .L[[LABEL:.*]]: 134; CHECK: clhrl %r2, g1 135; CHECK: je .L[[LABEL]] 136 br label %loop 137loop: 138 %val = call i32 @foo() 139 %half = load i16 , i16 *@g1 140 %target = zext i16 %half to i32 141 %cond = icmp eq i32 %val, %target 142 br i1 %cond, label %loop, label %exit 143exit: 144 ret void 145} 146 147; Check that CRJ is used for checking order between two zero-extending 148; byte loads, even if the original comparison was unsigned. 149define void @f10(i8 *%targetptr1) { 150; CHECK-LABEL: f10: 151; CHECK: .cfi_def_cfa_offset 152; CHECK: .L[[LABEL:.*]]: 153; CHECK-DAG: llc [[REG1:%r[0-5]]], 0( 154; CHECK-DAG: llc [[REG2:%r[0-5]]], 1( 155; CHECK: crjl [[REG1]], [[REG2]], .L[[LABEL]] 156 br label %loop 157loop: 158 %val = call i32 @foo() 159 %targetptr2 = getelementptr i8, i8 *%targetptr1, i64 1 160 %byte1 = load i8 , i8 *%targetptr1 161 %byte2 = load i8 , i8 *%targetptr2 162 %ext1 = zext i8 %byte1 to i32 163 %ext2 = zext i8 %byte2 to i32 164 %cond = icmp ult i32 %ext1, %ext2 165 br i1 %cond, label %loop, label %exit 166exit: 167 ret void 168} 169 170; ...likewise halfword loads. 171define void @f11(i16 *%targetptr1) { 172; CHECK-LABEL: f11: 173; CHECK: .cfi_def_cfa_offset 174; CHECK: .L[[LABEL:.*]]: 175; CHECK-DAG: llh [[REG1:%r[0-5]]], 0( 176; CHECK-DAG: llh [[REG2:%r[0-5]]], 2( 177; CHECK: crjl [[REG1]], [[REG2]], .L[[LABEL]] 178 br label %loop 179loop: 180 %val = call i32 @foo() 181 %targetptr2 = getelementptr i16, i16 *%targetptr1, i64 1 182 %half1 = load i16 , i16 *%targetptr1 183 %half2 = load i16 , i16 *%targetptr2 184 %ext1 = zext i16 %half1 to i32 185 %ext2 = zext i16 %half2 to i32 186 %cond = icmp ult i32 %ext1, %ext2 187 br i1 %cond, label %loop, label %exit 188exit: 189 ret void 190} 191