70 lines
1.6 KiB
Plaintext
70 lines
1.6 KiB
Plaintext
|
|
:- use_module(library(lineutils),
|
|
[process/2,
|
|
split/3]).
|
|
|
|
:- initialization(main).
|
|
|
|
main :-
|
|
open('H/YapOpcodes.h',write,W),
|
|
header(W),
|
|
file('C/absmi.c',W),
|
|
format(W, '#ifdef YAPOR~n',[]),
|
|
file('OPTYap/or.insts.i',W),
|
|
format(W, '#endif~n',[]),
|
|
format(W, '#ifdef TABLING~n',[]),
|
|
file('OPTYap/tab.insts.i',W),
|
|
file('OPTYap/tab.tries.insts.i',W),
|
|
format(W, '#endif~n',[]),
|
|
footer(W),
|
|
close(W).
|
|
|
|
header(W) :-
|
|
format(W,'~n /* This file was generated automatically by \"yap -L misc/buildops\"~n please do not update */~n~n',[]).
|
|
|
|
|
|
file(I,W) :-
|
|
open(I,read,R),
|
|
process(R,grep_opcode(W)),
|
|
close(R).
|
|
|
|
grep_opcode(W, Line) :-
|
|
split(Line," ,();",[OP,Name,Type]),
|
|
Name \= "or_last",
|
|
check_op(OP),
|
|
special(Name,W),
|
|
format(W,' OPCODE(~s~36+,~s),~n',[Name,Type]),
|
|
end_special(Name,W).
|
|
|
|
check_op("Op").
|
|
check_op("BOp").
|
|
check_op("PBOp").
|
|
check_op("OpRW").
|
|
check_op("OpW").
|
|
|
|
special(Name, W) :-
|
|
special_op(Name, Decl), !,
|
|
format(W,"#ifdef ~s~n",[Decl]).
|
|
special(_, _).
|
|
|
|
end_special(Name, W) :-
|
|
special_op(Name, _), !,
|
|
format(W,"#endif~n",[]).
|
|
end_special(_, _).
|
|
|
|
special_op("clause_with_cut","TABLING_INNER_CUTS").
|
|
special_op("cut_c","CUT_C").
|
|
special_op("cut_userc","CUT_C").
|
|
special_op("run_eam","BEAM").
|
|
special_op("retry_eam","BEAM").
|
|
special_op("thread_local","THREADS").
|
|
|
|
/* or_last requires special handling */
|
|
footer(W) :-
|
|
format(W,' /* this instruction is hardwired */~n',[]),
|
|
format(W,'#ifdef YAPOR~n',[]),
|
|
format(W,' OPCODE(~s~36+,~s)~n',["or_last","sblp"]),
|
|
format(W,'#else~n',[]),
|
|
format(W,' OPCODE(~s~36+,~s)~n',["or_last","p"]),
|
|
format(W,'#endif~n',[]).
|