53 lines · plain
1; Test 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: lpdfr %f0, %f012; CHECK-NEXT: br %r1413 %res = call half @llvm.fabs.f16(half %f)14 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: lpdfr %f0, %f022; CHECK: br %r1423 %res = call float @llvm.fabs.f32(float %f)24 ret float %res25}26 27; Test f64.28declare double @llvm.fabs.f64(double %f)29define double @f2(double %f) {30; CHECK-LABEL: f2:31; CHECK: lpdfr %f0, %f032; CHECK: br %r1433 %res = call double @llvm.fabs.f64(double %f)34 ret double %res35}36 37; Test f128. With the loads and stores, a pure absolute would probably38; be better implemented using an NI on the upper byte. Do some extra39; processing so that using FPRs is unequivocally better.40declare fp128 @llvm.fabs.f128(fp128 %f)41define void @f3(ptr %ptr, ptr %ptr2) {42; CHECK-LABEL: f3:43; CHECK: lpxbr44; CHECK: dxbr45; CHECK: br %r1446 %orig = load fp128, ptr %ptr47 %abs = call fp128 @llvm.fabs.f128(fp128 %orig)48 %op2 = load fp128, ptr %ptr249 %res = fdiv fp128 %abs, %op250 store fp128 %res, ptr %ptr51 ret void52}53