1 ; Test negated floating-point absolute.
3 ; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s
6 declare float @llvm.fabs.f32(float %f)
7 define float @f1(float %f) {
9 ; CHECK: lnebr %f0, %f0
11 %abs = call float @llvm.fabs.f32(float %f)
12 %res = fsub float -0.0, %abs
17 declare double @llvm.fabs.f64(double %f)
18 define double @f2(double %f) {
20 ; CHECK: lndbr %f0, %f0
22 %abs = call double @llvm.fabs.f64(double %f)
23 %res = fsub double -0.0, %abs
27 ; Test f128. With the loads and stores, a pure negative-absolute would
28 ; probably be better implemented using an OI on the upper byte. Do some
29 ; extra processing so that using FPRs is unequivocally better.
30 declare fp128 @llvm.fabs.f128(fp128 %f)
31 define void @f3(fp128 *%ptr, fp128 *%ptr2) {
36 %orig = load fp128 , fp128 *%ptr
37 %abs = call fp128 @llvm.fabs.f128(fp128 %orig)
38 %negabs = fsub fp128 0xL00000000000000008000000000000000, %abs
39 %op2 = load fp128 , fp128 *%ptr2
40 %res = fdiv fp128 %negabs, %op2
41 store fp128 %res, fp128 *%ptr