55 lines · plain
1; Test 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: lpdfr %f0, %f011; CHECK-NEXT: br %r1412 %res = call half @llvm.fabs.f16(half %f)13 ret half %res14}15 16; Test f32.17declare float @llvm.fabs.f32(float %f)18define float @f1(float %f) {19; CHECK-LABEL: f1:20; CHECK: lpdfr %f0, %f021; CHECK: br %r1422 %res = call float @llvm.fabs.f32(float %f)23 ret float %res24}25 26; Test f64.27declare double @llvm.fabs.f64(double %f)28define double @f2(double %f) {29; CHECK-LABEL: f2:30; CHECK: lpdfr %f0, %f031; CHECK: br %r1432 %res = call double @llvm.fabs.f64(double %f)33 ret double %res34}35 36; Test f128. With the loads and stores, a pure absolute would probably37; be better implemented using an NI on the upper byte. Do some extra38; processing so that using FPRs is unequivocally better.39declare fp128 @llvm.fabs.f128(fp128 %f)40define void @f3(ptr %ptr, ptr %ptr2) {41; CHECK-LABEL: f3:42; CHECK-DAG: vl [[REG1:%v[0-9]+]], 0(%r2)43; CHECK-DAG: vl [[REG2:%v[0-9]+]], 0(%r3)44; CHECK-DAG: wflpxb [[POSREG1:%v[0-9]+]], [[REG1]]45; CHECK: wfdxb [[RES:%v[0-9]+]], [[POSREG1]], [[REG2]]46; CHECK: vst [[RES]], 0(%r2)47; CHECK: br %r1448 %orig = load fp128, ptr %ptr49 %abs = call fp128 @llvm.fabs.f128(fp128 %orig)50 %op2 = load fp128, ptr %ptr251 %res = fdiv fp128 %abs, %op252 store fp128 %res, ptr %ptr53 ret void54}55