summaryrefslogtreecommitdiff
path: root/llvm/lib/Analysis/ValueTracking.cpp
AgeCommit message (Expand)Author
2024-04-10[ValueTracking] Add support for `xor`/`disjoint or` in `isKnownNonZero`Noah Goldstein
2024-04-10[ValueTracking] Add support for `xor`/`disjoint or` in `getInvertibleOperands`Noah Goldstein
2024-04-10[ValueTracking] Add support for `insertelement` in `isKnownNonZero`Noah Goldstein
2024-04-10[ValueTracking] Add support for `shufflevector` in `isKnownNonZero`Noah Goldstein
2024-04-10[ValueTracking] improve `isKnownNonZero` precision for `smax`Noah Goldstein
2024-04-10[ValueTracking] Add support for overflow detection functions is `isKnownNonZero`Noah Goldstein
2024-04-10[ValueTracking] Split `isNonZero(mul)` logic to a helper; NFCNoah Goldstein
2024-04-10[ValueTracking] Add support for `vector_reduce_{s,u}{min,max}` in `computeKno...Noah Goldstein
2024-04-10[ValueTracking] Add support for `vector_reduce_{s,u}{min,max}` in `isKnownNon...Noah Goldstein
2024-04-09[ValueTracking] Support non-constant idx for `computeKnownBits` of `insertele...Noah Goldstein
2024-04-08[ValueTracking] Add comment clarifying missing `usub.sat` in `isKnownNonZero`...Noah Goldstein
2024-04-08ValueTracking: Consider demanded elts for vector constants in computeKnownFPC...Matt Arsenault
2024-04-08ValueTracking: Handle ConstantAggregateZero in computeKnownFPClassMatt Arsenault
2024-04-08ValueTracking: Don't use unnecessary null checked dyn_castMatt Arsenault
2024-04-06[ValueTracking] Support non-constant idx for `computeKnownFPClass` of `insert...Noah Goldstein
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-10-23 01:41:02 +0000