1 ; Test 64-bit floating-point stores. 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 STD range. 7 define void @f1(double *%src, double %val) { 8 ; CHECK-LABEL: f1: 9 ; CHECK: std %f0, 0(%r2) 10 ; CHECK: br %r14 11 store double %val, double *%src 12 ret void 13 } 14 15 ; Test the high end of the STD range. 16 define void @f2(double *%src, double %val) { 17 ; CHECK-LABEL: f2: 18 ; CHECK: std %f0, 4088(%r2) 19 ; CHECK: br %r14 20 %ptr = getelementptr double, double *%src, i64 511 21 store double %val, double *%ptr 22 ret void 23 } 24 25 ; Check the next doubleword up, which should use STDY instead of STD. 26 define void @f3(double *%src, double %val) { 27 ; CHECK-LABEL: f3: 28 ; CHECK: stdy %f0, 4096(%r2) 29 ; CHECK: br %r14 30 %ptr = getelementptr double, double *%src, i64 512 31 store double %val, double *%ptr 32 ret void 33 } 34 35 ; Check the high end of the aligned STDY range. 36 define void @f4(double *%src, double %val) { 37 ; CHECK-LABEL: f4: 38 ; CHECK: stdy %f0, 524280(%r2) 39 ; CHECK: br %r14 40 %ptr = getelementptr double, double *%src, i64 65535 41 store double %val, double *%ptr 42 ret void 43 } 44 45 ; Check the next doubleword up, which needs separate address logic. 46 ; Other sequences besides this one would be OK. 47 define void @f5(double *%src, double %val) { 48 ; CHECK-LABEL: f5: 49 ; CHECK: agfi %r2, 524288 50 ; CHECK: std %f0, 0(%r2) 51 ; CHECK: br %r14 52 %ptr = getelementptr double, double *%src, i64 65536 53 store double %val, double *%ptr 54 ret void 55 } 56 57 ; Check the high end of the negative aligned STDY range. 58 define void @f6(double *%src, double %val) { 59 ; CHECK-LABEL: f6: 60 ; CHECK: stdy %f0, -8(%r2) 61 ; CHECK: br %r14 62 %ptr = getelementptr double, double *%src, i64 -1 63 store double %val, double *%ptr 64 ret void 65 } 66 67 ; Check the low end of the STDY range. 68 define void @f7(double *%src, double %val) { 69 ; CHECK-LABEL: f7: 70 ; CHECK: stdy %f0, -524288(%r2) 71 ; CHECK: br %r14 72 %ptr = getelementptr double, double *%src, i64 -65536 73 store double %val, double *%ptr 74 ret void 75 } 76 77 ; Check the next doubleword down, which needs separate address logic. 78 ; Other sequences besides this one would be OK. 79 define void @f8(double *%src, double %val) { 80 ; CHECK-LABEL: f8: 81 ; CHECK: agfi %r2, -524296 82 ; CHECK: std %f0, 0(%r2) 83 ; CHECK: br %r14 84 %ptr = getelementptr double, double *%src, i64 -65537 85 store double %val, double *%ptr 86 ret void 87 } 88 89 ; Check that STD allows an index. 90 define void @f9(i64 %src, i64 %index, double %val) { 91 ; CHECK-LABEL: f9: 92 ; CHECK: std %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 store double %val, double *%ptr 98 ret void 99 } 100 101 ; Check that STDY allows an index. 102 define void @f10(i64 %src, i64 %index, double %val) { 103 ; CHECK-LABEL: f10: 104 ; CHECK: stdy %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 store double %val, double *%ptr 110 ret void 111 } 112
