summaryrefslogtreecommitdiff
path: root/module/language/cps/effects-analysis.scm
diff options
context:
space:
mode:
authorAndy Wingo <wingo@pobox.com>2018-01-10 21:56:30 +0100
committerAndy Wingo <wingo@pobox.com>2018-01-10 21:58:24 +0100
commitd355b42a3e7d1e314f2bd83d12d9d45e748e19e7 (patch)
treeb0e90dbee77cece66ca84af51ca34662e2d6b508 /module/language/cps/effects-analysis.scm
parent9222e4df4b3673da662785f71d0f3c289ba8a8a5 (diff)
downloadguile-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.scm9
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.