projects/ldc: gen/optimizer.cpp annotate

annotate gen/optimizer.cpp @ 1288:e109e4031e8a

Fix build when USE_METADATA is off.

author	Matti Niemenmaa <matti.niemenmaa+hg@iki.fi>
date	Sat, 02 May 2009 19:03:33 +0300
parents	6c8af78364f5
children	dd84ec4353ce

rev	line source
1170 e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	1 #include "gen/optimizer.h"
1175 cc1efa23030a Enable inlining by default for -O3+. Frits van Bommel <fvbommel wxs.nl> parents: 1172 diff changeset	2 #include "gen/cl_helpers.h"
1170 e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	3
1275 bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: 1268 diff changeset	4 #include "gen/passes/Passes.h"
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: 1268 diff changeset	5
125 c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	6 #include "llvm/PassManager.h"
c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	7 #include "llvm/LinkAllPasses.h"
c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	8 #include "llvm/Analysis/LoopPass.h"
c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	9 #include "llvm/Target/TargetData.h"
1170 e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	10 #include "llvm/Support/CommandLine.h"
e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	11 #include "llvm/Support/PassNameParser.h"
e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	12
1172 b3887714b735 Small cleanup: remove mars.h #include Frits van Bommel <fvbommel wxs.nl> parents: 1171 diff changeset	13 #include "root.h" // error()
125 c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	14
c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	15 using namespace llvm;
c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	16
1170 e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	17 // Allow the user to specify specific optimizations to run.
e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	18 static cl::list<const PassInfo*, bool, PassNameParser>
e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	19 passList(
e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	20 cl::desc("Running specific optimizations:"),
e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	21 cl::Hidden // to clean up --help output
e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	22 );
125 c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	23
1281 29d3861aa2da Make sure this still compiles after LLVM r70437, which introduces a Frits van Bommel <fvbommel wxs.nl> parents: 1275 diff changeset	24 static cl::opt<unsigned char> optimizeLevel(
1170 e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	25 cl::desc("Setting the optimization level:"),
e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	26 cl::ZeroOrMore,
e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	27 cl::values(
e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	28 clEnumValN(2, "O", "Equivalent to -O2"),
1171 461a85f0db31 Change meaning of optimization levels: -O0 now means 'no optimization' like with Frits van Bommel <fvbommel wxs.nl> parents: 1170 diff changeset	29 clEnumValN(0, "O0", "No optimizations (default)"),
1170 e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	30 clEnumValN(1, "O1", "Simple optimizations"),
e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	31 clEnumValN(2, "O2", "Good optimizations"),
e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	32 clEnumValN(3, "O3", "Aggressive optimizations"),
e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	33 clEnumValN(4, "O4", "Link-time optimization"), // not implemented?
e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	34 clEnumValN(5, "O5", "Link-time optimization"), // not implemented?
e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	35 clEnumValEnd),
1171 461a85f0db31 Change meaning of optimization levels: -O0 now means 'no optimization' like with Frits van Bommel <fvbommel wxs.nl> parents: 1170 diff changeset	36 cl::init(0));
125 c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	37
1275 bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: 1268 diff changeset	38 static cl::opt<bool>
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: 1268 diff changeset	39 disableLangSpecificPasses("disable-d-passes",
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: 1268 diff changeset	40 cl::desc("Disable D-specific passes in -O<N>"),
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: 1268 diff changeset	41 cl::ZeroOrMore);
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: 1268 diff changeset	42
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: 1268 diff changeset	43 static cl::opt<bool>
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: 1268 diff changeset	44 disableSimplifyRuntimeCalls("disable-simplify-drtcalls",
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: 1268 diff changeset	45 cl::desc("Disable simplification of runtime calls in -O<N>"),
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: 1268 diff changeset	46 cl::ZeroOrMore);
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: 1268 diff changeset	47
1288 e109e4031e8a Fix build when USE_METADATA is off. Matti Niemenmaa <matti.niemenmaa+hg@iki.fi> parents: 1287 diff changeset	48 #ifdef USE_METADATA
1285 91d9386d4a5a Implement another D-specific pass: -dgc2stack Frits van Bommel <fvbommel wxs.nl> parents: 1281 diff changeset	49 static cl::opt<bool>
91d9386d4a5a Implement another D-specific pass: -dgc2stack Frits van Bommel <fvbommel wxs.nl> parents: 1281 diff changeset	50 disableGCToStack("disable-gc2stack",
91d9386d4a5a Implement another D-specific pass: -dgc2stack Frits van Bommel <fvbommel wxs.nl> parents: 1281 diff changeset	51 cl::desc("Disable promotion of GC allocations to stack memory in -O<N>"),
91d9386d4a5a Implement another D-specific pass: -dgc2stack Frits van Bommel <fvbommel wxs.nl> parents: 1281 diff changeset	52 cl::ZeroOrMore);
91d9386d4a5a Implement another D-specific pass: -dgc2stack Frits van Bommel <fvbommel wxs.nl> parents: 1281 diff changeset	53
1287 6c8af78364f5 There's an issue with LLVM metadata support; it triggers an assert when trying Frits van Bommel <fvbommel wxs.nl> parents: 1285 diff changeset	54 // Not recommended; metadata currently triggers an assert in the backend...
6c8af78364f5 There's an issue with LLVM metadata support; it triggers an assert when trying Frits van Bommel <fvbommel wxs.nl> parents: 1285 diff changeset	55 static cl::opt<bool>
6c8af78364f5 There's an issue with LLVM metadata support; it triggers an assert when trying Frits van Bommel <fvbommel wxs.nl> parents: 1285 diff changeset	56 disableStripMetaData("disable-strip-metadata",
6c8af78364f5 There's an issue with LLVM metadata support; it triggers an assert when trying Frits van Bommel <fvbommel wxs.nl> parents: 1285 diff changeset	57 cl::desc("Disable default metadata stripping (not recommended)"),
6c8af78364f5 There's an issue with LLVM metadata support; it triggers an assert when trying Frits van Bommel <fvbommel wxs.nl> parents: 1285 diff changeset	58 cl::ZeroOrMore);
1288 e109e4031e8a Fix build when USE_METADATA is off. Matti Niemenmaa <matti.niemenmaa+hg@iki.fi> parents: 1287 diff changeset	59 #endif
1287 6c8af78364f5 There's an issue with LLVM metadata support; it triggers an assert when trying Frits van Bommel <fvbommel wxs.nl> parents: 1285 diff changeset	60
1175 cc1efa23030a Enable inlining by default for -O3+. Frits van Bommel <fvbommel wxs.nl> parents: 1172 diff changeset	61 static cl::opt<opts::BoolOrDefaultAdapter, false, opts::FlagParser>
cc1efa23030a Enable inlining by default for -O3+. Frits van Bommel <fvbommel wxs.nl> parents: 1172 diff changeset	62 enableInlining("inlining",
1275 bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: 1268 diff changeset	63 cl::desc("(*) Enable function inlining in -O<N>"),
1175 cc1efa23030a Enable inlining by default for -O3+. Frits van Bommel <fvbommel wxs.nl> parents: 1172 diff changeset	64 cl::ZeroOrMore);
1170 e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	65
1175 cc1efa23030a Enable inlining by default for -O3+. Frits van Bommel <fvbommel wxs.nl> parents: 1172 diff changeset	66 // Determine whether or not to run the inliner as part of the default list of
cc1efa23030a Enable inlining by default for -O3+. Frits van Bommel <fvbommel wxs.nl> parents: 1172 diff changeset	67 // optimization passes.
cc1efa23030a Enable inlining by default for -O3+. Frits van Bommel <fvbommel wxs.nl> parents: 1172 diff changeset	68 // If not explicitly specified, treat as false for -O0-2, and true for -O3.
1170 e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	69 bool doInline() {
1175 cc1efa23030a Enable inlining by default for -O3+. Frits van Bommel <fvbommel wxs.nl> parents: 1172 diff changeset	70 return enableInlining == cl::BOU_TRUE
cc1efa23030a Enable inlining by default for -O3+. Frits van Bommel <fvbommel wxs.nl> parents: 1172 diff changeset	71 \|\| (enableInlining == cl::BOU_UNSET && optimizeLevel >= 3);
1170 e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	72 }
131 5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	73
1175 cc1efa23030a Enable inlining by default for -O3+. Frits van Bommel <fvbommel wxs.nl> parents: 1172 diff changeset	74 // Some extra accessors for the linker: (llvm-ld version only, currently unused?)
1170 e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	75 int optLevel() {
e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	76 return optimizeLevel;
e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	77 }
125 c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	78
1170 e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	79 bool optimize() {
1267 381c3ee0ca00 Fix a logic bug. Frits van Bommel <fvbommel wxs.nl> parents: 1220 diff changeset	80 return optimizeLevel \|\| doInline() \|\| !passList.empty();
1170 e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	81 }
e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	82
e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	83 // this function inserts some or all of the std-compile-opts passes depending on the
e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	84 // optimization level given.
e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	85 static void addPassesForOptLevel(PassManager& pm) {
1171 461a85f0db31 Change meaning of optimization levels: -O0 now means 'no optimization' like with Frits van Bommel <fvbommel wxs.nl> parents: 1170 diff changeset	86 // -O1
461a85f0db31 Change meaning of optimization levels: -O0 now means 'no optimization' like with Frits van Bommel <fvbommel wxs.nl> parents: 1170 diff changeset	87 if (optimizeLevel >= 1)
131 5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	88 {
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	89 //pm.add(createStripDeadPrototypesPass());
5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	90 pm.add(createGlobalDCEPass());
125 c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	91 pm.add(createRaiseAllocationsPass());
c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	92 pm.add(createCFGSimplificationPass());
1219 a0844cc67840 Tweak some optimizations. Frits van Bommel <fvbommel wxs.nl> parents: 1175 diff changeset	93 if (optimizeLevel == 1)
a0844cc67840 Tweak some optimizations. Frits van Bommel <fvbommel wxs.nl> parents: 1175 diff changeset	94 pm.add(createPromoteMemoryToRegisterPass());
a0844cc67840 Tweak some optimizations. Frits van Bommel <fvbommel wxs.nl> parents: 1175 diff changeset	95 else
a0844cc67840 Tweak some optimizations. Frits van Bommel <fvbommel wxs.nl> parents: 1175 diff changeset	96 pm.add(createScalarReplAggregatesPass());
129 8096ba7082db [svn r133] Fixed some problems with inlining not happening :P lindquist parents: 125 diff changeset	97 pm.add(createGlobalOptimizerPass());
8096ba7082db [svn r133] Fixed some problems with inlining not happening :P lindquist parents: 125 diff changeset	98 pm.add(createGlobalDCEPass());
125 c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	99 }
c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	100
131 5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	101 // -O2
1170 e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	102 if (optimizeLevel >= 2)
125 c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	103 {
c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	104 pm.add(createIPConstantPropagationPass());
c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	105 pm.add(createDeadArgEliminationPass());
c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	106 pm.add(createInstructionCombiningPass());
607 9526b29ae342 Fixed the optimizer thing, since llvm PR 2800 is already fixed, users need to upgrade LLVM to latest svn. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 605 diff changeset	107 pm.add(createCFGSimplificationPass());
125 c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	108 pm.add(createPruneEHPass());
1288 e109e4031e8a Fix build when USE_METADATA is off. Matti Niemenmaa <matti.niemenmaa+hg@iki.fi> parents: 1287 diff changeset	109
e109e4031e8a Fix build when USE_METADATA is off. Matti Niemenmaa <matti.niemenmaa+hg@iki.fi> parents: 1287 diff changeset	110 #ifdef USE_METADATA
1285 91d9386d4a5a Implement another D-specific pass: -dgc2stack Frits van Bommel <fvbommel wxs.nl> parents: 1281 diff changeset	111 if (!disableLangSpecificPasses && !disableGCToStack)
91d9386d4a5a Implement another D-specific pass: -dgc2stack Frits van Bommel <fvbommel wxs.nl> parents: 1281 diff changeset	112 pm.add(createGarbageCollect2Stack());
1288 e109e4031e8a Fix build when USE_METADATA is off. Matti Niemenmaa <matti.niemenmaa+hg@iki.fi> parents: 1287 diff changeset	113 #endif
125 c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	114 }
c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	115
131 5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	116 // -inline
1175 cc1efa23030a Enable inlining by default for -O3+. Frits van Bommel <fvbommel wxs.nl> parents: 1172 diff changeset	117 if (doInline()) {
125 c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	118 pm.add(createFunctionInliningPass());
1288 e109e4031e8a Fix build when USE_METADATA is off. Matti Niemenmaa <matti.niemenmaa+hg@iki.fi> parents: 1287 diff changeset	119
1219 a0844cc67840 Tweak some optimizations. Frits van Bommel <fvbommel wxs.nl> parents: 1175 diff changeset	120 if (optimizeLevel >= 2) {
a0844cc67840 Tweak some optimizations. Frits van Bommel <fvbommel wxs.nl> parents: 1175 diff changeset	121 // Run some optimizations to clean up after inlining.
1285 91d9386d4a5a Implement another D-specific pass: -dgc2stack Frits van Bommel <fvbommel wxs.nl> parents: 1281 diff changeset	122 pm.add(createScalarReplAggregatesPass());
1219 a0844cc67840 Tweak some optimizations. Frits van Bommel <fvbommel wxs.nl> parents: 1175 diff changeset	123 pm.add(createInstructionCombiningPass());
1288 e109e4031e8a Fix build when USE_METADATA is off. Matti Niemenmaa <matti.niemenmaa+hg@iki.fi> parents: 1287 diff changeset	124
e109e4031e8a Fix build when USE_METADATA is off. Matti Niemenmaa <matti.niemenmaa+hg@iki.fi> parents: 1287 diff changeset	125 #ifdef USE_METADATA
1285 91d9386d4a5a Implement another D-specific pass: -dgc2stack Frits van Bommel <fvbommel wxs.nl> parents: 1281 diff changeset	126 if (!disableLangSpecificPasses && !disableGCToStack)
91d9386d4a5a Implement another D-specific pass: -dgc2stack Frits van Bommel <fvbommel wxs.nl> parents: 1281 diff changeset	127 pm.add(createGarbageCollect2Stack());
1288 e109e4031e8a Fix build when USE_METADATA is off. Matti Niemenmaa <matti.niemenmaa+hg@iki.fi> parents: 1287 diff changeset	128 #endif
e109e4031e8a Fix build when USE_METADATA is off. Matti Niemenmaa <matti.niemenmaa+hg@iki.fi> parents: 1287 diff changeset	129
1219 a0844cc67840 Tweak some optimizations. Frits van Bommel <fvbommel wxs.nl> parents: 1175 diff changeset	130 // Inline again, to catch things like foreach delegates
1220 e945d2a0999e Fix typo in comment Frits van Bommel <fvbommel wxs.nl> parents: 1219 diff changeset	131 // passed to inlined opApply's where the function wasn't
1219 a0844cc67840 Tweak some optimizations. Frits van Bommel <fvbommel wxs.nl> parents: 1175 diff changeset	132 // known during the first inliner pass.
a0844cc67840 Tweak some optimizations. Frits van Bommel <fvbommel wxs.nl> parents: 1175 diff changeset	133 pm.add(createFunctionInliningPass());
1288 e109e4031e8a Fix build when USE_METADATA is off. Matti Niemenmaa <matti.niemenmaa+hg@iki.fi> parents: 1287 diff changeset	134
1219 a0844cc67840 Tweak some optimizations. Frits van Bommel <fvbommel wxs.nl> parents: 1175 diff changeset	135 // Run clean-up again.
1285 91d9386d4a5a Implement another D-specific pass: -dgc2stack Frits van Bommel <fvbommel wxs.nl> parents: 1281 diff changeset	136 pm.add(createScalarReplAggregatesPass());
1219 a0844cc67840 Tweak some optimizations. Frits van Bommel <fvbommel wxs.nl> parents: 1175 diff changeset	137 pm.add(createInstructionCombiningPass());
1288 e109e4031e8a Fix build when USE_METADATA is off. Matti Niemenmaa <matti.niemenmaa+hg@iki.fi> parents: 1287 diff changeset	138
e109e4031e8a Fix build when USE_METADATA is off. Matti Niemenmaa <matti.niemenmaa+hg@iki.fi> parents: 1287 diff changeset	139 #ifdef USE_METADATA
1285 91d9386d4a5a Implement another D-specific pass: -dgc2stack Frits van Bommel <fvbommel wxs.nl> parents: 1281 diff changeset	140 if (!disableLangSpecificPasses && !disableGCToStack)
91d9386d4a5a Implement another D-specific pass: -dgc2stack Frits van Bommel <fvbommel wxs.nl> parents: 1281 diff changeset	141 pm.add(createGarbageCollect2Stack());
1288 e109e4031e8a Fix build when USE_METADATA is off. Matti Niemenmaa <matti.niemenmaa+hg@iki.fi> parents: 1287 diff changeset	142 #endif
1219 a0844cc67840 Tweak some optimizations. Frits van Bommel <fvbommel wxs.nl> parents: 1175 diff changeset	143 }
125 c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	144 }
c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	145
1285 91d9386d4a5a Implement another D-specific pass: -dgc2stack Frits van Bommel <fvbommel wxs.nl> parents: 1281 diff changeset	146 if (optimizeLevel >= 2 && !disableLangSpecificPasses) {
91d9386d4a5a Implement another D-specific pass: -dgc2stack Frits van Bommel <fvbommel wxs.nl> parents: 1281 diff changeset	147 if (!disableSimplifyRuntimeCalls)
91d9386d4a5a Implement another D-specific pass: -dgc2stack Frits van Bommel <fvbommel wxs.nl> parents: 1281 diff changeset	148 pm.add(createSimplifyDRuntimeCalls());
1288 e109e4031e8a Fix build when USE_METADATA is off. Matti Niemenmaa <matti.niemenmaa+hg@iki.fi> parents: 1287 diff changeset	149
e109e4031e8a Fix build when USE_METADATA is off. Matti Niemenmaa <matti.niemenmaa+hg@iki.fi> parents: 1287 diff changeset	150 #ifdef USE_METADATA
1285 91d9386d4a5a Implement another D-specific pass: -dgc2stack Frits van Bommel <fvbommel wxs.nl> parents: 1281 diff changeset	151 if (!disableGCToStack) {
91d9386d4a5a Implement another D-specific pass: -dgc2stack Frits van Bommel <fvbommel wxs.nl> parents: 1281 diff changeset	152 // Run some clean-up after the last GC to stack promotion pass.
91d9386d4a5a Implement another D-specific pass: -dgc2stack Frits van Bommel <fvbommel wxs.nl> parents: 1281 diff changeset	153 pm.add(createScalarReplAggregatesPass());
91d9386d4a5a Implement another D-specific pass: -dgc2stack Frits van Bommel <fvbommel wxs.nl> parents: 1281 diff changeset	154 pm.add(createInstructionCombiningPass());
91d9386d4a5a Implement another D-specific pass: -dgc2stack Frits van Bommel <fvbommel wxs.nl> parents: 1281 diff changeset	155 pm.add(createCFGSimplificationPass());
91d9386d4a5a Implement another D-specific pass: -dgc2stack Frits van Bommel <fvbommel wxs.nl> parents: 1281 diff changeset	156 }
1288 e109e4031e8a Fix build when USE_METADATA is off. Matti Niemenmaa <matti.niemenmaa+hg@iki.fi> parents: 1287 diff changeset	157 #endif
1275 bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: 1268 diff changeset	158 }
1287 6c8af78364f5 There's an issue with LLVM metadata support; it triggers an assert when trying Frits van Bommel <fvbommel wxs.nl> parents: 1285 diff changeset	159 #ifdef USE_METADATA
6c8af78364f5 There's an issue with LLVM metadata support; it triggers an assert when trying Frits van Bommel <fvbommel wxs.nl> parents: 1285 diff changeset	160 if (!disableStripMetaData) {
6c8af78364f5 There's an issue with LLVM metadata support; it triggers an assert when trying Frits van Bommel <fvbommel wxs.nl> parents: 1285 diff changeset	161 // This one is purposely not disabled by disableLangSpecificPasses
6c8af78364f5 There's an issue with LLVM metadata support; it triggers an assert when trying Frits van Bommel <fvbommel wxs.nl> parents: 1285 diff changeset	162 // because the code generator will assert if it's not used.
6c8af78364f5 There's an issue with LLVM metadata support; it triggers an assert when trying Frits van Bommel <fvbommel wxs.nl> parents: 1285 diff changeset	163 pm.add(createStripMetaData());
6c8af78364f5 There's an issue with LLVM metadata support; it triggers an assert when trying Frits van Bommel <fvbommel wxs.nl> parents: 1285 diff changeset	164 }
6c8af78364f5 There's an issue with LLVM metadata support; it triggers an assert when trying Frits van Bommel <fvbommel wxs.nl> parents: 1285 diff changeset	165 #endif
1275 bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls. Frits van Bommel <fvbommel wxs.nl> parents: 1268 diff changeset	166
131 5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	167 // -O3
1170 e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	168 if (optimizeLevel >= 3)
125 c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	169 {
c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	170 pm.add(createArgumentPromotionPass());
c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	171 pm.add(createTailDuplicationPass());
c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	172 pm.add(createInstructionCombiningPass());
c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	173 pm.add(createCFGSimplificationPass());
c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	174 pm.add(createScalarReplAggregatesPass());
c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	175 pm.add(createInstructionCombiningPass());
c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	176 pm.add(createCondPropagationPass());
c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	177
c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	178 pm.add(createTailCallEliminationPass());
c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	179 pm.add(createCFGSimplificationPass());
c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	180 pm.add(createReassociatePass());
c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	181 pm.add(createLoopRotatePass());
c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	182 pm.add(createLICMPass());
c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	183 pm.add(createLoopUnswitchPass());
c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	184 pm.add(createInstructionCombiningPass());
c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	185 pm.add(createIndVarSimplifyPass());
c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	186 pm.add(createLoopUnrollPass());
c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	187 pm.add(createInstructionCombiningPass());
c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	188 pm.add(createGVNPass());
c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	189 pm.add(createSCCPPass());
c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	190
c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	191 pm.add(createInstructionCombiningPass());
c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	192 pm.add(createCondPropagationPass());
c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	193
c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	194 pm.add(createDeadStoreEliminationPass());
c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	195 pm.add(createAggressiveDCEPass());
c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	196 pm.add(createCFGSimplificationPass());
c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	197 pm.add(createSimplifyLibCallsPass());
c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	198 pm.add(createDeadTypeEliminationPass());
c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	199 pm.add(createConstantMergePass());
c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	200 }
c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	201
131 5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	202 // level -O4 and -O5 are linktime optimizations
1170 e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	203 }
e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	204
e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	205 //////////////////////////////////////////////////////////////////////////////////////////
e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	206 // This function runs optimization passes based on command line arguments.
e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	207 // Returns true if any optimization passes were invoked.
e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	208 bool ldc_optimize_module(llvm::Module* m)
e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	209 {
1287 6c8af78364f5 There's an issue with LLVM metadata support; it triggers an assert when trying Frits van Bommel <fvbommel wxs.nl> parents: 1285 diff changeset	210 if (!optimize()) {
6c8af78364f5 There's an issue with LLVM metadata support; it triggers an assert when trying Frits van Bommel <fvbommel wxs.nl> parents: 1285 diff changeset	211 #ifdef USE_METADATA
6c8af78364f5 There's an issue with LLVM metadata support; it triggers an assert when trying Frits van Bommel <fvbommel wxs.nl> parents: 1285 diff changeset	212 if (!disableStripMetaData) {
6c8af78364f5 There's an issue with LLVM metadata support; it triggers an assert when trying Frits van Bommel <fvbommel wxs.nl> parents: 1285 diff changeset	213 // This one always needs to run if metadata is generated, because
6c8af78364f5 There's an issue with LLVM metadata support; it triggers an assert when trying Frits van Bommel <fvbommel wxs.nl> parents: 1285 diff changeset	214 // the code generator will assert if it's not used.
6c8af78364f5 There's an issue with LLVM metadata support; it triggers an assert when trying Frits van Bommel <fvbommel wxs.nl> parents: 1285 diff changeset	215 ModulePass* stripMD = createStripMetaData();
6c8af78364f5 There's an issue with LLVM metadata support; it triggers an assert when trying Frits van Bommel <fvbommel wxs.nl> parents: 1285 diff changeset	216 stripMD->runOnModule(*m);
6c8af78364f5 There's an issue with LLVM metadata support; it triggers an assert when trying Frits van Bommel <fvbommel wxs.nl> parents: 1285 diff changeset	217 delete stripMD;
6c8af78364f5 There's an issue with LLVM metadata support; it triggers an assert when trying Frits van Bommel <fvbommel wxs.nl> parents: 1285 diff changeset	218 }
6c8af78364f5 There's an issue with LLVM metadata support; it triggers an assert when trying Frits van Bommel <fvbommel wxs.nl> parents: 1285 diff changeset	219 #endif
1170 e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	220 return false;
1287 6c8af78364f5 There's an issue with LLVM metadata support; it triggers an assert when trying Frits van Bommel <fvbommel wxs.nl> parents: 1285 diff changeset	221 }
1170 e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	222
e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	223 PassManager pm;
e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	224 pm.add(new TargetData(m));
e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	225
1175 cc1efa23030a Enable inlining by default for -O3+. Frits van Bommel <fvbommel wxs.nl> parents: 1172 diff changeset	226 bool optimize = optimizeLevel != 0 \|\| doInline();
1170 e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	227
1171 461a85f0db31 Change meaning of optimization levels: -O0 now means 'no optimization' like with Frits van Bommel <fvbommel wxs.nl> parents: 1170 diff changeset	228 unsigned optPos = optimizeLevel != 0
1170 e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	229 ? optimizeLevel.getPosition()
e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	230 : enableInlining.getPosition();
e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	231
e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	232 for (size_t i = 0; i < passList.size(); i++) {
e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	233 // insert -O<N> / -enable-inlining in right position
e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	234 if (optimize && optPos < passList.getPosition(i)) {
e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	235 addPassesForOptLevel(pm);
e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	236 optimize = false;
e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	237 }
e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	238
e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	239 const PassInfo* pass = passList[i];
e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	240 if (PassInfo::NormalCtor_t ctor = pass->getNormalCtor()) {
e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	241 pm.add(ctor());
e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	242 } else {
e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	243 const char* arg = pass->getPassArgument(); // may return null
e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	244 if (arg)
e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	245 error("Can't create pass '-%s' (%s)", arg, pass->getPassName());
e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	246 else
e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	247 error("Can't create pass (%s)", pass->getPassName());
1172 b3887714b735 Small cleanup: remove mars.h #include Frits van Bommel <fvbommel wxs.nl> parents: 1171 diff changeset	248 assert(0); // Should be unreachable; root.h:error() calls exit()
1170 e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	249 }
e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	250 }
e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	251 // insert -O<N> / -enable-inlining if specified at the end,
e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	252 if (optimize)
e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	253 addPassesForOptLevel(pm);
125 c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	254
131 5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	255 pm.run(*m);
1170 e40c65bd8c5d Allow specific optimization passes to be requested from the command line. Frits van Bommel <fvbommel wxs.nl> parents: 663 diff changeset	256 return true;
125 c42d245468ea [svn r129] Started AA literals. lindquist parents: diff changeset	257 }

Mercurial > projects > ldc

annotate gen/optimizer.cpp @ 1288:e109e4031e8a