%verify "executed"
%include "arm-vfp/funopWider.S" {"instr":"fcvtds  d0, s0"}