From 6fc634f8a378475efa336afadb8cef26807bd0cb Mon Sep 17 00:00:00 2001 From: Andy Wingo Date: Mon, 21 Jul 2014 17:30:16 +0200 Subject: [PATCH] CSE allocate-struct fix * module/language/cps/cse.scm (compute-equivalent-subexpressions): Fix handling of allocate-struct in tail position. --- module/language/cps/cse.scm | 1 + 1 file changed, 1 insertion(+) diff --git a/module/language/cps/cse.scm b/module/language/cps/cse.scm index ab48290b8..204480e09 100644 --- a/module/language/cps/cse.scm +++ b/module/language/cps/cse.scm @@ -341,6 +341,7 @@ could be that both true and false proofs are available." (('primcall (or 'allocate-struct 'allocate-struct/immediate) vtable size) (match defs + (() #f) ;; allocate-struct in tail or kreceive position. ((struct) (add-def! `(primcall struct-vtable ,(subst-var struct)) vtable))))