https://gcc.gnu.org/bugzilla/show_bug.cgi?id=127110
Bug ID: 127110
Summary: unsigned 64xunsigned 64 multiply (or 128x128) can be
expanded inline
Product: gcc
Version: 17.0
Status: UNCONFIRMED
Keywords: missed-optimization
Severity: enhancement
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: pinskia at gcc dot gnu.org
Target Milestone: ---
Created attachment 65435
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=65435&action=edit
testcase
The widenning_multiply pass now has the ability to expand a widdening multiply
into pieces. The same logic could be used for _BitInt in some cases.
This will allow the forwprop pass to use _BitInt for the bigger sizes just fine
without worrying about code quality.