From 6b2089086bf8e2bc377fe8ecba7d7284f654219f Mon Sep 17 00:00:00 2001 From: Alexey Dejneka Date: Sat, 28 Sep 2002 06:50:25 +0000 Subject: [PATCH] 0.7.8.3: Disabled flushing of simple type checks in arguments of full calls. --- src/compiler/ltn.lisp | 8 +++----- tests/compiler.impure.lisp | 1 - version.lisp-expr | 2 +- 3 files changed, 4 insertions(+), 7 deletions(-) diff --git a/src/compiler/ltn.lisp b/src/compiler/ltn.lisp index cf5662b..d365a4f 100644 --- a/src/compiler/ltn.lisp +++ b/src/compiler/ltn.lisp @@ -184,9 +184,8 @@ ;;; deliver values normally. We still annotate the function continuation, ;;; since IR2tran might decide to call after all. ;;; -;;; If not funny, we always flush arg type checks, but do it after -;;; annotation when the LTN-POLICY is safe, since we don't want to -;;; choose the TNs according to a type assertions that may not hold. +;;; If not funny, we flush arg type checks, when LTN-POLICY is not +;;; safe. ;;; ;;; Note that args may already be annotated because template selection can ;;; bail out to here. @@ -216,8 +215,7 @@ (make-ir2-continuation (primitive-type (continuation-type arg))))) - (annotate-1-value-continuation arg) - (when safe-p (flush-type-check arg)))) + (annotate-1-value-continuation arg))) (when (eq kind :error) (setf (basic-combination-kind call) :full)) (setf (basic-combination-info call) :full) diff --git a/tests/compiler.impure.lisp b/tests/compiler.impure.lisp index afabf2b..0bbcdf9 100644 --- a/tests/compiler.impure.lisp +++ b/tests/compiler.impure.lisp @@ -372,7 +372,6 @@ BUG 48c, not yet fixed: (ignore-errors (the-in-arguments-1 1)) (assert (null result)) (assert (typep condition 'type-error))) -#+nil (multiple-value-bind (result condition) (ignore-errors (the-in-arguments-2 1)) (assert (null result)) diff --git a/version.lisp-expr b/version.lisp-expr index b7b97de..5a2e3aa 100644 --- a/version.lisp-expr +++ b/version.lisp-expr @@ -18,4 +18,4 @@ ;;; internal versions off the main CVS branch, it gets hairier, e.g. ;;; "0.pre7.14.flaky4.13".) -"0.7.8.2" +"0.7.8.3" -- 1.7.10.4