;; 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))
((logand . _) (cause &type-check))
((logior . _) (cause &type-check))
((logior . _) (cause &type-check))
- ((lognot . _) (cause &type-check)))
+ ((lognot . _) (cause &type-check))
+ ((sqrt _) (cause &type-check))
+ ((abs _) (cause &type-check)))
;; Characters.
(define-primitive-effects
(vector-set!
effects
n
- (match (lookup-cont (cfa-k-sym cfa n) (dfg-cont-table dfg))
+ (match (lookup-cont (cfa-k-sym cfa n) dfg)
(($ $kargs names syms body)
(expression-effects (find-expression body) dfg))
(($ $kreceive arity kargs)