diff options
| author | Adrian Prantl <aprantl@apple.com> | 2019-02-07 21:03:18 +0000 |
|---|---|---|
| committer | Adrian Prantl <aprantl@apple.com> | 2019-02-07 21:03:18 +0000 |
| commit | e794db8817c8789e7d6fb6d0d351e8bff991c48c (patch) | |
| tree | 0f8b41fe352d414539ca0b58b18a3facd5ae8366 | |
| parent | 9d7e86a9782a10170efb73483e7ffb8bd077386c (diff) | |
| download | bcm5719-llvm-e794db8817c8789e7d6fb6d0d351e8bff991c48c.tar.gz bcm5719-llvm-e794db8817c8789e7d6fb6d0d351e8bff991c48c.zip | |
Move SMTSolver dump() methods out-of-line.
This broke modularized non-local-submodule-visibility builds because
the function bodies pulled in extra dependencies.
llvm-svn: 353465
| -rw-r--r-- | llvm/include/llvm/Support/SMTAPI.h | 6 | ||||
| -rw-r--r-- | llvm/lib/Support/Z3Solver.cpp | 6 |
2 files changed, 9 insertions, 3 deletions
diff --git a/llvm/include/llvm/Support/SMTAPI.h b/llvm/include/llvm/Support/SMTAPI.h index 418c251d5ac..8891faa998e 100644 --- a/llvm/include/llvm/Support/SMTAPI.h +++ b/llvm/include/llvm/Support/SMTAPI.h @@ -70,7 +70,7 @@ public: virtual void print(raw_ostream &OS) const = 0; - LLVM_DUMP_METHOD void dump() const { print(llvm::errs()); } + LLVM_DUMP_METHOD void dump() const; protected: /// Query the SMT solver and returns true if two sorts are equal (same kind @@ -117,7 +117,7 @@ public: virtual void print(raw_ostream &OS) const = 0; - LLVM_DUMP_METHOD void dump() const { print(llvm::errs()); } + LLVM_DUMP_METHOD void dump() const; protected: /// Query the SMT solver and returns true if two sorts are equal (same kind @@ -138,7 +138,7 @@ public: SMTSolver() = default; virtual ~SMTSolver() = default; - LLVM_DUMP_METHOD void dump() const { print(llvm::errs()); } + LLVM_DUMP_METHOD void dump() const; // Returns an appropriate floating-point sort for the given bitwidth. SMTSortRef getFloatSort(unsigned BitWidth) { diff --git a/llvm/lib/Support/Z3Solver.cpp b/llvm/lib/Support/Z3Solver.cpp index 72f49ee18f9..b4aacbd6f9e 100644 --- a/llvm/lib/Support/Z3Solver.cpp +++ b/llvm/lib/Support/Z3Solver.cpp @@ -824,3 +824,9 @@ llvm::SMTSolverRef llvm::CreateZ3Solver() { return nullptr; #endif } + +LLVM_DUMP_METHOD void SMTSort::dump() const { print(llvm::errs()); } +LLVM_DUMP_METHOD void SMTExpr::dump() const { print(llvm::errs()); } +LLVM_DUMP_METHOD void SMTSolver::dump() const { print(llvm::errs()); } + + |
