/[cmucl]/src/compiler/ir1util.lisp
ViewVC logotype

Log of /src/compiler/ir1util.lisp

Parent Directory Parent Directory | Revision Log Revision Log


Links to HEAD: (view) (annotate)
Sticky Tag:

Revision 1.113 - (view) (annotate) - [select for diffs]
Tue Apr 20 17:57:46 2010 UTC (4 years ago) by rtoy
Branch: MAIN
CVS Tags: GIT-CONVERSION, HEAD, RELEASE_20b, cross-sol-x86-2010-12-20, cross-sol-x86-base, cross-sol-x86-merged, cross-sparc-branch-base, release-20b-pre1, release-20b-pre2, snapshot-2010-05, snapshot-2010-06, snapshot-2010-07, snapshot-2010-08, snapshot-2010-11, snapshot-2010-12, snapshot-2011-01, snapshot-2011-02, snapshot-2011-03, snapshot-2011-04, snapshot-2011-06, snapshot-2011-07, snapshot-2011-09, sparc-tramp-assem-2010-07-19, sparc-tramp-assem-base
Branch point for: RELEASE-20B-BRANCH, cross-sol-x86-branch, cross-sparc-branch, sparc-tramp-assem-branch
Changes since 1.112: +9 -9 lines
Diff to previous 1.112
Change uses of _"foo" to (intl:gettext "foo").  This is because slime
may get confused with source locations if the reader macros are
installed.

Revision 1.112 - (view) (annotate) - [select for diffs]
Mon Apr 19 15:08:20 2010 UTC (4 years ago) by rtoy
Branch: MAIN
Changes since 1.111: +13 -13 lines
Diff to previous 1.111
Remove _N"" reader macro from docstrings when possible.

Revision 1.111 - (view) (annotate) - [select for diffs]
Fri Mar 19 15:19:00 2010 UTC (4 years, 1 month ago) by rtoy
Branch: MAIN
CVS Tags: post-merge-intl-branch, snapshot-2010-04
Changes since 1.110: +33 -29 lines
Diff to previous 1.110
Merge intl-branch 2010-03-18 to HEAD.  To build, you need to use
boot-2010-02-1 as the bootstrap file.  You should probably also use
the new -P option for build.sh to generate and update the po files
while building.

Revision 1.110.26.6 - (view) (annotate) - [select for diffs]
Fri Mar 5 00:05:41 2010 UTC (4 years, 1 month ago) by rtoy
Branch: intl-branch
CVS Tags: intl-branch-2010-03-18-1300
Changes since 1.110.26.5: +5 -5 lines
Diff to previous 1.110.26.5 , to branch point 1.110 , to next main 1.113
Mark more translatable stirngs.

Revision 1.110.26.5 - (view) (annotate) - [select for diffs]
Fri Feb 26 03:38:17 2010 UTC (4 years, 1 month ago) by rtoy
Branch: intl-branch
Changes since 1.110.26.4: +3 -2 lines
Diff to previous 1.110.26.4 , to branch point 1.110
Do translation of compiler-error messages in compiler-error.  Update
all calls to use _N instead of _.

Revision 1.110.28.1 - (view) (annotate) - [select for diffs]
Thu Feb 25 20:34:53 2010 UTC (4 years, 1 month ago) by rtoy
Branch: intl-2-branch
Changes since 1.110: +23 -21 lines
Diff to previous 1.110 , to next main 1.113
Restart internalization work.  This new branch starts with code from
the intl-branch on date 2010-02-12 18:00:00+0500.  This version works
and

LANG=en@piglatin bin/lisp

works (once the piglatin translation is added).

Revision 1.110.26.4 - (view) (annotate) - [select for diffs]
Thu Feb 25 04:35:40 2010 UTC (4 years, 1 month ago) by rtoy
Branch: intl-branch
Changes since 1.110.26.3: +4 -4 lines
Diff to previous 1.110.26.3 , to branch point 1.110
o Make COMPILER-WARNING do the string lookup instead of at each call
  site.
o Change all calls to COMPILER-WARNING to use _N" instead of _".

Revision 1.110.26.3 - (view) (annotate) - [select for diffs]
Thu Feb 25 03:59:43 2010 UTC (4 years, 1 month ago) by rtoy
Branch: intl-branch
Changes since 1.110.26.2: +7 -6 lines
Diff to previous 1.110.26.2 , to branch point 1.110
o Make COMPILER-NOTE do the string lookup instead of at each call
  site.
o Change all calls to COMPILER-NOTE to use _N" instead of _".

Revision 1.110.26.2 - (view) (annotate) - [select for diffs]
Thu Feb 11 01:33:01 2010 UTC (4 years, 2 months ago) by rtoy
Branch: intl-branch
CVS Tags: intl-branch-working-2010-02-11-1000, intl-branch-working-2010-02-19-1000
Changes since 1.110.26.1: +21 -21 lines
Diff to previous 1.110.26.1 , to branch point 1.110
Mark translatable strings; regenerate cmucl.pot and ko/cmucl.po
accordingly.

Revision 1.110.26.1 - (view) (annotate) - [select for diffs]
Mon Feb 8 17:15:50 2010 UTC (4 years, 2 months ago) by rtoy
Branch: intl-branch
Changes since 1.110: +3 -1 lines
Diff to previous 1.110
Add (intl:textdomain "cmucl") to the files to set the textdomain.

Revision 1.110 - (view) (annotate) - [select for diffs]
Fri Jun 30 18:41:23 2006 UTC (7 years, 9 months ago) by rtoy
Branch: MAIN
CVS Tags: RELEASE_19f, RELEASE_20a, amd64-dd-start, intl-2-branch-base, intl-branch-base, label-2009-03-16, label-2009-03-25, merge-sse2-packed, merge-with-19f, merged-unicode-utf16-extfmt-2009-06-11, portable-clx-base, portable-clx-import-2009-06-16, pre-merge-intl-branch, pre-telent-clx, release-19d, release-19d-base, release-19d-pre1, release-19d-pre2, release-19e, release-19e-base, release-19e-pre1, release-19e-pre2, release-19f-base, release-19f-pre1, release-20a-base, release-20a-pre1, snapshot-2006-07, snapshot-2006-08, snapshot-2006-09, snapshot-2006-10, snapshot-2006-11, snapshot-2006-12, snapshot-2007-01, snapshot-2007-02, snapshot-2007-03, snapshot-2007-04, snapshot-2007-05, snapshot-2007-06, snapshot-2007-07, snapshot-2007-08, snapshot-2007-09, snapshot-2007-10, snapshot-2007-11, snapshot-2007-12, snapshot-2008-01, snapshot-2008-02, snapshot-2008-03, snapshot-2008-04, snapshot-2008-05, snapshot-2008-06, snapshot-2008-07, snapshot-2008-08, snapshot-2008-09, snapshot-2008-10, snapshot-2008-11, snapshot-2008-12, snapshot-2009-01, snapshot-2009-02, snapshot-2009-04, snapshot-2009-05, snapshot-2009-07, snapshot-2009-08, snapshot-2009-11, snapshot-2009-12, snapshot-2010-01, snapshot-2010-02, snapshot-2010-03, sse2-base, sse2-checkpoint-2008-10-01, sse2-merge-with-2008-10, sse2-merge-with-2008-11, sse2-packed-2008-11-12, sse2-packed-base, unicode-snapshot-2009-05, unicode-snapshot-2009-06, unicode-string-buffer-base, unicode-string-buffer-impl-base, unicode-utf16-base, unicode-utf16-char-support-2009-03-25, unicode-utf16-char-support-2009-03-26, unicode-utf16-extfmt-2009-03-27, unicode-utf16-extfmt-2009-06-11, unicode-utf16-extfmts-pre-sync-2008-11, unicode-utf16-extfmts-sync-2008-12, unicode-utf16-string-support, unicode-utf16-sync-2008-07, unicode-utf16-sync-2008-09, unicode-utf16-sync-2008-11, unicode-utf16-sync-2008-12, unicode-utf16-sync-label-2009-03-16
Branch point for: RELEASE-19F-BRANCH, RELEASE-20A-BRANCH, amd64-dd-branch, intl-2-branch, intl-branch, portable-clx-branch, release-19d-branch, release-19e-branch, sse2-branch, sse2-packed-branch, unicode-string-buffer-branch, unicode-string-buffer-impl-branch, unicode-utf16-branch, unicode-utf16-extfmt-branch
Changes since 1.109: +2 -2 lines
Diff to previous 1.109
This large checkin merges the double-double float support to HEAD.
The merge is from the tag "double-double-irrat-end".  The
double-double branch is now obsolete.

