sem [ stf stdf stb sth stw stx std stfa stdfa stba stha stwa stxa stda ] { address = (Rx(rs1) + get_src2(i,rs2,simm13) )?cvt(ulong); m(address, r(rd,storeQ)); schedule(store); } 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 ];