summaryrefslogtreecommitdiff
path: root/llvm/lib/Analysis/ValueTracking.cpp
AgeCommit message (Expand)Author
2024-04-04[ValueTracking] Add more conditions in to `isTruePredicate`Noah Goldstein
2024-04-04[ValueTracking] Infer known bits fromfrom `(icmp eq (and/or x,y), C)`Noah Goldstein
2024-03-28[ValueTracking] Tracking `or disjoint` conditions as `add` in Assumption/DomC...Noah Goldstein
2024-03-20[ValueTracking] Handle range attributes (#85143)Andreas Jonson
2024-03-20[ValueTracking] Handle `not` in `isImpliedCondition` (#85397)Yingwei Zheng
2024-03-19[ValueTracking] Move MD_range handling to isKnownNonZeroFromOperator()Nikita Popov
2024-03-19[ValueTracking] Fix release buildNikita Popov
2024-03-19[ValueTracking] Handle vector range metadata in isKnownNonZero()Nikita Popov
2024-03-19ValueTracking: Fix bug with fcmp false to nan constantMatt Arsenault
2024-03-17[ValueTracking] Handle non-canonical operand order in `isImpliedCondICmps`Noah Goldstein
2024-03-13[ValueTracking] Use select condition to help infer bits of armsNoah Goldstein
2024-03-13[ValueTracking] Remove faulty dereference of "InsertBefore" (#85034)mikaelholmen
2024-03-12[ValueTracking] Treat phi as underlying obj when not decomposing further (#84...Florian Hahn
2024-03-11[KnownBits] Add API support for `exact` in `lshr`/`ashr`; NFCNoah Goldstein
2024-03-07[ValueTracking] Fix KnownBits conflict for calls (range vs returned) (#84353)Björn Pettersson
2024-03-06[ValueTracking] Add fast path to avoid second recursive call in `isKnownPosit...Noah Goldstein
2024-03-07[ValueTracking] Handle `icmp pred (trunc X), C` in `computeKnownBitsFromCmp` ...Yingwei Zheng
2024-03-06[RISCV] Take SEW/LMUL into account for value tracking of vsetvli[max] (#82163)Wang Pengcheng
2024-03-05[KnownBits] Add API for `nuw` flag in `computeForAddSub`; NFCNoah Goldstein
2024-03-05[NFC][RemoveDIs] Insert instruction using iterators in Transforms/Jeremy Morse
2024-03-04[Analysis] Unify most of the tracking between AssumptionCache and DomConditio...Noah Goldstein
2024-03-04[Analysis] Share `findAffectedValues` between DomConditionCache and Assumptio...Noah Goldstein
2024-03-04[Analysis] Move `DomConditionCache::findAffectedValues` to a new file; NFCNoah Goldstein
2024-02-25[ValueTracking] Compute knownbits for `(and/or cond0, cond1)` on both sides o...Noah Goldstein
2024-02-26[ValueTracking][NFC] Early exit when enumerating guaranteed well-defined/non-...Yingwei Zheng
2024-02-23[ValueTracking] Handle more integer intrinsics in `propagatesPoison` (#82749)Yingwei Zheng
2024-02-20[ValueTracking] Improve tracking for constant range of `{s|u}rem C, x`Noah Goldstein
2024-02-17[ValueTracking] Fix computeKnownFPClass for fpext (#81972)Yingwei Zheng
2024-02-14[ValueTracking] Compute known FPClass from signbit idiom (#80740)Yingwei Zheng
2024-02-14[ValueTracking] Move the `isSignBitCheck` helper into ValueTracking. NFC. (#8...Yingwei Zheng
2024-02-13Remove an unused variable in release build.Haojian Wu
2024-02-13[ValueTracking] Compute known FPClass from dominating condition (#80941)Yingwei Zheng
2024-02-08[ValueTracking] Support dominating known bits condition in and/or (#74728)Nikita Popov
2024-02-06[ValueTracking][NFC] Pass `SimplifyQuery` to `computeKnownFPClass` family (#8...Yingwei Zheng
2024-01-31[ValueTracking] Merge `cannotBeOrderedLessThanZeroImpl` into `computeKnownFPC...Yingwei Zheng
2024-01-30[ValueTracking] Add experimental_get_vector_length to isKnownNonZero. (#79950)Craig Topper
2024-01-27ValueTracking: Merge fcmpImpliesClass and fcmpToClassTest (#66522)Matt Arsenault
2024-01-25Reapply "ValueTracking: Identify implied fp classes by general fcmp (#66505)"Matt Arsenault
2024-01-23ValueTracking: Recognize fcmp ole/ugt with inf as a class test (#79095)Matt Arsenault
2024-01-23ValueTracking: Handle fcmp true/false in fcmpToClassTestMatt Arsenault
2024-01-04[BasicAA] Guess reasonable contexts for separate storage hints (#76770)David Goldblatt
2024-01-04[IR] Fix GEP offset computations for vector GEPs (#75448)Jannik Silvanus
2023-12-31[ValueTracking] Remove SPF support from `computeKnownBitsFromOperator` (#76630)Yingwei Zheng
2023-12-23[InstCombine] Fold minmax intrinsic using KnownBits information (#76242)Yingwei Zheng
2023-12-21[ValueTracking] Make isGuaranteedNotToBeUndef() more precise (#76160)Nikita Popov
2023-12-21[ValueTracking] Shufflevector produces poison rather than undefNikita Popov
2023-12-21[ValueTracking] Fix KnownBits conflict for poison-only vectorNikita Popov
2023-12-20[ValueTracking] isNonZero sub of ptr2int's with recursive GEP (#68680)bipmis
2023-12-18[ValueTracking] Short-circuit on unknown bits in isKnownNonEqual() (NFC)Nikita Popov
2023-12-18[ValueTracking] Use isKnownNonEqual() in isNonZeroSub()Nikita Popov
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-31 14:07:39 +0000