The code should build without double-double support (tested on sparc)
as well as build with double-double support (tested also on sparc).

Revision 1.109.12.1 - (view) (annotate) - [select for diffs]
Thu Jun 29 14:47:37 2006 UTC (7 years, 9 months ago) by rtoy
Branch: double-double-array-branch
CVS Tags: double-double-irrat-end
Changes since 1.109: +2 -2 lines
Diff to previous 1.109 , to next main 1.113
Increase *INLINE-EXPANSION-LIMIT* to 400 so we can inline more
double-double-float functions.

Revision 1.109 - (view) (annotate) - [select for diffs]
Thu Dec 16 21:55:37 2004 UTC (9 years, 4 months ago) by rtoy
Branch: MAIN
CVS Tags: double-double-array-base, double-double-array-checkpoint, double-double-base, double-double-init-%make-sparc, double-double-init-checkpoint-1, double-double-init-ppc, double-double-init-sparc, double-double-init-sparc-2, double-double-init-x86, double-double-irrat-start, double-double-reader-base, double-double-reader-checkpoint-1, double-double-sparc-checkpoint-1, ppc_gencgc_snap_2005-05-14, ppc_gencgc_snap_2005-12-17, ppc_gencgc_snap_2006-01-06, release-19b-base, release-19b-pre1, release-19b-pre2, release-19c, release-19c-base, release-19c-pre1, snapshot-2005-01, snapshot-2005-02, snapshot-2005-03, snapshot-2005-04, snapshot-2005-05, snapshot-2005-06, snapshot-2005-07, snapshot-2005-08, snapshot-2005-09, snapshot-2005-10, snapshot-2005-11, snapshot-2005-12, snapshot-2006-01, snapshot-2006-02, snapshot-2006-03, snapshot-2006-04, snapshot-2006-05, snapshot-2006-06
Branch point for: double-double-array-branch, double-double-branch, double-double-reader-branch, ppc_gencgc_branch, release-19b-branch, release-19c-branch
Changes since 1.108: +3 -2 lines
Diff to previous 1.108
Enable loop analysis code.  But the default is loop analysis is not
done, because we don't do anything with the loop results.

ir1util.lisp:
	o Make sure component initializes the outer-loop slot of the
	  component.

main.lisp:
	o Add defvar *loop-analyze*, defaulting to NIL.
	o Run loop analysis code when *loop-analyze* is T.

node.lisp:
	o Make the outer-loop slot of a component a required arg and
	  adjust the declared type appropriately.

represent.lisp:
	o Add ASSIGN-TN-DEPTHS function to assign loop depths to TNs.

vop.lisp:
	o Forgot to add the loop-depth slot for TNs.

Revision 1.108 - (view) (annotate) - [select for diffs]
Mon Dec 6 17:03:56 2004 UTC (9 years, 4 months ago) by rtoy
Branch: MAIN
Changes since 1.107: +10 -1 lines
Diff to previous 1.107
ir1util.lisp:

o Add new function EFFICIENCY-NOTE for printing out efficiency notes.
  The notes are printed unless brevity (inhibit-warnings) >= 2.5

ir1final.lisp:
o Use EFFICIENCY-NOTE instead of COMPILER-NOTE.

Revision 1.107 - (view) (annotate) - [select for diffs]
Tue Oct 26 13:31:38 2004 UTC (9 years, 5 months ago) by rtoy
Branch: MAIN
CVS Tags: snapshot-2004-11, snapshot-2004-12
Changes since 1.106: +17 -2 lines
Diff to previous 1.106
Define a new condition class, COMPILER-READ-ERROR, a subtype of
COMPILER-ERROR, to allow slime better control of read errors.

Patch from Helmut Eller, cmucl-imp, 2004-10-25.

Revision 1.106 - (view) (annotate) - [select for diffs]
Mon Aug 23 11:37:52 2004 UTC (9 years, 8 months ago) by emarsden
Branch: MAIN
CVS Tags: snapshot-2004-09, snapshot-2004-10
Changes since 1.105: +2 -2 lines
Diff to previous 1.105
When naming a component in FIND-COMPONENT-NAME, don't require the component's
context to be printable readably. Fixes a bug triggered by cl-pdf, where the
context is a CLOS object which is not readably printable.

Revision 1.105 - (view) (annotate) - [select for diffs]
Fri Apr 23 03:28:29 2004 UTC (10 years ago) by rtoy
Branch: MAIN
CVS Tags: amd64-merge-start, prm-before-macosx-merge-tag, release-19a, release-19a-base, release-19a-pre1, release-19a-pre2, release-19a-pre3, snapshot-2004-05, snapshot-2004-06, snapshot-2004-07, snapshot-2004-08
Branch point for: release-19a-branch
Changes since 1.104: +2 -2 lines
Diff to previous 1.104
Change the ~A to ~S in FIND-COMPONENT-NAME, in case the context cannot
be printed with ~A.  Hope this doesn't cause other problems, but this
shows up when the context contains something like a condition object
with unbound slots.

Revision 1.104 - (view) (annotate) - [select for diffs]
Fri Apr 16 15:09:10 2004 UTC (10 years ago) by rtoy
Branch: MAIN
Changes since 1.103: +27 -15 lines
Diff to previous 1.103
Record toplevel forms too for source location recording.

From Helmut Eller.

Revision 1.103 - (view) (annotate) - [select for diffs]
Thu Apr 8 14:00:28 2004 UTC (10 years ago) by rtoy
Branch: MAIN
Changes since 1.102: +3 -2 lines
Diff to previous 1.102
If the file-info doesn't exist, we return nil for the
source-location.

This bug triggered by

	(compile nil (lambda () (defclass foo () ())))

(Bug and fix from Eric Marsden.)

Revision 1.102 - (view) (annotate) - [select for diffs]
Tue Apr 6 20:44:01 2004 UTC (10 years ago) by rtoy
Branch: MAIN
Changes since 1.101: +57 -1 lines
Diff to previous 1.101
Add support for source location recording, from Helmut Eller on
cmucl-imp:

    The patch below adds a somewhat general mechanism to the get the
    "current location".  So every macro that wants to record the
    source location, can insert a call to SOURCE-LOCATION in the
    generated code and safe the result in a appropriate place.
    SOURCE-LOCATION is a compiler-macro and returns a quoted struct
    with the source info.

    The patch adds the definition for SOURCE-LOCATION some
    modifications for the defclass, defgeneric and defmethod macros.
    Classes, generic functions and methods have already a "source"
    slot and the result of SOURCE-LOCATION is just stored into that
    slot.  (The source slot contains currently only the *loadpath*,
    which is is not very useful, if the fasl file is in a different
    directory than the source file.)

Revision 1.101 - (view) (annotate) - [select for diffs]
Wed Mar 24 13:27:43 2004 UTC (10 years, 1 month ago) by emarsden
Branch: MAIN
CVS Tags: mod-arith-base, snapshot-2004-04
Branch point for: mod-arith-branch
Changes since 1.100: +3 -3 lines
Diff to previous 1.100
 - component names may be non-pretty-printable

Revision 1.100 - (view) (annotate) - [select for diffs]
Sun Oct 26 17:31:25 2003 UTC (10 years, 6 months ago) by gerd
Branch: MAIN
CVS Tags: snapshot-2003-11, snapshot-2003-12
Changes since 1.99: +11 -1 lines
Diff to previous 1.99
	* src/compiler/eval-comp.lisp (compile-for-eval): Delete
	unreachable blocks, similar to ir1-optimize, which we don't call.
	This simplifies things by reducing the differences between
	"normal" compilation and compiling for interpretation.

	* src/compiler/ir1util.lisp (block-unreachable-p): New function.
	(delete-lambda): Mark return blocks for deletion again.

	* src/compiler/ir1opt.lisp (ir1-optimize): Use block-unreachable-p.
	Delete unreachable blocks after the loop.

Revision 1.99 - (view) (annotate) - [select for diffs]
Tue Oct 21 13:09:23 2003 UTC (10 years, 6 months ago) by gerd
Branch: MAIN
Changes since 1.98: +1 -5 lines
Diff to previous 1.98
	* src/compiler/ir1util.lisp (delete-lambda): Don't mark
	the return-block for deletion.

