set the used_x87 flag when a virtual x87 instruction is emitted
drwxr-xr-x - ir