aboutsummaryrefslogtreecommitdiff
path: root/llvm/test/Analysis/ScalarEvolution
AgeCommit message (Expand)AuthorFilesLines
2024-03-06[SCEV] Match both (-1)b + a and a + (-1)b as a - b (#84247)Philip Reames1-1/+1
2024-03-06[SCEV] Precommit test for widened signed induction variablesPhilip Reames1-0/+71
2024-03-06[SCEV] Extend type hint in analysis output to all backedge kindsPhilip Reames54-297/+297
2024-03-06[SCEV] Autogenerate more scev analysis check testsPhilip Reames8-26/+107
2024-03-06[SCEV] Print predicate backedge count only if new information availablePhilip Reames95-1090/+0
2024-03-06[SCEV] Include type when printing constant max backedge taken countPhilip Reames88-491/+491
2024-03-05[SCEV] Migrate a couple tests to be auto generatedPhilip Reames2-71/+221
2024-03-05[SCEV] Migrate some tests to be autogeneratedPhilip Reames14-149/+434
2024-02-23[ValueTracking] Handle more integer intrinsics in `propagatesPoison` (#82749)Yingwei Zheng1-2/+2
2024-02-02[SCEV] Add SCEV analysis tests with congruent IVs.Florian Hahn1-0/+399
2023-12-31[ValueTracking] Remove SPF support from `computeKnownBitsFromOperator` (#76630)Yingwei Zheng1-6/+6
2023-12-22[SCEV] Ensure shift amount is in range before calling getZExtValue()Simon Pilgrim1-0/+23
2023-12-12[SCEV] Use loop guards when checking that RHS >= Start (#75039)Nikita Popov1-3/+3
2023-12-11[SCEV] Add test for unnecessary umax in BECount (NFC)Nikita Popov1-0/+25
2023-12-05[SCEV] Use or disjoint flag (#74467)Nikita Popov1-4/+38
2023-12-05[Tests] Add disjoint flag to some tests (NFC)Nikita Popov3-8/+8
2023-11-24[SCEV] Regenerate test checks (NFC)Nikita Popov66-433/+433
2023-11-14[FileCheck] Avoid capturing group for {{regex}} (#72136)Nikita Popov1-18/+18
2023-11-08[SCEV] Support larger than 64-bit types in ashr(add(shl(x, n), c), m) (#71600)Björn Pettersson1-4/+21
2023-11-07[SCEV] Extend isImpliedCondOperandsViaRanges to independent predicates (#71110)Philip Reames1-3/+3
2023-11-03Revert "[IndVars] Generate zext nneg when locally obvious"Philip Reames1-1/+1
2023-11-03[IndVars] Generate zext nneg when locally obviousPhilip Reames1-1/+1
2023-11-03Regenerate a couple scev/indvars tests [nfc]Philip Reames1-21/+21
2023-11-03[SCEV] Remove newline after predicates in dumpNikita Popov1-3/+0
2023-11-03[IR] Remove zext and sext constant expressions (#71040)Nikita Popov1-7/+17
2023-10-26[IR] Require index width to be ule pointer width (#70015)Nikita Popov1-97/+0
2023-09-18[SCEV] Fix incorrect nsw inference for multiply of addrec (#66500)Nikita Popov3-19/+19
2023-09-15[SCEV] Add tests for PR66066 (NFC)Nikita Popov1-0/+34
2023-09-06[AssumptionCache] Track GlobalValues as affected values. (#65425)Tyler Lanphear1-1/+1
2023-09-04[SCEV] Fix potentially empty set for unsigned rangesTejas Joshi1-0/+11
2023-08-25[SCEV] Compute SCEV for ashr(add(shl(x, n), c), m) instr tripletVedant Paranjape3-0/+124
2023-07-05[LoopUnroll] Fold add chains during unrollingNikita Popov1-1/+1
2023-06-29[ScalarEvolution] Analyze ranges for heap allocationsArthur Eubanks1-2/+2
2023-06-29[test] Precommit SCEV testArthur Eubanks1-0/+26
2023-06-29[SCEV] Make use of non-null pointers for range calculationNikita Popov7-32/+32
2023-06-23[SCEV] Add test for alloca ranges (NFC)Nikita Popov1-0/+68
2023-06-23[SCEV] Use object size for allocas as wellNikita Popov3-6/+6
2023-06-22[SCEV] Don't store AddRec loop when simplifying multiplication of AddRecsDmitry Makogon1-25/+9
2023-06-19[Test] Add test for PR62430 showing bug in SCEV mul expression creation (NFC)Dmitry Makogon1-0/+75
2023-06-09[SCEV] Try smaller ZExts when using loop guard info.Florian Hahn1-7/+7
2023-06-09[SCEV] Remove -verify-scev-maps flagNikita Popov2-2/+2
2023-06-01[ValueTracking] Directly use KnownBits shift functionsNikita Popov3-7/+7
2023-05-31[SCEV] Compute AddRec range computations using different type BECountJoshua Cao4-17/+12
2023-05-25Reapply [SCEV] Replace IsAvailableOnEntry with block dispositionNikita Popov1-1/+1
2023-05-23[KnownBits] Return zero instead of unknown for always poison shiftsNikita Popov1-1/+1
2023-05-22[SCEV] Replace NumTripCountsComputed stat with NumExitCountsComputedDmitry Makogon1-3/+41
2023-05-16[SCEV] Regenerate test checks (NFC)Nikita Popov2-23/+23
2023-05-10Revert "[SCEV] Replace IsAvailableOnEntry with block disposition"Manoj Gupta1-1/+1
2023-05-07[SCEV][reland] More precise trip multiplesJoshua Cao4-15/+15
2023-05-03[SCEV] Add test where loop guards can be used to improve BTC.Florian Hahn1-0/+76