diff options
| author | Sanjoy Das <sanjoy@playingwithpointers.com> | 2015-10-23 20:09:57 +0000 |
|---|---|---|
| committer | Sanjoy Das <sanjoy@playingwithpointers.com> | 2015-10-23 20:09:57 +0000 |
| commit | 52f7b08b4a421123fca59e1b5010ec82a406f870 (patch) | |
| tree | 84d06396f305f5d8dfbf5addceb361dccbda9001 /llvm/lib/Analysis/ScalarEvolution.cpp | |
| parent | 0a1bee8a80a1d11cc66790a50613f791b48269b0 (diff) | |
| download | bcm5719-llvm-52f7b08b4a421123fca59e1b5010ec82a406f870.tar.gz bcm5719-llvm-52f7b08b4a421123fca59e1b5010ec82a406f870.zip | |
[SCEV] Fix stylistic issue in MatchBinaryAddToConst; NFCI
Instead of checking `(FlagsPresent & ExpectedFlags) != 0`, check
`(FlagsPresent & ExpectedFlags) == ExpectedFlags`. Right now they're
equivalent since `ExpectedFlags` can only be either `FlagNUW` or
`FlagNSW`, but if we ever pass in `ExpectedFlags` as `FlagNUW | FlagNSW`
then checking `(FlagsPresent & ExpectedFlags) != 0` would be wrong.
llvm-svn: 251142
Diffstat (limited to 'llvm/lib/Analysis/ScalarEvolution.cpp')
| -rw-r--r-- | llvm/lib/Analysis/ScalarEvolution.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/llvm/lib/Analysis/ScalarEvolution.cpp b/llvm/lib/Analysis/ScalarEvolution.cpp index 1ea1876576f..ee08c810713 100644 --- a/llvm/lib/Analysis/ScalarEvolution.cpp +++ b/llvm/lib/Analysis/ScalarEvolution.cpp @@ -7191,7 +7191,7 @@ bool ScalarEvolution::isKnownPredicateViaNoOverflow(ICmpInst::Predicate Pred, return false; OutY = cast<SCEVConstant>(ConstOp)->getValue()->getValue(); - return (FlagsPresent & ExpectedFlags) != 0; + return (FlagsPresent & ExpectedFlags) == ExpectedFlags; }; APInt C; |
