aboutsummaryrefslogtreecommitdiff
path: root/llvm/test/Transforms/IRCE
AgeCommit message (Expand)AuthorFilesLines
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
2020-06-22[NPM] Bail out when -foo and --passes=foo are both specifiedArthur Eubanks2-2/+2
2020-05-14Infer alignment of unmarked loads in IR/bitcode parsing.Eli Friedman5-21/+21
2020-02-06[IRCE] Use SCEVExpander to modify loop boundDenis Antrushin1-0/+120
2020-02-05[IRCE] Make IRCE a Function pass.Alina Sbirlea30-31/+31
2020-01-07[SCEV] get more accurate range for AddExpr with wrap flag.czhengsz1-6/+2
2019-09-12[SCEV] Add smin support to getRangeRefPhilip Reames1-28/+28
2019-06-14[SCEV] Pass NoWrapFlags when expanding an AddExprSam Parker9-18/+18