Line data Source code
1 : /*
2 : * SPDX-License-Identifier: MPL-2.0
3 : *
4 : * This Source Code Form is subject to the terms of the Mozilla Public
5 : * License, v. 2.0. If a copy of the MPL was not distributed with this
6 : * file, You can obtain one at http://mozilla.org/MPL/2.0/.
7 : *
8 : * Copyright 2024 MonetDB Foundation;
9 : * Copyright August 2008 - 2023 MonetDB B.V.;
10 : * Copyright 1997 - July 2008 CWI.
11 : */
12 :
13 : #include "monetdb_config.h"
14 : #include "opt_fastpath.h"
15 : #include "opt_aliases.h"
16 : #include "opt_coercion.h"
17 : #include "opt_commonTerms.h"
18 : #include "opt_candidates.h"
19 : #include "opt_constants.h"
20 : #include "opt_costModel.h"
21 : #include "opt_dataflow.h"
22 : #include "opt_deadcode.h"
23 : #include "opt_dict.h"
24 : #include "opt_for.h"
25 : #include "opt_emptybind.h"
26 : #include "opt_evaluate.h"
27 : #include "opt_garbageCollector.h"
28 : #include "opt_generator.h"
29 : #include "opt_inline.h"
30 : #include "opt_projectionpath.h"
31 : #include "opt_matpack.h"
32 : #include "opt_postfix.h"
33 : #include "opt_mergetable.h"
34 : #include "opt_mitosis.h"
35 : #include "opt_multiplex.h"
36 : #include "opt_profiler.h"
37 : #include "opt_pushselect.h"
38 : #include "opt_querylog.h"
39 : #include "opt_reduce.h"
40 : #include "opt_remap.h"
41 : #include "opt_remoteQueries.h"
42 : #include "opt_reorder.h"
43 : #include "opt_fastpath.h"
44 : #include "optimizer_private.h"
45 : #include "mal_interpreter.h"
46 : #include "opt_prelude.h"
47 :
48 : #define optcall(TEST, OPT) \
49 : do { \
50 : if (TEST) { \
51 : if ((msg = OPT(cntxt, mb, stk, pci)) != MAL_SUCCEED) \
52 : goto bailout; \
53 : actions += *(int*)getVarValue(mb, getArg(pci, pci->argc - 1)); \
54 : delArgument(pci, pci->argc - 1); /* keep number of argc low, so 'pci' is not reallocated */ \
55 : } \
56 : } while (0)
57 :
58 : str
59 67332 : OPTminimalfastImplementation(Client cntxt, MalBlkPtr mb, MalStkPtr stk,
60 : InstrPtr pci)
61 : {
62 67332 : str msg = MAL_SUCCEED;
63 67332 : int generator = 0, multiplex = 0, actions = 0;
64 :
65 : /* perform a single scan through the plan to determine which optimizer steps to skip */
66 1444976 : for (int i = 0; i < mb->stop; i++) {
67 1377644 : InstrPtr q = getInstrPtr(mb, i);
68 1377644 : if (getModuleId(q) == generatorRef)
69 0 : generator = 1;
70 1377644 : if (getFunctionId(q) == multiplexRef)
71 0 : multiplex = 1;
72 : }
73 :
74 67332 : optcall(true, OPTinlineImplementation);
75 67328 : optcall(true, OPTremapImplementation);
76 67332 : optcall(true, OPTemptybindImplementation);
77 67329 : optcall(true, OPTdeadcodeImplementation);
78 67331 : optcall(true, OPTforImplementation);
79 67326 : optcall(true, OPTdictImplementation);
80 67332 : optcall(multiplex, OPTmultiplexImplementation);
81 67332 : optcall(generator, OPTgeneratorImplementation);
82 67332 : optcall(profilerStatus, OPTprofilerImplementation);
83 67332 : optcall(profilerStatus, OPTcandidatesImplementation);
84 67332 : optcall(true, OPTgarbageCollectorImplementation);
85 :
86 : /* Defense line against incorrect plans handled by optimizer steps */
87 : /* keep actions taken as a fake argument */
88 67326 : bailout:
89 67326 : (void) pushInt(mb, pci, actions);
90 67321 : return msg;
91 : }
92 :
93 : str
94 32001 : OPTdefaultfastImplementation(Client cntxt, MalBlkPtr mb, MalStkPtr stk,
95 : InstrPtr pci)
96 : {
97 32001 : str msg = MAL_SUCCEED;
98 32001 : int generator = 0, multiplex = 0, actions = 0;
99 :
100 : /* perform a single scan through the plan to determine which optimizer steps to skip */
101 1007177 : for (int i = 0; i < mb->stop; i++) {
102 975176 : InstrPtr q = getInstrPtr(mb, i);
103 975176 : if (getModuleId(q) == generatorRef)
104 0 : generator = 1;
105 975176 : if (getFunctionId(q) == multiplexRef)
106 0 : multiplex = 1;
107 : }
108 :
109 32001 : optcall(true, OPTinlineImplementation);
110 32001 : optcall(true, OPTremapImplementation);
111 32000 : optcall(true, OPTcostModelImplementation);
112 31998 : optcall(true, OPTcoercionImplementation);
113 31999 : optcall(true, OPTaliasesImplementation);
114 32001 : optcall(true, OPTevaluateImplementation);
115 32000 : optcall(true, OPTemptybindImplementation);
116 31998 : optcall(true, OPTdeadcodeImplementation);
117 32001 : optcall(true, OPTpushselectImplementation);
118 31999 : optcall(true, OPTaliasesImplementation);
119 31998 : optcall(true, OPTforImplementation);
120 32000 : optcall(true, OPTdictImplementation);
121 31999 : optcall(true, OPTmitosisImplementation);
122 32001 : optcall(true, OPTmergetableImplementation);
123 31999 : optcall(true, OPTaliasesImplementation);
124 31997 : optcall(true, OPTconstantsImplementation);
125 32001 : optcall(true, OPTcommonTermsImplementation);
126 32001 : optcall(true, OPTprojectionpathImplementation);
127 32001 : optcall(true, OPTdeadcodeImplementation);
128 32001 : optcall(true, OPTreorderImplementation);
129 31995 : optcall(true, OPTmatpackImplementation);
130 32000 : optcall(true, OPTdataflowImplementation);
131 32001 : optcall(true, OPTquerylogImplementation);
132 32001 : optcall(multiplex, OPTmultiplexImplementation);
133 32001 : optcall(generator, OPTgeneratorImplementation);
134 32001 : optcall(profilerStatus, OPTprofilerImplementation);
135 32001 : optcall(profilerStatus, OPTcandidatesImplementation);
136 32001 : optcall(true, OPTdeadcodeImplementation);
137 32001 : optcall(true, OPTpostfixImplementation);
138 32000 : optcall(true, OPTgarbageCollectorImplementation);
139 :
140 : /* Defense line against incorrect plans handled by optimizer steps */
141 : /* keep actions taken as a fake argument */
142 31997 : bailout:
143 31997 : (void) pushInt(mb, pci, actions);
144 32001 : return msg;
145 : }
|
