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 : /* The SQL code generator can not always look ahead to avoid
14 : * generation of intermediates.
15 : * Some of these patterns are captured in a postfix optimalisation.
16 : */
17 : #include "monetdb_config.h"
18 : #include "mal_instruction.h"
19 : #include "opt_postfix.h"
20 :
21 : #define isCandidateList(M,P,I) ((M)->var[getArg(P,I)].id[0]== 'C')
22 : str
23 483414 : OPTpostfixImplementation(Client cntxt, MalBlkPtr mb, MalStkPtr stk,
24 : InstrPtr pci)
25 : {
26 483414 : int i, slimit, actions = 0;
27 483414 : str msg = MAL_SUCCEED;
28 483414 : InstrPtr p;
29 :
30 483414 : (void) cntxt;
31 483414 : (void) stk;
32 :
33 483414 : slimit = mb->stop;
34 483414 : setVariableScope(mb);
35 : /* Remove the result from any join/group instruction when it is not used later on */
36 30535700 : for (i = 0; i < slimit; i++) {
37 : /* POSTFIX ACTION FOR THE JOIN CASE */
38 29568821 : p = getInstrPtr(mb, i);
39 29568821 : if (getModuleId(p) == algebraRef && p->retc == 2) {
40 526533 : if (getFunctionId(p) == leftjoinRef || /*getFunctionId(p) == outerjoinRef || */
41 525885 : getFunctionId(p) == bandjoinRef
42 525885 : || getFunctionId(p) == rangejoinRef
43 525731 : || getFunctionId(p) == likejoinRef) {
44 863 : if (getVarEolife(mb, getArg(p, p->retc - 1)) == i) {
45 47 : delArgument(p, p->retc - 1);
46 47 : typeChecker(cntxt->usermodule, mb, p, i, TRUE);
47 47 : actions++;
48 47 : continue;
49 : }
50 525670 : } else if (getFunctionId(p) == semijoinRef
51 525401 : || getFunctionId(p) == joinRef
52 117869 : || getFunctionId(p) == thetajoinRef
53 66863 : || /*getFunctionId(p) == outerjoinRef || */
54 66863 : getFunctionId(p) == crossRef) {
55 505078 : int is_first_ret_not_used = getVarEolife(mb, getArg(p, p->retc - 2)) == i;
56 505078 : int is_second_ret_not_used = getVarEolife(mb, getArg(p, p->retc - 1)) == i;
57 :
58 505078 : if (getFunctionId(p) == semijoinRef
59 269 : &&
60 : ((is_first_ret_not_used
61 58 : && getVarConstant(mb, getArg(p, 7)).val.btval != 1 /*not single */ )
62 269 : || is_second_ret_not_used)) {
63 : /* Can't swap arguments on single semijoins */
64 89 : if (is_first_ret_not_used) {
65 : /* semijoin with just the right output is a join */
66 0 : getArg(p, 2) ^= getArg(p, 3); /* swap join inputs */
67 0 : getArg(p, 3) ^= getArg(p, 2);
68 0 : getArg(p, 2) ^= getArg(p, 3);
69 :
70 0 : getArg(p, 4) ^= getArg(p, 5); /* swap candidate lists */
71 0 : getArg(p, 5) ^= getArg(p, 4);
72 0 : getArg(p, 4) ^= getArg(p, 5);
73 0 : setFunctionId(p, joinRef);
74 0 : delArgument(p, 7); /* delete 'max_one' argument */
75 : } else {
76 : /* semijoin with just the left output is an intersection */
77 89 : setFunctionId(p, intersectRef);
78 : }
79 :
80 178 : delArgument(p,
81 89 : is_second_ret_not_used ? p->retc - 1 : p->retc -
82 : 2);
83 89 : typeChecker(cntxt->usermodule, mb, p, i, TRUE);
84 89 : actions++;
85 89 : continue;
86 504989 : } else if (is_second_ret_not_used) {
87 58528 : delArgument(p, p->retc - 1);
88 58528 : typeChecker(cntxt->usermodule, mb, p, i, TRUE);
89 58528 : actions++;
90 58528 : continue;
91 446461 : } else if (is_first_ret_not_used &&
92 28582 : (getFunctionId(p) == joinRef
93 13767 : || (getFunctionId(p) == thetajoinRef
94 13365 : && isVarConstant(mb, getArg(p, 6)))
95 402 : || (getFunctionId(p) == crossRef
96 344 : && getVarConstant(mb, getArg(p, 4)).val.btval != 1 /*not single */ ))) {
97 : /* Can't swap arguments on single cross products */
98 : /* swap join inputs */
99 28520 : getArg(p, 2) ^= getArg(p, 3);
100 28520 : getArg(p, 3) ^= getArg(p, 2);
101 28520 : getArg(p, 2) ^= getArg(p, 3);
102 :
103 28520 : if (getFunctionId(p) != crossRef) { /* swap candidate lists */
104 28180 : getArg(p, 4) ^= getArg(p, 5);
105 28180 : getArg(p, 5) ^= getArg(p, 4);
106 28180 : getArg(p, 4) ^= getArg(p, 5);
107 28180 : if (getFunctionId(p) == thetajoinRef) { /* swap the comparison */
108 13365 : ValRecord *x = &getVarConstant(mb, getArg(p, 6)),
109 13365 : cst = {
110 : .vtype = TYPE_int
111 : };
112 13365 : switch (x->val.ival) {
113 13293 : case JOIN_LT:
114 13293 : cst.val.ival = JOIN_GT;
115 13293 : break;
116 17 : case JOIN_LE:
117 17 : cst.val.ival = JOIN_GE;
118 17 : break;
119 47 : case JOIN_GT:
120 47 : cst.val.ival = JOIN_LT;
121 47 : break;
122 8 : case JOIN_GE:
123 8 : cst.val.ival = JOIN_LE;
124 8 : break;
125 0 : default:
126 0 : cst.val.ival = x->val.ival;
127 : }
128 13365 : setArg(p, 6, defConstant(mb, TYPE_int, &cst));
129 : }
130 : }
131 28520 : delArgument(p, p->retc - 2);
132 28520 : typeChecker(cntxt->usermodule, mb, p, i, TRUE);
133 28520 : actions++;
134 28520 : continue;
135 : }
136 : }
137 : }
138 : /* POSTFIX ACTION FOR THE EXTENT CASE */
139 29481637 : if (getModuleId(p) == groupRef && getFunctionId(p) == groupRef
140 20884 : && getVarEolife(mb, getArg(p, p->retc - 1)) == i) {
141 20842 : delArgument(p, p->retc - 1);
142 20842 : typeChecker(cntxt->usermodule, mb, p, i, TRUE);
143 20842 : actions++;
144 20842 : continue;
145 : }
146 29460795 : if (getModuleId(p) == groupRef && getFunctionId(p) == subgroupRef
147 5311 : && getVarEolife(mb, getArg(p, p->retc - 1)) == i) {
148 5311 : delArgument(p, p->retc - 1);
149 5311 : typeChecker(cntxt->usermodule, mb, p, i, TRUE);
150 5311 : actions++;
151 5311 : continue;
152 : }
153 29455484 : if (getModuleId(p) == groupRef && getFunctionId(p) == subgroupdoneRef
154 21061 : && getVarEolife(mb, getArg(p, p->retc - 1)) == i) {
155 20748 : delArgument(p, p->retc - 1);
156 20748 : typeChecker(cntxt->usermodule, mb, p, i, TRUE);
157 20748 : actions++;
158 20748 : continue;
159 : }
160 29434736 : if (getModuleId(p) == groupRef && getFunctionId(p) == groupdoneRef
161 42395 : && getVarEolife(mb, getArg(p, p->retc - 1)) == i) {
162 32940 : delArgument(p, p->retc - 1);
163 32940 : typeChecker(cntxt->usermodule, mb, p, i, TRUE);
164 32940 : actions++;
165 32940 : continue;
166 : }
167 : /* POSTFIX ACTION FOR SORT, could be dropping the last two */
168 29401796 : if (getModuleId(p) == algebraRef && getFunctionId(p) == sortRef
169 23781 : && getVarEolife(mb, getArg(p, p->retc - 1)) == i) {
170 10248 : delArgument(p, p->retc - 1);
171 10248 : typeChecker(cntxt->usermodule, mb, p, i, TRUE);
172 10248 : actions++;
173 10248 : if (getModuleId(p) == algebraRef && getFunctionId(p) == sortRef
174 10248 : && getVarEolife(mb, getArg(p, p->retc - 1)) == i) {
175 3413 : delArgument(p, p->retc - 1);
176 3413 : typeChecker(cntxt->usermodule, mb, p, i, TRUE);
177 3413 : actions++;
178 : }
179 10248 : continue;
180 : }
181 : }
182 : /* Defense line against incorrect plans */
183 483465 : if (actions) {
184 : // msg = chkTypes(cntxt->usermodule, mb, FALSE);
185 : // if (!msg)
186 : // msg = chkFlow(mb);
187 : // if (!msg)
188 : // msg = chkDeclarations(mb);
189 483465 : }
190 : /* keep actions taken as a fake argument */
191 483465 : (void) pushInt(mb, pci, actions);
192 483466 : return msg;
193 : }
|
