diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-07-28 03:02:17 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-07-28 03:02:17 +0000 |
| commit | 0b252ef7247d7c46b66c8996d52e80cff75e7062 (patch) | |
| tree | 7cda7fb0d029852e41a2c752441249877ec96bda /src | |
| parent | b096b33583bf6357cdb6baaaa9232c179b6b2d24 (diff) | |
| download | open-axiom-0b252ef7247d7c46b66c8996d52e80cff75e7062.tar.gz | |
* interp/g-opt.boot: Transform %iquo and %irem expressions.
($VMsideEffectFreeOperators): Include %irem and %iquo.
Diffstat (limited to 'src')
| -rw-r--r-- | src/ChangeLog | 5 | ||||
| -rw-r--r-- | src/interp/g-opt.boot | 11 |
2 files changed, 16 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 564676c1..981e07de 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,10 @@ 2010-07-27 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/g-opt.boot: Transform %iquo and %irem expressions. + ($VMsideEffectFreeOperators): Include %irem and %iquo. + +2010-07-27 Gabriel Dos Reis <gdr@cs.tamu.edu> + * boot/tokens.boot: quo and rem are now keywords and infix operators. * boot/parser.boot (bpEuclid): New. Parse integer quotient and remainder expressions. diff --git a/src/interp/g-opt.boot b/src/interp/g-opt.boot index ca4dd8a4..af4eb981 100644 --- a/src/interp/g-opt.boot +++ b/src/interp/g-opt.boot @@ -443,6 +443,7 @@ $VMsideEffectFreeOperators == %beq %blt %ble %bgt %bge %bitand %bitior %bitnot %bcompl %icst0 %icst1 %imul %iadd %isub %igcd %ilcm %ipow %imin %imax %ieven? %iodd? %iinc + %irem %iquo %feq %flt %fle %fgt %fge %fmul %fadd %fsub %fexp %fmin %fmax %float? %fpow %fdiv %fneg %i2f %fminval %fmaxval %fbase %fprec %ftrunc %nil %pair? %lconcat %llength %lfirst %lsecond %lthird @@ -732,6 +733,14 @@ optIneg(x is ['%ineg,a]) == integer? a => -a x +optIrem(x is ['%irem,a,b]) == + integer? a and integer? b => a rem b + x + +optIquo(x is ['%iquo,a,b]) == + integer? a and integer? b => a quo b + x + --% --% optimizer hash table --% @@ -755,6 +764,8 @@ for x in '( (%call optCall) _ (%ineg optIneg)_ (%iadd optIadd)_ (%isub optIsub)_ + (%irem optIrem)_ + (%iquo optIquo)_ (%imul optImul)_ (LIST optLIST)_ (QSMINUS optQSMINUS)_ |