diff options
| author | Tyker <tyker1@outlook.com> | 2020-06-16 14:34:31 +0200 |
|---|---|---|
| committer | Tyker <tyker1@outlook.com> | 2020-06-16 14:34:55 +0200 |
| commit | d7deef12063419efea4acefaf668870216dab305 (patch) | |
| tree | e6d05e509343e808e3e4203d118ae5c11e715b9a /llvm/lib/IR/Value.cpp | |
| parent | 3961438c7844b116dad621d652995dd1244a17d3 (diff) | |
| download | llvm-d7deef12063419efea4acefaf668870216dab305.zip llvm-d7deef12063419efea4acefaf668870216dab305.tar.gz llvm-d7deef12063419efea4acefaf668870216dab305.tar.bz2 | |
Revert "[AssumeBundles] add cannonicalisation to the assume builder"
This reverts commit 90c50cad1983c5e29107a78382dead0fe2a9562c.
Diffstat (limited to 'llvm/lib/IR/Value.cpp')
| -rw-r--r-- | llvm/lib/IR/Value.cpp | 10 |
1 files changed, 3 insertions, 7 deletions
diff --git a/llvm/lib/IR/Value.cpp b/llvm/lib/IR/Value.cpp index 78c12f4..70d4012 100644 --- a/llvm/lib/IR/Value.cpp +++ b/llvm/lib/IR/Value.cpp @@ -516,9 +516,7 @@ enum PointerStripKind { }; template <PointerStripKind StripKind> -static const Value *stripPointerCastsAndOffsets( - const Value *V, - function_ref<void(const Value *)> Func = [](const Value *) {}) { +static const Value *stripPointerCastsAndOffsets(const Value *V) { if (!V->getType()->isPointerTy()) return V; @@ -528,7 +526,6 @@ static const Value *stripPointerCastsAndOffsets( Visited.insert(V); do { - Func(V); if (auto *GEP = dyn_cast<GEPOperator>(V)) { switch (StripKind) { case PSK_ZeroIndices: @@ -670,9 +667,8 @@ const Value *Value::stripAndAccumulateConstantOffsets( return V; } -const Value * -Value::stripInBoundsOffsets(function_ref<void(const Value *)> Func) const { - return stripPointerCastsAndOffsets<PSK_InBounds>(this, Func); +const Value *Value::stripInBoundsOffsets() const { + return stripPointerCastsAndOffsets<PSK_InBounds>(this); } uint64_t Value::getPointerDereferenceableBytes(const DataLayout &DL, |