[PATCH] D36656: [SCCP] Propagate integer range information in IPSCCP (WIP).

[Davide Italiano via Phabricator via llvm-commits]

davide added a comment.

Thanks for your work!
FWIW, I agree with Eli/Sanjoy that we shouldn't rely on assumptions.
Another comment that I have is: instead of using a single lattice for constants and ranges [and *], have you considered looking at something akin to what GCC does? https://github.com/gcc-mirror/gcc/blob/master/gcc/ipa-cp.c#L307
They have different lattices for constants/aggregates/bits/ranges. I find their code easier to read/reason about than LLVM's.


https://reviews.llvm.org/D36656