diff options
| author | Ted Kremenek <kremenek@apple.com> | 2008-12-03 19:06:30 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2008-12-03 19:06:30 +0000 |
| commit | fff9f4aaafd2735e96f76148caa337c6a8ac73de (patch) | |
| tree | 5a22ea57646d930c978062c87b6f2c0ec339c4eb /llvm/lib/Transforms/Utils/BasicBlockUtils.cpp | |
| parent | f935cfe277fbf839ba149b45b6d27418a8e16a8c (diff) | |
| download | llvm-fff9f4aaafd2735e96f76148caa337c6a8ac73de.zip llvm-fff9f4aaafd2735e96f76148caa337c6a8ac73de.tar.gz llvm-fff9f4aaafd2735e96f76148caa337c6a8ac73de.tar.bz2 | |
BasicConstraintManager:
- Fix nonsensical logic in AssumeSymGE. When comparing 'sym >= constant' and the
constant is the maximum integer value, add the constraint that 'sym ==
constant' when the path is deemed feasible. All other cases are feasible.
- Improve AssumeSymGT. When comparing 'sym > constant' and constant is the
maximum integer value we know the path is infeasible.
- Add test case for this enhancement to AssumeSymGT.
llvm-svn: 60490
Diffstat (limited to 'llvm/lib/Transforms/Utils/BasicBlockUtils.cpp')
0 files changed, 0 insertions, 0 deletions