http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51258
--- Comment #12 from ro at CeBiTec dot Uni-Bielefeld.DE <ro at CeBiTec dot
Uni-Bielefeld.DE> 2011-11-25 16:35:43 UTC ---
> --- Comment #11 from Uros Bizjak <ubizjak at gmail dot com> 2011-11-25
> 16:26:41 UTC ---
> I have additional patch that checks cpuid bit_CMPXCHG16B (and bit_CMPXCHG8B
> fwiw) for runtime support.
Thanks for the heads up. I've already committed my patch and meant to
work on this part over the weekend.
Rainer
