112 lines · plain
1; Test 64-bit floating-point loads.2;3; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z10 | FileCheck %s4; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z13 | FileCheck %s5 6; Test the low end of the LD range.7define double @f1(ptr %src) {8; CHECK-LABEL: f1:9; CHECK: ld %f0, 0(%r2)10; CHECK: br %r1411 %val = load double, ptr %src12 ret double %val13}14 15; Test the high end of the LD range.16define double @f2(ptr %src) {17; CHECK-LABEL: f2:18; CHECK: ld %f0, 4088(%r2)19; CHECK: br %r1420 %ptr = getelementptr double, ptr %src, i64 51121 %val = load double, ptr %ptr22 ret double %val23}24 25; Check the next doubleword up, which should use LDY instead of LD.26define double @f3(ptr %src) {27; CHECK-LABEL: f3:28; CHECK: ldy %f0, 4096(%r2)29; CHECK: br %r1430 %ptr = getelementptr double, ptr %src, i64 51231 %val = load double, ptr %ptr32 ret double %val33}34 35; Check the high end of the aligned LDY range.36define double @f4(ptr %src) {37; CHECK-LABEL: f4:38; CHECK: ldy %f0, 524280(%r2)39; CHECK: br %r1440 %ptr = getelementptr double, ptr %src, i64 6553541 %val = load double, ptr %ptr42 ret double %val43}44 45; Check the next doubleword up, which needs separate address logic.46; Other sequences besides this one would be OK.47define double @f5(ptr %src) {48; CHECK-LABEL: f5:49; CHECK: agfi %r2, 52428850; CHECK: ld %f0, 0(%r2)51; CHECK: br %r1452 %ptr = getelementptr double, ptr %src, i64 6553653 %val = load double, ptr %ptr54 ret double %val55}56 57; Check the high end of the negative aligned LDY range.58define double @f6(ptr %src) {59; CHECK-LABEL: f6:60; CHECK: ldy %f0, -8(%r2)61; CHECK: br %r1462 %ptr = getelementptr double, ptr %src, i64 -163 %val = load double, ptr %ptr64 ret double %val65}66 67; Check the low end of the LDY range.68define double @f7(ptr %src) {69; CHECK-LABEL: f7:70; CHECK: ldy %f0, -524288(%r2)71; CHECK: br %r1472 %ptr = getelementptr double, ptr %src, i64 -6553673 %val = load double, ptr %ptr74 ret double %val75}76 77; Check the next doubleword down, which needs separate address logic.78; Other sequences besides this one would be OK.79define double @f8(ptr %src) {80; CHECK-LABEL: f8:81; CHECK: agfi %r2, -52429682; CHECK: ld %f0, 0(%r2)83; CHECK: br %r1484 %ptr = getelementptr double, ptr %src, i64 -6553785 %val = load double, ptr %ptr86 ret double %val87}88 89; Check that LD allows an index.90define double @f9(i64 %src, i64 %index) {91; CHECK-LABEL: f9:92; CHECK: ld %f0, 4095({{%r3,%r2|%r2,%r3}})93; CHECK: br %r1494 %add1 = add i64 %src, %index95 %add2 = add i64 %add1, 409596 %ptr = inttoptr i64 %add2 to ptr97 %val = load double, ptr %ptr98 ret double %val99}100 101; Check that LDY allows an index.102define double @f10(i64 %src, i64 %index) {103; CHECK-LABEL: f10:104; CHECK: ldy %f0, 4096({{%r3,%r2|%r2,%r3}})105; CHECK: br %r14106 %add1 = add i64 %src, %index107 %add2 = add i64 %add1, 4096108 %ptr = inttoptr i64 %add2 to ptr109 %val = load double, ptr %ptr110 ret double %val111}112