fmuls
Multiplying two f32s uses fmuls:
fmuls f1, f1, f2 # f1 = a * b
blr
Unlike integers, there's no multiply low/high split and no immediate form — floating-point multiply is one instruction. The trailing s tells you the operands and result are 32-bit single precision, not 64-bit double.
Your task
Write func_80031f6c to match the fmuls above.