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