57 lines · plain
1; Test negated floating-point absolute.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 f16.7declare half @llvm.fabs.f16(half %f)8define half @f0(half %f) {9; CHECK-LABEL: f0:10; CHECK: # %bb.0:11; CHECK-NEXT: lndfr %f0, %f012; CHECK-NEXT: br %r1413 %abs = call half @llvm.fabs.f16(half %f)14 %res = fneg half %abs15 ret half %res16}17 18; Test f32.19declare float @llvm.fabs.f32(float %f)20define float @f1(float %f) {21; CHECK-LABEL: f1:22; CHECK: lndfr %f0, %f023; CHECK: br %r1424 %abs = call float @llvm.fabs.f32(float %f)25 %res = fneg float %abs26 ret float %res27}28 29; Test f64.30declare double @llvm.fabs.f64(double %f)31define double @f2(double %f) {32; CHECK-LABEL: f2:33; CHECK: lndfr %f0, %f034; CHECK: br %r1435 %abs = call double @llvm.fabs.f64(double %f)36 %res = fneg double %abs37 ret double %res38}39 40; Test f128. With the loads and stores, a pure negative-absolute would41; probably be better implemented using an OI on the upper byte. Do some42; extra processing so that using FPRs is unequivocally better.43declare fp128 @llvm.fabs.f128(fp128 %f)44define void @f3(ptr %ptr, ptr %ptr2) {45; CHECK-LABEL: f3:46; CHECK: lnxbr47; CHECK: dxbr48; CHECK: br %r1449 %orig = load fp128, ptr %ptr50 %abs = call fp128 @llvm.fabs.f128(fp128 %orig)51 %negabs = fneg fp128 %abs52 %op2 = load fp128, ptr %ptr253 %res = fdiv fp128 %negabs, %op254 store fp128 %res, ptr %ptr55 ret void56}57