sem [ stfsr stxfsr ] { address = (Rx(rs1) + get_src2(i,rs2,simm13) )?cvt(ulong); m(address, r()); schedule(store); } where r in [ get_FSR4 get_FSR8 ], m in [ M4 M8 ];