Get rid of x87_push_dbl() by passing an usable register to x87_create_fpush().
[libfirm] / win32 / strings.h
2011-04-15 Matthias Braunassume we always have strings.h