Nikita Popov c686868a5e [ConstantRange] Add srem() support ...

Add support for srem() to ConstantRange so we can use it in LVI. For
srem the sign of the result matches the sign of the LHS. For the RHS
only the absolute value is important. Apart from that the logic is
like urem.

Just like for urem this is only an approximate implementation. The tests
check a few specific cases and run an exhaustive test for conservative
correctness (but not exactness).

Differential Revision: https://reviews.llvm.org/D61207

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@360055 91177308-0d34-0410-b5e6-96231b3b80d8

2019-05-06 16:59:37 +00:00

..

llvm

[ConstantRange] Add srem() support

2019-05-06 16:59:37 +00:00

llvm-c

[llvm-c] Make LLVMGetStringErrorTypeId a proper prototype

2019-05-06 06:42:06 +00:00