Re:A bug story: data alignment in C on x86 (2016)
by pcwalton on Tuesday September 04, 2018 @02:25PM
(#17911513)
In Clang, you can get the adc instruction using __builtin_addcl (and similar), but the compiler isn't that great of making optimal use of it. A few minutes of playing around got me [1], which isn't very good code.
[1]: https://godbolt.org/z/hTzECo