Revision 1.98 - (view) (annotate) - [select for diffs]
Mon Oct 13 10:24:47 2003 UTC (10 years, 6 months ago) by gerd
Branch: MAIN
Changes since 1.97: +9 -2 lines
Diff to previous 1.97
	(compile nil '(lambda (c)
	   (labels ((%f15 ()
	              (* (unwind-protect c)
	              (max -5726369 (return-from %f15 3099206)))))
	     c)))
	 => assertion failure in unlink-blocks

	* src/compiler/ir1util.lisp (delete-lambda): Protect the deletion
	of the return block against already being marked for deletion.
	Mark the return block for deletion.  From SBCL.

Revision 1.97 - (view) (annotate) - [select for diffs]
Sat Oct 11 10:49:51 2003 UTC (10 years, 6 months ago) by gerd
Branch: MAIN
Changes since 1.96: +10 -11 lines
Diff to previous 1.96
	ANSI test misc.9 and others
	 => assertion failure in delete-block

	* src/compiler/ir1util.lisp (delete-lambda): Mark blocks of
	lambda-refs for deletion.  Protect the unlink of the bind-block
	against it being marked for deletion.
	(delete-block) <entry>: Mark blocks of exits for deletion.
	Delete the entry from lambda-entries.

Revision 1.96 - (view) (annotate) - [select for diffs]
Thu Oct 9 13:25:25 2003 UTC (10 years, 6 months ago) by gerd
Branch: MAIN
Changes since 1.95: +21 -5 lines
Diff to previous 1.95
	(compile nil '(lambda (a)
		(declare (type (integer -30078003 47403) a))
		(unwind-protect
		    (if (ldb-test (byte 6 23) 828450)
			(logandc1 -1 (min -34 (block b2 a)))
		      a))))
	 => The assertion (C::CONSTANT-CONTINUATION-P C::CONT) failed,
	    in %unwind-protect/ir2-convert

	* src/compiler/ir1util.lisp (delete-block): Don't remove
	block end cleanups unless *converting-for-interpreter*.
	Reported by Paul Dietz.

Revision 1.95 - (view) (annotate) - [select for diffs]
Thu Oct 2 19:23:11 2003 UTC (10 years, 6 months ago) by gerd
Branch: MAIN
Changes since 1.94: +19 -1 lines
Diff to previous 1.94
	(compile nil
	  '(lambda (c) (declare (optimize (speed 3) (debug 1)))
	     (flet ((%f18 () -36))
	        (flet ((%f13 () (let () (block b8 (return-from b8 c)))))
	          (%f18)))))
	 => error nil is not an integer, in dump-1-variable

	Found by Paul Dietz.

	This is caused by a lambda-var being passed to dump-1-variable
	which hasn't been packed, and so has a null tn-offset.  A ref to
	this lambda-var remains at this point because it is referenced
	from a different component.  The ref is deleted when that
	component is compiled.  The problem is that there shouldn't have
	been two components to begin with, which we prevent by recording
	additional DFO dependencies for closed-over variables and entries.

	Port from SBCL, basically.

	Does not require a bootstrap file, but a full build is necessary
	due to the renamed clambda structure slot.

	* src/compiler/dfo.lisp (dfo-walk-call-graph): Process
	new dfo dependencies.

	* src/compiler/node.lisp (clambda): Rename slot `calls'
	to `dfo-dependencies'.

	* src/compiler/locall.lisp (convert-call, convert-mv-call):
	Call note-dfo-dependency.
	(merge-lets): Change for new clambda slot name.
	(unconvert-tail-calls): Handle the case of non-clambdas in
	the dfo dependencies.

	* src/compiler/ir1util.lisp (continuation-home-lambda)
	(note-dfo-dependency): New functions.

	* src/compiler/ir1tran.lisp (ir1-convert-variable)
	(return-from, go, setq): Call note-dfo-dependency.

	* src/compiler/xref.lisp (lambda-called-p): New function.
	(prettiest-caller-name): Use lambda-called-p instead of
	lambda-calls.

Revision 1.93.2.1 - (view) (annotate) - [select for diffs]
Mon Aug 25 17:06:46 2003 UTC (10 years, 8 months ago) by gerd
Branch: dynamic-extent
Changes since 1.93: +7 -4 lines
Diff to previous 1.93 , to next main 1.113
Merge with HEAD.

Revision 1.94 - (view) (annotate) - [select for diffs]
Sat Aug 16 11:45:47 2003 UTC (10 years, 8 months ago) by gerd
Branch: MAIN
CVS Tags: lisp-executable-base, snapshot-2003-10, sparc_gencgc_merge
Branch point for: lisp-executable
Changes since 1.93: +7 -4 lines
Diff to previous 1.93
	Format string checking for ERROR, WARN, and others.

	* src/compiler/srctran.lisp (check-format-args-1)
	(check-format-args-2): Extracted from check-format-args.
	(check-format-args): Take a continuation argument for the control
	string.
	(format): Use the new check- functions.
	(error, warn, compiler-error, compiler-warning)
	(compiler-note, compiler-mumble): Add format-checking
	deftransforms.

	* src/compiler/fndb.lisp (compiler-warning, compiler-note)
	(compiler-mumble, compiler-error): Add defknowns.

	* src/compiler/ir1util.lisp (compiler-mumble, compiler-warning)
	(compiler-note): Return no values.

	* src/code/parse-time.lisp (deal-with-am-pm): Add a missing
	arg to error.
	* src/compiler/saptran.lisp (foreign-symbol-address):
	* src/compiler/new-assem.lisp (emit-annotation): Likewise.

