50 lines · plain
1; Test floating-point negation.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.7define half @f0(half %f) {8; CHECK-LABEL: f0:9; CHECK: # %bb.0:10; CHECK-NEXT: lcdfr %f0, %f011; CHECK-NEXT: br %r1412 %res = fneg half %f13 ret half %res14}15 16; Test f32.17define float @f1(float %f) {18; CHECK-LABEL: f1:19; CHECK: lcdfr %f0, %f020; CHECK: br %r1421 %res = fneg float %f22 ret float %res23}24 25; Test f64.26define double @f2(double %f) {27; CHECK-LABEL: f2:28; CHECK: lcdfr %f0, %f029; CHECK: br %r1430 %res = fneg double %f31 ret double %res32}33 34; Test f128. With the loads and stores, a pure negation would probably35; be better implemented using an XI on the upper byte. Do some extra36; processing so that using FPRs is unequivocally better.37define void @f3(ptr %ptr, ptr %ptr2) {38; CHECK-LABEL: f3:39; CHECK: lcxbr40; CHECK: dxbr41; CHECK: br %r1442 %orig = load fp128, ptr %ptr43 %negzero = fpext float -0.0 to fp12844 %neg = fneg fp128 %orig45 %op2 = load fp128, ptr %ptr246 %res = fdiv fp128 %neg, %op247 store fp128 %res, ptr %ptr48 ret void49}50