forked from OSchip/llvm-project
[clang][dataflow] ArrayRef'ize debugString()
Reviewed By: ymandel Differential Revision: https://reviews.llvm.org/D130400
This commit is contained in:
parent
c18304e600
commit
589ddd7fe8
|
@ -46,7 +46,7 @@ std::string debugString(
|
||||||
///
|
///
|
||||||
/// Names assigned to atoms should not be repeated in `AtomNames`.
|
/// Names assigned to atoms should not be repeated in `AtomNames`.
|
||||||
std::string debugString(
|
std::string debugString(
|
||||||
const std::vector<BoolValue *> &Constraints, const Solver::Result &Result,
|
ArrayRef<BoolValue *> Constraints, const Solver::Result &Result,
|
||||||
llvm::DenseMap<const AtomicBoolValue *, std::string> AtomNames = {{}});
|
llvm::DenseMap<const AtomicBoolValue *, std::string> AtomNames = {{}});
|
||||||
inline std::string debugString(
|
inline std::string debugString(
|
||||||
const llvm::DenseSet<BoolValue *> &Constraints,
|
const llvm::DenseSet<BoolValue *> &Constraints,
|
||||||
|
|
|
@ -82,7 +82,7 @@ public:
|
||||||
|
|
||||||
/// Returns a string representation of a set of boolean `Constraints` and the
|
/// Returns a string representation of a set of boolean `Constraints` and the
|
||||||
/// `Result` of satisfiability checking on the `Constraints`.
|
/// `Result` of satisfiability checking on the `Constraints`.
|
||||||
std::string debugString(const std::vector<BoolValue *> &Constraints,
|
std::string debugString(ArrayRef<BoolValue *> &Constraints,
|
||||||
const Solver::Result &Result) {
|
const Solver::Result &Result) {
|
||||||
auto Template = R"(
|
auto Template = R"(
|
||||||
Constraints
|
Constraints
|
||||||
|
@ -185,8 +185,7 @@ debugString(const BoolValue &B,
|
||||||
}
|
}
|
||||||
|
|
||||||
std::string
|
std::string
|
||||||
debugString(const std::vector<BoolValue *> &Constraints,
|
debugString(ArrayRef<BoolValue *> Constraints, const Solver::Result &Result,
|
||||||
const Solver::Result &Result,
|
|
||||||
llvm::DenseMap<const AtomicBoolValue *, std::string> AtomNames) {
|
llvm::DenseMap<const AtomicBoolValue *, std::string> AtomNames) {
|
||||||
return DebugStringGenerator(std::move(AtomNames))
|
return DebugStringGenerator(std::move(AtomNames))
|
||||||
.debugString(Constraints, Result);
|
.debugString(Constraints, Result);
|
||||||
|
|
Loading…
Reference in New Issue