Le 28/01/2014 13:00, Samuel Thibault a écrit : > Brice Goglin, le Tue 28 Jan 2014 12:46:24 +0100, a écrit : >> 42: xchg %ebx,%rbx >> >> I guess having both ebx and rbx on these lines isn't OK. On Linux, I get >> rsi instead of ebx, no problem. >> >> Samuel, any idea? > Mmm, IIRC, "unsigned long" on windows may not be 64bit but 32bit? > Perhaps we could rather include stdint.h and use uintptr_t or uint64_t > there (so any other unix with 32bit unsigned long is fixed), and in the > case of windows, include windows.h and use DWORDLONG. >
Indeed, hacking this manually makes configure happy and Win64 now reports CPUModel properly. I'll try to come with a clean patch. thanks Brice
