Skip to content
Commit 724f5cf2 authored by Sanjoy Das's avatar Sanjoy Das
Browse files

[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
parent 11ef606f
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment