[Bug tree-optimization/91965] missing simplification for (C - a) << N

2021-08-10 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91965 Andrew Pinski changed: What|Removed |Added Severity|normal |enhancement Last reconfirmed|2019-10-0

[Bug tree-optimization/91965] missing simplification for (C - a) << N

2019-10-03 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91965 Richard Biener changed: What|Removed |Added Status|UNCONFIRMED |NEW Last reconfirmed|

[Bug tree-optimization/91965] missing simplification for (C - a) << N

2019-10-02 Thread amonakov at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91965 --- Comment #3 from Alexander Monakov --- (In reply to Marc Glisse from comment #2) > What exact transformation do you want? Canonicalize the constant C to > something like C % (1 << (bitsize - N))? I'm thinking (C << N) >>> N where '>>>' is sig

[Bug tree-optimization/91965] missing simplification for (C - a) << N

2019-10-02 Thread glisse at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91965 --- Comment #2 from Marc Glisse --- (In reply to Alexander Monakov from comment #0) > Do we want to handle this early on via match.pd? Perhaps also applies to > simplifying (a +- C) << N. What exact transformation do you want? Canonicalize the c

[Bug tree-optimization/91965] missing simplification for (C - a) << N

2019-10-02 Thread amonakov at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91965 --- Comment #1 from Alexander Monakov --- On a related thought, I wonder if we can canonicalize (x << CST) to (x * CST') where CST' is 1<