Welcome to Open Dylan
Version 2013.1
Copyright (c) 1997-2004, Functional Objects, Inc.
Portions Copyright (c) 2004-2013, Dylan Hackers
Portions Copyright (c) 2001-2012, Ravenbrook Ltd.
Opened project dfmc-optimization (/home/bruce/Development/dylan/opendylan/sources/dfmc/optimization/optimization.lid)
Number of libraries to compile: 29
Library "dylan" is up to date.
Library "common-dylan" is up to date.
Library "io" is up to date.
Library "ppml" is up to date.
Library "system" is up to date.
Library "collections" is up to date.
Library "source-records" is up to date.
Library "walker" is up to date.
Library "dfmc-mangling" is up to date.
Library "variable-search" is up to date.
Library "dood" is up to date.
Library "dfmc-common" is up to date.
Library "dfmc-back-end-protocol" is up to date.
Library "dfmc-conditions" is up to date.
Library "generic-arithmetic" is up to date.
Library "big-integers" is up to date.
Library "parser-run-time" is up to date.
Library "dfmc-reader" is up to date.
Library "dfmc-macro-expander" is up to date.
Library "dfmc-namespace" is up to date.
Library "dfmc-definitions" is up to date.
Library "dfmc-modeling" is up to date.
Library "dfmc-flow-graph" is up to date.
Library "dfmc-core" is up to date.
Library "dfmc-typist" is up to date.
Library "dfmc-conversion" is up to date.
Library "dfmc-c-ffi" is up to date.
Library "dfmc-back-end" is up to date.
Updating definitions for dfmc-optimization
  Reading and installing: assignment.dylan
  Reading and installing: constant-folding.dylan
  Reading and installing: cse.dylan
  Reading and installing: dead.dylan
  Reading and installing: entry-points.dylan
  Reading and installing: calls.dylan
  Reading and installing: inlining.dylan
  Reading and installing: multiple-values.dylan
  Reading and installing: non-local-exit.dylan
  Reading and installing: tail-call.dylan
  Reading and installing: dispatch.dylan
  Reading and installing: dynamic-extent.dylan
  Reading and installing: check.dylan
  Reading and installing: optimize.dylan
Computing data models for dfmc-optimization
  Computing models for optimization-library.dylan
  Computing models for assignment.dylan
  Computing models for constant-folding.dylan
  Computing models for cse.dylan
  Computing models for dead.dylan
  Computing models for entry-points.dylan
  Computing models for calls.dylan
  Computing models for inlining.dylan
  Computing models for multiple-values.dylan
  Computing models for non-local-exit.dylan
  Computing models for tail-call.dylan
  Computing models for dispatch.dylan
  Computing models for dynamic-extent.dylan
  Computing models for check.dylan
  Computing models for optimize.dylan
Computing code models for dfmc-optimization
  Computing code models for optimization-library.dylan
  Computing code models for assignment.dylan
  Computing code models for constant-folding.dylan
  Computing code models for cse.dylan
  Computing code models for dead.dylan
  Computing code models for entry-points.dylan
  Computing code models for calls.dylan
  Computing code models for inlining.dylan
  Computing code models for multiple-values.dylan
  Computing code models for non-local-exit.dylan
  Computing code models for tail-call.dylan
  Computing code models for dispatch.dylan
  Computing code models for dynamic-extent.dylan
  Computing code models for check.dylan
  Computing code models for optimize.dylan
Checking bindings in dfmc-optimization
Performing type analysis of dfmc-optimization
Optimizing dfmc-optimization
  Optimizing optimization-library.dylan
  Optimizing assignment.dylan
  Optimizing constant-folding.dylan
  Optimizing cse.dylan
  Optimizing dead.dylan
  Optimizing entry-points.dylan
  Optimizing calls.dylan
  Optimizing inlining.dylan
  Optimizing multiple-values.dylan
  Optimizing non-local-exit.dylan
  Optimizing tail-call.dylan
  Optimizing dispatch.dylan
  Optimizing dynamic-extent.dylan
  Optimizing check.dylan
  Optimizing optimize.dylan
