Get rid of x87_push_dbl() by passing an usable register to x87_create_fpush().
[libfirm] / support /
drwxr-xr-x   ..
drwxr-xr-x - libfirmprof
drwxr-xr-x - lpp_server