1 ; Test 64-bit floating-point loads. 2 ; 3 ; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z10 | FileCheck %s 4 ; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z13 | FileCheck %s 5 6 ; Test the low end of the LD range. 7 define double @f1(double *%src) { 8 ; CHECK-LABEL: f1: 9 ; CHECK: ld %f0, 0(%r2) 10 ; CHECK: br %r14 11 %val = load double , double *%src 12 ret double %val 13 } 14 15 ; Test the high end of the LD range. 16 define double @f2(double *%src) { 17 ; CHECK-LABEL: f2: 18 ; CHECK: ld %f0, 4088(%r2) 19 ; CHECK: br %r14 20 %ptr = getelementptr double, double *%src, i64 511 21 %val = load double , double *%ptr 22 ret double %val 23 } 24 25 ; Check the next doubleword up, which should use LDY instead of LD. 26 define double @f3(double *%src) { 27 ; CHECK-LABEL: f3: 28 ; CHECK: ldy %f0, 4096(%r2) 29 ; CHECK: br %r14 30 %ptr = getelementptr double, double *%src, i64 512 31 %val = load double , double *%ptr 32 ret double %val 33 } 34 35 ; Check the high end of the aligned LDY range. 36 define double @f4(double *%src) { 37 ; CHECK-LABEL: f4: 38 ; CHECK: ldy %f0, 524280(%r2) 39 ; CHECK: br %r14 40 %ptr = getelementptr double, double *%src, i64 65535 41 %val = load double , double *%ptr 42 ret double %val 43 } 44 45 ; Check the next doubleword up, which needs separate address logic. 46 ; Other sequences besides this one would be OK. 47 define double @f5(double *%src) { 48 ; CHECK-LABEL: f5: 49 ; CHECK: agfi %r2, 524288 50 ; CHECK: ld %f0, 0(%r2) 51 ; CHECK: br %r14 52 %ptr = getelementptr double, double *%src, i64 65536 53 %val = load double , double *%ptr 54 ret double %val 55 } 56 57 ; Check the high end of the negative aligned LDY range. 58 define double @f6(double *%src) { 59 ; CHECK-LABEL: f6: 60 ; CHECK: ldy %f0, -8(%r2) 61 ; CHECK: br %r14 62 %ptr = getelementptr double, double *%src, i64 -1 63 %val = load double , double *%ptr 64 ret double %val 65 } 66 67 ; Check the low end of the LDY range. 68 define double @f7(double *%src) { 69 ; CHECK-LABEL: f7: 70 ; CHECK: ldy %f0, -524288(%r2) 71 ; CHECK: br %r14 72 %ptr = getelementptr double, double *%src, i64 -65536 73 %val = load double , double *%ptr 74 ret double %val 75 } 76 77 ; Check the next doubleword down, which needs separate address logic. 78 ; Other sequences besides this one would be OK. 79 define double @f8(double *%src) { 80 ; CHECK-LABEL: f8: 81 ; CHECK: agfi %r2, -524296 82 ; CHECK: ld %f0, 0(%r2) 83 ; CHECK: br %r14 84 %ptr = getelementptr double, double *%src, i64 -65537 85 %val = load double , double *%ptr 86 ret double %val 87 } 88 89 ; Check that LD allows an index. 90 define double @f9(i64 %src, i64 %index) { 91 ; CHECK-LABEL: f9: 92 ; CHECK: ld %f0, 4095({{%r3,%r2|%r2,%r3}}) 93 ; CHECK: br %r14 94 %add1 = add i64 %src, %index 95 %add2 = add i64 %add1, 4095 96 %ptr = inttoptr i64 %add2 to double * 97 %val = load double , double *%ptr 98 ret double %val 99 } 100 101 ; Check that LDY allows an index. 102 define double @f10(i64 %src, i64 %index) { 103 ; CHECK-LABEL: f10: 104 ; CHECK: ldy %f0, 4096({{%r3,%r2|%r2,%r3}}) 105 ; CHECK: br %r14 106 %add1 = add i64 %src, %index 107 %add2 = add i64 %add1, 4096 108 %ptr = inttoptr i64 %add2 to double * 109 %val = load double , double *%ptr 110 ret double %val 111 } 112
