6 Commits

Author	SHA1	Message	Date
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