mirror/guile
mirror/guile
1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-06-10 14:00:21 +02:00
Code Activity

bytevector-length is an interesting primitive.

Browse source 
* module/language/tree-il/primitives.scm (*interesting-primitive-names*):
  (*effect-free-primitives*):
* module/language/cps/effects-analysis.scm: bytevector-length is an
  interesting primitive.
This commit is contained in:
Andy Wingo 2014-02-13 17:51:11 +01:00
parent 9b3c4cedd4
commit a694809e3a
2 changed files with 5 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -364,6 +364,8 @@
;; Bytevectors.
(define-primitive-effects
((bytevector-length _) (cause &type-check))
((bv-u8-ref bv n) (logior (cause &type-check) &bytevector))
((bv-s8-ref bv n) (logior (cause &type-check) &bytevector))
((bv-u16-ref bv n) (logior (cause &type-check) &bytevector))

4
module/language/tree-il/primitives.scm
View file

@ -94,6 +94,8 @@
allocate-struct struct-vtable make-struct struct-ref struct-set!
bytevector-length
bytevector-u8-ref bytevector-u8-set!
bytevector-s8-ref bytevector-s8-set!
u8vector-ref u8vector-set! s8vector-ref s8vector-set!
@ -172,7 +174,7 @@
char<? char<=? char>=? char>?
integer->char char->integer number->string string->number
struct-vtable
length string-length vector-length
length string-length vector-length bytevector-length
;; These all should get expanded out by expand-primitives.
caar cadr cdar cddr
caaar caadr cadar caddr cdaar cdadr cddar cdddr