https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97387
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Ever confirmed|0 |1 Status|UNCONFIRMED |NEW Last reconfirmed| |2020-10-13 --- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> --- I guess the best way forward is to create sth like .ADD_OVERFLOW for add-with-carry and open-code those intrinsics in a form we can recognize. Obviously there seems to be pieces on RTL missing since the x86 builtin should better expand to (generic!) RTL that can be recognized by adc patterns.