mirror of
https://github.com/Mercury-Language/mercury.git
synced 2025-12-19 15:54:18 +00:00
Add more bytecodes:
Estimated hours taken: 0.1 compiler/rl_code.m: Add more bytecodes: aggregate_onegroup - aggregates for which there is no group-by attribute (all tuples are in a single group). semisubtract_nl - subtract which returns the input tuple rather than doing a projection.
This commit is contained in:
Simon Taylor
@@ -5,7 +5,7 @@
|
||||
%-----------------------------------------------------------------------------%
|
||||
% Do not edit - this file was automatically generated by
|
||||
% $ADITI_ROOT/src/rosi/create_rl_code_m.
|
||||
% Created Tue Jul 13 12:35:22 1999
|
||||
% Created Fri Aug 13 12:34:09 1999
|
||||
|
||||
%-----------------------------------------------------------------------------%
|
||||
:- module rl_code.
|
||||
@@ -374,6 +374,7 @@
|
||||
; rl_PROC_subtract_hj
|
||||
; rl_PROC_subtract_index
|
||||
; rl_PROC_subtract_cross
|
||||
; rl_PROC_semisubtract_nl
|
||||
; rl_PROC_difference
|
||||
; rl_PROC_select
|
||||
; rl_PROC_select_filter
|
||||
@@ -388,6 +389,7 @@
|
||||
; rl_PROC_uniondiff_btree
|
||||
; rl_PROC_aggregate
|
||||
; rl_PROC_aggregate_sm
|
||||
; rl_PROC_aggregate_onegroup
|
||||
; rl_PROC_insert_tuple_stream
|
||||
; rl_PROC_empty_stream(int32)
|
||||
; rl_PROC_hypothetical
|
||||
@@ -1545,119 +1547,125 @@ bytecode_to_intlist(rl_PROC_subtract_index, Splits) :-
|
||||
bytecode_to_intlist(rl_PROC_subtract_cross, Splits) :-
|
||||
int16_to_bytecode(311, I311Codes),
|
||||
list__condense([I311Codes], Splits).
|
||||
bytecode_to_intlist(rl_PROC_difference, Splits) :-
|
||||
bytecode_to_intlist(rl_PROC_semisubtract_nl, Splits) :-
|
||||
int16_to_bytecode(312, I312Codes),
|
||||
list__condense([I312Codes], Splits).
|
||||
bytecode_to_intlist(rl_PROC_select, Splits) :-
|
||||
bytecode_to_intlist(rl_PROC_difference, Splits) :-
|
||||
int16_to_bytecode(313, I313Codes),
|
||||
list__condense([I313Codes], Splits).
|
||||
bytecode_to_intlist(rl_PROC_select_filter, Splits) :-
|
||||
bytecode_to_intlist(rl_PROC_select, Splits) :-
|
||||
int16_to_bytecode(314, I314Codes),
|
||||
list__condense([I314Codes], Splits).
|
||||
bytecode_to_intlist(rl_PROC_select_index, Splits) :-
|
||||
bytecode_to_intlist(rl_PROC_select_filter, Splits) :-
|
||||
int16_to_bytecode(315, I315Codes),
|
||||
list__condense([I315Codes], Splits).
|
||||
bytecode_to_intlist(rl_PROC_btree_scan, Splits) :-
|
||||
bytecode_to_intlist(rl_PROC_select_index, Splits) :-
|
||||
int16_to_bytecode(316, I316Codes),
|
||||
list__condense([I316Codes], Splits).
|
||||
bytecode_to_intlist(rl_PROC_project_tee, Splits) :-
|
||||
bytecode_to_intlist(rl_PROC_btree_scan, Splits) :-
|
||||
int16_to_bytecode(317, I317Codes),
|
||||
list__condense([I317Codes], Splits).
|
||||
bytecode_to_intlist(rl_PROC_sort(X0int32), Splits) :-
|
||||
bytecode_to_intlist(rl_PROC_project_tee, Splits) :-
|
||||
int16_to_bytecode(318, I318Codes),
|
||||
int32_to_bytecode(X0int32, X0int32Codes),
|
||||
list__condense([I318Codes,X0int32Codes], Splits).
|
||||
bytecode_to_intlist(rl_PROC_union, Splits) :-
|
||||
list__condense([I318Codes], Splits).
|
||||
bytecode_to_intlist(rl_PROC_sort(X0int32), Splits) :-
|
||||
int16_to_bytecode(319, I319Codes),
|
||||
list__condense([I319Codes], Splits).
|
||||
bytecode_to_intlist(rl_PROC_union_sm, Splits) :-
|
||||
int32_to_bytecode(X0int32, X0int32Codes),
|
||||
list__condense([I319Codes,X0int32Codes], Splits).
|
||||
bytecode_to_intlist(rl_PROC_union, Splits) :-
|
||||
int16_to_bytecode(320, I320Codes),
|
||||
list__condense([I320Codes], Splits).
|
||||
bytecode_to_intlist(rl_PROC_uniondiff, Splits) :-
|
||||
bytecode_to_intlist(rl_PROC_union_sm, Splits) :-
|
||||
int16_to_bytecode(321, I321Codes),
|
||||
list__condense([I321Codes], Splits).
|
||||
bytecode_to_intlist(rl_PROC_uniondiff_sm, Splits) :-
|
||||
bytecode_to_intlist(rl_PROC_uniondiff, Splits) :-
|
||||
int16_to_bytecode(322, I322Codes),
|
||||
list__condense([I322Codes], Splits).
|
||||
bytecode_to_intlist(rl_PROC_uniondiff_btree, Splits) :-
|
||||
bytecode_to_intlist(rl_PROC_uniondiff_sm, Splits) :-
|
||||
int16_to_bytecode(323, I323Codes),
|
||||
list__condense([I323Codes], Splits).
|
||||
bytecode_to_intlist(rl_PROC_aggregate, Splits) :-
|
||||
bytecode_to_intlist(rl_PROC_uniondiff_btree, Splits) :-
|
||||
int16_to_bytecode(324, I324Codes),
|
||||
list__condense([I324Codes], Splits).
|
||||
bytecode_to_intlist(rl_PROC_aggregate_sm, Splits) :-
|
||||
bytecode_to_intlist(rl_PROC_aggregate, Splits) :-
|
||||
int16_to_bytecode(325, I325Codes),
|
||||
list__condense([I325Codes], Splits).
|
||||
bytecode_to_intlist(rl_PROC_insert_tuple_stream, Splits) :-
|
||||
bytecode_to_intlist(rl_PROC_aggregate_sm, Splits) :-
|
||||
int16_to_bytecode(326, I326Codes),
|
||||
list__condense([I326Codes], Splits).
|
||||
bytecode_to_intlist(rl_PROC_empty_stream(X0aString), Splits) :-
|
||||
bytecode_to_intlist(rl_PROC_aggregate_onegroup, Splits) :-
|
||||
int16_to_bytecode(327, I327Codes),
|
||||
int32_to_bytecode(X0aString, X0aStringCodes),
|
||||
list__condense([I327Codes,X0aStringCodes], Splits).
|
||||
bytecode_to_intlist(rl_PROC_hypothetical, Splits) :-
|
||||
list__condense([I327Codes], Splits).
|
||||
bytecode_to_intlist(rl_PROC_insert_tuple_stream, Splits) :-
|
||||
int16_to_bytecode(328, I328Codes),
|
||||
list__condense([I328Codes], Splits).
|
||||
bytecode_to_intlist(rl_PROC_topdown, Splits) :-
|
||||
bytecode_to_intlist(rl_PROC_empty_stream(X0aString), Splits) :-
|
||||
int16_to_bytecode(329, I329Codes),
|
||||
list__condense([I329Codes], Splits).
|
||||
bytecode_to_intlist(rl_PROC_last_bytecode, Splits) :-
|
||||
int32_to_bytecode(X0aString, X0aStringCodes),
|
||||
list__condense([I329Codes,X0aStringCodes], Splits).
|
||||
bytecode_to_intlist(rl_PROC_hypothetical, Splits) :-
|
||||
int16_to_bytecode(330, I330Codes),
|
||||
list__condense([I330Codes], Splits).
|
||||
bytecode_to_intlist(rl_HEAD_proc(X0aString,X1aString,X2aString,X3int32), Splits) :-
|
||||
bytecode_to_intlist(rl_PROC_topdown, Splits) :-
|
||||
int16_to_bytecode(331, I331Codes),
|
||||
list__condense([I331Codes], Splits).
|
||||
bytecode_to_intlist(rl_PROC_last_bytecode, Splits) :-
|
||||
int16_to_bytecode(332, I332Codes),
|
||||
list__condense([I332Codes], Splits).
|
||||
bytecode_to_intlist(rl_HEAD_proc(X0aString,X1aString,X2aString,X3int32), Splits) :-
|
||||
int16_to_bytecode(333, I333Codes),
|
||||
int32_to_bytecode(X0aString, X0aStringCodes),
|
||||
int32_to_bytecode(X1aString, X1aStringCodes),
|
||||
int32_to_bytecode(X2aString, X2aStringCodes),
|
||||
int32_to_bytecode(X3int32, X3int32Codes),
|
||||
list__condense([I331Codes,X0aStringCodes,X1aStringCodes,X2aStringCodes,X3int32Codes], Splits).
|
||||
list__condense([I333Codes,X0aStringCodes,X1aStringCodes,X2aStringCodes,X3int32Codes], Splits).
|
||||
bytecode_to_intlist(rl_HEAD_proc_end, Splits) :-
|
||||
int16_to_bytecode(332, I332Codes),
|
||||
list__condense([I332Codes], Splits).
|
||||
bytecode_to_intlist(rl_HEAD_const_int(X0int32,X1aInt), Splits) :-
|
||||
int16_to_bytecode(333, I333Codes),
|
||||
int32_to_bytecode(X0int32, X0int32Codes),
|
||||
aInt_to_bytecode(X1aInt, X1aIntCodes),
|
||||
list__condense([I333Codes,X0int32Codes,X1aIntCodes], Splits).
|
||||
bytecode_to_intlist(rl_HEAD_const_flt(X0int32,X1aDouble), Splits) :-
|
||||
int16_to_bytecode(334, I334Codes),
|
||||
int32_to_bytecode(X0int32, X0int32Codes),
|
||||
aDouble_to_bytecode(X1aDouble, X1aDoubleCodes),
|
||||
list__condense([I334Codes,X0int32Codes,X1aDoubleCodes], Splits).
|
||||
bytecode_to_intlist(rl_HEAD_const_str(X0int32,X1aString), Splits) :-
|
||||
list__condense([I334Codes], Splits).
|
||||
bytecode_to_intlist(rl_HEAD_const_int(X0int32,X1aInt), Splits) :-
|
||||
int16_to_bytecode(335, I335Codes),
|
||||
int32_to_bytecode(X0int32, X0int32Codes),
|
||||
aString_to_bytecode(X1aString, X1aStringCodes),
|
||||
list__condense([I335Codes,X0int32Codes,X1aStringCodes], Splits).
|
||||
bytecode_to_intlist(rl_HEAD_var_int(X0int32), Splits) :-
|
||||
aInt_to_bytecode(X1aInt, X1aIntCodes),
|
||||
list__condense([I335Codes,X0int32Codes,X1aIntCodes], Splits).
|
||||
bytecode_to_intlist(rl_HEAD_const_flt(X0int32,X1aDouble), Splits) :-
|
||||
int16_to_bytecode(336, I336Codes),
|
||||
int32_to_bytecode(X0int32, X0int32Codes),
|
||||
list__condense([I336Codes,X0int32Codes], Splits).
|
||||
bytecode_to_intlist(rl_HEAD_var_flt(X0int32), Splits) :-
|
||||
aDouble_to_bytecode(X1aDouble, X1aDoubleCodes),
|
||||
list__condense([I336Codes,X0int32Codes,X1aDoubleCodes], Splits).
|
||||
bytecode_to_intlist(rl_HEAD_const_str(X0int32,X1aString), Splits) :-
|
||||
int16_to_bytecode(337, I337Codes),
|
||||
int32_to_bytecode(X0int32, X0int32Codes),
|
||||
list__condense([I337Codes,X0int32Codes], Splits).
|
||||
bytecode_to_intlist(rl_HEAD_var_str(X0int32), Splits) :-
|
||||
aString_to_bytecode(X1aString, X1aStringCodes),
|
||||
list__condense([I337Codes,X0int32Codes,X1aStringCodes], Splits).
|
||||
bytecode_to_intlist(rl_HEAD_var_int(X0int32), Splits) :-
|
||||
int16_to_bytecode(338, I338Codes),
|
||||
int32_to_bytecode(X0int32, X0int32Codes),
|
||||
list__condense([I338Codes,X0int32Codes], Splits).
|
||||
bytecode_to_intlist(rl_HEAD_var_term(X0int32), Splits) :-
|
||||
bytecode_to_intlist(rl_HEAD_var_flt(X0int32), Splits) :-
|
||||
int16_to_bytecode(339, I339Codes),
|
||||
int32_to_bytecode(X0int32, X0int32Codes),
|
||||
list__condense([I339Codes,X0int32Codes], Splits).
|
||||
bytecode_to_intlist(rl_HEAD_var_stream(X0int32), Splits) :-
|
||||
bytecode_to_intlist(rl_HEAD_var_str(X0int32), Splits) :-
|
||||
int16_to_bytecode(340, I340Codes),
|
||||
int32_to_bytecode(X0int32, X0int32Codes),
|
||||
list__condense([I340Codes,X0int32Codes], Splits).
|
||||
bytecode_to_intlist(rl_HEAD_define_rule(X0int32,X1aString,X2aString), Splits) :-
|
||||
bytecode_to_intlist(rl_HEAD_var_term(X0int32), Splits) :-
|
||||
int16_to_bytecode(341, I341Codes),
|
||||
int32_to_bytecode(X0int32, X0int32Codes),
|
||||
list__condense([I341Codes,X0int32Codes], Splits).
|
||||
bytecode_to_intlist(rl_HEAD_var_stream(X0int32), Splits) :-
|
||||
int16_to_bytecode(342, I342Codes),
|
||||
int32_to_bytecode(X0int32, X0int32Codes),
|
||||
list__condense([I342Codes,X0int32Codes], Splits).
|
||||
bytecode_to_intlist(rl_HEAD_define_rule(X0int32,X1aString,X2aString), Splits) :-
|
||||
int16_to_bytecode(343, I343Codes),
|
||||
int32_to_bytecode(X0int32, X0int32Codes),
|
||||
int32_to_bytecode(X1aString, X1aStringCodes),
|
||||
int32_to_bytecode(X2aString, X2aStringCodes),
|
||||
list__condense([I341Codes,X0int32Codes,X1aStringCodes,X2aStringCodes], Splits).
|
||||
list__condense([I343Codes,X0int32Codes,X1aStringCodes,X2aStringCodes], Splits).
|
||||
bytecode_to_intlist(rl_HEAD_last_bytecode, Splits) :-
|
||||
int16_to_bytecode(342, I342Codes),
|
||||
list__condense([I342Codes], Splits).
|
||||
int16_to_bytecode(344, I344Codes),
|
||||
list__condense([I344Codes], Splits).
|
||||
|
||||
int32_to_bytecode(X, List) :-
|
||||
int32_to_byte_list(X, List).
|
||||
@@ -1677,4 +1685,4 @@ aInt_to_bytecode(X, List) :-
|
||||
int_to_byte_list(X, List).
|
||||
|
||||
|
||||
rl_code__version(1, 22).
|
||||
rl_code__version(1, 23).
|
||||
|
||||
Reference in New Issue
Block a user