"****** TOP LEVEL COMILER CALLS ******" "COMPILE -- compile one function or a group. Compile does not merge a group into one big RSUBR (see COMPILE-GROUP). The arguments to compile are: FCNS -- an atom whose GVAL is a function, a locative to a function or a list of the previous 2. SRC-FLG -- a channel for assembly listing or #FALSE () for none. BIN-FLG -- If false, don't assemble else do. CAREFUL -- If true compile bounds checking else don't. GLOSP -- Whether or not default is SPECIAL. " (FCNS "OPTIONAL" (SRC-FLG <>) (BIN-FLG T) (CAREFUL T) (GLOSP <>) (REASONABLE T) (GLUE T) (ANALY-OK T) (VERBOSE <>) "AUX" (IND (1)) (TAG:COUNT 0) "NAME" COMPILER) #DECL ((FCNS SRC-FLG BIN-FLG CAREFUL GLOSP REASONABLE GLUE IND TAG:COUNT COMPILER ANALY-OK VERBOSE) ) ,VERIFY .FCNS> > > .FCNS> ,UNASSOC .FCNS>) (ELSE > )> "DONE"> "COMP2 -- compile one thing (atom or locative) print time if second arg missing or false. Assemble result if desired (time entire job)." ) "AUX" (CODE:TOP (())) MESS (CODE:PTR .CODE:TOP) (ST ) (RT ) (DAT )) #DECL ((CODE:PTR CODE:TOP) ) <> .SILENT>> > .ST>>>> " / " .RT >>) (ELSE .MESS)>> "VERIFY -- check types of arguments prior to compilation." > > FUNCTION>>> >) ( FUNCTION> >) (ELSE )>> "COMP1 -- compile one object and time compilation. Make noise if second arg there and not false." ) "EXTRA" (START-TIME ) (NM1 .THING) RDCL (REALT ) (TH .THING) (RDAT ) "NAME" COMPILER) #DECL ((SUB? INT? RDCL COMPILER) (START-TIME) FLOAT) )> )> >) (ELSE >)>) (ELSE > >)> .NM1 .THING> (.TH .START-TIME>>>> "cpu time, " .REALT > " real time. " >)> "COMPILE-GROUP -- compile into one RSUBR a group of functions. Eliminate identity of internal RSUBRs. First arg same as for COMPILE. Second arg specifies those FUNCTIONS to become external. Third arg name of entire group upon completion of compilation." (FCNS EXTS GROUP-NAME "OPTIONAL" (SRC-FLG <>) (BIN-FLG T) (CAREFUL T) (GLOSP <>) (REASONABLE T) (GLUE T) (TMPCHN <>) (ANALY-OK T) (VERBOSE <>) "AUX" (FIRST T) (IND (1)) (TAG:COUNT 0) (STRT ) (RSTRT ) (RDAT ) (CODE:TOP (())) (CODE:PTR .CODE:TOP) "NAME" COMPILER) #DECL ((FCNS GROUP-NAME SEC-FLG BIN-FLG CAREFUL GLOSP REASONABLE GLUE IND TAG:COUNT CODE:TOP CODE:PTR COMPILER ANALY-OK VERBOSE) ) ,VERIFY .FCNS> >>)) ) (ELSE .COMPILER>)> > > >)>> .FCNS> ,UNASSOC .FCNS> ) (ELSE >)> .STRT>>>> " / " .RSTRT >>> !.OBLIST)) ACC ACC2) #DECL ((L) LIST (TMPCH) CHANNEL (OBLIST) (ACC ACC2) FIX) > .TMPCH> >> )> ATOM> > .TMPCH>> > > > ) (ELSE .IND>)>> "COMPILE-FUNCTION -- run the compiler on one function. PASS1 builds internal structure. ANA further specifies the structure and computes types for all nodes. VARS allocates stack slots for variables. CODE-GEN generates assembler source. " ) )> .RNAME>>>> )> ;"AC call exists?" ) (.SUB? ) (ELSE )>) ( >> >>> ) (.SUB? ) (ELSE )> ) (ELSE > >)>) (ELSE > )>> 60>) (NHRS )) #DECL ((NSEC) (NMIN NHRS) FIX (VALUE) STRING) > <- .NSEC <* .NMIN 60>>>> <2 .D2> <3 .D2>> <2 .D1> <3 .D1>>>)) #DECL ((D1 D2 T1 T2) (VALUE) STRING) <* <1 .T2> 3600> <* <2 .T2> 60> <3 .T2>> <+ <* <1 .T1> 3600> <* <2 .T1> 60> <3 .T1>>>>> > ":">) (ELSE "")> > >> "") (ELSE "0")> CHARACTER>>) (ELSE 48> CHARACTER> 48> CHARACTER>>)> ":">) (ELSE "")> > >> "0") (ELSE "")> CHARACTER>>) (ELSE 48> CHARACTER> 48> CHARACTER>>)>>>