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.