[Bug tree-optimization/116133] Missing mult_overflow detection for aarch64

2024-07-29 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116133 --- Comment #6 from Andrew Pinski --- I should note that LLVM converts it always to __builtin_mult_overflow as far as I can tell. Even on targets like avr.

[Bug tree-optimization/116133] Missing mult_overflow detection for aarch64

2024-07-29 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116133 --- Comment #5 from Andrew Pinski --- Actually I am trying to understand the original reason for the extra checks that was added in r14-992 when dealing with highpart: The reason for testing the presence of the optab handler is to make s

[Bug tree-optimization/116133] Missing mult_overflow detection for aarch64

2024-07-29 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116133 Andrew Pinski changed: What|Removed |Added Status|RESOLVED|ASSIGNED Resolution|INVALID

[Bug tree-optimization/116133] Missing mult_overflow detection for aarch64

2024-07-29 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116133 Andrew Pinski changed: What|Removed |Added Resolution|--- |INVALID Status|ASSIGNED

[Bug tree-optimization/116133] Missing mult_overflow detection for aarch64

2024-07-29 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116133 --- Comment #2 from Andrew Pinski --- The check in internal-fn.cc is: if (GET_MODE_2XWIDER_MODE (mode).exists (&wmode) && targetm.scalar_mode_supported_p (wmode) && can_widen_mult_without_libcall (wmode, mode, op0, op1,

[Bug tree-optimization/116133] Missing mult_overflow detection for aarch64

2024-07-29 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116133 Andrew Pinski changed: What|Removed |Added Ever confirmed|0 |1 Status|UNCONFIRMED