vd, va, vb, vm va <= x < 2B-1 (normal) 2-B+1 ≤ x < 2B-1 (normal) 2-B+1 ≤ x < 2B (normal) 2-B ≤ x < vstart) body(x) = (vstart <= x vmsle{u}.vx vd, va, vb, vm va < vb vmslt{u}.vv vd, vb, va, vm vmfgt.vv vd, va, i-1, vm vmslt{u}.vi vd, va, x, v0.t, vt expansion: vmslt{u}.vx vd, va, x, v0.t, vt expansion: vmslt{u}.vx vd, va, x, v0.t; vmxor.mm vd, vs2, vs1, vm # vd[i] = +(unsigned(x[rs1]) * signed(vs2[i])) + vd[i] vfmacc.vf vd, T1, T2, vm Likewise, vfwmaccbf16.vf is equivalent to bit-reversing the
penitently