mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
1d961ba22d
Although I don't plan to bring over new assertions wholesale into the current qualification branch, it's entirely possible that various minor changes in main will use the new assertions; having this basic support in the release branch will simplify that. (This is why I'm adding the includes as a separate pass from rewriting the individual assertions)
91 lines
2.8 KiB
C++
91 lines
2.8 KiB
C++
//===--- DebugUtils.cpp ---------------------------------------------------===//
|
|
//
|
|
// This source file is part of the Swift.org open source project
|
|
//
|
|
// Copyright (c) 2014 - 2018 Apple Inc. and the Swift project authors
|
|
// Licensed under Apache License v2.0 with Runtime Library Exception
|
|
//
|
|
// See https://swift.org/LICENSE.txt for license information
|
|
// See https://swift.org/CONTRIBUTORS.txt for the list of Swift project authors
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#include "swift/SIL/DebugUtils.h"
|
|
#include "swift/Basic/Assertions.h"
|
|
#include "swift/Basic/STLExtras.h"
|
|
#include "swift/SIL/SILArgument.h"
|
|
#include "swift/SIL/SILInstruction.h"
|
|
#include "llvm/ADT/PointerIntPair.h"
|
|
#include "llvm/ADT/SmallPtrSet.h"
|
|
|
|
using namespace swift;
|
|
|
|
bool swift::hasNonTrivialNonDebugTransitiveUsers(
|
|
PointerUnion<SILInstruction *, SILArgument *> V) {
|
|
llvm::SmallVector<SILInstruction *, 8> Worklist;
|
|
llvm::SmallPtrSet<SILInstruction *, 8> SeenInsts;
|
|
|
|
// Initialize our worklist.
|
|
if (auto *A = V.dyn_cast<SILArgument *>()) {
|
|
for (Operand *Op : getNonDebugUses(SILValue(A))) {
|
|
auto *User = Op->getUser();
|
|
if (!SeenInsts.insert(User).second)
|
|
continue;
|
|
Worklist.push_back(User);
|
|
}
|
|
} else {
|
|
auto *I = V.get<SILInstruction *>();
|
|
SeenInsts.insert(I);
|
|
Worklist.push_back(I);
|
|
}
|
|
|
|
while (!Worklist.empty()) {
|
|
SILInstruction *U = Worklist.pop_back_val();
|
|
assert(SeenInsts.count(U) &&
|
|
"Worklist should only contain seen instructions?!");
|
|
|
|
// If U is a terminator inst, return false.
|
|
if (isa<TermInst>(U))
|
|
return true;
|
|
|
|
// If U has side effects...
|
|
if (U->mayHaveSideEffects())
|
|
return true;
|
|
|
|
// Otherwise add all non-debug uses of I that we have not seen yet to the
|
|
// worklist.
|
|
for (SILValue Result : U->getResults()) {
|
|
for (Operand *I : getNonDebugUses(Result)) {
|
|
auto *User = I->getUser();
|
|
if (!SeenInsts.insert(User).second)
|
|
continue;
|
|
Worklist.push_back(User);
|
|
}
|
|
}
|
|
}
|
|
return false;
|
|
}
|
|
|
|
DebugVarCarryingInst DebugVarCarryingInst::getFromValue(SILValue value) {
|
|
if (auto *svi = dyn_cast<SingleValueInstruction>(value)) {
|
|
if (auto result = VarDeclCarryingInst(svi)) {
|
|
switch (result.getKind()) {
|
|
case VarDeclCarryingInst::Kind::Invalid:
|
|
llvm_unreachable("ShouldKind have never seen this");
|
|
case VarDeclCarryingInst::Kind::DebugValue:
|
|
case VarDeclCarryingInst::Kind::AllocStack:
|
|
case VarDeclCarryingInst::Kind::AllocBox:
|
|
return DebugVarCarryingInst(svi);
|
|
case VarDeclCarryingInst::Kind::GlobalAddr:
|
|
case VarDeclCarryingInst::Kind::RefElementAddr:
|
|
return DebugVarCarryingInst();
|
|
}
|
|
}
|
|
}
|
|
|
|
if (auto *use = getSingleDebugUse(value))
|
|
return DebugVarCarryingInst(use->getUser());
|
|
|
|
return DebugVarCarryingInst();
|
|
}
|