Sanjoy Das 724f5cf278 [SCEV] Prove no-overflow via constant ranges ...

Exploit ScalarEvolution::getRange's newly acquired smartness (since
r262438) by using that to infer nsw and nuw when possible.

llvm-svn: 262639

2016-03-03 18:31:29 +00:00

378 KiB

Raw Blame History

View Raw