Pass the value to be pushed to x87_create_fpush().
[libfirm] / include /
drwxr-xr-x   ..
drwxr-xr-x - libfirm