diff options
| author | Mikhail R. Gadelha <mikhail.ramalho@gmail.com> | 2019-03-27 16:54:12 +0000 |
|---|---|---|
| committer | Mikhail R. Gadelha <mikhail.ramalho@gmail.com> | 2019-03-27 16:54:12 +0000 |
| commit | f5f8d27d39126a4aa893fb32d7e5952cd8ca504b (patch) | |
| tree | a25ada8956b11d51c4e4702ed871737dc42bb534 /llvm/lib/Target/AMDGPU/AMDGPUCallingConv.td | |
| parent | b19361243bf398ff3d4c6c94c431904cb98ce94f (diff) | |
| download | bcm5719-llvm-f5f8d27d39126a4aa893fb32d7e5952cd8ca504b.tar.gz bcm5719-llvm-f5f8d27d39126a4aa893fb32d7e5952cd8ca504b.zip | |
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
llvm-svn: 357088
Diffstat (limited to 'llvm/lib/Target/AMDGPU/AMDGPUCallingConv.td')
0 files changed, 0 insertions, 0 deletions
