sem [ faddd fsubd fmuld fdivd ] { set_op(new_inst,Op,2 ,ft); F8_src(new_inst,rs1); F8_src(new_inst,rs2); F8_dest(new_inst,rd); } where Op in [ 134 136 158 160 ], ft in [ 1 1 5 23 ];