 Roman Lebedev
|
7bd6e166d9
[ConstantRange] makeGuaranteedNoWrapRegion(): `shl` support
|
%!s(int64=5) %!d(string=hai) anos |
 Nikita Popov
|
467514942a
[ConstantRange] Optimize nowrap region test, remove redundant tests; NFC
|
%!s(int64=5) %!d(string=hai) anos |
 Chen Zheng
|
1d5e0a93b4
[ConstantRange] [NFC] replace addWithNoSignedWrap with addWithNoWrap.
|
%!s(int64=5) %!d(string=hai) anos |
|
Chen Zheng
|
e3c7b5b07c
[ConstantRange] add helper function addWithNoWrap().
|
%!s(int64=5) %!d(string=hai) anos |
|
Nikita Popov
|
13a908d7ff
[ConstantRange] Add sdiv() support
|
%!s(int64=6) %!d(string=hai) anos |
|
Nikita Popov
|
49cc96a66c
[ValueTracking][ConstantRange] Distinguish low/high always overflow
|
%!s(int64=6) %!d(string=hai) anos |
|
Nikita Popov
|
c686868a5e
[ConstantRange] Add srem() support
|
%!s(int64=6) %!d(string=hai) anos |
 Alexandre Ganea
|
059c038861
Fix compilation warnings when compiling with GCC 7.3
|
%!s(int64=6) %!d(string=hai) anos |
|
Nikita Popov
|
3547a7e64e
[ConstantRange] Add makeExactNoWrapRegion()
|
%!s(int64=6) %!d(string=hai) anos |
|
Nikita Popov
|
0393ba9ec6
[ConstantRange] Add abs() support
|
%!s(int64=6) %!d(string=hai) anos |
 Florian Hahn
|
32986d30ff
[ConstantRange] [a, b) udiv a full range is [0, umax(b)).
|
%!s(int64=6) %!d(string=hai) anos |
|
Nikita Popov
|
e2e04eaba9
[ConstantRange] Add urem support
|
%!s(int64=6) %!d(string=hai) anos |
|
Nikita Popov
|
63748dd992
[ConstantRangeTest] Move helper methods; NFC
|
%!s(int64=6) %!d(string=hai) anos |
|
Nikita Popov
|
4872512fe9
Revert "[ConstantRange] Rename make{Guaranteed -> Exact}NoWrapRegion() NFC"
|
%!s(int64=6) %!d(string=hai) anos |
|
Nikita Popov
|
09d24ddb89
[ConstantRange] Rename make{Guaranteed -> Exact}NoWrapRegion() NFC
|
%!s(int64=6) %!d(string=hai) anos |
|
Nikita Popov
|
66c5f5714a
[ConstantRange] Add saturating add/sub methods
|
%!s(int64=6) %!d(string=hai) anos |
 Fangrui Song
|
2b38b84a12
[ConstantRange] Simplify unittests after getSetSize was removed
|
%!s(int64=6) %!d(string=hai) anos |
|
Fangrui Song
|
f446a27450
[ConstantRange] Fix unittest after rL358347
|
%!s(int64=6) %!d(string=hai) anos |
|
Nikita Popov
|
d8edeb6f89
[ConstantRange] Disallow NUW | NSW in makeGuaranteedNoWrapRegion()
|
%!s(int64=6) %!d(string=hai) anos |
|
Nikita Popov
|
e003b9c297
[ConstantRange] Clarify makeGuaranteedNoWrapRegion() guarantees; NFC
|
%!s(int64=6) %!d(string=hai) anos |
|
Nikita Popov
|
d6ce6ef4db
[ConstantRange] Add unsignedMulMayOverflow()
|
%!s(int64=6) %!d(string=hai) anos |
|
Nikita Popov
|
1bcb288c20
[ConstantRangeTest] Fix typos in test names; NFC
|
%!s(int64=6) %!d(string=hai) anos |
|
Nikita Popov
|
c62bb1e099
[ConstantRange] Add signed/unsigned unionWith()
|
%!s(int64=6) %!d(string=hai) anos |
|
Nikita Popov
|
24352fc973
[ConstantRangeTest] Generalize intersection testing code; NFC
|
%!s(int64=6) %!d(string=hai) anos |
|
Nikita Popov
|
fbdd8db601
[ConstantRange] Add unsigned and signed intersection types
|
%!s(int64=6) %!d(string=hai) anos |
|
Nikita Popov
|
a83da3f883
[ConstantRange] Add isAllNegative() and isAllNonNegative() methods
|
%!s(int64=6) %!d(string=hai) anos |
 Marcello Maggioni
|
5ac536e416
[ConstantRange] Shl considers full-set shifting to last bit position.
|
%!s(int64=6) %!d(string=hai) anos |
|
Nikita Popov
|
96afa5b3ac
[ConstantRangeTest] Add exhaustive intersectWith() test
|
%!s(int64=6) %!d(string=hai) anos |
|
Nikita Popov
|
58c0bdde21
[ConstantRange] Add isWrappedSet() and isUpperSignWrapped()
|
%!s(int64=6) %!d(string=hai) anos |
|
Nikita Popov
|
faf8d9472d
[ConstantRange] Rename isWrappedSet() to isUpperWrapped()
|
%!s(int64=6) %!d(string=hai) anos |
