| commit | 71638f00b5c79128a1dfda27b86b49b778cf8484 | [log] [tgz] |
|---|---|---|
| author | Sanjoy Das <sanjoy@playingwithpointers.com> | Thu Mar 03 18:31:29 2016 +0000 |
| committer | Sanjoy Das <sanjoy@playingwithpointers.com> | Thu Mar 03 18:31:29 2016 +0000 |
| tree | 04391511c749a992a9a6eaa52c8088b49364da11 | |
| parent | b35a8d0d8417a6f01623939ef659686e719f4c1b [diff] |
[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. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@262639 91177308-0d34-0410-b5e6-96231b3b80d8