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