diff options
author | Andy Wingo <wingo@pobox.com> | 2023-11-20 13:17:42 +0100 |
---|---|---|
committer | Andy Wingo <wingo@pobox.com> | 2023-11-20 13:43:47 +0100 |
commit | 4d834bdc12acef0f7353da8a22ef0480f818bdb8 (patch) | |
tree | b14e8f877ec7be76124ef12f79eb75646558394f /module/system/vm/assembler.scm | |
parent | 5b0c261b04e02e467db672c7abb328a4a16a1caa (diff) | |
download | guile-4d834bdc12acef0f7353da8a22ef0480f818bdb8.tar.gz |
Add logand/immediate, ulogand/immediate primcalls
* libguile/jit.c (compile_ulogand_immediate, compile_ulogand_immediate_slow)
* libguile/vm-engine.c (ulogand_immediate): New JIT and interpreter
support for ulogand/immediate.
* module/language/cps/guile-vm/lower-primcalls.scm (string-ref):
(vtable-vtable?):
(vtable-field-boxed?): Emit ulogand/immediate.
* module/language/cps/guile-vm/reify-primitives.scm (reify-primitives):
Remove logand/immediate. Only emit ulogand/immediate if the immediate
is a u8. Refactor mul/immediate.
* module/language/cps/specialize-numbers.scm (specialize-operations):
Produce ulogand/immediate if the result is a u64.
* module/language/cps/effects-analysis.scm:
* module/language/cps/types.scm (logand/immediate): Add effect and type
inference for logand/immediate, ulogand/immediate,
* module/language/cps/utils.scm (primcall-raw-representations):
ulogand/immediate makes a u64.
* module/language/tree-il/compile-cps.scm (convert): Generate
logand/immediate if possible.
* module/language/cps/compile-bytecode.scm (compile-function):
* module/system/vm/assembler.scm (system): Add ulogand/immediate
emitter.
* libguile/loader.h (SCM_OBJCODE_MINOR_VERSION): Bump.
Diffstat (limited to 'module/system/vm/assembler.scm')
-rw-r--r-- | module/system/vm/assembler.scm | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/module/system/vm/assembler.scm b/module/system/vm/assembler.scm index 0ffc0c6e3..4114c221a 100644 --- a/module/system/vm/assembler.scm +++ b/module/system/vm/assembler.scm @@ -319,6 +319,7 @@ emit-usub/immediate emit-umul/immediate emit-ulogand + emit-ulogand/immediate emit-ulogior emit-ulogxor emit-ulogsub @@ -2321,7 +2322,7 @@ needed." ;; FIXME: Define these somewhere central, shared with C. (define *bytecode-major-version* #x0300) -(define *bytecode-minor-version* 6) +(define *bytecode-minor-version* 7) (define (link-dynamic-section asm text rw rw-init frame-maps) "Link the dynamic section for an ELF image with bytecode @var{text}, |