aboutsummaryrefslogtreecommitdiff
path: root/llvm/test/Transforms/IRCE
AgeCommit message (Expand)AuthorFilesLines
2026-01-08[IRCE] Prove predicates with and without loop-guarded SCEVs (#174843)Aleksandr Popov1-0/+136
2025-01-29[IR] Convert from nocapture to captures(none) (#123181)Nikita Popov1-21/+21
2024-12-12[IRCE] Relax profitability check (#104659)Jan Ječmen2-2/+40
2024-11-11[llvm] Remove `br i1 undef` from some regression tests [NFC] (#115691)Lee Wei1-2/+2
2024-07-30[IRCE] Regenerate test checks (NFC)Nikita Popov1-10/+10
2024-04-26[IRCE] Skip icmp ptr in `InductiveRangeCheck::parseRangeCheckICmp` (#89967)Yingwei Zheng1-0/+33
2024-03-13[LoopConstrainer] Apply loop gurads to check that loop bounds are safe (#71531)Aleksandr Popov1-9/+76
2023-12-07[SCEVExpander] Attempt to reinfer flags dropped due to CSE (#72431)Philip Reames1-1/+1
2023-12-05[Tests] Add disjoint flag to some tests (NFC)Nikita Popov1-3/+3
2023-11-07[SCEV] Extend isImpliedCondOperandsViaRanges to independent predicates (#71110)Philip Reames1-10/+86
2023-11-07[NFC][IRCE] Add unit test to show room for improvement (#71506)Aleksandr Popov1-0/+132
2023-11-03[tests] Autogenerate a couple of testsPhilip Reames1-53/+737
2023-10-31[NFC] Extract LoopConstrainer from IRCE to reuse it outside the pass (#70508)Aleksandr Popov15-73/+73
2023-10-31[SCEV] Teach SCEVExpander to use zext nneg when possible (#70815)Philip Reames2-8/+8
2023-10-31Refresh a couple of auto-gen tests [nfc]Philip Reames1-9/+9
2023-07-30[IRCE] Add NSW to OverflowingBinaryOperator but not BinaryOperatorAleksandr Popov1-10/+97
2023-07-17[IRCE] Add NSW flag to main loop's indvar baseAleksandr Popov8-69/+69
2023-07-12[IRCE] Implement runtime overflow check for computed range's endAleksandr Popov1-32/+181
2023-07-11[NFC][IRCE] Regenerate test checksAleksandr Popov4-356/+1089
2023-07-11Reland "[IRCE] Parse range checks in the form of 'LHS - RHS vs Limit'"Aleksandr Popov1-14/+270
2023-07-10Revert "[IRCE] Parse range checks in the form of 'LHS - RHS vs Limit'"Aleksandr Popov1-270/+14
2023-07-10[IRCE] Parse range checks in the form of 'LHS - RHS vs Limit'Aleksandr Popov1-14/+270
2023-07-06[IRCE][Tests] Add more tests with range checks in the form of 'iv + offset vs...Aleksandr Popov1-3/+614
2023-07-03[IRCE] Support inverted range check's predicateAleksandr Popov2-10/+53
2023-07-02[IRCE][Tests] Add tests with range checks in the form of 'iv + offset vs limit'aleks-tmb1-0/+161
2023-04-21[IRCE] Support non-strict range check's predicateMax Kazantsev1-5/+49
2023-04-18[Test] Add IRCE tests with non-canonical range checkMax Kazantsev1-0/+107
2023-04-13[IRCE] Relax restrictions on IRCE's latch exit countMax Kazantsev1-5/+48
2023-04-13[IRCE][Test] Add test showing that fake wide exit does not inhibit the transformMax Kazantsev1-0/+54
2023-04-13[Test] Regenerate test checks using auto-updaterMax Kazantsev1-94/+697
2023-04-07[Test] Add one more test on IRCE & regenerate checksMax Kazantsev1-251/+436
2022-12-08[test] Remove duplicate RUN lines in Transform testsBjorn Pettersson2-2/+0
2022-12-08[NFC] Port all IRCE tests to `-passes=` syntaxRoman Lebedev37-38/+38
2022-11-28IRCE: Convert tests to opaque pointersMatt Arsenault33-682/+680
2022-11-14[IRCE] Bail out if AddRec in icmp is for another loop (PR58912)Dmitry Makogon1-1/+29
2022-11-11[Test] Add test for crash in IRCE when IV is AddRec for another loopDmitry Makogon1-0/+41
2022-09-12[IRCE] Bail in case of pointer types. PR40539Max Kazantsev1-0/+47
2022-08-25[IRCE] Drop SCEV of a Phi after adding a new input. PR57335Max Kazantsev1-0/+72
2022-07-05[SCEV] Fix isImpliedViaMerge() with values from previous iteration (PR56242)Nikita Popov1-6/+5
2021-11-29[SCEVExpander] Drop poison generating flags when reusing instructionsPhilip Reames1-1/+1
2021-11-05Autogen tests for ease of future updatePhilip Reames3-188/+754
2021-10-28Regen some autogen tests to account for format changePhilip Reames1-1/+1
2021-05-07[SCEV] By more careful when traversing phis in isImpliedViaMerge.Florian Hahn1-5/+6
2021-04-28[IRCE] Add tests for conservative bound checkJingu Kang1-0/+48
2021-03-27Make FoldBranchToCommonDest poison-safe by defaultJuneyoung Lee1-1/+1
2021-03-06[NFCI] SCEVExpander: emit intrinsics for integral {u,s}{min,max} SCEV express...Roman Lebedev14-207/+150
2020-12-14[IRCE] Add test case for PR48051Simon Pilgrim1-0/+59
2020-12-08[NFC] Chec[^k] -> CheckDavid Green1-1/+1
2020-11-16[IRCE] Use the same min runtime iteration threshold for BPI and BFI checksSerguei Katkov2-3/+3
2020-10-20[IRCE] Do not transform if loop has small number of iterationsSerguei Katkov1-0/+43