mirror/guile
mirror/guile
1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-05-19 11:10:25 +02:00
Code Activity

Instruction explosion for struct-ref, struct-set!

Browse source 
* module/language/cps/effects-analysis.scm (&memory-kind-mask): Add
  &bitmask, for the bitmask in vtables.
  (annotation->memory-kind): Add 'bitmask case.
* module/language/tree-il/compile-cps.scm (ensure-struct-index-in-range):
  (prepare-struct-scm-access): New helpers.
  (struct-ref/immediate, struct-set!/immediate): New exploded lowering
  routines.
  (struct-ref, struct-set!): New lowering routines that just do a call.
  (canonicalize): Remove struct-ref hack; lowering procedures will
  handle it.
* module/language/tree-il/cps-primitives.scm (bytevector-length): Define
  struct-set! as returning a value.
This commit is contained in:
Andy Wingo 2018-01-19 21:57:03 +01:00
parent 310c34e112
commit 557acdbbba
3 changed files with 131 additions and 13 deletions
Download patch file Download diff file Expand all files Collapse all files

6
module/language/cps/effects-analysis.scm
View file

@ -185,7 +185,10 @@
&bytevector
;; Indicates a dependency on a free variable of a closure.
&closure)
&closure
;; Indicates a dependency on a raw bitmask, measured in 32-bit units.
&bitmask)
(define-inlinable (&field kind field)
(ash (logior (ash field &memory-kind-bits) kind) &effect-kind-bits))
@ -344,6 +347,7 @@ the LABELS that are clobbered by the effects of LABEL."
('pair &pair)
('vector &vector)
('bytevector &bytevector)
('bitmask &bitmask)
('box &box)
('closure &closure)
('struct &struct)))