Revision 1.93 - (view) (annotate) - [select for diffs]
Wed Aug 6 19:01:17 2003 UTC (10 years, 8 months ago) by gerd
Branch: MAIN
CVS Tags: dynamic-extent-base, sparc_gencgc
Branch point for: dynamic-extent, sparc_gencgc_branch
Changes since 1.92: +4 -3 lines
Diff to previous 1.92
	Dynamic-extent closures for x86.  Use boot15.lisp for
	bootstrapping.

	(defun prn (fn)
	  (print (funcall fn)))

	(defun foo (x)
	  (flet ((bar () x))
	    (declare (dynamic-extent #'bar))
	    (prn #'bar)))

	=> The closure for BAR is allocated from the stack

	* src/compiler/node.lisp (lexenv): Add slot dynamic-extent.

	* src/compiler/ir1util.lisp (make-lexenv): Add keyword
	arg for dynamic-extent.

	* src/code/defstruct.lisp (%redefine-defstruct)
	[#+bootstrap-dynamic-extent]: Definition that corresponds
	to to the clobber-it restart.

	* src/compiler/ir1tran.lisp (process-dynamic-extent-declaration):
	Rewritten.

	* src/compiler/x86/alloc.lisp (make-closure): Add constant
	arg dynamic-extent, and use it for allocation.

	* src/compiler/ir2tran.lisp (ir2-convert-closure) [#+x86]:
	Pass dynamic-extent to the make-closure vop.

Revision 1.92 - (view) (annotate) - [select for diffs]
Mon Jun 2 16:29:23 2003 UTC (10 years, 10 months ago) by emarsden
Branch: MAIN
Changes since 1.91: +28 -20 lines
Diff to previous 1.91
Change to the compiler's error/note reporting:

   - an extra optional argument to COMPILER-NOTIFICATION makes it
     possible to pass text describing the error/note to
     *COMPILER-NOTIFICATION-FUNCTION*.

   - functions for *COMPILER-NOTIFICATION-FUNCTION* have an extra
     second argument which describes the error/note

   - modify the eval-server functionality in Hemlock in consequence

This backwards-incompatible change makes the
*COMPILER-NOTIFICATION-FUNCTION* facility considerably more useful,
since the description of the error (which was previously not passed to
the notification-function) is very useful when reporting an error.


Compile-time effect of DEFCONSTANT: instead of discarding the
documentation string, add it to the info database.

Revision 1.91 - (view) (annotate) - [select for diffs]
Fri Apr 11 14:24:21 2003 UTC (11 years ago) by emarsden
Branch: MAIN
CVS Tags: remove_negative_zero_not_zero
Changes since 1.90: +3 -3 lines
Diff to previous 1.90
 * Change the way that the compiler searches for function names in the
   lexical environment to take into account generalized function names, and
   in particular inline declarations for FLET or LABELS functions. New
   function called FUNCTION-NAME-EQV-P that knows that a name like (FLET
   INNER OUTER) is equivalent to a name like INNER.

 * Include any context information in undefined-function warnings. Forms like

        (defun bogus (x)
          (declare (ftype (function (t) *) no-ftype))
            (flet ((foo (x) (random (1+ x))))
                (declare (inline almost-foo))
        	    (foo (+ x 1))))

   will now generate warnings of the form

      Warning: Undefined function almost-foo in an inline or notinline
      declaration

      Warning: Undefined function no-ftype in a function type declaration

Revision 1.90 - (view) (annotate) - [select for diffs]
Mon Mar 24 21:41:11 2003 UTC (11 years, 1 month ago) by gerd
Branch: MAIN
Changes since 1.89: +19 -2 lines
Diff to previous 1.89
	* src/compiler/ir1util.lisp (delete-block): Delete entries
	from the block's home lambda.  This fixes a compiler
	bug showing up when evaluating

        (tagbody
	  (go loop)
	  (block g1472 #'(lambda () (return-from g1472 nil)))
	  loop)

	but doesn't fix an IR1 inconsistency (c::*check-consistency* true}
	that existed already before.

Revision 1.87.2.2 - (view) (annotate) - [select for diffs]
Sat Mar 15 11:50:28 2003 UTC (11 years, 1 month ago) by gerd
Branch: cold-pcl
Changes since 1.87.2.1: +2 -2 lines
Diff to previous 1.87.2.1 , to branch point 1.87 , to next main 1.113
Merge with HEAD.

Revision 1.89 - (view) (annotate) - [select for diffs]
Mon Mar 10 13:35:12 2003 UTC (11 years, 1 month ago) by gerd
Branch: MAIN
CVS Tags: release-18e, release-18e-base, release-18e-pre1, release-18e-pre2
Branch point for: release-18e-branch
Changes since 1.88: +2 -2 lines
Diff to previous 1.88
	* compiler/ir1util.lisp (print-error-message): Make sure
	FORMAT-ARGS is a list.

Revision 1.87.2.1 - (view) (annotate) - [select for diffs]
Mon Mar 10 13:15:29 2003 UTC (11 years, 1 month ago) by gerd
Branch: cold-pcl
Changes since 1.87: +7 -7 lines
Diff to previous 1.87
*** empty log message ***

Revision 1.88 - (view) (annotate) - [select for diffs]
Mon Mar 10 11:29:02 2003 UTC (11 years, 1 month ago) by gerd
Branch: MAIN
Changes since 1.87: +7 -7 lines
Diff to previous 1.87
	* compiler/ir1util.lisp (print-error-message): Don't treat all
	subtypes of SIMPLE-CONDITION like a SIMPLE-CONDITION, because that
	ignores report functions of the subtypes.  Instead, recognize
	conditions of the exact type SIMPLE-WARNING, SIMPLE-ERROR, and
	SIMPLE-STYLE-WARNING.

Revision 1.87 - (view) (annotate) - [select for diffs]
Mon Jan 6 15:10:17 2003 UTC (11 years, 3 months ago) by toy
Branch: MAIN
CVS Tags: cold-pcl-base
Branch point for: cold-pcl
Changes since 1.86: +68 -56 lines
Diff to previous 1.86
Precede compiler messages with a semi-colon.  Error messages don't
have the semi-colon prefix.

Revision 1.86 - (view) (annotate) - [select for diffs]
Mon Aug 26 19:57:07 2002 UTC (11 years, 8 months ago) by toy
Branch: MAIN
CVS Tags: LINKAGE_TABLE, PRE_LINKAGE_TABLE, UNICODE-BASE
Branch point for: UNICODE-BRANCH
Changes since 1.85: +2 -2 lines
Diff to previous 1.85
DELETE-LAMBDA is used in locall.lisp---make it available.

Revision 1.85 - (view) (annotate) - [select for diffs]
Sun Aug 25 19:03:57 2002 UTC (11 years, 8 months ago) by toy
Branch: MAIN
Changes since 1.84: +7 -2 lines
Diff to previous 1.84
Apply Alexey Dejneka's compiler fix to allow another optimization pass
so (if test exp exp) might be converted to (progn test exp).

Revision 1.84 - (view) (annotate) - [select for diffs]
Wed Aug 21 17:55:19 2002 UTC (11 years, 8 months ago) by toy
Branch: MAIN
Changes since 1.83: +8 -2 lines
Diff to previous 1.83
A very slightly massaged patch taken from the SBCL patch by Alexey
Dejneka that fixes the bug where

   The assertion (EQ (C::LAMBDA-TAIL-SET C::CALLER)
                     (C::LAMBDA-TAIL-SET (C::LAMBDA-HOME C::CALLEE))) failed.

Revision 1.77.2.5 - (view) (annotate) - [select for diffs]
Sat Mar 23 18:50:22 2002 UTC (12 years, 1 month ago) by pw
Branch: RELENG_18
CVS Tags: RELEASE_18d
Changes since 1.77.2.4: +15 -15 lines
Diff to previous 1.77.2.4 , to branch point 1.77 , to next main 1.113
Mega commit to bring RELENG_18 branch in sync with HEAD in preparation
for release tagging 18d.

Revision 1.83 - (view) (annotate) - [select for diffs]
Sun Jun 17 19:12:36 2001 UTC (12 years, 10 months ago) by pw
Branch: MAIN
Changes since 1.82: +2 -2 lines
Diff to previous 1.82
From eric Marsden:

Fix some error types to be ANSI compliant.

Revision 1.82 - (view) (annotate) - [select for diffs]
Sun Mar 4 20:12:19 2001 UTC (13 years, 1 month ago) by pw
Branch: MAIN
Changes since 1.81: +14 -14 lines
Diff to previous 1.81
Change most PROCLAIMs to DECLAIMs.

Revision 1.77.2.4 - (view) (annotate) - [select for diffs]
Fri Jul 7 09:34:24 2000 UTC (13 years, 9 months ago) by dtc
Branch: RELENG_18
CVS Tags: RELEASE_18c
Changes since 1.77.2.3: +21 -21 lines
Diff to previous 1.77.2.3 , to branch point 1.77
Flush unnecessary function proclaim's some of which had incorrect
return values, and replace them with function argument declarations
which the compiler move carefully checks.

Revision 1.81 - (view) (annotate) - [select for diffs]
Fri Jul 7 09:33:03 2000 UTC (13 years, 9 months ago) by dtc
Branch: MAIN
Changes since 1.80: +21 -21 lines
Diff to previous 1.80
Flush unnecessary function proclaim's some of which had incorrect
return values, and replace them with function argument declarations
which the compiler move carefully checks.

Revision 1.77.2.3 - (view) (annotate) - [select for diffs]
Mon Jun 19 16:46:26 2000 UTC (13 years, 10 months ago) by dtc
Branch: RELENG_18
Changes since 1.77.2.2: +5 -2 lines
Diff to previous 1.77.2.2 , to branch point 1.77
Ensure that continuation references stored within the lexical
environment, for block exits and tagbody entries, are updated when
continuations are substituted. Add a cont-ref structure, and a new
slot to continuations which holds the list of these references to be
be updated when the continuation is substituted. Based on the work of
Tim Moore.

Revision 1.80 - (view) (annotate) - [select for diffs]
Sun Jun 18 15:45:31 2000 UTC (13 years, 10 months ago) by dtc
Branch: MAIN
Changes since 1.79: +5 -2 lines
Diff to previous 1.79
Ensure that continuation references stored within the lexical
environment, for block exits and tagbody entries, are updated when
continuations are substituted. Add a cont-ref structure, and a new
slot to continuations which holds the list of these references to be
be updated when the continuation is substituted. Based on the work of
Tim Moore.

Revision 1.77.2.2 - (view) (annotate) - [select for diffs]
Tue May 23 16:37:13 2000 UTC (13 years, 11 months ago) by pw
Branch: RELENG_18
Changes since 1.77.2.1: +3 -5 lines
Diff to previous 1.77.2.1 , to branch point 1.77
This set of revisions brings the RELENG_18 branch up to HEAD in preparation
for an 18c release.

Revision 1.79 - (view) (annotate) - [select for diffs]
Mon Feb 28 18:36:34 2000 UTC (14 years, 1 month ago) by dtc
Branch: MAIN
Changes since 1.78: +3 -5 lines
Diff to previous 1.78
From Pierre R. Mai:
o Weaken the compiler warnings generated for unused or used variables
  to be style-warnings as specified by ANSI CL.
o Check for ignore declarations of free variables, and when such
  variables are found generate a style-warning noting that the declaration
  has been ignored.

Revision 1.77.2.1 - (view) (annotate) - [select for diffs]
Tue Jun 23 11:22:58 1998 UTC (15 years, 10 months ago) by pw
Branch: RELENG_18
CVS Tags: RELEASE_18b
Changes since 1.77: +3 -2 lines
Diff to previous 1.77
This (huge) revision brings the RELENG_18 branch up to the current HEAD.
Note code/unix-glib2.lisp not yet included -- not sure it is ready to go.

Revision 1.78 - (view) (annotate) - [select for diffs]
Tue Feb 24 19:19:00 1998 UTC (16 years, 2 months ago) by dtc
Branch: MAIN
Changes since 1.77: +3 -2 lines
Diff to previous 1.77
Within find-uses catch :deleted continuations returning Nil.

Revision 1.77 - (view) (annotate) - [select for diffs]
Mon Oct 31 04:27:28 1994 UTC (19 years, 5 months ago) by ram
Branch: MAIN
CVS Tags: RELEASE_18a
Branch point for: RELENG_18
Changes since 1.76: +1 -3 lines
Diff to previous 1.76
Fix headed boilerplate.

Revision 1.76 - (view) (annotate) - [select for diffs]
Thu Feb 10 23:16:32 1994 UTC (20 years, 2 months ago) by ram
Branch: MAIN
Changes since 1.75: +2 -1 lines
Diff to previous 1.75
Clobber functional-entry-function too in delete-component.

Revision 1.75 - (view) (annotate) - [select for diffs]
Tue Feb 8 14:29:50 1994 UTC (20 years, 2 months ago) by wlott
Branch: MAIN
Changes since 1.74: +5 -4 lines
Diff to previous 1.74
Changed main-entry to use etypecase instead of assuming that the arg is
always either a lambda or an optional dispatch, because sometimes raw
functionals get passed in.  This way we will get a better error message.

Revision 1.74 - (view) (annotate) - [select for diffs]
Tue Nov 16 18:28:07 1993 UTC (20 years, 5 months ago) by ram
Branch: MAIN
Changes since 1.73: +2 -2 lines
Diff to previous 1.73
Increase *inline-expansion-limit* from 50 to 200.

Revision 1.73 - (view) (annotate) - [select for diffs]
Tue Nov 16 18:17:27 1993 UTC (20 years, 5 months ago) by ram
Branch: MAIN
Changes since 1.72: +5 -5 lines
Diff to previous 1.72
Change "inline expansion count exceeded" warning to be a note.

Revision 1.72 - (view) (annotate) - [select for diffs]
Tue Aug 31 12:50:25 1993 UTC (20 years, 7 months ago) by ram
Branch: MAIN
Changes since 1.71: +2 -2 lines
Diff to previous 1.71
define-condition slots not optional.

Revision 1.71 - (view) (annotate) - [select for diffs]
Wed Aug 25 00:15:48 1993 UTC (20 years, 8 months ago) by ram
Branch: MAIN
Changes since 1.70: +3 -104 lines
Diff to previous 1.70
Fix compiler warnings.

Revision 1.70 - (view) (annotate) - [select for diffs]
Tue Aug 24 02:12:13 1993 UTC (20 years, 8 months ago) by wlott
Branch: MAIN
Changes since 1.69: +11 -6 lines
Diff to previous 1.69
Added a hack to keep the compiler from coalescing constants when compiling
dylan code, because the dylan test suite modifies manifest constants.  This
is gross.

Revision 1.69 - (view) (annotate) - [select for diffs]
Fri Aug 20 17:46:57 1993 UTC (20 years, 8 months ago) by ram
Branch: MAIN
Changes since 1.68: +62 -16 lines
Diff to previous 1.68
Flushed compiler-constantp.  Moved some functions here that want to be native
compiled.

Revision 1.68 - (view) (annotate) - [select for diffs]
Tue Aug 17 16:53:10 1993 UTC (20 years, 8 months ago) by ram
Branch: MAIN
Changes since 1.67: +7 -7 lines
Diff to previous 1.67
Increment warning count after re-signalling so that we don't double-count
undefined warnings (where the default handler can be multiply instantiated.)

Revision 1.67 - (view) (annotate) - [select for diffs]
Sun Aug 15 19:20:35 1993 UTC (20 years, 8 months ago) by ram
Branch: MAIN
Changes since 1.66: +22 -13 lines
Diff to previous 1.66
In CHANGE-BLOCK-SUCCESSOR, if we change a successor of IF to the component
tail, consider that like having only one successor.

Revision 1.66 - (view) (annotate) - [select for diffs]
Fri Aug 6 13:12:04 1993 UTC (20 years, 8 months ago) by ram
Branch: MAIN
Changes since 1.65: +9 -7 lines
Diff to previous 1.65
Tweaked reoptimize-lambda-var.

Revision 1.65 - (view) (annotate) - [select for diffs]
Tue Aug 3 12:57:36 1993 UTC (20 years, 8 months ago) by ram
Branch: MAIN
Changes since 1.64: +2 -5 lines
Diff to previous 1.64
Fix file-name hack.

Revision 1.64 - (view) (annotate) - [select for diffs]
Tue Aug 3 10:56:03 1993 UTC (20 years, 8 months ago) by ram
Branch: MAIN
Changes since 1.63: +9 -6 lines
Diff to previous 1.63
Changed compiler-error-context-file-name to be consistent with new type
for file-info-name.

Revision 1.63 - (view) (annotate) - [select for diffs]
Wed Jul 21 14:28:57 1993 UTC (20 years, 9 months ago) by ram
Branch: MAIN
Changes since 1.62: +142 -101 lines
Diff to previous 1.62
Make compiler error functions use the condition system.  This ANSI cleanup has
two advantages:
 1] compiler-warning and warn are now equivalent, so uses of WARN will be
    counted in the warning total and given source context.
 2] user handlers can be defined.

Revision 1.62 - (view) (annotate) - [select for diffs]
Tue Jul 20 10:18:56 1993 UTC (20 years, 9 months ago) by ram
Branch: MAIN
Changes since 1.61: +6 -2 lines
Diff to previous 1.61
Guard NOTE-UNDEFINED-REFERENCE's use of POLICY with a BOUNDP check,
since in some cases (for types) the lexenv may not be bound.

Revision 1.61 - (view) (annotate) - [select for diffs]
Sun May 2 14:57:23 1993 UTC (20 years, 11 months ago) by ram
Branch: MAIN
Changes since 1.60: +1 -10 lines
Diff to previous 1.60
Moved def-source-context for DEFMETHOD to PCL sources.

Revision 1.60 - (view) (annotate) - [select for diffs]
Tue Sep 22 00:05:23 1992 UTC (21 years, 7 months ago) by ram
Branch: MAIN
Changes since 1.59: +4 -3 lines
Diff to previous 1.59
Upped *inline-expansion-limit* to 50 and fixed format string.

Revision 1.59 - (view) (annotate) - [select for diffs]
Sat Sep 19 16:03:30 1992 UTC (21 years, 7 months ago) by ram
Branch: MAIN
Changes since 1.58: +5 -5 lines
Diff to previous 1.58
Changed a delete-lambda call to delete-functional, since it isn't inside the
block.

Revision 1.58 - (view) (annotate) - [select for diffs]
Mon Sep 7 15:59:22 1992 UTC (21 years, 7 months ago) by ram
Branch: MAIN
Changes since 1.57: +228 -162 lines
Diff to previous 1.57
Added EXT:*INLINE-EXPANSION-LIMIT* and INLINE-EXPANSION-OK.
Added some block compilation & inline expansion declarations, rearranged
stuff for more locality.
MAYBE-REMOVE-FREE-FUNCTION is history.

Revision 1.57 - (view) (annotate) - [select for diffs]
Mon Aug 3 12:32:11 1992 UTC (21 years, 8 months ago) by ram
Branch: MAIN
Changes since 1.56: +4 -3 lines
Diff to previous 1.56
Gag bound-but-not-referenced warnings when brevity = 3.

Revision 1.56 - (view) (annotate) - [select for diffs]
Wed Jun 3 20:04:29 1992 UTC (21 years, 10 months ago) by ram
Branch: MAIN
Changes since 1.55: +3 -1 lines
Diff to previous 1.55
Added setting of COMPONENT-REANALYZE all places where we do UNLINK-BLOCKS and
might create dead code.

Revision 1.55 - (view) (annotate) - [select for diffs]
Tue Jun 2 00:35:25 1992 UTC (21 years, 10 months ago) by ram
Branch: MAIN
Changes since 1.54: +7 -4 lines
Diff to previous 1.54
Fixed an occasional NIL not CONTINUATION error in DELETE-CONTINUATION when the
DEST has been UNLINK-NODE'ed.

Revision 1.54 - (view) (annotate) - [select for diffs]
Sat Apr 18 12:06:57 1992 UTC (22 years ago) by ram
Branch: MAIN
Changes since 1.53: +23 -3 lines
Diff to previous 1.53
Backed out of the last change and tried another cut.  We maintain the 
invariant that :LET lambdas always have a combination and bind node.
We fix the problem we were running into by being more careful about
deleting LETs when we see a combination, since the REF for the combination
might have already been deleted.  We might have been the 2n'd to last ref.

Revision 1.53 - (view) (annotate) - [select for diffs]
Thu Apr 9 20:06:52 1992 UTC (22 years ago) by ram
Branch: MAIN
Changes since 1.52: +1 -13 lines
Diff to previous 1.52
Deleted unnecessary special-casing of LET calls and bind nodes in DELETE-BLOCK.
Deletion of the REF should suffice, and will avoid problems with deleting
twice.

Revision 1.52 - (view) (annotate) - [select for diffs]
Sun Feb 23 17:41:45 1992 UTC (22 years, 2 months ago) by ram
Branch: MAIN
Changes since 1.51: +14 -7 lines
Diff to previous 1.51
Bind *PRINT-LINES* around compiler error output to *ERROR-PRINT-LINES*.
Make DELETE-COMPONENT set COMPONENT-KIND to :DELETED so that we can detect
inconsistencies more easily.

Revision 1.51 - (view) (annotate) - [select for diffs]
Fri Jan 24 07:49:00 1992 UTC (22 years, 3 months ago) by ram
Branch: MAIN
Changes since 1.50: +26 -1 lines
Diff to previous 1.50
Added NODE-SOURCE-FORM, CONTINUATION-SOURCE-FORM.

Revision 1.50 - (view) (annotate) - [select for diffs]
Tue Jan 21 15:54:30 1992 UTC (22 years, 3 months ago) by ram
Branch: MAIN
Changes since 1.49: +6 -6 lines
Diff to previous 1.49
Fixed error context stuff to know that the source-info-name for a file is now
the namestring and not the pathname.

Revision 1.49 - (view) (annotate) - [select for diffs]
Sat Dec 14 05:27:37 1991 UTC (22 years, 4 months ago) by wlott
Branch: MAIN
Changes since 1.48: +12 -11 lines
Diff to previous 1.48
Do not note undefined references when brevity=3.

Revision 1.48 - (view) (annotate) - [select for diffs]
Wed Dec 11 17:08:39 1991 UTC (22 years, 4 months ago) by ram
Branch: MAIN
Changes since 1.47: +24 -21 lines
Diff to previous 1.47
In NODE-ENDS-BLOCK, set COMPONENT-REANALYZE, since we are introducing a 
new block which needs a DFN assigned.
Added :ASSIGNMENT to various dispatches off of FUNCTIONAL-KIND.
In DELETE-LAMBDA, remove the lambda from its tail-set.
Whenever we try let conversion, try assignment conversion if it fails.
Changed DELETE-RETURN not to delete the function from the tail set.
Fixed DELETE-COMPONENT to set FUNCTIONAL-KIND to NIL before calling 
DELETE-LAMBDA so that we can delete random kinds of lambdas.

Revision 1.47 - (view) (annotate) - [select for diffs]
Wed Nov 20 21:38:53 1991 UTC (22 years, 5 months ago) by wlott
Branch: MAIN
Changes since 1.46: +3 -1 lines
Diff to previous 1.46
Fixed EXTRACT-FUNCTION-ARGS to reset the node-derived-type and
continuation-asserted-type to *wild-type* so that the compiler doesn't
decide that there is a type error.

Revision 1.46 - (view) (annotate) - [select for diffs]
Mon Nov 18 12:52:21 1991 UTC (22 years, 5 months ago) by wlott
Branch: MAIN
Changes since 1.45: +45 -1 lines
Diff to previous 1.45
Added EXTRACT-FUNCTION-ARGS, which can be used in transforms to convert
	(foo foo-args (bar bar-args) more-foo-args)
into
	(foo foo-args bar-args more-foo-args)

Revision 1.45 - (view) (annotate) - [select for diffs]
Thu Nov 14 00:58:27 1991 UTC (22 years, 5 months ago) by ram
Branch: MAIN
Changes since 1.44: +17 -24 lines
Diff to previous 1.44
Changed FLUSH-DEST to *not* delete continuations that are
:DELETED-BLOCK-STARTs.

Revision 1.44 - (view) (annotate) - [select for diffs]
Wed Nov 13 19:35:04 1991 UTC (22 years, 5 months ago) by ram
Branch: MAIN
Changes since 1.43: +2 -1 lines
Diff to previous 1.43
Set COMPONENT-REANALYZE when we delete a lambda.

Revision 1.43 - (view) (annotate) - [select for diffs]
Sat Nov 9 12:27:36 1991 UTC (22 years, 5 months ago) by ram
Branch: MAIN
Changes since 1.42: +3 -3 lines
Diff to previous 1.42
Fix PCL DEFMETHOD source context.

Revision 1.42 - (view) (annotate) - [select for diffs]
Wed Nov 6 14:08:42 1991 UTC (22 years, 5 months ago) by ram
Branch: MAIN
Changes since 1.41: +48 -15 lines
Diff to previous 1.41
Added generalized source context parsing with EXT:DEF-SOURCE-CONTEXT.  Added a
parser for DEFMETHOD that gets qualifiers and specializers.

Revision 1.41 - (view) (annotate) - [select for diffs]
Tue Sep 3 18:46:15 1991 UTC (22 years, 7 months ago) by ram
Branch: MAIN
Changes since 1.40: +3 -2 lines
Diff to previous 1.40
Fixed ENSURE-BLOCK-START to set up the new block's start-uses.

Revision 1.40 - (view) (annotate) - [select for diffs]
Thu Jul 18 02:11:56 1991 UTC (22 years, 9 months ago) by wlott
Branch: MAIN
Changes since 1.39: +4 -3 lines
Diff to previous 1.39
Fixed make-lexenv to deal with the new options slot.

Revision 1.39 - (view) (annotate) - [select for diffs]
Thu Jul 11 16:29:13 1991 UTC (22 years, 9 months ago) by ram
Branch: MAIN
Changes since 1.38: +3 -13 lines
Diff to previous 1.38
Deleted some bootstrapping setf hacks.

Revision 1.38 - (view) (annotate) - [select for diffs]
Fri May 31 14:18:15 1991 UTC (22 years, 10 months ago) by ram
Branch: MAIN
Changes since 1.37: +6 -4 lines
Diff to previous 1.37
Added optional NOTINLINE-OK argument to CONTINUATION-FUNCTION-NAME.

Revision 1.37 - (view) (annotate) - [select for diffs]
Sat Apr 20 14:11:06 1991 UTC (23 years ago) by ram
Branch: MAIN
Changes since 1.36: +22 -11 lines
Diff to previous 1.36
Added support for the LEXENV-INTERFACE-COOKIE and added 
MAKE-INTERFACE-COOKIE.

Revision 1.36 - (view) (annotate) - [select for diffs]
Thu Apr 4 14:11:30 1991 UTC (23 years ago) by ram
Branch: MAIN
Changes since 1.35: +2 -1 lines
Diff to previous 1.35
Added a new assertion in DELETE-COMPONENT.

Revision 1.35 - (view) (annotate) - [select for diffs]
Wed Apr 3 12:45:37 1991 UTC (23 years ago) by ram
Branch: MAIN
Changes since 1.34: +21 -2 lines
Diff to previous 1.34
Added DELETE-COMPONENT and fixed DELETE-REF to do the right thing for
escape and cleanup lambdas.

Revision 1.34 - (view) (annotate) - [select for diffs]
Tue Apr 2 11:06:18 1991 UTC (23 years ago) by wlott
Branch: MAIN
Changes since 1.33: +4 -4 lines
Diff to previous 1.33
Fixed some typos.

Revision 1.33 - (view) (annotate) - [select for diffs]
Wed Mar 27 17:37:18 1991 UTC (23 years, 1 month ago) by wlott
Branch: MAIN
Changes since 1.32: +6 -4 lines
Diff to previous 1.32
Remover an old broken assertion, and added some new ones.

Revision 1.32 - (view) (annotate) - [select for diffs]
Mon Mar 11 16:05:25 1991 UTC (23 years, 1 month ago) by ram
Branch: MAIN
Changes since 1.31: +2 -2 lines
Diff to previous 1.31
Don't increment note count when the note is inhibited by the INHIBIT-WARNINGS
quality.

Revision 1.31 - (view) (annotate) - [select for diffs]
Sun Mar 10 18:30:42 1991 UTC (23 years, 1 month ago) by ram
Branch: MAIN
Changes since 1.30: +23 -4 lines
Diff to previous 1.30
Added MAYBE-REMOVE-FREE-FUNCTION and made XEP deletion call it so that
semi-inline calls work right.  Also, added some assertions in function 
deletion.

Revision 1.30 - (view) (annotate) - [select for diffs]
Wed Feb 20 14:58:06 1991 UTC (23 years, 2 months ago) by ram
Branch: MAIN
Changes since 1.29: +8 -4 lines
Diff to previous 1.29
New file header with RCS stuff.

Revision 1.29 - (view) (annotate) - [select for diffs]
Mon Feb 11 16:18:42 1991 UTC (23 years, 2 months ago) by ram
Branch: MAIN
Changes since 1.28: +0 -20 lines
Diff to previous 1.28
Moved NOTE-NAME-DEFINED out of here an into proclaim.lisp.

Revision 1.28 - (view) (annotate) - [select for diffs]
Wed Jan 30 23:17:22 1991 UTC (23 years, 2 months ago) by ram
Branch: MAIN
Changes since 1.27: +10 -4 lines
Diff to previous 1.27
In DELETE-LAMBDA-VAR, reoptimize the continuation so that we get a change
to delete the LET on the last var deletion.
In CHANGE-REF-LEAF, if the new leaf's type is a FUNCTION-TYPE, then 
just set the node type to that type.  This prevents the type from
going totally vague when we change from one function type to another.

Revision 1.27 - (view) (annotate) - [select for diffs]
Sat Jan 12 02:48:45 1991 UTC (23 years, 3 months ago) by wlott
Branch: MAIN
Changes since 1.26: +1 -1 lines
Diff to previous 1.26
Fixed bug in a format control string.  It was ~[, which takes a number, but
it should have been ~:[, which takes a boolean.

Revision 1.26 - (view) (annotate) - [select for diffs]
Thu Jan 3 12:50:06 1991 UTC (23 years, 3 months ago) by ram
Branch: MAIN
Changes since 1.25: +71 -37 lines
Diff to previous 1.25
Changed NODE-ENCLOSING-CLEANUP work now that lets can be deleted.
Made NODE-HOME-LAMBDA work now that lets can be deleted.
Made DELETE-LAMBDA print a note if the function was never referenced.
Changed dead code deletion to ignore blocks in deleted functions
and to not worry about special-casing EPs, since those are now handled
by function deletion notes.
Also, we now ignore unreachable fixnums or characters, since they
could coincidentally appear in the source and expalsion.
Added some uses of REQUIRED-ARGUMENT.

Revision 1.25 - (view) (annotate) - [select for diffs]
Sun Oct 14 21:44:36 1990 UTC (23 years, 6 months ago) by ram
Branch: MAIN
Changes since 1.24: +20 -5 lines
Diff to previous 1.24
Changed UNLINK-BLOCKS and CHANGE-BLOCK-SUCCESSOR to set 
BLOCK-TEST-MODIFIED if appropriate.

Revision 1.24 - (view) (annotate) - [select for diffs]
Fri Oct 12 01:12:24 1990 UTC (23 years, 6 months ago) by ram
Branch: MAIN
Changes since 1.23: +125 -37 lines
Diff to previous 1.23
Exported misc error printing control variables.
Added SUBSTITUTE-LEAF-IF.
Changed *defmumble-take-car-forms* to *source-context- and made it use
on all source context forms so that we can squelch (function (lambda....)
Added FILE-NAME, FILE-POSITION and ORIGNAL-SOURCE-PATH slots to the
COMPILER-ERROR-CONTEXT.
Added hemlock compiler notification hooks.
Changed *error-print-level* and *error-print-length* to go out to
*print-level* and *print-length* when they are NIL.
Added printing of the source file in PRINT-ERROR-MESSAGE.

Revision 1.23 - (view) (annotate) - [select for diffs]
Fri Oct 5 20:03:39 1990 UTC (23 years, 6 months ago) by ram
Branch: MAIN
Changes since 1.22: +2 -5 lines
Diff to previous 1.22
Deleted some dead code that the last change detected (!)
Also, strengthened some global variable type declarations.

Revision 1.22 - (view) (annotate) - [select for diffs]
Fri Oct 5 19:53:10 1990 UTC (23 years, 6 months ago) by ram
Branch: MAIN
Changes since 1.21: +78 -0 lines
Diff to previous 1.21
Added stuff to make DELETE-BLOCK print a note when it seems that we are
deleting code which appeared in the original source.

Revision 1.21 - (view) (annotate) - [select for diffs]
Thu Aug 16 16:14:52 1990 UTC (23 years, 8 months ago) by ram
Branch: MAIN
Changes since 1.20: +16 -0 lines
Diff to previous 1.20
Added new DELETE-FUNCTIONAL interface so that we can delete functions
that were never referenced.
Proclaimed the "GENERIC LIST" functions inline so that they result
in reasonable code.

Revision 1.20 - (view) (annotate) - [select for diffs]
Mon Jul 23 14:48:47 1990 UTC (23 years, 9 months ago) by ram
Branch: MAIN
Changes since 1.19: +297 -242 lines
Diff to previous 1.19
Error message stuff much changed for new source context stuff.  New
source context utilities.  New block-attributes stuff to squeeze together
all those boolean flags w/o changing all uses.  Changes for new NLX/cleanup
stuff.

Revision 1.15.1.9 - (view) (annotate) - [select for diffs] (vendor branch)
Mon Jul 23 13:26:58 1990 UTC (23 years, 9 months ago) by ram
Branch: eval_debug
Changes since 1.15.1.8: +3 -3 lines
Diff to previous 1.15.1.8 , to next main 1.113
*** empty log message ***

Revision 1.15.1.8 - (view) (annotate) - [select for diffs] (vendor branch)
Wed Jun 27 09:55:08 1990 UTC (23 years, 10 months ago) by ram
Branch: eval_debug
Changes since 1.15.1.7: +35 -35 lines
Diff to previous 1.15.1.7
*** empty log message ***

Revision 1.15.1.7 - (view) (annotate) - [select for diffs] (vendor branch)
Wed Jun 20 21:16:23 1990 UTC (23 years, 10 months ago) by ram
Branch: eval_debug
Changes since 1.15.1.6: +3 -1 lines
Diff to previous 1.15.1.6
*** empty log message ***

Revision 1.19 - (view) (annotate) - [select for diffs]
Wed Jun 20 15:38:48 1990 UTC (23 years, 10 months ago) by ram
Branch: MAIN
Changes since 1.18: +6 -0 lines
Diff to previous 1.18
Added code to delete the lambda when we delete the combination for a let.

Revision 1.15.1.6 - (view) (annotate) - [select for diffs] (vendor branch)
Tue Jun 19 16:45:46 1990 UTC (23 years, 10 months ago) by ram
Branch: eval_debug
Changes since 1.15.1.5: +10 -4 lines
Diff to previous 1.15.1.5
*** empty log message ***

Revision 1.18 - (view) (annotate) - [select for diffs]
Mon Jun 18 11:05:49 1990 UTC (23 years, 10 months ago) by ram
Branch: MAIN
Changes since 1.17: +3 -0 lines
Diff to previous 1.17
Fixed FIND-ORIGINAL-SOURCE not to bogue out when there is an atomic top-level
form.
 

Revision 1.17 - (view) (annotate) - [select for diffs]
Sun Jun 17 20:20:41 1990 UTC (23 years, 10 months ago) by wlott
Branch: MAIN
Changes since 1.16: +1 -1 lines
Diff to previous 1.16
typo.

Revision 1.15.1.5 - (view) (annotate) - [select for diffs] (vendor branch)
Sun Jun 17 13:33:05 1990 UTC (23 years, 10 months ago) by ram
Branch: eval_debug
Changes since 1.15.1.4: +127 -79 lines
Diff to previous 1.15.1.4
*** empty log message ***

Revision 1.16 - (view) (annotate) - [select for diffs]
Sat Jun 16 17:27:26 1990 UTC (23 years, 10 months ago) by ram
Branch: MAIN
Changes since 1.15: +46 -30 lines
Diff to previous 1.15
Changed compiler error contexts to hold stringified source forms so that
undefined warnings don't hold onto the original source (and possibly hold on
the IR, since sometimes we splice LEAF structures into the source.)

Revision 1.15.1.4 - (view) (annotate) - [select for diffs] (vendor branch)
Sat Jun 16 16:58:45 1990 UTC (23 years, 10 months ago) by ram
Branch: eval_debug
Changes since 1.15.1.3: +16 -13 lines
Diff to previous 1.15.1.3
*** empty log message ***

Revision 1.15.1.3 - (view) (annotate) - [select for diffs] (vendor branch)
Fri Jun 15 15:39:55 1990 UTC (23 years, 10 months ago) by ram
Branch: eval_debug
Changes since 1.15.1.2: +160 -174 lines
Diff to previous 1.15.1.2
*** empty log message ***

Revision 1.15.1.2 - (view) (annotate) - [select for diffs] (vendor branch)
Wed Jun 6 14:05:05 1990 UTC (23 years, 10 months ago) by ram
Branch: eval_debug
Changes since 1.15.1.1: +35 -0 lines
Diff to previous 1.15.1.1
*** empty log message ***

Revision 1.15.1.1 - (view) (annotate) - [select for diffs] (vendor branch)
Tue Jun 5 13:05:11 1990 UTC (23 years, 10 months ago) by ram
Branch: eval_debug
Changes since 1.15: +0 -0 lines
Diff to previous 1.15
*** empty log message ***

Revision 1.15 - (view) (annotate) - [select for diffs]
Tue May 29 16:14:26 1990 UTC (23 years, 11 months ago) by ram
Branch: MAIN
Branch point for: eval_debug
Changes since 1.14: +12 -7 lines
Diff to previous 1.14
Fixed negated sense of NODE-DELETED.
When looking for enclosing source, ignore forms resulting from code
enclosing our original source.

Revision 1.14 - (view) (annotate) - [select for diffs]
Thu May 24 14:18:34 1990 UTC (23 years, 11 months ago) by ram
Branch: MAIN
Changes since 1.13: +4 -3 lines
Diff to previous 1.13
Fixed PRINT-ERROR-MESSAGE to not try to print the enclosing source when there
isn't any.  Also, changed more of the *LAST-xxx variables to be invalidated
with '#(invalid) to consistently eliminate any problems with NIL being a legal
value.

Revision 1.13 - (view) (annotate) - [select for diffs]
Thu May 17 13:29:05 1990 UTC (23 years, 11 months ago) by ram
Branch: MAIN
Changes since 1.12: +1 -1 lines
Diff to previous 1.12
Fixed FIND-ORIGINAL-SOURCE to consider the original source form itself as a
possible context form, not just enclosing forms.

Revision 1.12 - (view) (annotate) - [select for diffs]
Wed May 16 11:03:15 1990 UTC (23 years, 11 months ago) by ram
Branch: MAIN
Changes since 1.11: +33 -12 lines
Diff to previous 1.11
Tweaked error message format a bit.
Added REOPTIMIZE-LAMBDA-VAR and made DELETE-REF call it when we delete
the second-to-last reference to a LAMBDA-VAR.

Revision 1.11 - (view) (annotate) - [select for diffs]
Sat May 12 20:02:38 1990 UTC (23 years, 11 months ago) by ram
Branch: MAIN
Changes since 1.10: +74 -21 lines
Diff to previous 1.10
Enchanced error messages:
If source context is a node, we record the source for it's DEST (if any)
as enclosing-source, along with a string describing how the value is used.
This enclosing source info is printed when it seems useful.
Also, TREE-EQUAL is used instead of EQUAL so that we won't lose on 
circular forms, we correctly handle NIL source forms, and we print more
blank lines to separate consequtive error messages.

Revision 1.10 - (view) (annotate) - [select for diffs]
Sat May 12 19:58:43 1990 UTC (23 years, 11 months ago) by ram
Branch: MAIN
Changes since 1.9: +3 -5 lines
Diff to previous 1.9
Flushed incorrect assertion in DELETE-BLOCK that the continuation have
no DEST.

Revision 1.9 - (view) (annotate) - [select for diffs]
Fri Apr 27 11:46:04 1990 UTC (24 years ago) by ram
Branch: MAIN
Changes since 1.8: +1 -1 lines
Diff to previous 1.8
Added a stream arg to the FORCE-OUTPUT in COMPILER-MUMBLE.

Revision 1.8 - (view) (annotate) - [select for diffs]
Mon Apr 16 10:37:27 1990 UTC (24 years ago) by ram
Branch: MAIN
Changes since 1.7: +65 -4 lines
Diff to previous 1.7
Merged non-descriptor changes: ir1util.lisp
 revision 1.7.1.2
 date: 90/04/13 12:17:09;  author: ram;  state: Exp;  lines added/del: 33/12
 Added hack to DELETE-RETURN to inhibit blowing away of tail-sets when
 we delete TR returns.
 Fixed up undefined reference stuff a bit, and added NOTE-NAME-DEFINED.
 ----------------------------
 revision 1.7.1.1
 date: 90/03/27 12:17:26;  author: ram;  state: Exp;  lines added/del: 40/0
 Generalized the undefined function warning stuff so that it could be used
 for undefined type warnings as well.  Moved stuff from ir1tran to ir1util,
 defining the new NOTE-UNDEFINED-REFERENCE function.

Revision 1.7 - (view) (annotate) - [select for diffs]
Fri Mar 2 12:34:18 1990 UTC (24 years, 1 month ago) by ram
Branch: MAIN
Changes since 1.6: +1 -2 lines
Diff to previous 1.6
In FIND-ORIGINAL-SOURCE, moved the exit test to the head of the loop so that we
don't lose when we want the whole top-level form.

Revision 1.6 - (view) (annotate) - [select for diffs]
Mon Feb 19 10:48:00 1990 UTC (24 years, 2 months ago) by ram
Branch: MAIN
Changes since 1.5: +16 -14 lines
Diff to previous 1.5
In the NODE-ENDS-BLOCK cleanup computation, we should associate the cleanup
with the block holding the mess-up node, rather than the cleanup-start
continuation.

Revision 1.5 - (view) (annotate) - [select for diffs]
Thu Feb 15 13:12:38 1990 UTC (24 years, 2 months ago) by ram
Branch: MAIN
Changes since 1.4: +1 -1 lines
Diff to previous 1.4
Changed FIND-ORIGINAL-SOURCE to skip over the form number which is now the
first element in the source path.

Revision 1.4 - (view) (annotate) - [select for diffs]
Thu Feb 15 13:07:11 1990 UTC (24 years, 2 months ago) by ram
Branch: MAIN
Changes since 1.3: +24 -0 lines
Diff to previous 1.3
I think I finally have the cleanup computation in NODE-ENDS-BLOCK right.  We
can't just always make the cleanup at the split the old end cleanup.  Instead,
we must see if the split moves any of the old cleanups to the new block.  In
that case, we must scan up the the cleanup-enclosing thread to find the
innermost cleanup that wasn't moved into the new block.

Revision 1.3 - (view) (annotate) - [select for diffs]
Thu Feb 15 12:07:03 1990 UTC (24 years, 2 months ago) by ram
Branch: MAIN
Changes since 1.2: +1 -1 lines
Diff to previous 1.2
Fixed NODE-TLF-NUMBER to return the last element rather than the second.

Revision 1.2 - (view) (annotate) - [select for diffs]
Thu Feb 15 11:51:58 1990 UTC (24 years, 2 months ago) by ram
Branch: MAIN
Changes since 1.1: +6 -2 lines
Diff to previous 1.1
Added NODE-TLF-NUMBER.

Revision 1.1 - (view) (annotate) - [select for diffs]
Tue Feb 6 11:29:09 1990 UTC (24 years, 2 months ago) by wlott
Branch: MAIN
Initial revision

This form allows you to request diffs between any two revisions of this file. For each of the two "sides" of the diff, select a symbolic revision name using the selection box, or choose 'Use Text Field' and enter a numeric revision.

  Diffs between and
  Type of Diff should be a

Sort log by:

  ViewVC Help
Powered by ViewVC 1.1.5