diff options
author | johnvg | 2005-01-12 16:17:59 +0000 |
---|---|---|
committer | johnvg | 2005-01-12 16:17:59 +0000 |
commit | 0174e68d1aef9cd1bb36a46df205cdf1f1645576 (patch) | |
tree | 1bdc16f4b31f55cb443fbb9035e57092ad1249e9 /backendC/CleanCompilerSources/instructions.h | |
parent | changed 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.h | 5 |
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); |