aboutsummaryrefslogtreecommitdiff
path: root/llvm/unittests/IR/ConstantRangeTest.cpp
AgeCommit message (Expand)AuthorFilesLines
2025-02-17ConstRange: exhaustively test makeExactICmpRegion (#127058)Ramkumar Ramachandra1-0/+11
2025-02-16ConstRange: test edge-cases of makeAllowedICmpRegion (#127080)Ramkumar Ramachandra1-3/+27
2025-02-15ConstRange: factor and introduce splitPosNeg (NFC) (#126528)Ramkumar Ramachandra1-0/+10
2024-12-31[ConstantRange] Estimate tighter lower (upper) bounds for masked binary and (...Stephen Senran Zhang1-0/+31
2024-09-05[ConstantRangeTest] Set APInt signed flags where needed (NFC)Nikita Popov1-116/+124
2024-08-07[ConstantRange] Improve `shlWithNoWrap` (#101800)Yingwei Zheng1-3/+36
2024-08-02 [ConstantRange] Add support for `shlWithNoWrap` (#100594)Yingwei Zheng1-0/+42
2024-07-25[ConstantRange] Infer nonnegative for mul nuw nsw (#100554)Yingwei Zheng1-0/+18
2024-07-03ConstantRange: add query for isAllPositive (#97420)Ramkumar Ramachandra1-2/+10
2024-06-17[LVI][ConstantRange] Generalize mask not equal conditions handlingAntonio Frighetto1-0/+48
2024-05-24[ConstantRange][LVI] Add support for `multiplyWithNoWrap`Antonio Frighetto1-7/+95
2024-03-21[ConstantRange] Fix off by 1 bugs in UIToFP and SIToFP handling. (#86041)Craig Topper1-0/+18
2024-02-08[ConstantRange] Improve ConstantRange::binaryXor (#80146)Yingwei Zheng1-0/+6
2023-11-06[ConstantRange] Handle `Intrinsic::cttz` (#67917)Yingwei Zheng1-0/+14
2023-11-06[ConstantRange] Handle `Intrinsic::ctpop` (#68310)Yingwei Zheng1-0/+6
2023-08-29[ConstantRange] Make shl() for negative LHS more preciseNikita Popov1-0/+7
2023-06-23[ConstantRange] Calculate precise range for multiply by -1Nikita Popov1-0/+20
2023-02-20Migrate away from the soft-deprecated functions in APInt.h (NFC)Kazu Hirata1-1/+1
2023-02-19Use APInt::count{l,r}_{zero,one} (NFC)Kazu Hirata1-5/+4
2023-02-17[ConstantRange] Handle `Intrinsic::ctlz`Antonio Frighetto1-0/+15
2023-01-09[ConstantRange] Test 1 bit ranges in exhaustive tests (NFC)Nikita Popov1-51/+50
2023-01-09[ConstantRange] Fix single bit abs range (PR59887)Nikita Popov1-8/+9
2022-12-20[llvm] Use std::optional instead of OptionalKazu Hirata1-31/+23
2022-12-06[ConstantRange] Fix nsw nowrap region for 1 bit integers (PR59301)Nikita Popov1-23/+24
2022-12-05[IR] llvm::Optional => std::optionalFangrui Song1-1/+1
2022-12-02[llvm/unittests] Use std::nullopt instead of None (NFC)Kazu Hirata1-10/+10
2022-07-18[ConstantRangeTest] Migrate known bits test to generic infrastructure (NFC)Nikita Popov1-57/+6
2022-07-18[ConstantRangeTest] Move nowrap binop tests to generic infrastructure (NFC)Nikita Popov1-132/+78
2022-07-01[ConstantRange] Fix sdiv() with one bit values (PR56333)Nikita Popov1-0/+3
2022-06-25[llvm] Don't use Optional::{hasValue,getValue} (NFC)Kazu Hirata1-1/+1
2022-05-20Recommit "[ConstantRange] Improve the implementation of binaryOr"Alexander Shaposhnikov1-0/+38
2022-05-20Revert "[ConstantRange] Improve the implementation of binaryOr"Douglas Yung1-38/+0
2022-05-19[ConstantRange] Improve the implementation of binaryOrAlexander Shaposhnikov1-0/+38
2022-05-17[ConstantRange] Improve the implementation of binaryAndAlexander Shaposhnikov1-0/+32
2022-05-17[ConstantRange] Implement binaryXor() using known bitsNikita Popov1-4/+14
2022-05-17[KnownBits] Add operator==Nikita Popov1-2/+1
2022-05-16[ConstantRange] Add toKnownBits() methodNikita Popov1-0/+19
2021-11-12[ConstantRangeTest] Add helper to enumerate APInts (NFC)Nikita Popov1-5/+13
2021-11-07[ConstantRange] Add exact union/intersect (NFC)Nikita Popov1-2/+15
2021-11-07[ConstantRange] Support zero size in isSizeLargerThan()Nikita Popov1-0/+11
2021-11-06[ConstantRange] Add getEquivalentICmp() variant with offset (NFCI)Nikita Popov1-0/+17
2021-11-03Make enum iteration with seq safe by defaultJakub Kuderski1-8/+4
2021-10-31[ConstantRange] Sign-flipping of signedness-invariant comparisonsRoman Lebedev1-1/+77
2021-10-30[NFCI] Introduce `ICmpInst::compare()` and use it where appropriateRoman Lebedev1-29/+3
2021-10-17[ConstantRange] Add fast signed multiplyNikita Popov1-0/+14
2021-10-15[ConstantRange] Compute precise shl range for single elementsNikita Popov1-1/+17
2021-10-15[ConstantRange] Support checking optimality for subset of inputs (NFC)Nikita Popov1-23/+30
2021-10-15[ConstantRange] Better diagnostic for correctness test failure (NFC)Nikita Popov1-2/+12
2021-10-04[APInt] Stop using soft-deprecated constructors and methods in llvm. NFC.Jay Foad1-5/+5
2021-09-09[APInt] Normalize naming on keep constructors / predicate methods.Chris Lattner1-13/+9