57 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 62; RUN: llc -mtriple=riscv64 -mattr=+d,+m < %s | FileCheck %s3 4; What the original PR (#169460) tried to solve can only be revealed when a specific5; set of FMA DAG combiner patterns were skipped due to hitting some recursion limits.6; And this test is written in a way to hit that limit.7 8define double @fnmadd_non_trivial(ptr %p0, ptr %p1, ptr %dst, double %mul425) {9; CHECK-LABEL: fnmadd_non_trivial:10; CHECK: # %bb.0:11; CHECK-NEXT: li a3, -204712; CHECK-NEXT: slli a3, a3, 5113; CHECK-NEXT: fmv.d.x fa5, a314; CHECK-NEXT: lui a3, 204915; CHECK-NEXT: slli a3, a3, 3916; CHECK-NEXT: fmv.d.x fa4, a317; CHECK-NEXT: lui a3, 820118; CHECK-NEXT: slli a3, a3, 3719; CHECK-NEXT: fmv.d.x fa3, a320; CHECK-NEXT: li a3, 102321; CHECK-NEXT: fmv.d.x fa2, zero22; CHECK-NEXT: slli a3, a3, 5223; CHECK-NEXT: fsub.d fa1, fa2, fa024; CHECK-NEXT: fmadd.d fa1, fa1, fa3, fa425; CHECK-NEXT: fmadd.d fa4, fa0, fa3, fa426; CHECK-NEXT: fmv.d.x fa3, a327; CHECK-NEXT: lui a3, %hi(.LCPI0_0)28; CHECK-NEXT: ld a3, %lo(.LCPI0_0)(a3)29; CHECK-NEXT: fmul.d fa5, fa0, fa530; CHECK-NEXT: fnmadd.d fa4, fa4, fa2, fa331; CHECK-NEXT: fnmadd.d fa3, fa1, fa2, fa332; CHECK-NEXT: sd a3, 0(a2)33; CHECK-NEXT: fsd fa5, 0(a0)34; CHECK-NEXT: fnmadd.d fa5, fa4, fa2, fa035; CHECK-NEXT: fnmadd.d fa0, fa0, fa2, fa336; CHECK-NEXT: fsd fa5, 0(a1)37; CHECK-NEXT: ret38 store double 0x3FEE666666666666, ptr %dst, align 839 %mul413 = fmul double %mul425, -3.000000e+0040 store double %mul413, ptr %p0, align 841 %mul428 = fmul contract double %mul425, 4.500000e+0042 %add429 = fadd nsz contract double %mul428, 3.000000e+0043 %mul430 = fmul contract double %add429, 0.000000e+0044 %sub432 = fadd nsz contract double %mul430, 1.000000e+0045 %mul433 = fmul contract double %sub432, 0.000000e+0046 %1 = fsub nsz contract double %mul433, %mul42547 store double %1, ptr %p1, align 848 %mul441 = fmul contract double %mul425, 0.000000e+0049 %add443 = fsub double 0.000000e+00, %mul42550 %mul446 = fmul contract double %add443, 4.500000e+0051 %add447 = fadd nsz contract double %mul446, 3.000000e+0052 %mul448 = fmul contract double %add447, 0.000000e+0053 %sub450 = fadd nsz contract double %mul448, 1.000000e+0054 %2 = fsub nsz contract double %sub450, %mul44155 ret double %256}57