diff options
| author | Sanjoy Das <sanjoy@playingwithpointers.com> | 2015-03-17 00:42:13 +0000 |
|---|---|---|
| committer | Sanjoy Das <sanjoy@playingwithpointers.com> | 2015-03-17 00:42:13 +0000 |
| commit | e2cde6f195914c19f2c1e1e8c6d34a539c95c7f7 (patch) | |
| tree | 8dd081844f8f33a8bdeac8ffe3dd726a85626c2a /lldb/scripts/Python/interface/SBModuleSpec.i | |
| parent | d0a6243529c23e79c3d9a033cf977c0f7df43ead (diff) | |
| download | bcm5719-llvm-e2cde6f195914c19f2c1e1e8c6d34a539c95c7f7.tar.gz bcm5719-llvm-e2cde6f195914c19f2c1e1e8c6d34a539c95c7f7.zip | |
[IRCE] Support half-range checks.
This change to IRCE gets it to recognize "half" range checks. Half
range checks are range checks that only either check if the index is
`slt` some positive integer ("length") or if the index is `sge` `0`.
The range solver does not try to be clever / aggressive about solving
half-range checks -- it transforms "I < L" to "0 <= I < L" and "0 <= I"
to "0 <= I < INT_SMAX". This is safe, but not always optimal.
llvm-svn: 232444
Diffstat (limited to 'lldb/scripts/Python/interface/SBModuleSpec.i')
0 files changed, 0 insertions, 0 deletions
