summaryrefslogtreecommitdiff
path: root/llvm/lib/Analysis/BasicAliasAnalysis.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'llvm/lib/Analysis/BasicAliasAnalysis.cpp')
-rw-r--r--llvm/lib/Analysis/BasicAliasAnalysis.cpp15
1 files changed, 9 insertions, 6 deletions
diff --git a/llvm/lib/Analysis/BasicAliasAnalysis.cpp b/llvm/lib/Analysis/BasicAliasAnalysis.cpp
index 86a2edbd8bd4..de37c391cf25 100644
--- a/llvm/lib/Analysis/BasicAliasAnalysis.cpp
+++ b/llvm/lib/Analysis/BasicAliasAnalysis.cpp
@@ -103,12 +103,15 @@ static std::optional<TypeSize> getObjectSize(const Value *V,
const TargetLibraryInfo &TLI,
bool NullIsValidLoc,
bool RoundToAlign = false) {
- uint64_t Size;
ObjectSizeOpts Opts;
Opts.RoundToAlign = RoundToAlign;
Opts.NullIsUnknownSize = NullIsValidLoc;
- if (getObjectSize(V, Size, DL, &TLI, Opts))
- return TypeSize::getFixed(Size);
+ if (std::optional<TypeSize> Size = getBaseObjectSize(V, DL, &TLI, Opts)) {
+ // FIXME: Remove this check, only exists to preserve previous behavior.
+ if (Size->isScalable())
+ return std::nullopt;
+ return Size;
+ }
return std::nullopt;
}
@@ -227,9 +230,9 @@ EarliestEscapeAnalysis::getCapturesBefore(const Value *Object,
auto Iter = EarliestEscapes.try_emplace(Object);
if (Iter.second) {
std::pair<Instruction *, CaptureComponents> EarliestCapture =
- FindEarliestCapture(
- Object, *const_cast<Function *>(DT.getRoot()->getParent()),
- /*ReturnCaptures=*/false, DT, CaptureComponents::Provenance);
+ FindEarliestCapture(Object, *DT.getRoot()->getParent(),
+ /*ReturnCaptures=*/false, DT,
+ CaptureComponents::Provenance);
if (EarliestCapture.first)
Inst2Obj[EarliestCapture.first].push_back(Object);
Iter.first->second = EarliestCapture;