00001 % THIS FILE IS AUTOMATICALLY GENERATED.
00002 % DO NOT EDIT; ALL CHANGES WILL BE LOST!
00003
00004 :- mode write_symbols(?).
00005 :- mode write_sym2(?,?).
00006 :- mode write_pred_label(?).
00007 :- mode tab.
00008 :- mode write_asm_inst(?).
00009 :- mode rest_write_symbols(?).
00010 :- mode my_writeq(?).
00011 :- mode write_sym(?).
00012 :- mode write_label(?).
00013 :- mode write_asmheader(?,?,?,?).
00014 :- mode simplify_label(?,?).
00015 :- mode write_inst_arg(?,?).
00016 :- mode sp.
00017 :- mode write_inst_args(?,?,++).
00018 :- mode write_symbol(?).
00019 :- mode write_asm_instructions(?).
00020
00021 :- '_$mode_pattern'(write_asm_instructions(g)).
00022 :- '_$mode_pattern'(write_asm_instructions(ng)).
00023 :- '_$mode_pattern'(write_asmheader(g,_1012188,_1012192,_1012196)).
