aboutsummaryrefslogtreecommitdiff
path: root/backendC/CleanCompilerSources/instructions.h
diff options
context:
space:
mode:
authorjohnvg2005-01-12 16:17:59 +0000
committerjohnvg2005-01-12 16:17:59 +0000
commit0174e68d1aef9cd1bb36a46df205cdf1f1645576 (patch)
tree1bdc16f4b31f55cb443fbb9035e57092ad1249e9 /backendC/CleanCompilerSources/instructions.h
parentchanged version number and name of university (diff)
improve names used by the time profiler for functions generated for
case, if and lambda expressions git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1505 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'backendC/CleanCompilerSources/instructions.h')
-rw-r--r--backendC/CleanCompilerSources/instructions.h5
1 files changed, 4 insertions, 1 deletions
diff --git a/backendC/CleanCompilerSources/instructions.h b/backendC/CleanCompilerSources/instructions.h
index e42914b..67768ad 100644
--- a/backendC/CleanCompilerSources/instructions.h
+++ b/backendC/CleanCompilerSources/instructions.h
@@ -87,8 +87,9 @@ void GenPushA (int offset);
void GenPushB (int offset);
void GenJsrEval (int offset);
+void GenJsrAp (int n_args);
void GenJmpEval (void);
-
+void GenJmpAp (int n_args);
void GenPopA (int nr);
void GenPopB (int nr);
@@ -157,6 +158,7 @@ void GenOStackLayout (int asize,int bsize,Args fun_args);
void GenNodeEntryDirective (int arity,Label label,Label label2);
void GenNodeEntryDirectiveForLabelWithoutSymbol (int arity,Label label,Label label2);
void GenNodeEntryDirectiveUnboxed (int a_size,int b_size,Label label,Label label2);
+void GenApplyEntryDirective (int arity,Label label);
void GenLazyRecordNodeEntryDirective (int arity,Label label);
void GenFieldNodeEntryDirective (int arity, Label label, Label label2,char *record_name);
void GenConstructorDescriptorAndExport (SymbDef sdef);
@@ -213,6 +215,7 @@ void GenFillCaf (Label label,int a_stack_size,int b_stack_size);
void GenCaf (Label label,int a_stack_size,int b_stack_size);
void GenPB (char *function_name);
+void GenPB_ident (IdentP ident,unsigned int line_n);
void GenPB_with_line_number (char *function_name,int line_number);
void GenPD (void);
void GenPN (void);