diff options
author | Andy Wingo <wingo@pobox.com> | 2015-11-20 14:52:35 +0100 |
---|---|---|
committer | Andy Wingo <wingo@pobox.com> | 2015-12-01 11:30:55 +0100 |
commit | bdfa1c1b424fc6d408c55e7db17cb3ed7117606a (patch) | |
tree | c2c128b948d8de50b7fc2bc67af5a1e662a57a52 /module/system/vm/disassembler.scm | |
parent | 8f18b71b7afcd475553f760f83af7d79fc34cf01 (diff) | |
download | guile-bdfa1c1b424fc6d408c55e7db17cb3ed7117606a.tar.gz |
Add tagged and untagged arithmetic ops with immediate operands
* libguile/vm-engine.c (add/immediate, sub/immediate)
(uadd/immediate, usub/immediate, umul/immediate): New instructions.
* module/language/cps/compile-bytecode.scm (compile-function):
* module/language/cps/slot-allocation.scm (compute-needs-slot):
* module/language/cps/types.scm:
* module/system/vm/assembler.scm (system):
* module/language/cps/effects-analysis.scm: Support
for new instructions.
* module/language/cps/optimize.scm (optimize-first-order-cps): Move
primcall specialization to the last step -- the only benefit of doing
it earlier was easier reasoning about side effects, and we're already
doing that in a more general way with (language cps types).
* module/language/cps/specialize-primcalls.scm (specialize-primcalls):
Specialize add and sub to add/immediate and sub/immediate, and
specialize u64 addition as well. U64 specialization doesn't work now
though because computing constant values doesn't work for U64s; oh
well.
Diffstat (limited to 'module/system/vm/disassembler.scm')
0 files changed, 0 insertions, 0 deletions