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