sem [ fcmps fcmpes ] { set_op(new_inst,Op,2 ,1); F4_src(new_inst,rs1); F4_src(new_inst,rs2); new_inst.destq?push_back(rmap_dest(10 ,cond)); } where Op in [ 137 139 ];