| Issue |
137161
|
| Summary |
Fold `(or disjoint (select C, X, 0), Y)` -> `(select C, X, Y)`
|
| Labels |
new issue
|
| Assignees |
|
| Reporter |
s-barannikov
|
https://gcc.godbolt.org/z/9vG3fEv8M
In this example (taken from compiler-rt), `select` could be folded with `or`: https://alive2.llvm.org/ce/z/NqzEaM
The optimization doesn't seem to happen even if `or` is `disjoint` (has it been lost along the way or never inferred?).
![]()
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
