RPCS3/archived-llvm
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm.git synced 2026-01-31 01:25:19 +01:00
Code Issues Packages Projects Releases Wiki Activity
181,264 Commits 39 Branches 10 Tags
ddc7452fdd84ab0da6aff2ca1a960c94dece1cae
Commit Graph

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