From 781da3bfee80f56f309ee22bc0e5e3d38f6099ad Mon Sep 17 00:00:00 2001
From: "Taylor R. Campbell" <net/mumble/campbell>
Date: Sun, 21 Jan 2007 11:29:15 +0000
Subject: [PATCH] Fix bug in the open-coder for HEAP-AVAILABLE? with type
 checking turned on.  It was passing the FINISH continuation on to
 OPEN-CODE:WITH-CHECKS, but that would call FINISH with an RTL expression,
 whereas the callers of the open-coder want an RTL predicate CFG.  Now, like
 other predicate open-coders, HEAP-AVAILABLE?'s wraps the expression in a true
 test.

---
 v7/src/compiler/rtlgen/opncod.scm | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/v7/src/compiler/rtlgen/opncod.scm b/v7/src/compiler/rtlgen/opncod.scm
index 269f9586c..c864d6433 100644
--- a/v7/src/compiler/rtlgen/opncod.scm
+++ b/v7/src/compiler/rtlgen/opncod.scm
@@ -1,6 +1,6 @@
 #| -*-Scheme-*-
 
-$Id: opncod.scm,v 4.77 2007/01/05 21:19:23 cph Exp $
+$Id: opncod.scm,v 4.78 2007/01/21 11:29:15 riastradh Exp $
 
 Copyright (C) 1986, 1987, 1988, 1989, 1990, 1991, 1992, 1993, 1994,
     1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005,
@@ -865,7 +865,8 @@ USA.
 	     (rtl:make-address->fixnum (rtl:make-address locative))
 	     (rtl:make-address->fixnum
 	      (rtl:make-fetch register:memory-top))))))
-	finish
+	(lambda (expression)
+	  (finish (rtl:make-true-test expression)))
 	'HEAP-AVAILABLE?
 	expressions)))
    '(0)
-- 
2.25.1