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 ];