Subject: Publishing
From: Keunwoo Lee (klee@cs.washington.edu)
Date: Tue May 01 2001 - 00:58:02 PDT
I appear to be at a narrow window of stability in what I'm doing, so
I'm publishing. Let me know if you have problems with this update.
Changes and notes:
+ Major reorganization of the file_info object, which has been
refactored into a hierarchy of objects. Several Vortex pieces have
been changed in order to support this reorganization; among other
things, the following files have been copied over as fresh files in
whirlwind:
compiler-def.cecil => ww-compiler-def.cecil
compiler-make.cecil => ww-compiler-make.cecil
process-files.cecil => ww-process-files.cecil
compiler-params.cecil => whirlwind-params.cecil
Some of these will become increasingly vestigial as I (or others) move
stuff into whirlwind-* files (e.g., ww-compiler-def.cecil could be
merged with whirlwind-def.cecil).
Note that I am still not done modifying the file_dependence part of
files, but right now the files appear to behave more or less as they
did before all my refactoring. I want to commit while it's stable.
+ I disabled the "up_to_date" compiler command, in line with the
above. "Up to date" can now mean different things for different
files. It's not clear to me what the use of marking all files up to
date for everything is, yet, and I have a feeling it may break some
assumptions made by other parts of the compiler.
+ Created notes/design.txt, which is my provisional and piecemeal
Whirlwind design document. Fairly local design decisions should go in
the appropriate source file; this is for high-level things. I made it
while examining bits of the guts of Whirlwind while making the above
two changes. Right now it only documents a few subsystems + a
high-level overview of the make process. Eventually it will contain
everything I know about the large-scale design of Whirlwind. Feel
free to add what you know.
+ Done with first cut at lowering unary operations and returns, with
all that entails (big changes to lowering, small additions to
codegen). These typecheck fully (modulo current typechecker bugs),
and towers builds to C with o0 and o1.
+ Some additions to the IRNode and IROp heirarchies to support
lowering. IROps now have an is_fully_lowered predicate. Also, minor
changes to the parser and scanner to support new IRNodes and
operations. Several IRNodes now come out of the parser as
"AbsFooNode", instead of "FooNode".
+ Note: the preferred idiom for creating a null node is to specify the
target slice kind, as different slices require different kinds of null
nodes. See the NullNode constructor signature in ir-node.cecil (these
constructors were hiding in obscurity in builder-*.cecil and have been
moved).
+ See lower-helpers.cecil for some functions that you might find
useful. We should probably factor out more things from my code and
Sorin's that might be useful to future graph building code and place
it in one central place to avoid duplication of work.
+ Moved a few functions out of ast-helpers.cecil and into
ir-node.cecil. I am coming to believe everything in ast-helpers
should be thus moved, as part of our ongoing de-AST-ification
campaign.
+ Created a strategy/ directory. Code that encapsulates various
decisions about compilation policy will eventually go there. Right
now it's primarily a place to put a bunch of constants, but we
anticipate that the Strategy object will eventually hold all kinds of
programmer-directed policy annotations and possibly code generation
target information.
+ Updated my tests in tests/features/. Now they work, and with my new
commits they survive make1 as well.
+ Fixed a bug in cdfg.cecil which resulted in spurious heads (nodes
without predecessors) being added to the CDFG.
----------------------------------------------------------------------
The following utter trivia included here only for completeness:
+ Some non-live code added to verify-graphs. I still have not decided
how the next revision of graph verification should work, so what's
there is rough and actually never called.
+ Some non-live lowering code. See previous point.
+ Modified ir/builder/builder-driver.cecil to reflect builder changes.
+ I think CVS got confused on a few files and caused spurious merges
when I last updated, like for whirlwind-compile.cecil. Updating from
my commit may likewise cause spurious merges. I think it's because I
touched some files to add debugger lines and then removed those lines,
but did not restore exactly the same whitespace. I think that this
should be rare but I'm just warning you.
+ Type tweaks in ir-node.cecil.
_______________________________________________
Cecil mailing list
Cecil@cs.washington.edu
http://majordomo.cs.washington.edu/mailman/listinfo/cecil
This archive was generated by hypermail 2b25 : Tue May 01 2001 - 00:59:04 PDT