mirrors/llvm-project
0
0
Fork 0
mirror of https://github.com/llvm/llvm-project.git synced 2025-04-26 21:46:05 +00:00
Code Issues Projects Releases Wiki Activity
llvm-project/llvm/tools/llvm-reduce/DeltaManager.h

Ignoring revisions in .git-blame-ignore-revs. Click here to bypass and see the normal blame view.

51 lines
1.8 KiB
C
Raw Normal View History

Added Delta IR Reduction Tool Summary: Tool parses input IR file, and runs the delta debugging algorithm to reduce the functions inside the input file. Reviewers: alexshap, chandlerc Subscribers: mgorny, llvm-commits Tags: #llvm Differential Revision: https://reviews.llvm.org/D63672 > llvm-svn: 368071 llvm-svn: 368358
2019-08-08 22:16:33 +00:00
//===- DeltaManager.h - Runs Delta Passes to reduce Input -----------------===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
//
// This file calls each specialized Delta pass in order to reduce the input IR
// file.
//
//===----------------------------------------------------------------------===//
#include "TestRunner.h"
#include "deltas/Delta.h"
[llvm-reduce] Add reduction for aliases. This patch adds a new reduction pass that tries to remove aliases. It runs early, as most of those likely can be removed up-front in practice. This substantially improves llvm-reduce for IR generated by the swift compiler, which can generate a lot of aliases which lead to lots of invalid reductions. Reviewed By: lebedev.ri Differential Revision: https://reviews.llvm.org/D90260
2020-10-28 13:06:42 +00:00
#include "deltas/ReduceAliases.h"
Reapply llvm-reduce: Add pass to reduce parameters"" Fixing a couple of asan-identified bugs * use of an invalid "Use" iterator after the element was removed * use of StringRef to Function name after the Function was erased This reapplies r371567, which was reverted in r371580. llvm-svn: 371700
2019-09-12 01:20:48 +00:00
#include "deltas/ReduceArguments.h"
[llvm-reduce] Reducing attributes Summary: This handles all three places where attributes could currently be - `GlobalVariable`, `Function` and `CallBase`. For last two, it correctly handles all three possible attribute locations (return value, arguments and function itself) There was a previous attempt at it D73853, which was committed in rGfc62b36a000681c01e993242b583c5ec4ab48a3c, but then reverted all the way back in rGb12176d2aafa0ccb2585aa218fc3b454ba84f2a9 due to some (osx?) test failures. Reviewers: nickdesaulniers, dblaikie, diegotf, george.burgess.iv, jdoerfert, Tyker, arsenm Reviewed By: nickdesaulniers Subscribers: wdng, MaskRay, arsenm, llvm-commits, mgorny Tags: #llvm Differential Revision: https://reviews.llvm.org/D83351
2020-07-09 23:06:59 +03:00
#include "deltas/ReduceAttributes.h"
llvm-reduce: Add pass to reduce basic blocks Patch by Diego Treviño! Differential Revision: https://reviews.llvm.org/D66320 llvm-svn: 372264
2019-09-18 21:45:05 +00:00
#include "deltas/ReduceBasicBlocks.h"
[Reduce] Try turning function definitions into declarations first, NFCI-ish ReduceFunctions could do it, but it also replaces *all* calls with undef, so if any of undef replacements makes reduction uninteresting, it won't work. ReduceBasicBlocks also could do it, but well, it may take many guesses for all the blocks of a function to happen to be out-of-chunk, which is not a very efficient way to go about it. So let's just do this first.
2020-07-25 21:43:36 +03:00
#include "deltas/ReduceFunctionBodies.h"
Added Delta IR Reduction Tool Summary: Tool parses input IR file, and runs the delta debugging algorithm to reduce the functions inside the input file. Reviewers: alexshap, chandlerc Subscribers: mgorny, llvm-commits Tags: #llvm Differential Revision: https://reviews.llvm.org/D63672 > llvm-svn: 368071 llvm-svn: 368358
2019-08-08 22:16:33 +00:00
#include "deltas/ReduceFunctions.h"
[llvm-reduce] Remove dso_local when possible Add a new delta pass to llvm-reduce that removes dso_local when possible Reviewed By: aeubanks Differential Revision: https://reviews.llvm.org/D98673
2021-03-28 21:18:45 -07:00
#include "deltas/ReduceGlobalValues.h"
[llvm-reduce] Refactor global variable delta pass The limitation of the current pass that it skips initializer-less GV's seems arbitrary, in all the reduced cases i (personally) looked at, the globals weren't needed, yet they were kept. So let's do two things: 1. allow reducing initializer-less globals 2. before reducing globals, reduce their initializers, much like we do function bodies
2021-01-02 19:56:27 +03:00
#include "deltas/ReduceGlobalVarInitializers.h"
[Bugpoint redesign] Added Pass to Remove Global Variables Summary: This pass tries to remove Global Variables, as well as their derived uses. For example if a variable `@x` is used by `%call1` and `%call2`, both these uses and the definition of `@x` are deleted. Moreover if `%call1` or `%call2` are used elsewhere those uses are also deleted, and so on recursively. I'm still uncertain if this pass should remove derived uses, I'm open to suggestions. Subscribers: mgorny, llvm-commits Tags: #llvm Differential Revision: https://reviews.llvm.org/D64176 > llvm-svn: 368918 llvm-svn: 369061
2019-08-15 22:54:09 +00:00
#include "deltas/ReduceGlobalVars.h"
Revert "[llvm-reduce] add ReduceAttribute delta pass" This reverts commit fc62b36a000681c01e993242b583c5ec4ab48a3c. Breaks tests on mac: http://45.33.8.238/mac/7301/step_11.txt
2020-02-05 14:15:11 -05:00
#include "deltas/ReduceInstructions.h"
[llvm-reduce] Reducing call operand bundles Summary: This would have been marginally useful to me during/for rG7ea46aee3670981827c04df89b2c3a1cbdc7561b. With ongoing migration to representing assumes via operand bundles on the assume, this will be gradually more useful. Reviewers: nickdesaulniers, diegotf, dblaikie, george.burgess.iv, jdoerfert, Tyker Reviewed By: nickdesaulniers Subscribers: hiraditya, mgorny, llvm-commits Tags: #llvm Differential Revision: https://reviews.llvm.org/D83177
2020-07-07 01:16:37 +03:00
#include "deltas/ReduceMetadata.h"
#include "deltas/ReduceOperandBundles.h"
[llvm-reduce] Add reduction for special globals like llvm.used. This patch adds a reduction of 'special' globals that lead to further reductions (e.g. alias or regular globals reduction) being less efficient because there are special constraints on values referenced in those special globals. For example, values in @llvm.used and @llvm.compiler.used need to be named, so replacing all uses of an alias/global with undef or a different unnamed constant results in invalid IR. More details: https://llvm.org/docs/LangRef.html#intrinsic-global-variables Reviewed By: lebedev.ri Differential Revision: https://reviews.llvm.org/D90302
2020-11-10 19:44:18 +00:00
#include "deltas/ReduceSpecialGlobals.h"
Added Delta IR Reduction Tool Summary: Tool parses input IR file, and runs the delta debugging algorithm to reduce the functions inside the input file. Reviewers: alexshap, chandlerc Subscribers: mgorny, llvm-commits Tags: #llvm Differential Revision: https://reviews.llvm.org/D63672 > llvm-svn: 368071 llvm-svn: 368358
2019-08-08 22:16:33 +00:00
namespace llvm {
[Bugpoint redesign] Added Pass to Remove Global Variables Summary: This pass tries to remove Global Variables, as well as their derived uses. For example if a variable `@x` is used by `%call1` and `%call2`, both these uses and the definition of `@x` are deleted. Moreover if `%call1` or `%call2` are used elsewhere those uses are also deleted, and so on recursively. I'm still uncertain if this pass should remove derived uses, I'm open to suggestions. Subscribers: mgorny, llvm-commits Tags: #llvm Differential Revision: https://reviews.llvm.org/D64176 > llvm-svn: 368918 llvm-svn: 369061
2019-08-15 22:54:09 +00:00
// TODO: Add CLI option to run only specified Passes (for unit tests)
Added Delta IR Reduction Tool Summary: Tool parses input IR file, and runs the delta debugging algorithm to reduce the functions inside the input file. Reviewers: alexshap, chandlerc Subscribers: mgorny, llvm-commits Tags: #llvm Differential Revision: https://reviews.llvm.org/D63672 > llvm-svn: 368071 llvm-svn: 368358
2019-08-08 22:16:33 +00:00
inline void runDeltaPasses(TestRunner &Tester) {
[llvm-reduce] Add reduction for special globals like llvm.used. This patch adds a reduction of 'special' globals that lead to further reductions (e.g. alias or regular globals reduction) being less efficient because there are special constraints on values referenced in those special globals. For example, values in @llvm.used and @llvm.compiler.used need to be named, so replacing all uses of an alias/global with undef or a different unnamed constant results in invalid IR. More details: https://llvm.org/docs/LangRef.html#intrinsic-global-variables Reviewed By: lebedev.ri Differential Revision: https://reviews.llvm.org/D90302
2020-11-10 19:44:18 +00:00
reduceSpecialGlobalsDeltaPass(Tester);
[llvm-reduce] Add reduction for aliases. This patch adds a new reduction pass that tries to remove aliases. It runs early, as most of those likely can be removed up-front in practice. This substantially improves llvm-reduce for IR generated by the swift compiler, which can generate a lot of aliases which lead to lots of invalid reductions. Reviewed By: lebedev.ri Differential Revision: https://reviews.llvm.org/D90260
2020-10-28 13:06:42 +00:00
reduceAliasesDeltaPass(Tester);
[Reduce] Try turning function definitions into declarations first, NFCI-ish ReduceFunctions could do it, but it also replaces *all* calls with undef, so if any of undef replacements makes reduction uninteresting, it won't work. ReduceBasicBlocks also could do it, but well, it may take many guesses for all the blocks of a function to happen to be out-of-chunk, which is not a very efficient way to go about it. So let's just do this first.
2020-07-25 21:43:36 +03:00
reduceFunctionBodiesDeltaPass(Tester);
Added Delta IR Reduction Tool Summary: Tool parses input IR file, and runs the delta debugging algorithm to reduce the functions inside the input file. Reviewers: alexshap, chandlerc Subscribers: mgorny, llvm-commits Tags: #llvm Differential Revision: https://reviews.llvm.org/D63672 > llvm-svn: 368071 llvm-svn: 368358
2019-08-08 22:16:33 +00:00
reduceFunctionsDeltaPass(Tester);
llvm-reduce: Add pass to reduce basic blocks Patch by Diego Treviño! Differential Revision: https://reviews.llvm.org/D66320 llvm-svn: 372264
2019-09-18 21:45:05 +00:00
reduceBasicBlocksDeltaPass(Tester);
[llvm-reduce] Remove dso_local when possible Add a new delta pass to llvm-reduce that removes dso_local when possible Reviewed By: aeubanks Differential Revision: https://reviews.llvm.org/D98673
2021-03-28 21:18:45 -07:00
reduceGlobalValuesDeltaPass(Tester);
[llvm-reduce] Refactor global variable delta pass The limitation of the current pass that it skips initializer-less GV's seems arbitrary, in all the reduced cases i (personally) looked at, the globals weren't needed, yet they were kept. So let's do two things: 1. allow reducing initializer-less globals 2. before reducing globals, reduce their initializers, much like we do function bodies
2021-01-02 19:56:27 +03:00
reduceGlobalsInitializersDeltaPass(Tester);
[Bugpoint redesign] Added Pass to Remove Global Variables Summary: This pass tries to remove Global Variables, as well as their derived uses. For example if a variable `@x` is used by `%call1` and `%call2`, both these uses and the definition of `@x` are deleted. Moreover if `%call1` or `%call2` are used elsewhere those uses are also deleted, and so on recursively. I'm still uncertain if this pass should remove derived uses, I'm open to suggestions. Subscribers: mgorny, llvm-commits Tags: #llvm Differential Revision: https://reviews.llvm.org/D64176 > llvm-svn: 368918 llvm-svn: 369061
2019-08-15 22:54:09 +00:00
reduceGlobalsDeltaPass(Tester);
llvm-reduce: Add pass to reduce Metadata Patch by Diego Treviño! Differential Revision: https://reviews.llvm.org/D65026 llvm-svn: 371562
2019-09-10 22:09:58 +00:00
reduceMetadataDeltaPass(Tester);
Reapply llvm-reduce: Add pass to reduce parameters"" Fixing a couple of asan-identified bugs * use of an invalid "Use" iterator after the element was removed * use of StringRef to Function name after the Function was erased This reapplies r371567, which was reverted in r371580. llvm-svn: 371700
2019-09-12 01:20:48 +00:00
reduceArgumentsDeltaPass(Tester);
llvm-reduce: Add pass to reduce instructions Patch by Diego Treviño! Differential Revision: https://reviews.llvm.org/D66263 llvm-svn: 372282
2019-09-19 00:59:27 +00:00
reduceInstructionsDeltaPass(Tester);
[llvm-reduce] Reducing call operand bundles Summary: This would have been marginally useful to me during/for rG7ea46aee3670981827c04df89b2c3a1cbdc7561b. With ongoing migration to representing assumes via operand bundles on the assume, this will be gradually more useful. Reviewers: nickdesaulniers, diegotf, dblaikie, george.burgess.iv, jdoerfert, Tyker Reviewed By: nickdesaulniers Subscribers: hiraditya, mgorny, llvm-commits Tags: #llvm Differential Revision: https://reviews.llvm.org/D83177
2020-07-07 01:16:37 +03:00
reduceOperandBundesDeltaPass(Tester);
[llvm-reduce] Reducing attributes Summary: This handles all three places where attributes could currently be - `GlobalVariable`, `Function` and `CallBase`. For last two, it correctly handles all three possible attribute locations (return value, arguments and function itself) There was a previous attempt at it D73853, which was committed in rGfc62b36a000681c01e993242b583c5ec4ab48a3c, but then reverted all the way back in rGb12176d2aafa0ccb2585aa218fc3b454ba84f2a9 due to some (osx?) test failures. Reviewers: nickdesaulniers, dblaikie, diegotf, george.burgess.iv, jdoerfert, Tyker, arsenm Reviewed By: nickdesaulniers Subscribers: wdng, MaskRay, arsenm, llvm-commits, mgorny Tags: #llvm Differential Revision: https://reviews.llvm.org/D83351
2020-07-09 23:06:59 +03:00
reduceAttributesDeltaPass(Tester);
Added Delta IR Reduction Tool Summary: Tool parses input IR file, and runs the delta debugging algorithm to reduce the functions inside the input file. Reviewers: alexshap, chandlerc Subscribers: mgorny, llvm-commits Tags: #llvm Differential Revision: https://reviews.llvm.org/D63672 > llvm-svn: 368071 llvm-svn: 368358
2019-08-08 22:16:33 +00:00
// TODO: Implement the remaining Delta Passes
}
} // namespace llvm
Reference in New Issue Copy Permalink