sem [ stf stdf stb sth stw stx std stfa stdfa stba stha stwa stxa stda ] { m(Rx(rs1) + get_src2(i,rs2,simm13) , r(rd)); } where r in [ F4 F8 Rx Rx Rx Rx R8 F4 F8 Rx Rx Rx Rx R8 ], m in [ M4 M8 M1 M2 M4 M8 M8 M4 M8 M1 M2 M4 M8 M8 ];