[m-dev.] trivial diff: add an RL bytecode
Simon Taylor
stayl at cs.mu.OZ.AU
Mon Aug 23 11:22:22 AEST 1999
Estimated hours taken: 0.1
compiler/rl_code.m:
Add a bytecode - semisubtract_index.
Index: rl_code.m
===================================================================
RCS file: /home/staff/zs/imp/mercury/compiler/rl_code.m,v
retrieving revision 1.7
diff -u -u -r1.7 rl_code.m
--- rl_code.m 1999/08/13 04:21:27 1.7
+++ rl_code.m 1999/08/23 01:05:18
@@ -5,7 +5,7 @@
%-----------------------------------------------------------------------------%
% Do not edit - this file was automatically generated by
% $ADITI_ROOT/src/rosi/create_rl_code_m.
-% Created Fri Aug 13 12:34:09 1999
+% Created Mon Aug 23 11:05:18 1999
%-----------------------------------------------------------------------------%
:- module rl_code.
@@ -375,6 +375,7 @@
; rl_PROC_subtract_index
; rl_PROC_subtract_cross
; rl_PROC_semisubtract_nl
+ ; rl_PROC_semisubtract_index
; rl_PROC_difference
; rl_PROC_select
; rl_PROC_select_filter
@@ -1550,122 +1551,125 @@
bytecode_to_intlist(rl_PROC_semisubtract_nl, Splits) :-
int16_to_bytecode(312, I312Codes),
list__condense([I312Codes], Splits).
-bytecode_to_intlist(rl_PROC_difference, Splits) :-
+bytecode_to_intlist(rl_PROC_semisubtract_index, Splits) :-
int16_to_bytecode(313, I313Codes),
list__condense([I313Codes], Splits).
-bytecode_to_intlist(rl_PROC_select, Splits) :-
+bytecode_to_intlist(rl_PROC_difference, Splits) :-
int16_to_bytecode(314, I314Codes),
list__condense([I314Codes], Splits).
-bytecode_to_intlist(rl_PROC_select_filter, Splits) :-
+bytecode_to_intlist(rl_PROC_select, Splits) :-
int16_to_bytecode(315, I315Codes),
list__condense([I315Codes], Splits).
-bytecode_to_intlist(rl_PROC_select_index, Splits) :-
+bytecode_to_intlist(rl_PROC_select_filter, Splits) :-
int16_to_bytecode(316, I316Codes),
list__condense([I316Codes], Splits).
-bytecode_to_intlist(rl_PROC_btree_scan, Splits) :-
+bytecode_to_intlist(rl_PROC_select_index, Splits) :-
int16_to_bytecode(317, I317Codes),
list__condense([I317Codes], Splits).
-bytecode_to_intlist(rl_PROC_project_tee, Splits) :-
+bytecode_to_intlist(rl_PROC_btree_scan, Splits) :-
int16_to_bytecode(318, I318Codes),
list__condense([I318Codes], Splits).
-bytecode_to_intlist(rl_PROC_sort(X0int32), Splits) :-
+bytecode_to_intlist(rl_PROC_project_tee, Splits) :-
int16_to_bytecode(319, I319Codes),
+ list__condense([I319Codes], Splits).
+bytecode_to_intlist(rl_PROC_sort(X0int32), Splits) :-
+ int16_to_bytecode(320, I320Codes),
int32_to_bytecode(X0int32, X0int32Codes),
- list__condense([I319Codes,X0int32Codes], Splits).
+ list__condense([I320Codes,X0int32Codes], Splits).
bytecode_to_intlist(rl_PROC_union, Splits) :-
- int16_to_bytecode(320, I320Codes),
- list__condense([I320Codes], Splits).
-bytecode_to_intlist(rl_PROC_union_sm, Splits) :-
int16_to_bytecode(321, I321Codes),
list__condense([I321Codes], Splits).
-bytecode_to_intlist(rl_PROC_uniondiff, Splits) :-
+bytecode_to_intlist(rl_PROC_union_sm, Splits) :-
int16_to_bytecode(322, I322Codes),
list__condense([I322Codes], Splits).
-bytecode_to_intlist(rl_PROC_uniondiff_sm, Splits) :-
+bytecode_to_intlist(rl_PROC_uniondiff, Splits) :-
int16_to_bytecode(323, I323Codes),
list__condense([I323Codes], Splits).
-bytecode_to_intlist(rl_PROC_uniondiff_btree, Splits) :-
+bytecode_to_intlist(rl_PROC_uniondiff_sm, Splits) :-
int16_to_bytecode(324, I324Codes),
list__condense([I324Codes], Splits).
-bytecode_to_intlist(rl_PROC_aggregate, Splits) :-
+bytecode_to_intlist(rl_PROC_uniondiff_btree, Splits) :-
int16_to_bytecode(325, I325Codes),
list__condense([I325Codes], Splits).
-bytecode_to_intlist(rl_PROC_aggregate_sm, Splits) :-
+bytecode_to_intlist(rl_PROC_aggregate, Splits) :-
int16_to_bytecode(326, I326Codes),
list__condense([I326Codes], Splits).
-bytecode_to_intlist(rl_PROC_aggregate_onegroup, Splits) :-
+bytecode_to_intlist(rl_PROC_aggregate_sm, Splits) :-
int16_to_bytecode(327, I327Codes),
list__condense([I327Codes], Splits).
-bytecode_to_intlist(rl_PROC_insert_tuple_stream, Splits) :-
+bytecode_to_intlist(rl_PROC_aggregate_onegroup, Splits) :-
int16_to_bytecode(328, I328Codes),
list__condense([I328Codes], Splits).
-bytecode_to_intlist(rl_PROC_empty_stream(X0aString), Splits) :-
+bytecode_to_intlist(rl_PROC_insert_tuple_stream, Splits) :-
int16_to_bytecode(329, I329Codes),
+ list__condense([I329Codes], Splits).
+bytecode_to_intlist(rl_PROC_empty_stream(X0aString), Splits) :-
+ int16_to_bytecode(330, I330Codes),
int32_to_bytecode(X0aString, X0aStringCodes),
- list__condense([I329Codes,X0aStringCodes], Splits).
+ list__condense([I330Codes,X0aStringCodes], Splits).
bytecode_to_intlist(rl_PROC_hypothetical, Splits) :-
- int16_to_bytecode(330, I330Codes),
- list__condense([I330Codes], 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) :-
+bytecode_to_intlist(rl_PROC_topdown, Splits) :-
int16_to_bytecode(332, I332Codes),
list__condense([I332Codes], Splits).
-bytecode_to_intlist(rl_HEAD_proc(X0aString,X1aString,X2aString,X3int32), Splits) :-
+bytecode_to_intlist(rl_PROC_last_bytecode, Splits) :-
int16_to_bytecode(333, I333Codes),
+ list__condense([I333Codes], Splits).
+bytecode_to_intlist(rl_HEAD_proc(X0aString,X1aString,X2aString,X3int32), Splits) :-
+ int16_to_bytecode(334, I334Codes),
int32_to_bytecode(X0aString, X0aStringCodes),
int32_to_bytecode(X1aString, X1aStringCodes),
int32_to_bytecode(X2aString, X2aStringCodes),
int32_to_bytecode(X3int32, X3int32Codes),
- list__condense([I333Codes,X0aStringCodes,X1aStringCodes,X2aStringCodes,X3int32Codes], Splits).
+ list__condense([I334Codes,X0aStringCodes,X1aStringCodes,X2aStringCodes,X3int32Codes], Splits).
bytecode_to_intlist(rl_HEAD_proc_end, Splits) :-
- int16_to_bytecode(334, I334Codes),
- list__condense([I334Codes], Splits).
-bytecode_to_intlist(rl_HEAD_const_int(X0int32,X1aInt), Splits) :-
int16_to_bytecode(335, I335Codes),
+ list__condense([I335Codes], Splits).
+bytecode_to_intlist(rl_HEAD_const_int(X0int32,X1aInt), Splits) :-
+ int16_to_bytecode(336, I336Codes),
int32_to_bytecode(X0int32, X0int32Codes),
aInt_to_bytecode(X1aInt, X1aIntCodes),
- list__condense([I335Codes,X0int32Codes,X1aIntCodes], Splits).
+ list__condense([I336Codes,X0int32Codes,X1aIntCodes], Splits).
bytecode_to_intlist(rl_HEAD_const_flt(X0int32,X1aDouble), Splits) :-
- int16_to_bytecode(336, I336Codes),
+ int16_to_bytecode(337, I337Codes),
int32_to_bytecode(X0int32, X0int32Codes),
aDouble_to_bytecode(X1aDouble, X1aDoubleCodes),
- list__condense([I336Codes,X0int32Codes,X1aDoubleCodes], Splits).
+ list__condense([I337Codes,X0int32Codes,X1aDoubleCodes], Splits).
bytecode_to_intlist(rl_HEAD_const_str(X0int32,X1aString), Splits) :-
- int16_to_bytecode(337, I337Codes),
+ int16_to_bytecode(338, I338Codes),
int32_to_bytecode(X0int32, X0int32Codes),
aString_to_bytecode(X1aString, X1aStringCodes),
- list__condense([I337Codes,X0int32Codes,X1aStringCodes], Splits).
+ list__condense([I338Codes,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_flt(X0int32), Splits) :-
int16_to_bytecode(339, I339Codes),
int32_to_bytecode(X0int32, X0int32Codes),
list__condense([I339Codes,X0int32Codes], Splits).
-bytecode_to_intlist(rl_HEAD_var_str(X0int32), Splits) :-
+bytecode_to_intlist(rl_HEAD_var_flt(X0int32), Splits) :-
int16_to_bytecode(340, I340Codes),
int32_to_bytecode(X0int32, X0int32Codes),
list__condense([I340Codes,X0int32Codes], Splits).
-bytecode_to_intlist(rl_HEAD_var_term(X0int32), Splits) :-
+bytecode_to_intlist(rl_HEAD_var_str(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) :-
+bytecode_to_intlist(rl_HEAD_var_term(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) :-
+bytecode_to_intlist(rl_HEAD_var_stream(X0int32), Splits) :-
int16_to_bytecode(343, I343Codes),
int32_to_bytecode(X0int32, X0int32Codes),
+ list__condense([I343Codes,X0int32Codes], Splits).
+bytecode_to_intlist(rl_HEAD_define_rule(X0int32,X1aString,X2aString), Splits) :-
+ int16_to_bytecode(344, I344Codes),
+ int32_to_bytecode(X0int32, X0int32Codes),
int32_to_bytecode(X1aString, X1aStringCodes),
int32_to_bytecode(X2aString, X2aStringCodes),
- list__condense([I343Codes,X0int32Codes,X1aStringCodes,X2aStringCodes], Splits).
+ list__condense([I344Codes,X0int32Codes,X1aStringCodes,X2aStringCodes], Splits).
bytecode_to_intlist(rl_HEAD_last_bytecode, Splits) :-
- int16_to_bytecode(344, I344Codes),
- list__condense([I344Codes], Splits).
+ int16_to_bytecode(345, I345Codes),
+ list__condense([I345Codes], Splits).
int32_to_bytecode(X, List) :-
int32_to_byte_list(X, List).
@@ -1685,4 +1689,4 @@
int_to_byte_list(X, List).
-rl_code__version(1, 23).
+rl_code__version(1, 24).
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to: mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions: mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------
More information about the developers
mailing list