Jonas Devlieghere
114087caa6
[llvm] Migrate llvm::make_unique to std::make_unique
...
Now that we've moved to C++14, we no longer need the llvm::make_unique
implementation from STLExtras.h. This patch is a mechanical replacement
of (hopefully) all the llvm::make_unique instances across the monorepo.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@369013 91177308-0d34-0410-b5e6-96231b3b80d8
2019-08-15 15:54:37 +00:00
Mikhail R. Gadelha
86a3d313e8
New methods to check for under-/overflow in the SMT API
...
Summary: Added methods to check for under-/overflow in additions, subtractions, signed divisions/modulus, negations, and multiplications.
Reviewers: ddcc, gou4shi1
Reviewed By: ddcc, gou4shi1
Subscribers: hiraditya, llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D59796
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@357088 91177308-0d34-0410-b5e6-96231b3b80d8
2019-03-27 16:54:12 +00:00
Mikhail R. Gadelha
1b75f131c6
Moved body of methods dump to .cpp file to fix compilation when modules
...
are enabled
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@356994 91177308-0d34-0410-b5e6-96231b3b80d8
2019-03-26 14:25:12 +00:00
Mikhail R. Gadelha
987a6ac4c9
Moved everything SMT-related to LLVM and updated the cmake scripts.
...
Differential Revision: https://reviews.llvm.org/D54978
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@356929 91177308-0d34-0410-b5e6-96231b3b80d8
2019-03-25 17:47:45 +00:00
Mikhail R. Gadelha
838fcc69d6
This reverts commit 1440a848a635849b97f7a5cfa0ecc40d37451f5b.
...
and commit a1853e834c65751f92521f7481b15cf0365e796b.
They broke arm and aarch64
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@353590 91177308-0d34-0410-b5e6-96231b3b80d8
2019-02-09 00:46:12 +00:00
Adrian Prantl
6e3888c2a4
Move SMTSolver dump() methods out-of-line.
...
This broke modularized non-local-submodule-visibility builds because
the function bodies pulled in extra dependencies.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@353465 91177308-0d34-0410-b5e6-96231b3b80d8
2019-02-07 21:03:18 +00:00
Mikhail R. Gadelha
86ab198b4f
Move the SMT API to LLVM
...
Moved everything SMT-related to LLVM and updated the cmake scripts.
Differential Revision: https://reviews.llvm.org/D54978
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@353373 91177308-0d34-0410-b5e6-96231b3b80d8
2019-02-07 03:19:45 +00:00
