diff options
| author | Tobias Grosser <grosser@fim.uni-passau.de> | 2011-11-02 21:40:08 +0000 |
|---|---|---|
| committer | Tobias Grosser <grosser@fim.uni-passau.de> | 2011-11-02 21:40:08 +0000 |
| commit | 3fb49922214008ce4b84d55999f6dd7273d4fb9c (patch) | |
| tree | f49759e9821fd6f973bb793013cfe3185a1d1831 /llvm/docs/HowToAddABuilder.html | |
| parent | 1179afafcabe01220f7b76a19d37f5a741d2fad3 (diff) | |
| download | bcm5719-llvm-3fb49922214008ce4b84d55999f6dd7273d4fb9c.tar.gz bcm5719-llvm-3fb49922214008ce4b84d55999f6dd7273d4fb9c.zip | |
ScopDetection: Add new SCEV Validator
The SCEV Validator is used to check if the bound of a loop can be translated
into a polyhedral constraint. The new validator is more general as the check
used previously and e.g. allows bounds like 'smax 1, %a'. At the moment, we
only allow signed comparisons. Also, the new validator is only used to verify
loop bounds. Memory accesses are still handled by the old validator.
llvm-svn: 143576
Diffstat (limited to 'llvm/docs/HowToAddABuilder.html')
0 files changed, 0 insertions, 0 deletions
