https://gcc.gnu.org/bugzilla/show_bug.cgi?id=127073
Robin Dapp <rdapp at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |missed-optimization
Target| |riscv
Component|target |middle-end
Last reconfirmed| |2026-08-25
CC| |rdapp at gcc dot gnu.org
Ever confirmed|0 |1
Status|UNCONFIRMED |NEW
--- Comment #1 from Robin Dapp <rdapp at gcc dot gnu.org> ---
But or and xor seem to work? And the assumption/unreachable doesn't change
things as or/xor don't overflow anyway?
Does llvm optimize the add case? This looks not like a target issue but rather
like middle-end, vrp, ranger, possibly dom?