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