1; Test 32-bit subtraction in which the second operand is constant. 2; 3; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s 4 5declare i32 @foo() 6 7; Check subtraction of 1. 8define zeroext i1 @f1(i32 %dummy, i32 %a, i32 *%res) { 9; CHECK-LABEL: f1: 10; CHECK: slfi %r3, 1 11; CHECK-DAG: st %r3, 0(%r4) 12; CHECK-DAG: ipm [[REG:%r[0-5]]] 13; CHECK-DAG: afi [[REG]], -536870912 14; CHECK-DAG: risbg %r2, [[REG]], 63, 191, 33 15; CHECK: br %r14 16 %t = call {i32, i1} @llvm.usub.with.overflow.i32(i32 %a, i32 1) 17 %val = extractvalue {i32, i1} %t, 0 18 %obit = extractvalue {i32, i1} %t, 1 19 store i32 %val, i32 *%res 20 ret i1 %obit 21} 22 23; Check the high end of the SLFI range. 24define zeroext i1 @f2(i32 %dummy, i32 %a, i32 *%res) { 25; CHECK-LABEL: f2: 26; CHECK: slfi %r3, 4294967295 27; CHECK-DAG: st %r3, 0(%r4) 28; CHECK-DAG: ipm [[REG:%r[0-5]]] 29; CHECK-DAG: afi [[REG]], -536870912 30; CHECK-DAG: risbg %r2, [[REG]], 63, 191, 33 31; CHECK: br %r14 32 %t = call {i32, i1} @llvm.usub.with.overflow.i32(i32 %a, i32 4294967295) 33 %val = extractvalue {i32, i1} %t, 0 34 %obit = extractvalue {i32, i1} %t, 1 35 store i32 %val, i32 *%res 36 ret i1 %obit 37} 38 39; Check that negative values are treated as unsigned 40define zeroext i1 @f3(i32 %dummy, i32 %a, i32 *%res) { 41; CHECK-LABEL: f3: 42; CHECK: slfi %r3, 4294967295 43; CHECK-DAG: st %r3, 0(%r4) 44; CHECK-DAG: ipm [[REG:%r[0-5]]] 45; CHECK-DAG: afi [[REG]], -536870912 46; CHECK-DAG: risbg %r2, [[REG]], 63, 191, 33 47; CHECK: br %r14 48 %t = call {i32, i1} @llvm.usub.with.overflow.i32(i32 %a, i32 -1) 49 %val = extractvalue {i32, i1} %t, 0 50 %obit = extractvalue {i32, i1} %t, 1 51 store i32 %val, i32 *%res 52 ret i1 %obit 53} 54 55; Check using the overflow result for a branch. 56define void @f4(i32 %dummy, i32 %a, i32 *%res) { 57; CHECK-LABEL: f4: 58; CHECK: slfi %r3, 1 59; CHECK: st %r3, 0(%r4) 60; CHECK: jgle foo@PLT 61; CHECK: br %r14 62 %t = call {i32, i1} @llvm.usub.with.overflow.i32(i32 %a, i32 1) 63 %val = extractvalue {i32, i1} %t, 0 64 %obit = extractvalue {i32, i1} %t, 1 65 store i32 %val, i32 *%res 66 br i1 %obit, label %call, label %exit 67 68call: 69 tail call i32 @foo() 70 br label %exit 71 72exit: 73 ret void 74} 75 76; ... and the same with the inverted direction. 77define void @f5(i32 %dummy, i32 %a, i32 *%res) { 78; CHECK-LABEL: f5: 79; CHECK: slfi %r3, 1 80; CHECK: st %r3, 0(%r4) 81; CHECK: jgnle foo@PLT 82; CHECK: br %r14 83 %t = call {i32, i1} @llvm.usub.with.overflow.i32(i32 %a, i32 1) 84 %val = extractvalue {i32, i1} %t, 0 85 %obit = extractvalue {i32, i1} %t, 1 86 store i32 %val, i32 *%res 87 br i1 %obit, label %exit, label %call 88 89call: 90 tail call i32 @foo() 91 br label %exit 92 93exit: 94 ret void 95} 96 97declare {i32, i1} @llvm.usub.with.overflow.i32(i32, i32) nounwind readnone 98 99