Mercurial > projects > ldc

annotate gen/optimizer.cpp @ 1481:e0f03e11cdf8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add `-memcpyopt` to the optimization pass list.
author Frits van Bommel <fvbommel wxs.nl>
date Sun, 07 Jun 2009 15:07:29 +0200
parents a28953f1eb43
children d9c5f5a43403
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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"
1296
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
9 #include "llvm/Analysis/Verifier.h"
125
c42d245468ea [svn r129] Started AA literals.
lindquist
parents:
diff changeset
10 #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
11 #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
12 #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
13
1172
b3887714b735 Small cleanup: remove mars.h #include
Frits van Bommel <fvbommel wxs.nl>
parents: 1171
diff changeset
14 #include "root.h" // error()
125
c42d245468ea [svn r129] Started AA literals.
lindquist
parents:
diff changeset
15
c42d245468ea [svn r129] Started AA literals.
lindquist
parents:
diff changeset
16 using namespace llvm;
c42d245468ea [svn r129] Started AA literals.
lindquist
parents:
diff changeset
17
1170
e40c65bd8c5d Allow specific optimization passes to be requested from the command line.
Frits van Bommel <fvbommel wxs.nl>
parents: 663
diff changeset
18 // 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
19 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
20 passList(
e40c65bd8c5d Allow specific optimization passes to be requested from the command line.
Frits van Bommel <fvbommel wxs.nl>
parents: 663
diff changeset
21 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
22 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
23 );
125
c42d245468ea [svn r129] Started AA literals.
lindquist
parents:
diff changeset
24
1281
29d3861aa2da Make sure this still compiles after LLVM r70437, which introduces a
Frits van Bommel <fvbommel wxs.nl>
parents: 1275
diff changeset
25 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
26 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
27 cl::ZeroOrMore,
e40c65bd8c5d Allow specific optimization passes to be requested from the command line.
Frits van Bommel <fvbommel wxs.nl>
parents: 663
diff changeset
28 cl::values(
e40c65bd8c5d Allow specific optimization passes to be requested from the command line.
Frits van Bommel <fvbommel wxs.nl>
parents: 663
diff changeset
29 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
30 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
31 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
32 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
33 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
34 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
35 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
36 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
37 cl::init(0));
125
c42d245468ea [svn r129] Started AA literals.
lindquist
parents:
diff changeset
38
1275
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls.
Frits van Bommel <fvbommel wxs.nl>
parents: 1268
diff changeset
39 static cl::opt<bool>
1296
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
40 verifyEach("verify-each",
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
41 cl::desc("Run verifier after each optimization pass"),
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
42 cl::Hidden,
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
43 cl::ZeroOrMore);
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
44
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
45 static cl::opt<bool>
1275
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls.
Frits van Bommel <fvbommel wxs.nl>
parents: 1268
diff changeset
46 disableLangSpecificPasses("disable-d-passes",
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls.
Frits van Bommel <fvbommel wxs.nl>
parents: 1268
diff changeset
47 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
48 cl::ZeroOrMore);
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls.
Frits van Bommel <fvbommel wxs.nl>
parents: 1268
diff changeset
49
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls.
Frits van Bommel <fvbommel wxs.nl>
parents: 1268
diff changeset
50 static cl::opt<bool>
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls.
Frits van Bommel <fvbommel wxs.nl>
parents: 1268
diff changeset
51 disableSimplifyRuntimeCalls("disable-simplify-drtcalls",
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls.
Frits van Bommel <fvbommel wxs.nl>
parents: 1268
diff changeset
52 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
53 cl::ZeroOrMore);
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls.
Frits van Bommel <fvbommel wxs.nl>
parents: 1268
diff changeset
54
1288
e109e4031e8a Fix build when USE_METADATA is off.
Matti Niemenmaa <matti.niemenmaa+hg@iki.fi>
parents: 1287
diff changeset
55 #ifdef USE_METADATA
1285
91d9386d4a5a Implement another D-specific pass: -dgc2stack
Frits van Bommel <fvbommel wxs.nl>
parents: 1281
diff changeset
56 static cl::opt<bool>
91d9386d4a5a Implement another D-specific pass: -dgc2stack
Frits van Bommel <fvbommel wxs.nl>
parents: 1281
diff changeset
57 disableGCToStack("disable-gc2stack",
91d9386d4a5a Implement another D-specific pass: -dgc2stack
Frits van Bommel <fvbommel wxs.nl>
parents: 1281
diff changeset
58 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
59 cl::ZeroOrMore);
91d9386d4a5a Implement another D-specific pass: -dgc2stack
Frits van Bommel <fvbommel wxs.nl>
parents: 1281
diff changeset
60
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
61 // 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
62 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
63 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
64 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
65 cl::ZeroOrMore);
1288
e109e4031e8a Fix build when USE_METADATA is off.
Matti Niemenmaa <matti.niemenmaa+hg@iki.fi>
parents: 1287
diff changeset
66 #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
67
1175
cc1efa23030a Enable inlining by default for -O3+.
Frits van Bommel <fvbommel wxs.nl>
parents: 1172
diff changeset
68 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
69 enableInlining("inlining",
1275
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls.
Frits van Bommel <fvbommel wxs.nl>
parents: 1268
diff changeset
70 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
71 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
72
1175
cc1efa23030a Enable inlining by default for -O3+.
Frits van Bommel <fvbommel wxs.nl>
parents: 1172
diff changeset
73 // 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
74 // optimization passes.
cc1efa23030a Enable inlining by default for -O3+.
Frits van Bommel <fvbommel wxs.nl>
parents: 1172
diff changeset
75 // 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
76 bool doInline() {
1175
cc1efa23030a Enable inlining by default for -O3+.
Frits van Bommel <fvbommel wxs.nl>
parents: 1172
diff changeset
77 return enableInlining == cl::BOU_TRUE
cc1efa23030a Enable inlining by default for -O3+.
Frits van Bommel <fvbommel wxs.nl>
parents: 1172
diff changeset
78 || (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
79 }
131
5825d48b27d1 [svn r135] * Merged DMD 1.025 *
lindquist
parents: 129
diff changeset
80
1175
cc1efa23030a Enable inlining by default for -O3+.
Frits van Bommel <fvbommel wxs.nl>
parents: 1172
diff changeset
81 // 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
82 int optLevel() {
e40c65bd8c5d Allow specific optimization passes to be requested from the command line.
Frits van Bommel <fvbommel wxs.nl>
parents: 663
diff changeset
83 return optimizeLevel;
e40c65bd8c5d Allow specific optimization passes to be requested from the command line.
Frits van Bommel <fvbommel wxs.nl>
parents: 663
diff changeset
84 }
125
c42d245468ea [svn r129] Started AA literals.
lindquist
parents:
diff changeset
85
1170
e40c65bd8c5d Allow specific optimization passes to be requested from the command line.
Frits van Bommel <fvbommel wxs.nl>
parents: 663
diff changeset
86 bool optimize() {
1267
381c3ee0ca00 Fix a logic bug.
Frits van Bommel <fvbommel wxs.nl>
parents: 1220
diff changeset
87 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
88 }
e40c65bd8c5d Allow specific optimization passes to be requested from the command line.
Frits van Bommel <fvbommel wxs.nl>
parents: 663
diff changeset
89
1296
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
90 static void addPass(PassManager& pm, Pass* pass) {
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
91 pm.add(pass);
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
92
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
93 if (verifyEach) pm.add(createVerifierPass());
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
94 }
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
95
1170
e40c65bd8c5d Allow specific optimization passes to be requested from the command line.
Frits van Bommel <fvbommel wxs.nl>
parents: 663
diff changeset
96 // 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
97 // 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
98 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
99 // -O1
461a85f0db31 Change meaning of optimization levels: -O0 now means 'no optimization' like with
Frits van Bommel <fvbommel wxs.nl>
parents: 1170
diff changeset
100 if (optimizeLevel >= 1)
131
5825d48b27d1 [svn r135] * Merged DMD 1.025 *
lindquist
parents: 129
diff changeset
101 {
1296
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
102 //addPass(pm, createStripDeadPrototypesPass());
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
103 addPass(pm, createGlobalDCEPass());
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
104 addPass(pm, createRaiseAllocationsPass());
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
105 addPass(pm, createCFGSimplificationPass());
1219
a0844cc67840 Tweak some optimizations.
Frits van Bommel <fvbommel wxs.nl>
parents: 1175
diff changeset
106 if (optimizeLevel == 1)
1296
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
107 addPass(pm, createPromoteMemoryToRegisterPass());
1219
a0844cc67840 Tweak some optimizations.
Frits van Bommel <fvbommel wxs.nl>
parents: 1175
diff changeset
108 else
1296
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
109 addPass(pm, createScalarReplAggregatesPass());
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
110 addPass(pm, createGlobalOptimizerPass());
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
111 addPass(pm, createGlobalDCEPass());
125
c42d245468ea [svn r129] Started AA literals.
lindquist
parents:
diff changeset
112 }
c42d245468ea [svn r129] Started AA literals.
lindquist
parents:
diff changeset
113
131
5825d48b27d1 [svn r135] * Merged DMD 1.025 *
lindquist
parents: 129
diff changeset
114 // -O2
1170
e40c65bd8c5d Allow specific optimization passes to be requested from the command line.
Frits van Bommel <fvbommel wxs.nl>
parents: 663
diff changeset
115 if (optimizeLevel >= 2)
125
c42d245468ea [svn r129] Started AA literals.
lindquist
parents:
diff changeset
116 {
1296
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
117 addPass(pm, createIPConstantPropagationPass());
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
118 addPass(pm, createDeadArgEliminationPass());
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
119 addPass(pm, createInstructionCombiningPass());
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
120 addPass(pm, createCFGSimplificationPass());
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
121 addPass(pm, createPruneEHPass());
1423
42bd767ec5a4 * Add -functionattrs to default pass list so -dgc2stack is more effective
Frits van Bommel <fvbommel wxs.nl>
parents: 1296
diff changeset
122 addPass(pm, createFunctionAttrsPass());
1288
e109e4031e8a Fix build when USE_METADATA is off.
Matti Niemenmaa <matti.niemenmaa+hg@iki.fi>
parents: 1287
diff changeset
123
e109e4031e8a Fix build when USE_METADATA is off.
Matti Niemenmaa <matti.niemenmaa+hg@iki.fi>
parents: 1287
diff changeset
124 #ifdef USE_METADATA
1285
91d9386d4a5a Implement another D-specific pass: -dgc2stack
Frits van Bommel <fvbommel wxs.nl>
parents: 1281
diff changeset
125 if (!disableLangSpecificPasses && !disableGCToStack)
1296
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
126 addPass(pm, createGarbageCollect2Stack());
1288
e109e4031e8a Fix build when USE_METADATA is off.
Matti Niemenmaa <matti.niemenmaa+hg@iki.fi>
parents: 1287
diff changeset
127 #endif
1472
a28953f1eb43 Move `-tailcallelim` to a place in the optimization sequence where it seems to
Frits van Bommel <fvbommel wxs.nl>
parents: 1423
diff changeset
128
a28953f1eb43 Move `-tailcallelim` to a place in the optimization sequence where it seems to
Frits van Bommel <fvbommel wxs.nl>
parents: 1423
diff changeset
129 addPass(pm, createTailCallEliminationPass());
a28953f1eb43 Move `-tailcallelim` to a place in the optimization sequence where it seems to
Frits van Bommel <fvbommel wxs.nl>
parents: 1423
diff changeset
130 addPass(pm, createCFGSimplificationPass());
125
c42d245468ea [svn r129] Started AA literals.
lindquist
parents:
diff changeset
131 }
c42d245468ea [svn r129] Started AA literals.
lindquist
parents:
diff changeset
132
131
5825d48b27d1 [svn r135] * Merged DMD 1.025 *
lindquist
parents: 129
diff changeset
133 // -inline
1175
cc1efa23030a Enable inlining by default for -O3+.
Frits van Bommel <fvbommel wxs.nl>
parents: 1172
diff changeset
134 if (doInline()) {
1296
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
135 addPass(pm, createFunctionInliningPass());
1288
e109e4031e8a Fix build when USE_METADATA is off.
Matti Niemenmaa <matti.niemenmaa+hg@iki.fi>
parents: 1287
diff changeset
136
1219
a0844cc67840 Tweak some optimizations.
Frits van Bommel <fvbommel wxs.nl>
parents: 1175
diff changeset
137 if (optimizeLevel >= 2) {
a0844cc67840 Tweak some optimizations.
Frits van Bommel <fvbommel wxs.nl>
parents: 1175
diff changeset
138 // Run some optimizations to clean up after inlining.
1296
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
139 addPass(pm, createScalarReplAggregatesPass());
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
140 addPass(pm, createInstructionCombiningPass());
1288
e109e4031e8a Fix build when USE_METADATA is off.
Matti Niemenmaa <matti.niemenmaa+hg@iki.fi>
parents: 1287
diff changeset
141
e109e4031e8a Fix build when USE_METADATA is off.
Matti Niemenmaa <matti.niemenmaa+hg@iki.fi>
parents: 1287
diff changeset
142 #ifdef USE_METADATA
1285
91d9386d4a5a Implement another D-specific pass: -dgc2stack
Frits van Bommel <fvbommel wxs.nl>
parents: 1281
diff changeset
143 if (!disableLangSpecificPasses && !disableGCToStack)
1296
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
144 addPass(pm, createGarbageCollect2Stack());
1288
e109e4031e8a Fix build when USE_METADATA is off.
Matti Niemenmaa <matti.niemenmaa+hg@iki.fi>
parents: 1287
diff changeset
145 #endif
e109e4031e8a Fix build when USE_METADATA is off.
Matti Niemenmaa <matti.niemenmaa+hg@iki.fi>
parents: 1287
diff changeset
146
1219
a0844cc67840 Tweak some optimizations.
Frits van Bommel <fvbommel wxs.nl>
parents: 1175
diff changeset
147 // Inline again, to catch things like foreach delegates
1220
e945d2a0999e Fix typo in comment
Frits van Bommel <fvbommel wxs.nl>
parents: 1219
diff changeset
148 // 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
149 // known during the first inliner pass.
1296
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
150 addPass(pm, createFunctionInliningPass());
1288
e109e4031e8a Fix build when USE_METADATA is off.
Matti Niemenmaa <matti.niemenmaa+hg@iki.fi>
parents: 1287
diff changeset
151
1219
a0844cc67840 Tweak some optimizations.
Frits van Bommel <fvbommel wxs.nl>
parents: 1175
diff changeset
152 // Run clean-up again.
1296
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
153 addPass(pm, createScalarReplAggregatesPass());
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
154 addPass(pm, createInstructionCombiningPass());
1288
e109e4031e8a Fix build when USE_METADATA is off.
Matti Niemenmaa <matti.niemenmaa+hg@iki.fi>
parents: 1287
diff changeset
155
e109e4031e8a Fix build when USE_METADATA is off.
Matti Niemenmaa <matti.niemenmaa+hg@iki.fi>
parents: 1287
diff changeset
156 #ifdef USE_METADATA
1285
91d9386d4a5a Implement another D-specific pass: -dgc2stack
Frits van Bommel <fvbommel wxs.nl>
parents: 1281
diff changeset
157 if (!disableLangSpecificPasses && !disableGCToStack)
1296
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
158 addPass(pm, createGarbageCollect2Stack());
1288
e109e4031e8a Fix build when USE_METADATA is off.
Matti Niemenmaa <matti.niemenmaa+hg@iki.fi>
parents: 1287
diff changeset
159 #endif
1219
a0844cc67840 Tweak some optimizations.
Frits van Bommel <fvbommel wxs.nl>
parents: 1175
diff changeset
160 }
125
c42d245468ea [svn r129] Started AA literals.
lindquist
parents:
diff changeset
161 }
c42d245468ea [svn r129] Started AA literals.
lindquist
parents:
diff changeset
162
1285
91d9386d4a5a Implement another D-specific pass: -dgc2stack
Frits van Bommel <fvbommel wxs.nl>
parents: 1281
diff changeset
163 if (optimizeLevel >= 2 && !disableLangSpecificPasses) {
91d9386d4a5a Implement another D-specific pass: -dgc2stack
Frits van Bommel <fvbommel wxs.nl>
parents: 1281
diff changeset
164 if (!disableSimplifyRuntimeCalls)
1296
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
165 addPass(pm, createSimplifyDRuntimeCalls());
1288
e109e4031e8a Fix build when USE_METADATA is off.
Matti Niemenmaa <matti.niemenmaa+hg@iki.fi>
parents: 1287
diff changeset
166
e109e4031e8a Fix build when USE_METADATA is off.
Matti Niemenmaa <matti.niemenmaa+hg@iki.fi>
parents: 1287
diff changeset
167 #ifdef USE_METADATA
1285
91d9386d4a5a Implement another D-specific pass: -dgc2stack
Frits van Bommel <fvbommel wxs.nl>
parents: 1281
diff changeset
168 if (!disableGCToStack) {
91d9386d4a5a Implement another D-specific pass: -dgc2stack
Frits van Bommel <fvbommel wxs.nl>
parents: 1281
diff changeset
169 // Run some clean-up after the last GC to stack promotion pass.
1296
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
170 addPass(pm, createScalarReplAggregatesPass());
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
171 addPass(pm, createInstructionCombiningPass());
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
172 addPass(pm, createCFGSimplificationPass());
1285
91d9386d4a5a Implement another D-specific pass: -dgc2stack
Frits van Bommel <fvbommel wxs.nl>
parents: 1281
diff changeset
173 }
1288
e109e4031e8a Fix build when USE_METADATA is off.
Matti Niemenmaa <matti.niemenmaa+hg@iki.fi>
parents: 1287
diff changeset
174 #endif
1275
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls.
Frits van Bommel <fvbommel wxs.nl>
parents: 1268
diff changeset
175 }
bedf0bfb8fdb Implement first D-specific optimization pass: -simplify-drtcalls.
Frits van Bommel <fvbommel wxs.nl>
parents: 1268
diff changeset
176
131
5825d48b27d1 [svn r135] * Merged DMD 1.025 *
lindquist
parents: 129
diff changeset
177 // -O3
1170
e40c65bd8c5d Allow specific optimization passes to be requested from the command line.
Frits van Bommel <fvbommel wxs.nl>
parents: 663
diff changeset
178 if (optimizeLevel >= 3)
125
c42d245468ea [svn r129] Started AA literals.
lindquist
parents:
diff changeset
179 {
1296
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
180 addPass(pm, createArgumentPromotionPass());
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
181 addPass(pm, createTailDuplicationPass());
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
182 addPass(pm, createInstructionCombiningPass());
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
183 addPass(pm, createCFGSimplificationPass());
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
184 addPass(pm, createScalarReplAggregatesPass());
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
185 addPass(pm, createInstructionCombiningPass());
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
186 addPass(pm, createCondPropagationPass());
125
c42d245468ea [svn r129] Started AA literals.
lindquist
parents:
diff changeset
187
1296
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
188 addPass(pm, createReassociatePass());
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
189 addPass(pm, createLoopRotatePass());
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
190 addPass(pm, createLICMPass());
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
191 addPass(pm, createLoopUnswitchPass());
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
192 addPass(pm, createInstructionCombiningPass());
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
193 addPass(pm, createIndVarSimplifyPass());
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
194 addPass(pm, createLoopUnrollPass());
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
195 addPass(pm, createInstructionCombiningPass());
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
196 addPass(pm, createGVNPass());
1481
e0f03e11cdf8 Add `-memcpyopt` to the optimization pass list.
Frits van Bommel <fvbommel wxs.nl>
parents: 1472
diff changeset
197 addPass(pm, createMemCpyOptPass());
1296
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
198 addPass(pm, createSCCPPass());
125
c42d245468ea [svn r129] Started AA literals.
lindquist
parents:
diff changeset
199
1296
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
200 addPass(pm, createInstructionCombiningPass());
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
201 addPass(pm, createCondPropagationPass());
125
c42d245468ea [svn r129] Started AA literals.
lindquist
parents:
diff changeset
202
1296
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
203 addPass(pm, createDeadStoreEliminationPass());
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
204 addPass(pm, createAggressiveDCEPass());
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
205 addPass(pm, createCFGSimplificationPass());
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
206 addPass(pm, createSimplifyLibCallsPass());
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
207 addPass(pm, createDeadTypeEliminationPass());
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
208 addPass(pm, createConstantMergePass());
125
c42d245468ea [svn r129] Started AA literals.
lindquist
parents:
diff changeset
209 }
c42d245468ea [svn r129] Started AA literals.
lindquist
parents:
diff changeset
210
131
5825d48b27d1 [svn r135] * Merged DMD 1.025 *
lindquist
parents: 129
diff changeset
211 // 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
212 }
e40c65bd8c5d Allow specific optimization passes to be requested from the command line.
Frits van Bommel <fvbommel wxs.nl>
parents: 663
diff changeset
213
e40c65bd8c5d Allow specific optimization passes to be requested from the command line.
Frits van Bommel <fvbommel wxs.nl>
parents: 663
diff changeset
214 //////////////////////////////////////////////////////////////////////////////////////////
e40c65bd8c5d Allow specific optimization passes to be requested from the command line.
Frits van Bommel <fvbommel wxs.nl>
parents: 663
diff changeset
215 // 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
216 // 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
217 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
218 {
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
219 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
220 #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
221 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
222 // 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
223 // 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
224 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
225 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
226 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
227 }
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
228 #endif
1170
e40c65bd8c5d Allow specific optimization passes to be requested from the command line.
Frits van Bommel <fvbommel wxs.nl>
parents: 663
diff changeset
229 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
230 }
1170
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 PassManager pm;
1296
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
233
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
234 if (verifyEach) pm.add(createVerifierPass());
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
235
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
236 addPass(pm, new TargetData(m));
1170
e40c65bd8c5d Allow specific optimization passes to be requested from the command line.
Frits van Bommel <fvbommel wxs.nl>
parents: 663
diff changeset
237
1175
cc1efa23030a Enable inlining by default for -O3+.
Frits van Bommel <fvbommel wxs.nl>
parents: 1172
diff changeset
238 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
239
1171
461a85f0db31 Change meaning of optimization levels: -O0 now means 'no optimization' like with
Frits van Bommel <fvbommel wxs.nl>
parents: 1170
diff changeset
240 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
241 ? optimizeLevel.getPosition()
e40c65bd8c5d Allow specific optimization passes to be requested from the command line.
Frits van Bommel <fvbommel wxs.nl>
parents: 663
diff changeset
242 : enableInlining.getPosition();
e40c65bd8c5d Allow specific optimization passes to be requested from the command line.
Frits van Bommel <fvbommel wxs.nl>
parents: 663
diff changeset
243
e40c65bd8c5d Allow specific optimization passes to be requested from the command line.
Frits van Bommel <fvbommel wxs.nl>
parents: 663
diff changeset
244 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
245 // 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
246 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
247 addPassesForOptLevel(pm);
e40c65bd8c5d Allow specific optimization passes to be requested from the command line.
Frits van Bommel <fvbommel wxs.nl>
parents: 663
diff changeset
248 optimize = false;
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 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
252 if (PassInfo::NormalCtor_t ctor = pass->getNormalCtor()) {
1296
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
253 addPass(pm, ctor());
1170
e40c65bd8c5d Allow specific optimization passes to be requested from the command line.
Frits van Bommel <fvbommel wxs.nl>
parents: 663
diff changeset
254 } else {
e40c65bd8c5d Allow specific optimization passes to be requested from the command line.
Frits van Bommel <fvbommel wxs.nl>
parents: 663
diff changeset
255 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
256 if (arg)
e40c65bd8c5d Allow specific optimization passes to be requested from the command line.
Frits van Bommel <fvbommel wxs.nl>
parents: 663
diff changeset
257 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
258 else
e40c65bd8c5d Allow specific optimization passes to be requested from the command line.
Frits van Bommel <fvbommel wxs.nl>
parents: 663
diff changeset
259 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
260 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
261 }
e40c65bd8c5d Allow specific optimization passes to be requested from the command line.
Frits van Bommel <fvbommel wxs.nl>
parents: 663
diff changeset
262 }
e40c65bd8c5d Allow specific optimization passes to be requested from the command line.
Frits van Bommel <fvbommel wxs.nl>
parents: 663
diff changeset
263 // 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
264 if (optimize)
e40c65bd8c5d Allow specific optimization passes to be requested from the command line.
Frits van Bommel <fvbommel wxs.nl>
parents: 663
diff changeset
265 addPassesForOptLevel(pm);
125
c42d245468ea [svn r129] Started AA literals.
lindquist
parents:
diff changeset
266
1294
dd84ec4353ce Strip metadata even when addPassesForOptLevel() isn't called, for instance when
Frits van Bommel <fvbommel wxs.nl>
parents: 1288
diff changeset
267 #ifdef USE_METADATA
dd84ec4353ce Strip metadata even when addPassesForOptLevel() isn't called, for instance when
Frits van Bommel <fvbommel wxs.nl>
parents: 1288
diff changeset
268 if (!disableStripMetaData) {
dd84ec4353ce Strip metadata even when addPassesForOptLevel() isn't called, for instance when
Frits van Bommel <fvbommel wxs.nl>
parents: 1288
diff changeset
269 // This one is purposely not disabled by disableLangSpecificPasses
dd84ec4353ce Strip metadata even when addPassesForOptLevel() isn't called, for instance when
Frits van Bommel <fvbommel wxs.nl>
parents: 1288
diff changeset
270 // because the code generator will assert if it's not used.
1296
79b201533cf8 Add -verify-each option to ease debugging
Frits van Bommel <fvbommel wxs.nl>
parents: 1294
diff changeset
271 addPass(pm, createStripMetaData());
1294
dd84ec4353ce Strip metadata even when addPassesForOptLevel() isn't called, for instance when
Frits van Bommel <fvbommel wxs.nl>
parents: 1288
diff changeset
272 }
dd84ec4353ce Strip metadata even when addPassesForOptLevel() isn't called, for instance when
Frits van Bommel <fvbommel wxs.nl>
parents: 1288
diff changeset
273 #endif
dd84ec4353ce Strip metadata even when addPassesForOptLevel() isn't called, for instance when
Frits van Bommel <fvbommel wxs.nl>
parents: 1288
diff changeset
274
131
5825d48b27d1 [svn r135] * Merged DMD 1.025 *
lindquist
parents: 129
diff changeset
275 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
276 return true;
125
c42d245468ea [svn r129] Started AA literals.
lindquist
parents:
diff changeset
277 }