diff options
author | Andy Wingo <wingo@pobox.com> | 2018-01-10 21:56:30 +0100 |
---|---|---|
committer | Andy Wingo <wingo@pobox.com> | 2018-01-10 21:58:24 +0100 |
commit | d355b42a3e7d1e314f2bd83d12d9d45e748e19e7 (patch) | |
tree | b0e90dbee77cece66ca84af51ca34662e2d6b508 /module/language/cps/effects-analysis.scm | |
parent | 9222e4df4b3673da662785f71d0f3c289ba8a8a5 (diff) | |
download | guile-d355b42a3e7d1e314f2bd83d12d9d45e748e19e7.tar.gz |
Add optimizer and backend support for gc-pointer-ref
* module/language/cps/compile-bytecode.scm (compile-function):
* module/language/cps/cse.scm (compute-equivalent-subexpressions):
* module/language/cps/effects-analysis.scm:
* module/language/cps/reify-primitives.scm (reify-primitives):
* module/language/cps/slot-allocation.scm (compute-var-representations):
* module/language/cps/specialize-primcalls.scm (specialize-primcalls):
* module/language/cps/types.scm (gc-pointer-ref/immediate):
(gc-pointer-set!/immediate):
* module/system/vm/assembler.scm: Add support for pointer-ref.
Diffstat (limited to 'module/language/cps/effects-analysis.scm')
-rw-r--r-- | module/language/cps/effects-analysis.scm | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/module/language/cps/effects-analysis.scm b/module/language/cps/effects-analysis.scm index 829db4772..b3344ff7a 100644 --- a/module/language/cps/effects-analysis.scm +++ b/module/language/cps/effects-analysis.scm @@ -380,6 +380,15 @@ the LABELS that are clobbered by the effects of LABEL." ((word-set!/immediate obj val) (match param ((ann . idx) (&write-field + (annotation->memory-kind ann) idx)))) + ((gc-pointer-ref/immediate obj) (match param + ((ann . idx) + (&read-field + (annotation->memory-kind ann) idx)))) + ((gc-pointer-set!/immediate obj val) + (match param + ((ann . idx) + (&write-field (annotation->memory-kind ann) idx))))) ;; Structs. |