diff options
author | dos-reis <gdr@axiomatics.org> | 2010-06-20 22:12:10 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-06-20 22:12:10 +0000 |
commit | bf21f6c3c98ea62bbd952ecd2382b63f4cd370bb (patch) | |
tree | 7a5bbd28009759b1c787d3df4c4ba5960cd11280 /src/algebra/strap/QFCAT-.lsp | |
parent | 9cde874de258533a18944602afa62c9e56ac991a (diff) | |
download | open-axiom-bf21f6c3c98ea62bbd952ecd2382b63f4cd370bb.tar.gz |
* interp/g-opt.boot (changeVariableDefinitionToStore): New.
(optimizeFunctionDef): Use it.
Diffstat (limited to 'src/algebra/strap/QFCAT-.lsp')
-rw-r--r-- | src/algebra/strap/QFCAT-.lsp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/algebra/strap/QFCAT-.lsp b/src/algebra/strap/QFCAT-.lsp index de5cddb0..daacfe07 100644 --- a/src/algebra/strap/QFCAT-.lsp +++ b/src/algebra/strap/QFCAT-.lsp @@ -174,16 +174,16 @@ (PROGN (LETT |#G19| |y| |QFCAT-;<;2AB;13|) (LETT |#G20| |x| |QFCAT-;<;2AB;13|) - (LETT |x| |#G19| |QFCAT-;<;2AB;13|) - (LETT |y| |#G20| |QFCAT-;<;2AB;13|)))) + (SETQ |x| |#G19|) + (SETQ |y| |#G20|)))) (COND ((SPADCALL (SPADCALL |y| (|getShellEntry| $ 11)) (|spadConstant| $ 52) (|getShellEntry| $ 50)) (PROGN (LETT |#G21| |y| |QFCAT-;<;2AB;13|) (LETT |#G22| |x| |QFCAT-;<;2AB;13|) - (LETT |x| |#G21| |QFCAT-;<;2AB;13|) - (LETT |y| |#G22| |QFCAT-;<;2AB;13|)))) + (SETQ |x| |#G21|) + (SETQ |y| |#G22|)))) (EXIT (SPADCALL (SPADCALL (SPADCALL |x| (|getShellEntry| $ 8)) (SPADCALL |y| (|getShellEntry| $ 11)) |