diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-07-04 19:00:59 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-07-04 19:00:59 +0000 |
| commit | e2587f659cb1f58cb198ce0c841f43015378457f (patch) | |
| tree | 54add7b4e7b7272d0569e9a9e1f34288aeed10fb /src/interp | |
| parent | 44a49cb801191cd6e803204aaffe04ab7a65a345 (diff) | |
| download | open-axiom-e2587f659cb1f58cb198ce0c841f43015378457f.tar.gz | |
* interp/c-util.boot (simplifySEQ): New.
(transformToBackendCode): Use it.
Diffstat (limited to 'src/interp')
| -rw-r--r-- | src/interp/c-util.boot | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/src/interp/c-util.boot b/src/interp/c-util.boot index e8e11234..c7cdd14f 100644 --- a/src/interp/c-util.boot +++ b/src/interp/c-util.boot @@ -989,7 +989,7 @@ mutateLETFormWithUnaryFunction(form,fun) == -- element of $middleEndMacroList is actually a macro call $middleEndMacroList == '(COLLECT REPEAT SUCHTHATCLAUSE THETA COLLECTV - COLLECTVEC THETA1 SPADREDUCE SPADDO) + THETA1 SPADREDUCE SPADDO) middleEndExpand: %Form -> %Form middleEndExpand x == @@ -1419,6 +1419,13 @@ declareGlobalVariables: %List -> %List declareGlobalVariables vars == ["DECLARE",["SPECIAL",:vars]] +simplifySEQ form == + isAtomicForm form => form + form is ["SEQ",[op,a]] and MEMQ(op, '(EXIT RETURN)) => simplifySEQ a + for stmts in tails form repeat + rplac(first stmts, simplifySEQ first stmts) + form + ++ Generate Lisp code by lowering middle end defining form `x'. ++ x has the strucrure: <name, parms, stmt1, ...> transformToBackendCode: %Form -> %Code @@ -1435,7 +1442,7 @@ transformToBackendCode x == null rest body and (atom stmt or first stmt = "SEQ" or not CONTAINED("EXIT",stmt)) => body - [["SEQ",:body]] + [simplifySEQ ["SEQ",:body]] $FluidVars := REMDUP nreverse $FluidVars $LocalVars := S_-(S_-(REMDUP nreverse $LocalVars,$FluidVars), LISTOFATOMS second x) |