summaryrefslogtreecommitdiffstats
path: root/llvm/lib/IR/ConstantRange.cpp
Commit message (Expand)AuthorAgeFilesLines
* [ConstantRange] Respect destination bitwidth for cast results.Florian Hahn2019-12-271-2/+2
* [NFC][KnownBits] Add getMinValue() / getMaxValue() methodsRoman Lebedev2019-12-031-2/+2
* [NFC] ConstantRange::subWithNoWrap(): fixup commentRoman Lebedev2019-11-081-1/+1
* [ConstantRange] Add umul_sat()/smul_sat() methodsRoman Lebedev2019-11-081-0/+35
* [CR] ConstantRange::sshl_sat(): check sigdness of the min/max, not rangesRoman Lebedev2019-11-081-2/+2
* [ConstantRange] Add `ushl_sat()`/`sshl_sat()` methods.Roman Lebedev2019-11-081-0/+20
* [ConstantRange][LVI] Use overflow flags from `sub` to constrain the rangeRoman Lebedev2019-11-071-0/+2
* [ConstantRange] Add `subWithNoWrap()` methodRoman Lebedev2019-11-071-0/+30
* [ConstantRange] Cleanup addWithNoWrap() by just piggybacking on sadd_sat()/ua...Roman Lebedev2019-11-071-32/+8
* [LVI][CVP] LazyValueInfoImpl::solveBlockValueBinaryOp(): use no-wrap flags fr...Roman Lebedev2019-10-231-0/+15
* [ConstantRange] makeGuaranteedNoWrapRegion(): `shl` supportRoman Lebedev2019-10-201-0/+21
* [ConstantRange] [NFC] replace addWithNoSignedWrap with addWithNoWrap.Chen Zheng2019-10-081-10/+0
* [ConstantRange] add helper function addWithNoWrap().Chen Zheng2019-09-301-0/+51
* [ConstantRange] Add sdiv() supportNikita Popov2019-06-031-0/+87
* [ValueTracking][ConstantRange] Distinguish low/high always overflowNikita Popov2019-05-281-9/+9
* [CVP] Remove unnecessary checks for empty GNWR; NFCNikita Popov2019-05-251-2/+1
* [ConstantRange] Simplify makeGNWR implementation; NFCNikita Popov2019-05-071-103/+67
* [ConstantRange] Add srem() supportNikita Popov2019-05-061-0/+44
* [ConstantRange] Add makeExactNoWrapRegion()Nikita Popov2019-04-281-4/+10
* [ConstantRange] Add abs() supportNikita Popov2019-04-261-0/+31
* [ConstantRange] [a, b) udiv a full range is [0, umax(b)).Florian Hahn2019-04-251-2/+0
* [ConstantRange] Add urem supportNikita Popov2019-04-231-0/+15
* Revert "[ConstantRange] Rename make{Guaranteed -> Exact}NoWrapRegion() NFC"Nikita Popov2019-04-221-7/+8
* [ConstantRange] Rename make{Guaranteed -> Exact}NoWrapRegion() NFCNikita Popov2019-04-221-8/+7
* [ConstantRange] Add saturating add/sub methodsNikita Popov2019-04-211-0/+36
* [ConstantRange] Add getNonEmpty() constructorNikita Popov2019-04-211-57/+17
* [ConstantRange] Delete unused getSetSizeFangrui Song2019-04-141-8/+0
* [ConstantRange] Disallow NUW | NSW in makeGuaranteedNoWrapRegion()Nikita Popov2019-04-131-18/+14
* [ConstantRange] Clarify makeGuaranteedNoWrapRegion() guarantees; NFCNikita Popov2019-04-121-2/+1
* [ConstantRange] Add unsignedMulMayOverflow()Nikita Popov2019-04-111-0/+20
* [ConstantRange] Delete redundnt {z,s}extOrSelf for multiplicationFangrui Song2019-04-081-7/+0
* [ConstantRange] Add signed/unsigned unionWith()Nikita Popov2019-04-071-18/+20
* [ConstantRange] Add unsigned and signed intersection typesNikita Popov2019-04-071-13/+65
* [ConstantRange] Add isAllNegative() and isAllNonNegative() methodsNikita Popov2019-04-071-0/+15
* [ConstantRange] Shl considers full-set shifting to last bit position.Marcello Maggioni2019-04-071-1/+5
* [ConstantRange] Add isWrappedSet() and isUpperSignWrapped()Nikita Popov2019-03-271-3/+11
* [ConstantRange] Rename isWrappedSet() to isUpperWrapped()Nikita Popov2019-03-271-16/+16
* [ConstantRange] Exclude full set from isSignWrappedSet()Nikita Popov2019-03-261-2/+1
* [ConstantRange] Add getFull() + getEmpty() named constructors; NFCNikita Popov2019-03-241-64/+64
* [ConstantRange] Add assertion for KnownBits validity; NFCNikita Popov2019-03-171-0/+2
* [ConstantRange] Add fromKnownBits() methodNikita Popov2019-03-171-0/+19
* [ConstantRange] Add overflow check helpersNikita Popov2019-03-151-0/+92
* Update the file headers across all of the LLVM projects in the monorepoChandler Carruth2019-01-191-4/+3
* [IR] Strip trailing whitespace. NFCBjorn Pettersson2018-07-031-4/+4
* [ConstantRange] Add support of mul in makeGuaranteedNoWrapRegion.Tim Shen2018-06-261-0/+58
* [IR] Use Instruction::isBinaryOp helper instead of raw enum range tests. NFCI.Simon Pilgrim2018-06-221-4/+2
* IWYU for llvm-config.h in llvm, additions.Nico Weber2018-04-301-0/+1
* [ConstantRange] Support for ashr in ConstantRange computationMax Kazantsev2017-12-181-0/+56
* [ConstantRange] Support subtraction in makeGuaranteedNoWrapRegion.Joel Galenson2017-12-051-28/+52
* Reverting r315590; it did not include changes for llvm-tblgen, which is causi...Aaron Ballman2017-10-151-1/+1
OpenPOWER on IntegriCloud