diff options
Diffstat (limited to 'llvm/lib/Analysis/ValueTracking.cpp')
| -rw-r--r-- | llvm/lib/Analysis/ValueTracking.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/llvm/lib/Analysis/ValueTracking.cpp b/llvm/lib/Analysis/ValueTracking.cpp index c44ad00..4dd536e 100644 --- a/llvm/lib/Analysis/ValueTracking.cpp +++ b/llvm/lib/Analysis/ValueTracking.cpp @@ -4892,6 +4892,10 @@ static bool isGuaranteedNotToBeUndefOrPoison(const Value *V, return true; } + if (auto *I = dyn_cast<LoadInst>(V)) + if (I->getMetadata(LLVMContext::MD_noundef)) + return true; + if (programUndefinedIfUndefOrPoison(V, PoisonOnly)) return true; |