Hi.
fyi, I plan to check this in in a few days if there are no objections.
Regression tested with opcodes, sim, sid, intrinsics, docs.

2009-06-26  Doug Evans  <dje@sebabeach.org>

        * operand.scm (-operand-g/setter-arg-alist): New function.
        (-operand-parse-getter,operand-parse-setter): Call rtx-compile 
here ...
        (-derived-operand-parse): ... instead of calling 
rtx-canonicalize here.
        * rtl-traverse.scm (-rtl-traverse): Properly handle #f for expected.
        * rtl-xform.scm (-rtx-canonicalize-expr): Delete.
        (rtx-canonicalize): Simplify and generalize by using rtx-traverse.
        (rtx-compile): Reorganize comments.
        * rtl.scm (rtx-name-list): Delete.
        (-rtx-operand-table): Delete.  All references deleted.
        (rtl-init!): Initialize -rtx-name-list.  Completely initialize
        -rtx-traverser-table here.
        (rtl-finish!): And not here.