https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118682
Bug ID: 118682 Summary: Improve make_extraction for multiplication by odd CONST_INTs Product: gcc Version: 15.0 Status: UNCONFIRMED Keywords: wrong-code Severity: normal Priority: P3 Component: rtl-optimization Assignee: unassigned at gcc dot gnu.org Reporter: jakub at gcc dot gnu.org CC: acoplan at gcc dot gnu.org, jakub at gcc dot gnu.org, law at gcc dot gnu.org, roger at nextmovesoftware dot com, rsandifo at gcc dot gnu.org, segher at gcc dot gnu.org, tnfchris at gcc dot gnu.org, uros at gcc dot gnu.org, yunboni at smail dot nju.edu.cn Depends on: 118638 Target Milestone: --- Target: x86_64 +++ This bug was initially created as a clone of Bug #118638 +++ As mentioned in https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118638#c16 for GCC 16 we should improve make_extraction for the case of multiplication by CONST_INT (1 << x) + 1 where x >= len. Referenced Bugs: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118638 [Bug 118638] [14 Regression] Miscompile with -Os and -O0/1/2/3 since r14-4810