Mismatch with ImperasDV for fmvp.d.x

Created by: coreyqh

In rv32gc, attempting a fmvp.d.x causes a mismatch with imperasDV

$  wsim rv32gc tests/rv32/ZfaD/WALLY-COV-fmvp.d.x.elf --fcov

# Info (IDV) ---------------------------------------------------
# Info (IDV) Instruction executed prior to mismatch '0x80000020(rvtest_entry_point+20): b3a009d3 fmvp.d.x f19,x0,x26'
# Error (IDV) FPR register value mismatch (HartId:0, PC:0x80000020 rvtest_entry_point+20):
# Error (IDV) Mismatch 0> FPR f19
# Error (IDV)   . dut:0x0000000000000000
# Error (IDV)   . ref:0x3b4c965900000000
# Error (IDV) testbench.idv_trace2api.state_compare @ 560: MISMATCH

...

# Info (IDV) ---------------------------------------------------
# Info (IDV) Instruction executed prior to mismatch '0x80000020(rvtest_entry_point+20): b2b08153 fmvp.d.x f2,x1,x11'
# Error (IDV) FPR register value mismatch (HartId:0, PC:0x80000020 rvtest_entry_point+20):
# Error (IDV) Mismatch 0> FPR f2
# Error (IDV)   . dut:0x41ad2e284c000000
# Error (IDV)   . ref:0xa563c1850e971426
# Error (IDV) testbench.idv_trace2api.state_compare @ 560: MISMATCH

The assembly file that caused the mismatch can be found here WALLY-COV-fmvp.d.x.S.tar.gz