3 commits

Author	SHA1	Message	Date
Andy Wingo	5959531c54	Allow target runtime to override symbol hash ... Also rework so that the symbol hash uses the low bits instead of high bits. We can do this because, for the guile-vm target, now we compute the full target hash. * module/language/cps/guile-vm.scm (jenkins-lookup3-hashword2): (target-symbol-hash, target-symbol-hash-bits): New exported functions.. * module/language/cps/switch.scm (optimize-branch-chain): Change to use target-symbol-hash and target-symbol-hash-bits from the current target-runtime.	2023-11-20 14:23:14 +01:00
Andy Wingo	49aa0940bc	Add CPS primcall for symbol-hash ... * module/language/cps/effects-analysis.scm: symbol-hash is effect-free. * module/language/cps/guile-vm/lower-primcalls.scm (symbol-hash): Lower to word-ref/immediate. * module/language/cps/switch.scm (optimize-branch-chain): Emit symbol-hash instead of word-ref/immediate. * module/language/cps/types.scm (symbol-hash): Infer result.	2023-11-17 08:48:33 +01:00
Andy Wingo	03998db647	Add new pass to optimize branch chains to table dispatch ... * module/language/cps/switch.scm: New pass. * module/Makefile.am (SOURCES): * am/bootstrap.am (SOURCES): Add switch.scm. * module/system/base/optimize.scm (available-optimizations): * module/language/cps/optimize.scm (optimize-first-order-cps): Run switch optimization at level 2. * libguile/hash.c (JENKINS_LOOKUP3_HASHWORD2): Add note regarding cross-compilation. * module/language/cps/graphs.scm (intmap-select): New definition. * module/language/cps/utils.scm (compute-singly-referenced-labels): Move here, from various places. Doesn't take a body intset argument. * module/language/cps/contification.scm: * module/language/cps/closure-conversion.scm: * module/language/cps/simplify.scm: Use compute-singly-referenced-labels from utils. * module/language/cps/effects-analysis.scm (annotation->memory-kind*): (annotation->memory-kind): Add symbol annotation cases.	2020-08-12 23:30:08 +02:00