135
132
every PS/SP execution new, we will not need reset this flag if
136
133
setup_tables_done_option changed for next rexecution
138
res= mysql_select(session,
139
&select_lex->ref_pointer_array,
135
res= mysql_select(session, &select_lex->ref_pointer_array,
140
136
(TableList*) select_lex->table_list.first,
141
select_lex->with_wild,
142
select_lex->item_list,
137
select_lex->with_wild, select_lex->item_list,
143
138
select_lex->where,
144
139
select_lex->order_list.elements +
145
140
select_lex->group_list.elements,
146
(Order*) select_lex->order_list.first,
147
(Order*) select_lex->group_list.first,
141
(order_st*) select_lex->order_list.first,
142
(order_st*) select_lex->group_list.first,
148
143
select_lex->having,
149
144
select_lex->options | session->options |
150
145
setup_tables_done_option,
1220
Check if given expression uses only table fields covered by the given index
1223
uses_index_fields_only()
1224
item Expression to check
1225
tbl The table having the index
1226
keyno The index number
1227
other_tbls_ok true <=> Fields of other non-const tables are allowed
1230
Check if given expression only uses fields covered by index #keyno in the
1231
table tbl. The expression can use any fields in any other tables.
1233
The expression is guaranteed not to be AND or OR - those constructs are
1234
handled outside of this function.
1240
static bool uses_index_fields_only(Item *item, Table *tbl, uint32_t keyno, bool other_tbls_ok)
1242
if (item->const_item())
1246
Don't push down the triggered conditions. Nested outer joins execution
1247
code may need to evaluate a condition several times (both triggered and
1248
untriggered), and there is no way to put thi
1249
TODO: Consider cloning the triggered condition and using the copies for:
1250
1. push the first copy down, to have most restrictive index condition
1252
2. Put the second copy into tab->select_cond.
1254
if (item->type() == Item::FUNC_ITEM &&
1255
((Item_func*)item)->functype() == Item_func::TRIG_COND_FUNC)
1258
if (!(item->used_tables() & tbl->map))
1259
return other_tbls_ok;
1261
Item::Type item_type= item->type();
1262
switch (item_type) {
1263
case Item::FUNC_ITEM:
1265
/* This is a function, apply condition recursively to arguments */
1266
Item_func *item_func= (Item_func*)item;
1268
Item **item_end= (item_func->arguments()) + item_func->argument_count();
1269
for (child= item_func->arguments(); child != item_end; child++)
1271
if (!uses_index_fields_only(*child, tbl, keyno, other_tbls_ok))
1276
case Item::COND_ITEM:
1278
/* This is a function, apply condition recursively to arguments */
1279
List_iterator<Item> li(*((Item_cond*)item)->argument_list());
1281
while ((list_item=li++))
1283
if (!uses_index_fields_only(item, tbl, keyno, other_tbls_ok))
1288
case Item::FIELD_ITEM:
1290
Item_field *item_field= (Item_field*)item;
1291
if (item_field->field->getTable() != tbl)
1293
return item_field->field->part_of_key.test(keyno);
1295
case Item::REF_ITEM:
1296
return uses_index_fields_only(item->real_item(), tbl, keyno,
1299
return false; /* Play it safe, don't push unknown non-const items */
1211
1303
#define ICP_COND_USES_INDEX_ONLY 10
1306
Get a part of the condition that can be checked using only index fields
1309
make_cond_for_index()
1310
cond The source condition
1311
table The table that is partially available
1312
keyno The index in the above table. Only fields covered by the index
1314
other_tbls_ok true <=> Fields of other non-const tables are allowed
1317
Get a part of the condition that can be checked when for the given table
1318
we have values only of fields covered by some index. The condition may
1319
refer to other tables, it is assumed that we have values of all of their
1323
make_cond_for_index(
1324
"cond(t1.field) AND cond(t2.key1) AND cond(t2.non_key) AND cond(t2.key2)",
1327
"cond(t1.field) AND cond(t2.key2)"
1330
Index condition, or NULL if no condition could be inferred.
1332
static Item *make_cond_for_index(Item *cond, Table *table, uint32_t keyno, bool other_tbls_ok)
1336
if (cond->type() == Item::COND_ITEM)
1338
uint32_t n_marked= 0;
1339
if (((Item_cond*) cond)->functype() == Item_func::COND_AND_FUNC)
1341
Item_cond_and *new_cond=new Item_cond_and;
1344
List_iterator<Item> li(*((Item_cond*) cond)->argument_list());
1348
Item *fix= make_cond_for_index(item, table, keyno, other_tbls_ok);
1350
new_cond->argument_list()->push_back(fix);
1351
n_marked += test(item->marker == ICP_COND_USES_INDEX_ONLY);
1353
if (n_marked ==((Item_cond*)cond)->argument_list()->elements)
1354
cond->marker= ICP_COND_USES_INDEX_ONLY;
1355
switch (new_cond->argument_list()->elements) {
1359
return new_cond->argument_list()->head();
1361
new_cond->quick_fix_field();
1367
Item_cond_or *new_cond=new Item_cond_or;
1370
List_iterator<Item> li(*((Item_cond*) cond)->argument_list());
1374
Item *fix= make_cond_for_index(item, table, keyno, other_tbls_ok);
1377
new_cond->argument_list()->push_back(fix);
1378
n_marked += test(item->marker == ICP_COND_USES_INDEX_ONLY);
1380
if (n_marked ==((Item_cond*)cond)->argument_list()->elements)
1381
cond->marker= ICP_COND_USES_INDEX_ONLY;
1382
new_cond->quick_fix_field();
1383
new_cond->top_level_item();
1388
if (!uses_index_fields_only(cond, table, keyno, other_tbls_ok))
1390
cond->marker= ICP_COND_USES_INDEX_ONLY;
1395
static Item *make_cond_remainder(Item *cond, bool exclude_index)
1397
if (exclude_index && cond->marker == ICP_COND_USES_INDEX_ONLY)
1398
return 0; /* Already checked */
1400
if (cond->type() == Item::COND_ITEM)
1402
table_map tbl_map= 0;
1403
if (((Item_cond*) cond)->functype() == Item_func::COND_AND_FUNC)
1405
/* Create new top level AND item */
1406
Item_cond_and *new_cond=new Item_cond_and;
1409
List_iterator<Item> li(*((Item_cond*) cond)->argument_list());
1413
Item *fix= make_cond_remainder(item, exclude_index);
1416
new_cond->argument_list()->push_back(fix);
1417
tbl_map |= fix->used_tables();
1420
switch (new_cond->argument_list()->elements) {
1424
return new_cond->argument_list()->head();
1426
new_cond->quick_fix_field();
1427
((Item_cond*)new_cond)->used_tables_cache= tbl_map;
1433
Item_cond_or *new_cond=new Item_cond_or;
1436
List_iterator<Item> li(*((Item_cond*) cond)->argument_list());
1440
Item *fix= make_cond_remainder(item, false);
1443
new_cond->argument_list()->push_back(fix);
1444
tbl_map |= fix->used_tables();
1446
new_cond->quick_fix_field();
1447
((Item_cond*)new_cond)->used_tables_cache= tbl_map;
1448
new_cond->top_level_item();
1215
1456
cleanup JoinTable.