aboutsummaryrefslogtreecommitdiff
path: root/llvm/unittests/IR/ConstantRangeTest.cpp
AgeCommit message (Expand)AuthorFilesLines
2021-07-21[llvm] Add enum iteration to SequenceGuillaume Chatelet1-3/+3
2021-07-13Revert "[llvm] Add enum iteration to Sequence"Guillaume Chatelet1-3/+3
2021-07-13[llvm] Add enum iteration to SequenceGuillaume Chatelet1-3/+3
2021-04-10[NFC][ConstantRange] Add 'icmp' helper methodRoman Lebedev1-1/+48
2021-04-10Revert "[NFC][ConstantRange] Add 'icmp' helper method"Roman Lebedev1-48/+1
2021-04-10[NFC][ConstantRange] Add 'icmp' helper methodRoman Lebedev1-1/+48
2021-02-20[ConstantRange] Handle wrapping ranges in min/max (PR48643)Nikita Popov1-6/+39
2021-02-20[ConstantRange] Handle wrapping range in binaryNot()Nikita Popov1-5/+3
2021-02-20[ConstantRangeTest] Print detailed information on failure (NFC)Nikita Popov1-14/+27
2021-02-20[ConstantRangeTest] Make exhaustive testing more principled (NFC)Nikita Popov1-230/+209
2020-11-04Fix gcc braces warning. NFCI.Simon Pilgrim1-1/+2
2020-09-24Revert "[NFCI][IR] ConstantRangeTest: add basic scaffolding for next-gen prec...Reid Kleckner1-88/+2
2020-09-25[NFCI][IR] ConstantRangeTest: add basic scaffolding for next-gen precision/co...Roman Lebedev1-2/+88
2020-09-25[NFCI][IR] ConstantRangeTest: refactor operation range gatherersRoman Lebedev1-140/+137
2020-09-22[ConstantRange] Introduce getMinSignedBits() methodRoman Lebedev1-0/+26
2020-09-22[ConstantRange] Introduce getActiveBits() methodRoman Lebedev1-0/+27
2020-09-22[ConstantRange] binaryXor(): special-case binary complement case - the result...Roman Lebedev1-0/+18
2020-07-30[ConstantRange] Support abs with poison flagNikita Popov1-23/+39
2020-03-24[ConstantRange] Add initial support for binaryXor.Florian Hahn1-0/+16
2019-12-27[ConstantRange] Respect destination bitwidth for cast results.Florian Hahn1-0/+22
2019-11-08[ConstantRange] Add umul_sat()/smul_sat() methodsRoman Lebedev1-0/+16
2019-11-08[ConstantRange] Add `ushl_sat()`/`sshl_sat()` methods.Roman Lebedev1-0/+16
2019-11-07[ConstantRange] Add `subWithNoWrap()` methodRoman Lebedev1-0/+28
2019-11-07[ConstantRange] TestAddWithNo*WrapExhaustive: check that all overflow means e...Roman Lebedev1-0/+13
2019-10-20[ConstantRange] makeGuaranteedNoWrapRegion(): `shl` supportRoman Lebedev1-0/+78
2019-10-20[ConstantRange] Optimize nowrap region test, remove redundant tests; NFCNikita Popov1-103/+23
2019-10-08[ConstantRange] [NFC] replace addWithNoSignedWrap with addWithNoWrap.Chen Zheng1-26/+0
2019-09-30[ConstantRange] add helper function addWithNoWrap().Chen Zheng1-0/+256
2019-06-03[ConstantRange] Add sdiv() supportNikita Popov1-0/+58
2019-05-28[ValueTracking][ConstantRange] Distinguish low/high always overflowNikita Popov1-22/+43
2019-05-06[ConstantRange] Add srem() supportNikita Popov1-8/+91
2019-05-06Fix compilation warnings when compiling with GCC 7.3Alexandre Ganea1-0/+1
2019-04-28[ConstantRange] Add makeExactNoWrapRegion()Nikita Popov1-2/+10
2019-04-26[ConstantRange] Add abs() supportNikita Popov1-0/+26
2019-04-25[ConstantRange] [a, b) udiv a full range is [0, umax(b)).Florian Hahn1-0/+10
2019-04-23[ConstantRange] Add urem supportNikita Popov1-8/+54
2019-04-23[ConstantRangeTest] Move helper methods; NFCNikita Popov1-54/+54
2019-04-22Revert "[ConstantRange] Rename make{Guaranteed -> Exact}NoWrapRegion() NFC"Nikita Popov1-40/+40
2019-04-22[ConstantRange] Rename make{Guaranteed -> Exact}NoWrapRegion() NFCNikita Popov1-40/+40
2019-04-21[ConstantRange] Add saturating add/sub methodsNikita Popov1-0/+94
2019-04-14[ConstantRange] Simplify unittests after getSetSize was removedFangrui Song1-28/+9
2019-04-14[ConstantRange] Fix unittest after rL358347Fangrui Song1-63/+60
2019-04-13[ConstantRange] Disallow NUW | NSW in makeGuaranteedNoWrapRegion()Nikita Popov1-106/+0
2019-04-12[ConstantRange] Clarify makeGuaranteedNoWrapRegion() guarantees; NFCNikita Popov1-0/+70
2019-04-11[ConstantRange] Add unsignedMulMayOverflow()Nikita Popov1-0/+12
2019-04-11[ConstantRangeTest] Fix typos in test names; NFCNikita Popov1-4/+4
2019-04-07[ConstantRange] Add signed/unsigned unionWith()Nikita Popov1-0/+11
2019-04-07[ConstantRangeTest] Generalize intersection testing code; NFCNikita Popov1-8/+17
2019-04-07[ConstantRange] Add unsigned and signed intersection typesNikita Popov1-8/+47
2019-04-07[ConstantRange] Add isAllNegative() and isAllNonNegative() methodsNikita Popov1-15/+52