59 lines · plain
1; Test negated floating-point absolute on z14.2;3; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z14 | FileCheck %s4 5; Test f16.6declare half @llvm.fabs.f16(half %f)7define half @f0(half %f) {8; CHECK-LABEL: f0:9; CHECK: # %bb.0:10; CHECK-NEXT: lndfr %f0, %f011; CHECK-NEXT: br %r1412 %abs = call half @llvm.fabs.f16(half %f)13 %res = fneg half %abs14 ret half %res15}16 17; Test f32.18declare float @llvm.fabs.f32(float %f)19define float @f1(float %f) {20; CHECK-LABEL: f1:21; CHECK: lndfr %f0, %f022; CHECK: br %r1423 %abs = call float @llvm.fabs.f32(float %f)24 %res = fneg float %abs25 ret float %res26}27 28; Test f64.29declare double @llvm.fabs.f64(double %f)30define double @f2(double %f) {31; CHECK-LABEL: f2:32; CHECK: lndfr %f0, %f033; CHECK: br %r1434 %abs = call double @llvm.fabs.f64(double %f)35 %res = fneg double %abs36 ret double %res37}38 39; Test f128. With the loads and stores, a pure negative-absolute would40; probably be better implemented using an OI on the upper byte. Do some41; extra processing so that using FPRs is unequivocally better.42declare fp128 @llvm.fabs.f128(fp128 %f)43define void @f3(ptr %ptr, ptr %ptr2) {44; CHECK-LABEL: f3:45; CHECK-DAG: vl [[REG1:%v[0-9]+]], 0(%r2)46; CHECK-DAG: vl [[REG2:%v[0-9]+]], 0(%r3)47; CHECK-DAG: wflnxb [[NEGREG1:%v[0-9]+]], [[REG1]]48; CHECK: wfdxb [[RES:%v[0-9]+]], [[NEGREG1]], [[REG2]]49; CHECK: vst [[RES]], 0(%r2)50; CHECK: br %r1451 %orig = load fp128, ptr %ptr52 %abs = call fp128 @llvm.fabs.f128(fp128 %orig)53 %negabs = fneg fp128 %abs54 %op2 = load fp128, ptr %ptr255 %res = fdiv fp128 %negabs, %op256 store fp128 %res, ptr %ptr57 ret void58}59