diff options
| author | Chad Rosier <mcrosier@codeaurora.org> | 2016-04-25 17:23:36 +0000 |
|---|---|---|
| committer | Chad Rosier <mcrosier@codeaurora.org> | 2016-04-25 17:23:36 +0000 |
| commit | e2cbd13e5634e16301cd9e4b88b5ea08accafe9f (patch) | |
| tree | 21cf5562f959fc1476cb2b129c884fb939e74267 /llvm/include | |
| parent | 8d728fccb8266004f23485a9b336825d2fa79fd8 (diff) | |
| download | bcm5719-llvm-e2cbd13e5634e16301cd9e4b88b5ea08accafe9f.tar.gz bcm5719-llvm-e2cbd13e5634e16301cd9e4b88b5ea08accafe9f.zip | |
[ValueTracking] Improve isImpliedCondition when the dominating cond is false.
llvm-svn: 267430
Diffstat (limited to 'llvm/include')
| -rw-r--r-- | llvm/include/llvm/Analysis/ValueTracking.h | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/llvm/include/llvm/Analysis/ValueTracking.h b/llvm/include/llvm/Analysis/ValueTracking.h index 6e58ee07998..76249b9634f 100644 --- a/llvm/include/llvm/Analysis/ValueTracking.h +++ b/llvm/include/llvm/Analysis/ValueTracking.h @@ -463,11 +463,10 @@ template <typename T> class ArrayRef; /// T | T | F /// F | T | T /// (A) - Optional<bool> isImpliedCondition(Value *LHS, Value *RHS, - const DataLayout &DL, unsigned Depth = 0, - AssumptionCache *AC = nullptr, - const Instruction *CxtI = nullptr, - const DominatorTree *DT = nullptr); + Optional<bool> isImpliedCondition( + Value *LHS, Value *RHS, const DataLayout &DL, bool InvertAPred = false, + unsigned Depth = 0, AssumptionCache *AC = nullptr, + const Instruction *CxtI = nullptr, const DominatorTree *DT = nullptr); } // end namespace llvm #endif |
