added used_x87 flag, so the x87 simulator runs only if fp
drwxr-xr-x - ir