| Issue | 98929 |
|---|---|
| Summary | No canonicalization for signed mul overflow |
| Labels | new issue |
| Assignees | |
| Reporter | AtariDreams |
Alive2 Proof:
https://alive2.llvm.org/ce/z/m-kd7-_Originally posted by @AtariDreams in https://github.com/llvm/llvm-project/pull/93370_
_______________________________________________ llvm-bugs mailing list llvm-bugs@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
