diff options
| author | Philip Reames <listmail@philipreames.com> | 2014-10-30 20:25:19 +0000 |
|---|---|---|
| committer | Philip Reames <listmail@philipreames.com> | 2014-10-30 20:25:19 +0000 |
| commit | 4cb4d3e0480addb5fff0356afdb455add1c90066 (patch) | |
| tree | c185a67fe71ee64ffaf1102f87bd4a28af56c6af /llvm/tools/llvm-cov/llvm-cov.cpp | |
| parent | f9a94abd4e3eab4efc6f8479954b9eb885e850e7 (diff) | |
| download | bcm5719-llvm-4cb4d3e0480addb5fff0356afdb455add1c90066.tar.gz bcm5719-llvm-4cb4d3e0480addb5fff0356afdb455add1c90066.zip | |
Add handling for range metadata in ValueTracking isKnownNonZero
If we load from a location with range metadata, we can use information about the ranges of the loaded value for optimization purposes. This helps to remove redundant checks and canonicalize checks for other optimization passes. This particular patch checks whether a value is known to be non-zero from the range metadata.
Currently, these tests are against InstCombine. In theory, all of these should be InstSimplify since we're not inserting any new instructions. Moving the code may follow in a separate change.
Reviewed by: Hal
Differential Revision: http://reviews.llvm.org/D5947
llvm-svn: 220925
Diffstat (limited to 'llvm/tools/llvm-cov/llvm-cov.cpp')
0 files changed, 0 insertions, 0 deletions
