[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Guile-commits] GNU Guile branch, master, updated. release_1-9-15-4-ga75
From: |
Andy Wingo |
Subject: |
[Guile-commits] GNU Guile branch, master, updated. release_1-9-15-4-ga75ea65 |
Date: |
Mon, 07 Feb 2011 21:03:15 +0000 |
This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "GNU Guile".
http://git.savannah.gnu.org/cgit/guile.git/commit/?id=a75ea6589642270adf933b85a15d96a74ff59225
The branch, master has been updated
via a75ea6589642270adf933b85a15d96a74ff59225 (commit)
from c415fe081e5f31f829ba94b31eb7c6b07e56b64f (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit a75ea6589642270adf933b85a15d96a74ff59225
Author: Andy Wingo <address@hidden>
Date: Mon Feb 7 21:58:51 2011 +0100
fix memq/memv inlining
* module/language/tree-il/inline.scm (boolean-value): Add a case for
applications of primitives, and move the memq/memv->bool code here.
(inline!): We were inlining (memq 'a '(a b c)) => #t, and not the list
tail, which was an embarrassing bug. Fixed by moving this code to the
boolean-value function. Thanks to Mark Harig for the report.
-----------------------------------------------------------------------
Summary of changes:
module/language/tree-il/inline.scm | 65 ++++++++++++++++++++++-------------
1 files changed, 41 insertions(+), 24 deletions(-)
diff --git a/module/language/tree-il/inline.scm
b/module/language/tree-il/inline.scm
index aed47fe..de0cffc 100644
--- a/module/language/tree-il/inline.scm
+++ b/module/language/tree-il/inline.scm
@@ -1,6 +1,6 @@
;;; a simple inliner
-;; Copyright (C) 2009, 2010 Free Software Foundation, Inc.
+;; Copyright (C) 2009, 2010, 2011 Free Software Foundation, Inc.
;;;; This library is free software; you can redistribute it and/or
;;;; modify it under the terms of the GNU Lesser General Public
@@ -47,6 +47,46 @@
(else x)))
(else x)))
+ ((<application> src proc args)
+ (record-case proc
+ ;; ((lambda (y ...) x) z ...) => (let ((y z) ...) x)
+ ((<primitive-ref> name)
+ (case name
+ ((memq memv)
+ (pmatch args
+ ((,k ,l) (guard (const? l) (list? (const-exp l)))
+ (cond
+ ((null? (const-exp l))
+ (make-const #f #f))
+ ((const? k)
+ (make-const #f (->bool ((case name
+ ((memq) memq)
+ ((memv) memv)
+ (else (error "unexpected member
func" name)))
+ (const-exp k) (const-exp l)))))
+ (else
+ (let lp ((elts (const-exp l)))
+ (let ((test (make-application
+ #f
+ (make-primitive-ref #f (case name
+ ((memq) 'eq?)
+ ((memv) 'eqv?)
+ (else (error
"what"))))
+ (list k (make-const #f (car elts))))))
+ (if (null? (cdr elts))
+ test
+ (make-conditional
+ src
+ test
+ (make-const #f #t)
+ (lp (cdr elts)))))))))
+
+ (else x)))
+
+ (else x)))
+
+ (else x)))
+
((<lambda> meta body)
(make-const src #t))
@@ -98,29 +138,6 @@
(lambda-body consumer)))
(else #f)))
- ((memq memv)
- (pmatch args
- ((,k ,l) (guard (const? l) (list? (const-exp l)))
- (if (null? (const-exp l))
- (make-const #f #f)
- (let lp ((elts (const-exp l)))
- (let ((test (make-application
- #f
- (make-primitive-ref #f (case name
- ((memq) 'eq?)
- ((memv) 'eqv?)
- (else (error
"what"))))
- (list k (make-const #f (car elts))))))
- (if (null? (cdr elts))
- test
- (make-conditional
- src
- test
- (make-const #f #t)
- (lp (cdr elts))))))))
-
- (else #f)))
-
(else #f)))
(else #f)))
hooks/post-receive
--
GNU Guile
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Guile-commits] GNU Guile branch, master, updated. release_1-9-15-4-ga75ea65,
Andy Wingo <=