aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* [NFC][ConstantRange] Add 'icmp' helper methodRoman Lebedev2021-04-101-1/+48
* Revert "[NFC][ConstantRange] Add 'icmp' helper method"Roman Lebedev2021-04-101-48/+1
* [NFC][ConstantRange] Add 'icmp' helper methodRoman Lebedev2021-04-101-1/+48
* [ConstantRange] Handle wrapping ranges in min/max (PR48643)Nikita Popov2021-02-201-6/+39
* [ConstantRange] Handle wrapping range in binaryNot()Nikita Popov2021-02-201-5/+3
* [ConstantRangeTest] Print detailed information on failure (NFC)Nikita Popov2021-02-201-14/+27
* [ConstantRangeTest] Make exhaustive testing more principled (NFC)Nikita Popov2021-02-201-230/+209
* Fix gcc braces warning. NFCI.Simon Pilgrim2020-11-041-1/+2
* Revert "[NFCI][IR] ConstantRangeTest: add basic scaffolding for next-gen prec...Reid Kleckner2020-09-241-88/+2
* [NFCI][IR] ConstantRangeTest: add basic scaffolding for next-gen precision/co...Roman Lebedev2020-09-251-2/+88
* [NFCI][IR] ConstantRangeTest: refactor operation range gatherersRoman Lebedev2020-09-251-140/+137
* [ConstantRange] Introduce getMinSignedBits() methodRoman Lebedev2020-09-221-0/+26
* [ConstantRange] Introduce getActiveBits() methodRoman Lebedev2020-09-221-0/+27
* [ConstantRange] binaryXor(): special-case binary complement case - the result...Roman Lebedev2020-09-221-0/+18
* [ConstantRange] Support abs with poison flagNikita Popov2020-07-301-23/+39
* [ConstantRange] Add initial support for binaryXor.Florian Hahn2020-03-241-0/+16
* [ConstantRange] Respect destination bitwidth for cast results.Florian Hahn2019-12-271-0/+22
* [ConstantRange] Add umul_sat()/smul_sat() methodsRoman Lebedev2019-11-081-0/+16
* [ConstantRange] Add `ushl_sat()`/`sshl_sat()` methods.Roman Lebedev2019-11-081-0/+16
* [ConstantRange] Add `subWithNoWrap()` methodRoman Lebedev2019-11-071-0/+28
* [ConstantRange] TestAddWithNo*WrapExhaustive: check that all overflow means e...Roman Lebedev2019-11-071-0/+13
* [ConstantRange] makeGuaranteedNoWrapRegion(): `shl` supportRoman Lebedev2019-10-201-0/+78
* [ConstantRange] Optimize nowrap region test, remove redundant tests; NFCNikita Popov2019-10-201-103/+23
* [ConstantRange] [NFC] replace addWithNoSignedWrap with addWithNoWrap.Chen Zheng2019-10-081-26/+0
* [ConstantRange] add helper function addWithNoWrap().Chen Zheng2019-09-301-0/+256
* [ConstantRange] Add sdiv() supportNikita Popov2019-06-031-0/+58
* [ValueTracking][ConstantRange] Distinguish low/high always overflowNikita Popov2019-05-281-22/+43
* [ConstantRange] Add srem() supportNikita Popov2019-05-061-8/+91
* Fix compilation warnings when compiling with GCC 7.3Alexandre Ganea2019-05-061-0/+1
* [ConstantRange] Add makeExactNoWrapRegion()Nikita Popov2019-04-281-2/+10
* [ConstantRange] Add abs() supportNikita Popov2019-04-261-0/+26
* [ConstantRange] [a, b) udiv a full range is [0, umax(b)).Florian Hahn2019-04-251-0/+10
* [ConstantRange] Add urem supportNikita Popov2019-04-231-8/+54
* [ConstantRangeTest] Move helper methods; NFCNikita Popov2019-04-231-54/+54
* Revert "[ConstantRange] Rename make{Guaranteed -> Exact}NoWrapRegion() NFC"Nikita Popov2019-04-221-40/+40
* [ConstantRange] Rename make{Guaranteed -> Exact}NoWrapRegion() NFCNikita Popov2019-04-221-40/+40
* [ConstantRange] Add saturating add/sub methodsNikita Popov2019-04-211-0/+94
* [ConstantRange] Simplify unittests after getSetSize was removedFangrui Song2019-04-141-28/+9
* [ConstantRange] Fix unittest after rL358347Fangrui Song2019-04-141-63/+60
* [ConstantRange] Disallow NUW | NSW in makeGuaranteedNoWrapRegion()Nikita Popov2019-04-131-106/+0
* [ConstantRange] Clarify makeGuaranteedNoWrapRegion() guarantees; NFCNikita Popov2019-04-121-0/+70
* [ConstantRange] Add unsignedMulMayOverflow()Nikita Popov2019-04-111-0/+12
* [ConstantRangeTest] Fix typos in test names; NFCNikita Popov2019-04-111-4/+4
* [ConstantRange] Add signed/unsigned unionWith()Nikita Popov2019-04-071-0/+11
* [ConstantRangeTest] Generalize intersection testing code; NFCNikita Popov2019-04-071-8/+17
* [ConstantRange] Add unsigned and signed intersection typesNikita Popov2019-04-071-8/+47
* [ConstantRange] Add isAllNegative() and isAllNonNegative() methodsNikita Popov2019-04-071-15/+52
* [ConstantRange] Shl considers full-set shifting to last bit position.Marcello Maggioni2019-04-071-0/+6
* [ConstantRangeTest] Add exhaustive intersectWith() testNikita Popov2019-03-271-59/+156
* [ConstantRange] Add isWrappedSet() and isUpperSignWrapped()Nikita Popov2019-03-271-5/+28