diff options
author | johnvg | 2002-10-21 12:53:11 +0000 |
---|---|---|
committer | johnvg | 2002-10-21 12:53:11 +0000 |
commit | 4b695b8117b314f573a06fa93c47fbcc5c003dcf (patch) | |
tree | fdb3062770576e23faf94d5a39730dc2fca51b12 /backendC/CleanCompilerSources/instructions.h | |
parent | add boxed records (diff) |
add new instructions for boxed records
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1253 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'backendC/CleanCompilerSources/instructions.h')
-rw-r--r-- | backendC/CleanCompilerSources/instructions.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/backendC/CleanCompilerSources/instructions.h b/backendC/CleanCompilerSources/instructions.h index 8cd809b..25c2400 100644 --- a/backendC/CleanCompilerSources/instructions.h +++ b/backendC/CleanCompilerSources/instructions.h @@ -40,6 +40,7 @@ void GenPushRArgs (int offset,int nr_a_args,int nr_b_args); void GenPushRArgsU (int offset,int n_a_args,int n_b_args); void GenPushRArgA (int offset,int tot_nr_a_args,int tot_nr_b_args,int args_nr,int nr_a_args); void GenPushRArgB (int offset,int tot_nr_a_args,int tot_nr_b_args,int args_nr,int nr_b_args); +void GenPushRArgU (int offset,int tot_nr_a_args,int tot_nr_b_args,int args_a_nr,int nr_a_args,int args_b_nr,int nr_b_args); void GenReplArgs (int arity, int nrargs); void GenReplArg (int arity, int argnr); @@ -57,6 +58,7 @@ void GenFillcpU (Label symblab,int a_size,int b_size,Label contlab,int offset,ch void GenFillh (Label symblab, int arity,int offset, FillKind fkind); void GenFill1 (Label symblab,int arity,int offset,char bits[]); void GenFill2 (Label symblab, int arity,int offset,char bits[]); +void GenFill3 (Label symblab,int arity,int offset,char bits[]); void GenBuild (Label symblab,int arity,Label contlab); void GenBuildh (Label symblab,int arity); void GenBuildPartialFunctionh (Label symblab,int arity); |