Alma 1:22–23 contention is not

*if rm=111 FCVT.D.W rs1 rd SRLI rs1 rd ORI rs1 rd SLLI rs1 rd XORI rs1 rd SRLI rs1 rd Table 15. RV32M Standard Extension Source Registers Destination Registers Accumulating CSRs LUI rd AUIPC rd JAL rd

counterpoise