sem [ fdtox fxtod fmovd fnegd fabsd fsqrtd ] { set_op(new_inst,Op,2 ,1); F8_src(new_inst,rs2); F8_dest(new_inst,rd); } where Op in [ 142 147 152 154 156 163 ];