100 lines · plain
1; Test strict extensions of f64 to f128.2;3; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s4 5declare fp128 @llvm.experimental.constrained.fpext.f128.f64(double, metadata)6 7; Check register extension.8define void @f1(ptr %dst, double %val) #0 {9; CHECK-LABEL: f1:10; CHECK: lxdbr %f0, %f011; CHECK: std %f0, 0(%r2)12; CHECK: std %f2, 8(%r2)13; CHECK: br %r1414 %res = call fp128 @llvm.experimental.constrained.fpext.f128.f64(double %val,15 metadata !"fpexcept.strict") #016 store fp128 %res, ptr %dst17 ret void18}19 20; Check the low end of the LXDB range.21define void @f2(ptr %dst, ptr %ptr) #0 {22; CHECK-LABEL: f2:23; CHECK: lxdb %f0, 0(%r3)24; CHECK: std %f0, 0(%r2)25; CHECK: std %f2, 8(%r2)26; CHECK: br %r1427 %val = load double, ptr %ptr28 %res = call fp128 @llvm.experimental.constrained.fpext.f128.f64(double %val,29 metadata !"fpexcept.strict") #030 store fp128 %res, ptr %dst31 ret void32}33 34; Check the high end of the aligned LXDB range.35define void @f3(ptr %dst, ptr %base) #0 {36; CHECK-LABEL: f3:37; CHECK: lxdb %f0, 4088(%r3)38; CHECK: std %f0, 0(%r2)39; CHECK: std %f2, 8(%r2)40; CHECK: br %r1441 %ptr = getelementptr double, ptr %base, i64 51142 %val = load double, ptr %ptr43 %res = call fp128 @llvm.experimental.constrained.fpext.f128.f64(double %val,44 metadata !"fpexcept.strict") #045 store fp128 %res, ptr %dst46 ret void47}48 49; Check the next doubleword up, which needs separate address logic.50; Other sequences besides this one would be OK.51define void @f4(ptr %dst, ptr %base) #0 {52; CHECK-LABEL: f4:53; CHECK: aghi %r3, 409654; CHECK: lxdb %f0, 0(%r3)55; CHECK: std %f0, 0(%r2)56; CHECK: std %f2, 8(%r2)57; CHECK: br %r1458 %ptr = getelementptr double, ptr %base, i64 51259 %val = load double, ptr %ptr60 %res = call fp128 @llvm.experimental.constrained.fpext.f128.f64(double %val,61 metadata !"fpexcept.strict") #062 store fp128 %res, ptr %dst63 ret void64}65 66; Check negative displacements, which also need separate address logic.67define void @f5(ptr %dst, ptr %base) #0 {68; CHECK-LABEL: f5:69; CHECK: aghi %r3, -870; CHECK: lxdb %f0, 0(%r3)71; CHECK: std %f0, 0(%r2)72; CHECK: std %f2, 8(%r2)73; CHECK: br %r1474 %ptr = getelementptr double, ptr %base, i64 -175 %val = load double, ptr %ptr76 %res = call fp128 @llvm.experimental.constrained.fpext.f128.f64(double %val,77 metadata !"fpexcept.strict") #078 store fp128 %res, ptr %dst79 ret void80}81 82; Check that LXDB allows indices.83define void @f6(ptr %dst, ptr %base, i64 %index) #0 {84; CHECK-LABEL: f6:85; CHECK: sllg %r1, %r4, 386; CHECK: lxdb %f0, 800(%r1,%r3)87; CHECK: std %f0, 0(%r2)88; CHECK: std %f2, 8(%r2)89; CHECK: br %r1490 %ptr1 = getelementptr double, ptr %base, i64 %index91 %ptr2 = getelementptr double, ptr %ptr1, i64 10092 %val = load double, ptr %ptr293 %res = call fp128 @llvm.experimental.constrained.fpext.f128.f64(double %val,94 metadata !"fpexcept.strict") #095 store fp128 %res, ptr %dst96 ret void97}98 99attributes #0 = { strictfp }100