52 lines · plain
1; Test floating-point negation on z14.2;3; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z14 | FileCheck %s4 5; Test f16.6define half @f0(half %f) {7; CHECK-LABEL: f0:8; CHECK: # %bb.0:9; CHECK-NEXT: lcdfr %f0, %f010; CHECK-NEXT: br %r1411 %res = fneg half %f12 ret half %res13}14 15; Test f32.16define float @f1(float %f) {17; CHECK-LABEL: f1:18; CHECK: lcdfr %f0, %f019; CHECK: br %r1420 %res = fneg float %f21 ret float %res22}23 24; Test f64.25define double @f2(double %f) {26; CHECK-LABEL: f2:27; CHECK: lcdfr %f0, %f028; CHECK: br %r1429 %res = fneg double %f30 ret double %res31}32 33; Test f128. With the loads and stores, a pure negation would probably34; be better implemented using an XI on the upper byte. Do some extra35; processing so that using FPRs is unequivocally better.36define void @f3(ptr %ptr, ptr %ptr2) {37; CHECK-LABEL: f3:38; CHECK-DAG: vl [[REG1:%v[0-9]+]], 0(%r2)39; CHECK-DAG: vl [[REG2:%v[0-9]+]], 0(%r3)40; CHECK-DAG: wflcxb [[NEGREG1:%v[0-9]+]], [[REG1]]41; CHECK: wfdxb [[RES:%v[0-9]+]], [[NEGREG1]], [[REG2]]42; CHECK: vst [[RES]], 0(%r2)43; CHECK: br %r1444 %orig = load fp128, ptr %ptr45 %negzero = fpext float -0.0 to fp12846 %neg = fneg fp128 %orig47 %op2 = load fp128, ptr %ptr248 %res = fdiv fp128 %neg, %op249 store fp128 %res, ptr %ptr50 ret void51}52