[Bug target/128553] SAT_MUL(a,2) vs SAT_ADD(a,a) code generation

[pinskia at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=128553

--- Comment #1 from Drea Pinski <pinskia at gcc dot gnu.org> ---
Note I was inspired by https://github.com/llvm/llvm-project/issues/240049 to
look into this.