1 %verify "executed" 2 /* EABI doesn't define a float remainder function, but libm does */ 3 %include "armv5te/binop2addr.S" {"instr":"bl fmodf"} 4