<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html>
<!-- Created by GNU Texinfo 5.2, http://www.gnu.org/software/texinfo/ -->
<head>
<title>GCL SI Manual: Compiler Definitions</title>
<meta name="description" content="GCL SI Manual: Compiler Definitions">
<meta name="keywords" content="GCL SI Manual: Compiler Definitions">
<meta name="resource-type" content="document">
<meta name="distribution" content="global">
<meta name="Generator" content="makeinfo">
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<link href="index.html#Top" rel="start" title="Top">
<link href="Function-and-Variable-Index.html#Function-and-Variable-Index" rel="index" title="Function and Variable Index">
<link href="Function-and-Variable-Index.html#SEC_Contents" rel="contents" title="Table of Contents">
<link href="index.html#Top" rel="up" title="Top">
<link href="Function-and-Variable-Index.html#Function-and-Variable-Index" rel="next" title="Function and Variable Index">
<link href="Low-Level-X-Interface.html#Low-Level-X-Interface" rel="prev" title="Low Level X Interface">
<style type="text/css">
<!--
a.summary-letter {text-decoration: none}
blockquote.smallquotation {font-size: smaller}
div.display {margin-left: 3.2em}
div.example {margin-left: 3.2em}
div.indentedblock {margin-left: 3.2em}
div.lisp {margin-left: 3.2em}
div.smalldisplay {margin-left: 3.2em}
div.smallexample {margin-left: 3.2em}
div.smallindentedblock {margin-left: 3.2em; font-size: smaller}
div.smalllisp {margin-left: 3.2em}
kbd {font-style:oblique}
pre.display {font-family: inherit}
pre.format {font-family: inherit}
pre.menu-comment {font-family: serif}
pre.menu-preformatted {font-family: serif}
pre.smalldisplay {font-family: inherit; font-size: smaller}
pre.smallexample {font-size: smaller}
pre.smallformat {font-family: inherit; font-size: smaller}
pre.smalllisp {font-size: smaller}
span.nocodebreak {white-space:nowrap}
span.nolinebreak {white-space:nowrap}
span.roman {font-family:serif; font-weight:normal}
span.sansserif {font-family:sans-serif; font-weight:normal}
ul.no-bullet {list-style: none}
-->
</style>
</head>
<body lang="en" bgcolor="#FFFFFF" text="#000000" link="#0000FF" vlink="#800080" alink="#FF0000">
<a name="Compiler-Definitions"></a>
<div class="header">
<p>
Next: <a href="Function-and-Variable-Index.html#Function-and-Variable-Index" accesskey="n" rel="next">Function and Variable Index</a>, Previous: <a href="Miscellaneous.html#Miscellaneous" accesskey="p" rel="prev">Miscellaneous</a>, Up: <a href="index.html#Top" accesskey="u" rel="up">Top</a> [<a href="Function-and-Variable-Index.html#SEC_Contents" title="Table of contents" rel="contents">Contents</a>][<a href="Function-and-Variable-Index.html#Function-and-Variable-Index" title="Index" rel="index">Index</a>]</p>
</div>
<hr>
<a name="Compiler-Definitions-1"></a>
<h2 class="chapter">20 Compiler Definitions</h2>
<dl>
<dt><a name="index-EMIT_002dFN"></a>Function: <strong>EMIT-FN</strong> <em>(turn-on)</em></dt>
<dd><p>Package:COMPILER
</p>
<p>If TURN-ON is t, the subsequent calls to COMPILE-FILE will
cause compilation of foo.lisp to emit a foo.fn as well as foo.o.
The .fn file contains cross referencing information as well as
information useful to the collection utilities in cmpnew/collectfn
This latter file must be manually loaded to call emit-fn.
</p>
</dd></dl>
<dl>
<dt><a name="index-_002aCMPINCLUDE_002dSTRING_002a"></a>Variable: <strong>*CMPINCLUDE-STRING*</strong></dt>
<dd><p>Package:COMPILER
If it is a string it holds the text of the cmpinclude.h file appropriate for
this version. Otherwise the usual #include of *cmpinclude* will be used. To
disable this feature set *cmpinclude-string* to NIL in the init-form.
</p>
</dd></dl>
<dl>
<dt><a name="index-EMIT_002dFN-1"></a>Function: <strong>EMIT-FN</strong> <em>(turn-on)</em></dt>
<dd><p>Package:COMPILER
</p>
<p>If TURN-ON is t, then subsequent calls to compile-file on a file foo.lisp
cause output of a file foo.fn. This .fn file contains lisp structures
describing the functions in foo.lisp. Some tools for analyzing this data base
are WHO-CALLS, LIST-UNDEFINED-FUNCTIONS, LIST-UNCALLED-FUNCTIONS, and
MAKE-PROCLAIMS.
</p>
<p>Usage:
(compiler::emit-fn t)
(compile-file "foo1.lisp")
(compile-file "foo2.lisp")
</p>
<p>This would create foo1.fn and foo2.fn. These may be loaded using LOAD. Each
time compile-file is called the data base is cleared. Immediately after the
compilation, the data base consists of data from the compilation. Thus if you
wished to find functions called but not defined in the current file, you could
do (list-undefined-functions), immediately following the compilation. If you
have a large system, you would load all the .fn files before using the above
tools.
</p>
</dd></dl>
<dl>
<dt><a name="index-MAKE_002dALL_002dPROCLAIMS"></a>Function: <strong>MAKE-ALL-PROCLAIMS</strong> <em>(&rest directories)</em></dt>
<dd><p>Package:COMPILER
</p>
<p>For each D in DIRECTORIES all files in (directory D) are loaded.
</p>
<p>For example
(make-all-proclaims "lsp/*.fn" "cmpnew/*.fn")
would load any files in lsp/*.fn and cmpnew/*.fn.
</p>
<p>[See EMIT-FN for details on creation of .fn files]
</p>
<p>Then calculations on the newly loaded .fn files are made, to determine
function proclamations. If number of values of a function cannot be
determined [for example because of a final funcall, or call of a function
totally unknown at this time] then return type * is assigned.
</p>
<p>Finally a file sys-proclaim.lisp is written out. This file contains function
proclamations.
</p>
<p>(load "sys-proclaim.lisp")
(compile-file "foo1.lisp")
(compile-file "foo2.lisp")
</p>
</dd></dl>
<dl>
<dt><a name="index-MAKE_002dPROCLAIMS"></a>Function: <strong>MAKE-PROCLAIMS</strong> <em>(&optional (stream *standard-output*))</em></dt>
<dd><p>Package:COMPILER
</p>
<p>Write to STREAM the function proclaims from the current data base. Usually a
number of .fn files are loaded prior to running this. See EMIT-FN for details
on how to collect this. Simply use LOAD to load in .fn files.
</p>
</dd></dl>
<dl>
<dt><a name="index-LIST_002dUNDEFINED_002dFUNCTIONS"></a>Function: <strong>LIST-UNDEFINED-FUNCTIONS</strong> <em>()</em></dt>
<dd><p>Package:COMPILER
</p>
<p>Return a list of all functions called but not defined, in the current data
base (see EMIT-FN).
</p>
<div class="example">
<pre class="example">Sample:
(compiler::emit-fn t)
(compile-file "foo1.lisp")
(compiler::list-undefined-functions)
or
(mapcar 'load (directory "*.fn")) (compiler::list-undefined-functions)
</pre></div>
</dd></dl>
<dl>
<dt><a name="index-WHO_002dCALLS"></a>Function: <strong>WHO-CALLS</strong> <em>(function-name)</em></dt>
<dd><p>Package:COMPILER
</p>
<p>List all functions in the data base [see emit-fn] which call FUNCTION-NAME.
</p>
</dd></dl>
<dl>
<dt><a name="index-LIST_002dUNCALLED_002dFUNCTIONS"></a>Function: <strong>LIST-UNCALLED-FUNCTIONS</strong> <em>()</em></dt>
<dd><p>Package:COMPILER
</p>
<p>Examine the current data base [see emit-fn] for any functions or macros which
are called but are not: fboundp, OR defined in the data base, OR having
special compiler optimizer properties which would eliminate an actual call.
</p>
</dd></dl>
<dl>
<dt><a name="index-_002aCC_002a"></a>Variable: <strong>*CC*</strong></dt>
<dd><p>Package:COMPILER
Has value a string which controls which C compiler is used by GCL.
Usually this string is obtained from the machine.defs file, but
may be reset by the user, to change compilers or add an include path.
</p>
</dd></dl>
<dl>
<dt><a name="index-_002aSPLIT_002dFILES_002a"></a>Variable: <strong>*SPLIT-FILES*</strong></dt>
<dd><p>Package:COMPILER
This affects the behaviour of compile-file, and is useful for cases where
the C compiler cannot handle large C files resulting from lisp compilation.
This scheme should allow arbitrarily long lisp files to be compiled.
</p>
<p>If the value [default NIL] is a positive integer, then the source file will
be compiled into several object files whose names have 0,1,2,.. prepended,
and which will be loaded by the main object file. File 0 will
contain compilation of top level forms thru position *split-files* in the
lisp source file, and file 1 the next forms, etc. Thus a 180k file
would probably result in three object files (plus the master object file
of the same name) if *split-files* was set to 60000.
The package information will be inserted in each file.
</p>
</dd></dl>
<dl>
<dt><a name="index-_002aCOMPILE_002dORDINARIES_002a"></a>Variable: <strong>*COMPILE-ORDINARIES*</strong></dt>
<dd><p>Package:COMPILER
If this has a non nil value [default = nil], then all top level
forms will be compiled into machine instructions. Otherwise
only defun’s, defmacro’s, and top level forms beginning
with (progn ’compile ...) will do so.
</p>
</dd></dl>
<hr>
<div class="header">
<p>
Next: <a href="Function-and-Variable-Index.html#Function-and-Variable-Index" accesskey="n" rel="next">Function and Variable Index</a>, Previous: <a href="Miscellaneous.html#Miscellaneous" accesskey="p" rel="prev">Miscellaneous</a>, Up: <a href="index.html#Top" accesskey="u" rel="up">Top</a> [<a href="Function-and-Variable-Index.html#SEC_Contents" title="Table of contents" rel="contents">Contents</a>][<a href="Function-and-Variable-Index.html#Function-and-Variable-Index" title="Index" rel="index">Index</a>]</p>
</div>
</body>
</html>
