sem [ ldfsr ldxfsr ] {
set_op(new_inst,Op,3 ,1);
Rx_src(new_inst,rs1); set_src2(new_inst,i,rs2,simm13) ;
new_inst.destq?push_back(rmap_dest(12 ,0));
new_inst.align = align?cvt(uchar);
is_trap = true;
} where Op in [ 172 173 ],
align in [ 2 3 ];