sem [ stfsr stxfsr ] { m(Rx(rs1) + get_src2(i,rs2,simm13) , r()); }
where r in [ get_FSR4 get_FSR8 ], m in [ M4 M8 ];