aboutsummaryrefslogtreecommitdiff
path: root/llvm/test/Analysis/ValueTracking
AgeCommit message (Expand)AuthorFilesLines
2024-03-20[ValueTracking] Handle range attributes (#85143)Andreas Jonson1-0/+147
2024-03-19[ValueTracking] Handle vector range metadata in isKnownNonZero()Nikita Popov1-4/+1
2024-03-19[ValueTracking] Test isKnownNonZero() range metadata with vector (NFC)Nikita Popov1-0/+14
2024-03-13[ValueTracking] Use select condition to help infer bits of armsNoah Goldstein1-4/+4
2024-03-13[ValueTracking] Add tests for inferring select arm bits from condition; NFCNoah Goldstein1-0/+81
2024-03-11[KnownBits] Implement knownbits `lshr`/`ashr` with exact flagNoah Goldstein1-6/+2
2024-03-11[KnownBits] Add test for computing more information for `lshr`/`ashr` with `e...Noah Goldstein1-0/+24
2024-03-04[Analysis] Unify most of the tracking between AssumptionCache and DomConditio...Noah Goldstein1-1/+1
2024-02-20[ValueTracking] Improve tracking for constant range of `{s|u}rem C, x`Noah Goldstein1-15/+5
2024-02-20[ValueTracking] Add tests for constant range of `{s|u}rem C, x`; NFCNoah Goldstein1-0/+110
2024-01-31[ValueTracking] Merge `cannotBeOrderedLessThanZeroImpl` into `computeKnownFPC...Yingwei Zheng1-0/+51
2024-01-30[ValueTracking] Add experimental_get_vector_length to isKnownNonZero. (#79950)Craig Topper1-0/+24
2023-12-21[ValueTracking] Fix KnownBits conflict for poison-only vectorNikita Popov1-0/+17
2023-12-20[ValueTracking] isNonZero sub of ptr2int's with recursive GEP (#68680)bipmis2-0/+154
2023-12-18[ValueTracking] Use isKnownNonEqual() in isNonZeroSub()Nikita Popov1-4/+1
2023-12-18[ValueTracking] Add test for non-zero sub via known non equal (NFC)Nikita Popov1-0/+16
2023-12-15[ValueTracking] isNonEqual Pointers with with a recursive GEP (#70459)bipmis2-0/+602
2023-12-08[InstCombine] Generalize folds for inversion of icmp operands (#74317)Nikita Popov1-4/+3
2023-12-01[ValueTracking] Support srem/urem for isKnownNonNullFromDominatingCondition (...Allen1-1/+55
2023-11-27[InstCombine] Set disjoint flag when turning Add into Or. (#72702)Craig Topper1-1/+1
2023-11-19[InstCombine] Don't transform `sub X, ~Y` -> `add X, -Y` unless `Y` is actual...Noah Goldstein1-3/+2
2023-10-20[ValueTracking] Implement sdiv/udiv support for isKnownNonNullFromDominatingC...Dhruv Chawla1-0/+54
2023-10-12[InstCombine] Improve logic for adding flags to shift instructions.Noah Goldstein1-15/+15
2023-10-12[ValueTracking] Do more thorough non-zero check in `isKnownToBePowerOfTwo` wh...Noah Goldstein1-3/+3
2023-10-12[ValueTracking] Add support for non-splat vecs in cmpExcludesZeroNoah Goldstein1-5/+1
2023-10-12[ValueTracking] Add tests for `cmpExcludesZero` for non-splat vecs; NFCNoah Goldstein1-0/+62
2023-10-12[ValueTracking] Add better support for ConstantRange(And)Noah Goldstein1-10/+2
2023-10-12[ValueTracking] Add better support for ConstantRange(Shl)Noah Goldstein1-9/+3
2023-10-12[ValueTracking] Add more tests for constant ranges; NFCNoah Goldstein1-0/+146
2023-09-20[InferAlignment] Enable InferAlignment pass by defaultDhruv Chawla1-1/+1
2023-09-01[ValueTracking] Handle conflicts when computing knownbits of PHI nodes in dea...Noah Goldstein1-0/+57
2023-08-24[ValueTracking] Compute `sdiv` as non-zero if `abs(num) u>= abs(denum)`Noah Goldstein1-11/+2
2023-08-24[ValueTracking] Add tests for knowing `sdiv` is non-zero; NFCNoah Goldstein1-0/+47
2023-08-22[ValueTracking] Strengthen analysis in `computeKnownBits` of phiNoah Goldstein1-5/+2
2023-08-22[ValueTracking] Use predicates for incoming phi-edges to deduce non-zeroNoah Goldstein1-24/+8
2023-08-22[ValueTracking] Improve analysis of knownbits from incoming phi edges.Noah Goldstein1-30/+10
2023-08-22[ValueTracking] Add tests for deducing non-zero based for incoming phi-edges;...Noah Goldstein1-0/+280
2023-08-22[ValueTracking] Add tests for getting knownbits from phi-edges; NFCNoah Goldstein1-0/+449
2023-08-21[Tests] Remove some and/or constant expressions in tests (NFC)Nikita Popov1-1/+2
2023-08-16[InstCombine] Remove unneeded isa<PHINode> check in foldOpIntoPhiDhruv Chawla1-4/+3
2023-08-09[ValueTracking] In `isKnownToBeAPowerOfTwo` an `i1` value is always true if `...Noah Goldstein1-4/+2
2023-08-09[ValueTracking] Add support for `mul` in `isKnownToBeAPowerOfTwo`Noah Goldstein1-1/+2
2023-08-09[ValueTracking] Add support for `fshl`/`fshr` in `isKnownToBeAPowerOfTwo`Noah Goldstein1-4/+6
2023-08-09[ValueTracking] Add support for `bswap` and `bitreverse` in `isKnownToBeAPowe...Noah Goldstein1-4/+6
2023-08-09[ValueTracking] If `OrZero` is set, look through `trunc` in `isKnownToBePower...Noah Goldstein1-1/+2
2023-08-09[ValueTracking] Add tests for more `isKnownToBeAPowerOfTwo` cases; NFCNoah Goldstein1-1/+621
2023-08-01[InstCombine] Set dead phi inputs to poison in more casesNikita Popov2-3/+3
2023-07-31[InstCombine] Only perform one iterationNikita Popov1-2/+5
2023-07-05[ValueTracking] Support add+icmp assumes for KnownBitsNikita Popov1-1/+1
2023-06-01[ValueTracking] Directly use KnownBits shift functionsNikita Popov1-8/+2
generated by cgit v1.1 at 2024-08-01 02:57:38 +0000