134 lines · plain
1; Test 32-bit floating-point division.2;3; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z10 \4; RUN: | FileCheck -check-prefix=CHECK -check-prefix=CHECK-SCALAR %s5; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z14 | FileCheck %s6 7declare float @foo()8 9; Check register division.10define half @f0(half %f1, half %f2) {11; CHECK-LABEL: f0:12; CHECK: brasl %r14, __extendhfsf2@PLT13; CHECK: brasl %r14, __extendhfsf2@PLT14; CHECK: debr %f0, %f915; CHECK: brasl %r14, __truncsfhf2@PLT16; CHECK: br %r1417 %res = fdiv half %f1, %f218 ret half %res19}20 21; Check register division.22define float @f1(float %f1, float %f2) {23; CHECK-LABEL: f1:24; CHECK: debr %f0, %f225; CHECK: br %r1426 %res = fdiv float %f1, %f227 ret float %res28}29 30; Check the low end of the DEB range.31define float @f2(float %f1, ptr %ptr) {32; CHECK-LABEL: f2:33; CHECK: deb %f0, 0(%r2)34; CHECK: br %r1435 %f2 = load float, ptr %ptr36 %res = fdiv float %f1, %f237 ret float %res38}39 40; Check the high end of the aligned DEB range.41define float @f3(float %f1, ptr %base) {42; CHECK-LABEL: f3:43; CHECK: deb %f0, 4092(%r2)44; CHECK: br %r1445 %ptr = getelementptr float, ptr %base, i64 102346 %f2 = load float, ptr %ptr47 %res = fdiv float %f1, %f248 ret float %res49}50 51; Check the next word up, which needs separate address logic.52; Other sequences besides this one would be OK.53define float @f4(float %f1, ptr %base) {54; CHECK-LABEL: f4:55; CHECK: aghi %r2, 409656; CHECK: deb %f0, 0(%r2)57; CHECK: br %r1458 %ptr = getelementptr float, ptr %base, i64 102459 %f2 = load float, ptr %ptr60 %res = fdiv float %f1, %f261 ret float %res62}63 64; Check negative displacements, which also need separate address logic.65define float @f5(float %f1, ptr %base) {66; CHECK-LABEL: f5:67; CHECK: aghi %r2, -468; CHECK: deb %f0, 0(%r2)69; CHECK: br %r1470 %ptr = getelementptr float, ptr %base, i64 -171 %f2 = load float, ptr %ptr72 %res = fdiv float %f1, %f273 ret float %res74}75 76; Check that DEB allows indices.77define float @f6(float %f1, ptr %base, i64 %index) {78; CHECK-LABEL: f6:79; CHECK: sllg %r1, %r3, 280; CHECK: deb %f0, 400(%r1,%r2)81; CHECK: br %r1482 %ptr1 = getelementptr float, ptr %base, i64 %index83 %ptr2 = getelementptr float, ptr %ptr1, i64 10084 %f2 = load float, ptr %ptr285 %res = fdiv float %f1, %f286 ret float %res87}88 89; Check that divisions of spilled values can use DEB rather than DEBR.90define float @f7(ptr %ptr0) {91; CHECK-LABEL: f7:92; CHECK: brasl %r14, foo@PLT93; CHECK-SCALAR: deb %f0, 16{{[04]}}(%r15)94; CHECK: br %r1495 %ptr1 = getelementptr float, ptr %ptr0, i64 296 %ptr2 = getelementptr float, ptr %ptr0, i64 497 %ptr3 = getelementptr float, ptr %ptr0, i64 698 %ptr4 = getelementptr float, ptr %ptr0, i64 899 %ptr5 = getelementptr float, ptr %ptr0, i64 10100 %ptr6 = getelementptr float, ptr %ptr0, i64 12101 %ptr7 = getelementptr float, ptr %ptr0, i64 14102 %ptr8 = getelementptr float, ptr %ptr0, i64 16103 %ptr9 = getelementptr float, ptr %ptr0, i64 18104 %ptr10 = getelementptr float, ptr %ptr0, i64 20105 106 %val0 = load float, ptr %ptr0107 %val1 = load float, ptr %ptr1108 %val2 = load float, ptr %ptr2109 %val3 = load float, ptr %ptr3110 %val4 = load float, ptr %ptr4111 %val5 = load float, ptr %ptr5112 %val6 = load float, ptr %ptr6113 %val7 = load float, ptr %ptr7114 %val8 = load float, ptr %ptr8115 %val9 = load float, ptr %ptr9116 %val10 = load float, ptr %ptr10117 118 %ret = call float @foo()119 120 %div0 = fdiv float %ret, %val0121 %div1 = fdiv float %div0, %val1122 %div2 = fdiv float %div1, %val2123 %div3 = fdiv float %div2, %val3124 %div4 = fdiv float %div3, %val4125 %div5 = fdiv float %div4, %val5126 %div6 = fdiv float %div5, %val6127 %div7 = fdiv float %div6, %val7128 %div8 = fdiv float %div7, %val8129 %div9 = fdiv float %div8, %val9130 %div10 = fdiv float %div9, %val10131 132 ret float %div10133}134