aboutsummaryrefslogtreecommitdiff
path: root/llvm/unittests/Analysis/ValueTrackingTest.cpp
AgeCommit message (Expand)AuthorFilesLines
2 days[InstSimplify] Fold trig functions call of poison to poison (#148969)jjasmine1-2/+2
2025-07-04[InstCombine] Propagate poison pow[i], [us]add, [us]sub and [us]mul (#146750)jjasmine1-2/+2
2025-07-04[ConstantFolding] Consolidate poison propagation for intrinsics (#146878)Nikita Popov1-1/+1
2025-06-28[ValueTracking] Forward-declare class instead of including header (NFC)Antonio Frighetto1-0/+1
2025-06-27[ValueTracking] Add `matchSimpleBinaryIntrinsicRecurrence` helperAntonio Frighetto1-0/+52
2025-06-09[ValueTracking] Update `Ordered` when both operands are non-NaN. (#143349)Yingwei Zheng1-0/+9
2025-06-03[ValueTracking] Make Depth last default arg (NFC) (#142384)Ramkumar Ramachandra1-47/+44
2025-06-02[ValueTracking] Do not use FMF from fcmp (#142266)Yingwei Zheng1-6/+5
2025-05-22Reland [llvm] add GenericFloatingPointPredicateUtils #140254 (#141065)Tim Gymnich1-0/+1
2025-05-21Revert "[llvm] add GenericFloatingPointPredicateUtils (#140254)" (#140968)Kewen121-1/+0
2025-05-21[llvm] add GenericFloatingPointPredicateUtils (#140254)Tim Gymnich1-0/+1
2025-05-07ValueTracking: Handle minimumnum and maximumnum in computeKnownFPClass (#138737)Matt Arsenault1-0/+56
2025-03-28[Analysis][NFC] Extract KnownFPClass (#133457)Tim Gymnich1-0/+1
2025-02-04[ValueTracking] Fix bit width handling in computeKnownBits() for GEPs (#125532)Nikita Popov1-6/+6
2025-02-03[ValueTracking] Add additional tests for computeKnownBits on GEPs (NFC)Nikita Popov1-0/+35
2025-01-16[ValueTracking] Return `poison` for zero-sized types (#122647)Pedro Lobo1-4/+4
2024-10-11[NFC] Rename `Intrinsic::getDeclaration` to `getOrInsertDeclaration` (#111752)Rahul Joshi1-2/+2
2024-09-13[llvm][unittests] Strip unneeded use of raw_string_ostream::str() (NFC)JOE19941-2/+2
2024-08-10[UnitTests] Convert a test to use opaque pointers (#102668)Sergei Barannikov1-15/+11
2024-05-20[ValueTracking] Fix incorrect inferrence about the signbit of sqrt (#92510)Yingwei Zheng1-1/+1
2024-04-16[ValueTracking] Restore isKnownNonZero parameter order. (#88873)Harald van Dijk1-8/+5
2024-04-15ValueTracking: Treat poison more aggressively in computeKnownFPClass (#87990)Matt Arsenault1-0/+55
2024-04-12[ValueTracking] Convert `isKnownNonZero` to use SimplifyQuery (#85863)Yingwei Zheng1-5/+10
2024-04-08ValueTracking: Handle ConstantAggregateZero in computeKnownFPClassMatt Arsenault1-0/+21
2024-03-07[ValueTracking] Fix KnownBits conflict for calls (range vs returned) (#84353)Björn Pettersson1-0/+14
2024-02-23[ValueTracking] Handle more integer intrinsics in `propagatesPoison` (#82749)Yingwei Zheng1-36/+23
2024-01-23ValueTracking: Recognize fcmp ole/ugt with inf as a class test (#79095)Matt Arsenault1-4/+4
2023-12-21[ValueTracking] Shufflevector produces poison rather than undefNikita Popov1-4/+4
2023-12-05[InstCombine] Check isGuaranteedNotToBeUndef in haveNoCommonBitsSetSpecialCas...Craig Topper1-3/+3
2023-11-14ValueTracking: Handle compare gt to -inf in class identification (#72086)Matt Arsenault1-4/+69
2023-10-05ValueTracking: Use fcAllFlags for unknown value (#66393)Matt Arsenault1-4/+4
2023-07-05[ValueTracking] Don't handle ptrtoint with mismatches sizesNikita Popov1-6/+4
2023-06-28ValueTracking: Handle !absolute_symbol in computeKnownBitsMatt Arsenault1-0/+88
2023-06-20ValueTracking: Ignore -0 for nsz sqrt with UseInstrInfo in computeKnownFPClassMatt Arsenault1-0/+74
2023-06-19ValueTracking: Handle compare to nan and -inf constants in fcmpToClassTestMatt Arsenault1-0/+99
2023-05-23[KnownBits] Return zero instead of unknown for always poison shiftsNikita Popov1-1/+1
2023-05-18Reapply "ValueTracking: Handle phi in computeKnownFPClass"Matt Arsenault1-0/+108
2023-05-18Revert "ValueTracking: Handle phi in computeKnownFPClass"Matt Arsenault1-108/+0
2023-05-18ValueTracking: Handle phi in computeKnownFPClassMatt Arsenault1-0/+108
2023-05-16ValueTracking: Implement computeKnownFPClass for sqrtMatt Arsenault1-2/+2
2023-04-28Handle `select` in programUndefinedIfPoison.Justin Lebar1-0/+14
2023-04-26ValueTracking: Fix computeKnownFPClass handling for copysignMatt Arsenault1-3/+3
2023-04-24ValueTracking: Add ordered negative handling for fmul to computeKnownFPClassMatt Arsenault1-12/+12
2023-04-24ValueTracking: Fix computeKnownFPClass for fabsMatt Arsenault1-5/+5
2023-04-19ValueTracking: uitofp/sitofp cannot return denormal resultsMatt Arsenault1-5/+5
2023-04-19ValueTracking: sitofp cannot return -0Matt Arsenault1-3/+3
2023-04-13ValueTracking: Add cannotBeOrderedLessThanZero to KnownFPClassMatt Arsenault1-0/+53
2023-04-13ValueTracking: Address todo for nan fmul handling in computeKnownFPClassMatt Arsenault1-1/+25
2023-04-13ValueTracking: Handle no-nan check for computeKnownFPClass for fmulMatt Arsenault1-0/+17
2023-04-12unittests: Use opaque pointers in a testMatt Arsenault1-90/+90