From 8de43b3a81c0ad229a62289c712f72c09fe4d9f1 Mon Sep 17 00:00:00 2001 From: Paul Khuong Date: Fri, 7 Jun 2013 22:26:59 -0400 Subject: [PATCH] Mark DATA-VECTOR-REF[-WITH-OFFSET] as unsafely flushable Unsafe code will be able to eliminate array reads as dead code. --- src/compiler/fndb.lisp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/compiler/fndb.lisp b/src/compiler/fndb.lisp index daf94bc..30fc30b 100644 --- a/src/compiler/fndb.lisp +++ b/src/compiler/fndb.lisp @@ -1472,9 +1472,9 @@ (defknown %check-bound (array index fixnum) index (movable foldable flushable dx-safe)) (defknown data-vector-ref (simple-array index) t - (foldable explicit-check always-translatable)) + (foldable unsafely-flushable explicit-check always-translatable)) (defknown data-vector-ref-with-offset (simple-array index fixnum) t - (foldable explicit-check always-translatable)) + (foldable unsafely-flushable explicit-check always-translatable)) (defknown data-vector-set (array index t) t (explicit-check always-translatable)) (defknown data-vector-set-with-offset (array index fixnum t) t -- 1.7.10.4