RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-19 11:02:59 +02:00
Code Issues Projects Releases Wiki Activity

Move SMTSolver dump() methods out-of-line.

Browse Source 
This broke modularized non-local-submodule-visibility builds because
the function bodies pulled in extra dependencies.

llvm-svn: 353465
This commit is contained in:
Adrian Prantl 2019-02-07 21:03:18 +00:00
parent 439d6e3c64
commit 10b7106901
2 changed files with 9 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
include/llvm/Support/SMTAPI.h
View File

@ -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) {

6
lib/Support/Z3Solver.cpp
View File

@ -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()); }