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