From ef8fcf4cbb62150396faca9ea56ce865951a0ddc Mon Sep 17 00:00:00 2001
From: Stephen Adams <edu/mit/csail/zurich/adams>
Date: Wed, 16 Aug 1995 20:13:18 +0000
Subject: [PATCH] Added checked rewrites for VECTOR-REF, VECTOR-SET!, CAR and
CDR.
---
v8/src/compiler/midend/laterew.scm | 33 +++++++++++++++++++++++++-----
1 file changed, 28 insertions(+), 5 deletions(-)
diff --git a/v8/src/compiler/midend/laterew.scm b/v8/src/compiler/midend/laterew.scm
index dbc7290b0..bcea0e0d9 100644
--- a/v8/src/compiler/midend/laterew.scm
+++ b/v8/src/compiler/midend/laterew.scm
@@ -1,8 +1,8 @@
#| -*-Scheme-*-
-$Id: laterew.scm,v 1.9 1995/08/10 13:41:21 adams Exp $
+$Id: laterew.scm,v 1.10 1995/08/16 20:13:18 adams Exp $
-Copyright (c) 1994 Massachusetts Institute of Technology
+Copyright (c) 1994-1995 Massachusetts Institute of Technology
This material was developed by the Scheme project at the Massachusetts
Institute of Technology, Department of Electrical Engineering and
@@ -358,6 +358,29 @@ MIT in each case. |#
;; ((MAKE))))
(else
(case operation
- ((READ) `(CALL ',vector-ref '#F ,cell ,(index)))
- ((WRITE) `(CALL ',vector-set! '#F ,cell ,(index) ,value/s))
- ((MAKE) `(CALL ',%vector '#F ,@value/s)))))))
\ No newline at end of file
+ ((READ) `(CALL ',%vector-ref '#F ,cell ,(index)))
+ ((WRITE) `(CALL ',%vector-set! '#F ,cell ,(index) ,value/s))
+ ((MAKE) `(CALL ',%vector '#F ,@value/s)))))))
+
+(define-rewrite/late %vector-check
+ (let ((vector-tag (machine-tag 'VECTOR)))
+ (lambda (rands)
+ (let ((cont (first rands))
+ (vec (second rands))
+ (index (third rands)))
+ cont
+ `(IF (CALL (QUOTE ,object-type?) '#F (QUOTE ,vector-tag) ,vec)
+ (CALL (QUOTE ,%word-less-than-unsigned?) '#F
+ ,index
+ (CALL ',%vector-length '#F ,vec))
+ '#F)))))
+
+(define-rewrite/late %vector-check/index
+ (lambda (rands)
+ (let ((cont (first rands))
+ (vec (second rands))
+ (index (third rands)))
+ cont
+ `(CALL (QUOTE ,%word-less-than-unsigned?) '#F
+ ,index
+ (CALL ',%vector-length '#F ,vec)))))
--
2.25.1