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