[Bug tree-optimization/93150] (A) == CST1 &( ((A)==CST2) | ((A)==CST3) ) is not simplified

2021-11-11 Thread navidrahimi at microsoft dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93150 --- Comment #4 from Navid Rahimi --- Although I wrote a small code to just test this optimization. But I am not able to verify this transformation [1]. https://alive2.llvm.org/ce/z/THP27D The code can be something like this but if I were able

[Bug tree-optimization/93150] (A) == CST1 &( ((A)==CST2) | ((A)==CST3) ) is not simplified

2021-11-11 Thread navidrahimi at microsoft dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93150 --- Comment #3 from Navid Rahimi --- Thanks Dávid, that does make sense. I forgot about constant elimination. I will send a patch for this.

[Bug tree-optimization/93150] (A) == CST1 &( ((A)==CST2) | ((A)==CST3) ) is not simplified

2021-11-11 Thread david.bolvansky at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93150 Dávid Bolvanský changed: What|Removed |Added CC||david.bolvansky at gmail dot com ---

[Bug tree-optimization/93150] (A) == CST1 &( ((A)==CST2) | ((A)==CST3) ) is not simplified

2021-11-10 Thread navidrahimi at microsoft dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93150 navidrahimi changed: What|Removed |Added CC||navidrahimi at microsoft dot com ---