A total of 2926 calls were processed, and 2207 of these (75%) were optimized.
Dumping conditions to dfmc-optimization.log
There were 0 warnings, 0 serious warnings.
Generating code for dfmc-optimization
  Emitting heap for optimization-library.dylan
  Linking optimization-library.dylan
  Emitting heap for assignment.dylan
  Linking assignment.dylan
  Emitting heap for constant-folding.dylan
  Linking constant-folding.dylan
  Emitting heap for cse.dylan
  Linking cse.dylan
  Emitting heap for dead.dylan
  Linking dead.dylan
  Emitting heap for entry-points.dylan
  Linking entry-points.dylan
  Emitting heap for calls.dylan
  Linking calls.dylan
  Emitting heap for inlining.dylan
  Linking inlining.dylan
  Emitting heap for multiple-values.dylan
  Linking multiple-values.dylan
  Emitting heap for non-local-exit.dylan
  Linking non-local-exit.dylan
  Emitting heap for tail-call.dylan
  Linking tail-call.dylan
  Emitting heap for dispatch.dylan
  Linking dispatch.dylan
  Emitting heap for dynamic-extent.dylan
  Linking dynamic-extent.dylan
  Emitting heap for check.dylan
  Linking check.dylan
  Emitting heap for optimize.dylan
  Linking optimize.dylan
Linking object files for dfmc-optimization
Saving database for dfmc-optimization
  Committed 10000.
  Committed 20000.
  Committed 30000.
Time taken per phase:
                                 Elapsed Time (secs)     Amount Allocated (Mb)
  Updating sources          -     1%       0.050000        0%       0.000000
  Updating definitions      -    10%       0.610000        0%       0.000000
  Model object computation  -     7%       0.450000        0%       0.000000
  Model finishing           -     0%       0.010000        0%       0.000000
  Model checking            -     0%       0.010000        0%       0.000000
  DFM generation            -    15%       0.910000        0%       0.000000
  Checking bindings         -     0%       0.000000        0%       0.000000
  Initial type inference    -     0%       0.010000        0%       0.000000
  Optimization              -    35%       2.160000        0%       0.000000
  Preheaping                -     3%       0.180000        0%       0.000000
  Heaping                   -     2%       0.140000        0%       0.000000
  Emitting                  -    15%       0.950000        0%       0.000000
  Linking                   -     3%       0.190000        0%       0.000000
  Glue gen                  -     0%       0.000000        0%       0.000000
  Stripping                 -     0%       0.020000        0%       0.000000
  Saving database           -     7%       0.440000        0%       0.000000
  --
  Sum                       -   100%       6.130000      100%       0.000000
  --
  Compiled 9316 lines at a rate of 91184.352 lines per minute, 0.000000 Mb per second.
  --
  Database 1721280 bytes.
  Data 149632 bytes.
  Code 0 bytes.
 Heap Allocated 89296896 Total 89296896 Free 0
There were 0 warnings, 0 serious warnings and 0 errors.
Build of 'dfmc-optimization' completed
File /home/bruce/Development/dylan/opendylan/Bootstrap.3/lib/dfmc-optimization.mkf : dylanmakefile.mkf
Cc _glue.o : _glue.c
Cc optimization-library.o : optimization-library.c
Cc assignment.o : assignment.c
Cc constant-folding.o : constant-folding.c
Cc cse.o : cse.c
Cc dead.o : dead.c
Cc entry-points.o : entry-points.c
Cc calls.o : calls.c
Cc inlining.o : inlining.c
Cc multiple-values.o : multiple-values.c
Cc non-local-exit.o : non-local-exit.c
Cc tail-call.o : tail-call.c
Cc dispatch.o : dispatch.c
Cc dynamic-extent.o : dynamic-extent.c
Cc check.o : check.c
Cc optimize.o : optimize.c
LinkDLL /home/bruce/Development/dylan/opendylan/Bootstrap.3/lib/libdfmc-optimization.so : _glue.o optimization-library.o assignment.o constant-folding.o cse.o dead.o entry-points.o calls.o inlining.o multiple-values.o non-local-exit.o tail-call.o dispatch.o dynamic-extent.o check.o optimize.o
