| Issue | 98927 |
|---|---|
| Summary | Freeze needed for lshr(mul (X, 2^C + 1), C) -> add (X, lshr (X, C)) |
| Labels | new issue |
| Assignees | |
| Reporter | AtariDreams |
Alive2 missed the partial undef._Originally posted by @AtariDreams in https://github.com/llvm/llvm-project/pull/96324_
_______________________________________________ llvm-bugs mailing list llvm-bugs@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
