* operand.scm (/anyof-merge-setter): Handle set-quiet.

* rtl-c.scm (estate-make-for-rtl-c): Delete args context, owner,
rtl-cover-fns?, macro?.  All callers updated.
(estate-make-for-normal-rtl-c): Delete, have all callers call
estate-make-for-rtl-c directly.
(rtl-c-parsed): Pass #:outer-expr to estate-make-for-rtl-c.
(rtl-c, rtl-c-expr-parsed, rtl-c-expr, rtl-c++-parsed, rtl-c++): Ditto.

* rtl-c.scm (/par-replace-set-dest-expr-fn): New function,
replaces /par-replace-set-dests.
(/par-replace-set-src-expr-fn): New function, replaces
/par-replace-set-srcs.
(s-parallel): Rewrite.

* rtl.scm (rtx-pretty-strdump): New function.
* rtl-traverse.scm (/rtx-canon-error): Use it.
(<eval-state>): New member outer-expr.
(estate-error): Include outer expression in error message if present.

* rtl.scm (rtx-single-set?): Handle set-quiet.

tweak last sid.scm changelog entry

* xc16x.cpu (h-cr): New hardware.
(muls): Comment out parts that won't compile, add fixme.
(mulu, divl, divlu, jmpabs, jmpa-, jmprel, jbc, jnbs, callr): Ditto.
(scxti, scxtmg, scxtm, bclear, bclr18, bset19, bitset, bmov): Ditto.
(bmovn, band, bor, bxor, bcmp, bfldl, bfldh): Ditto.

Rewrite rtl processing to require it to be "canonicalized" first,
and write a full canonicalizer / expression checker.
Remove all appearances of DFLT in canonical rtl.
* attr.scm (/attr-eval atval owner): Call rtx-canonicalize,
then rtx-simplify.
* iformat.scm (ifmt-analyze) Use canonical semantics.
* insn (<insn>): New member canonical-semantics.
* mach.scm (<arch>): New member multi-insns-instantiated?.
(/instantiate-multi-insns!): New function.
(/canonicalize-insns!): New function.
(arch-analyze-insns!): Canonicalize insn semantics before processing
them.
* mode.scm (/mode-set-word-params!): New function.
(mode-void?): New function.
(mode-compatible?): VOID is compatible with VOID.
(/mode-word-sizes-defined?): New global.
(mode-set-word-modes!): Use/set it.
(mode-ensure-word-sizes-defined): Update.
(mode-builtin!): New builtin "modes" SYM, INSN, MACH.
Redo WI/UWI/AI/IAI handling.
(op:new-mode): No longer accept DFLT.
(<derived-operand> constructor): Ensure all fields are initialized.
(<anyof-operand> constructor): Ditto.
(/derived-parse-ifield-assertion): Delete arg `args'.
All callers updated.
* rtl-c.scm (<rtl-c-eval-state>): New member `for-insn?'.
(rtl-c): Call rtx-canonicalize instead of rtx-compile.
(rtl-c-expr, rtl-c++): Ditto.
(/rtl-c-get): Use mode of operand, not containing expression.
(rtl-c-set-quiet, rtl-c-set-trace): Remove DFLT support.
(/rtx-use-sem-fn?): Don't check for (insn? owner), check
estate-for-insn? instead.
(s-unop): Use mode of expression, not first operand.
(s-binop, s-binop-with-bit, s-shop, s-cmpop): Ditto.
(s-sequence): Remove DFLT support.
(ifield): Use mode of expression, not UINT.
(pc): Comment out, unused.
(int-attr): New rtx kind.
(attr): Deprecate.
(set, set-quiet): Pass src to rtl-c-set-{trace,quiet} for expansion.
* rtl-traverse.scm (/rtx-canon-debug?): New global.
(/make-cstate): New function.
(/cstate-context, /cstate-outer-expr): New functions.
(/rtx-canon-error): New function.
(/rtx-lookup-hw, /rtx-pick-mode, /rtx-pick-mode3, /rtx-pick-op-mode,
/rtx-get-last-cond-case-rtx): New functions.
(/rtx-canon-*): New functions.
(/rtx-canner-table, /rtx-operand-canoners): New globals.
(/rtx-make-canon-table, /rtx-special-expr-canoners): New functions.
(/rtx-option, /rtx-option-list?): Rewrite.
(rtx-munge-mode&options): Replaces /rtx-munge-mode&options.
Rewritten, all callers updated.
(/rtx-canon-expr, /rtx-canon): New functions.
(rtx-canonicalize): Move here from rtl-xform.scm and rewrite.
(rtx-canonicalize-stmt): New function.
(tstate-make): Remove arg `set?'.  All callers updated.
(tstate-new-set?): Delete.
(/rtx-traverse-options, /rtx-traverse-*mode): Delete,
moved to /rtx-canon-*.
(/rtx-traverse-normal-operand): New function.
(/rtx-traverse-rtx-list): Delete arg `mode', all callers updated.
(/rtx-traverse-rtx, /rtx-traverse-setrtx,, /rtx-traverse-testrtx,
/rtx-traverse-condrtx, /rtx-traverse-casertx, /rtx-traverse-locals,
/rtx-traverse-iteration, /rtx-traverse-env, /rtx-traverse-attrs):
Ditto.
(/rtx-traverse-symbol, /rtx-traverse-string, /rtx-traverse-number,
/rtx-traverse-symornum, /rtx-traverse-object): Delete.
(/rtx-make-traverser-table): Update.
(/rtx-traverse-operands): Remove mode processing, now done during
canonicalization.
(/rtx-traverse-expr): Delete arg `mode', all callers updated.
(/rtx-traverse): Ditto.
(rtx-init-traverser-tables!): New function.
* rtl-xform (/rtx-verify-no-dflt-modes-expr-fn): New function.
(rtx-verify-no-dflt-modes): New function.
(/rtx-simplify-expr-fn): Update, `arg' mode deleted.
(rtx-simplify-insn): Use insn-canonical-semantics.
(rtx-canonicalize): Moved to rtl-traverse.scm.
(/compile-expr-fn, rtx-compile): Delete.
(/rtx-trim-rtx-list): New function.
(/rtx-trim-for-doc): Handle set, if.
* rtl.scm (<rtx-func>): New members result-mode, matchexpr-index.
(/rtx-valid-mode-types): Update.
(/rtx-valid-matches): Update.
(/rtx-find-matchexpr-index): New function.
(rtx-lookup): Require rtx-kind to be the rtx name.
(def-rtx-node): New arg result-mode, all callers updated.
(def-rtx-syntax-node, def-rtx-operand-node): Ditto.
(rtx-lazy-sem-mode): Delete.
(/rtx-closure-make): New arg `mode', all callers updated.
(rtx-make-ifield, rtx-make-operand, rtx-make-local): Ditto.
(rtx-operand-obj): Rewrite.
(rtx-make-xop): New functions.
(/hw): Renamed from `hw', all callers updated.
Use the correct mode instead of DFLT for the index.
(rtl-builtin!): Call rtx-init-traversal-tables!.
(rtl-finish!): Update.
* rtx-funcs.scm (all rtx functions): New parameter: result-mode.
Update mode arg-type.
(pc): Comment out.
(int-attr): New rtx kind.
(attr): Deprecate.
* sem-frags.scm (/frag-hash-compute!): Update, mode arg deleted.
(/frag-cost-compute!): Ditto.
* semantics.scm (/build-operand!): Delete args op-name, op.
New arg op-expr.  All callers updated.
(/build-mem-operand!): Remove DFLT support.
(semantic-compile): Update process-expr!, mode arg deleted.
* sid-cpu.scm (gen-semantic-code): Specify #:for-insn? in
rtl-c++ calls.
(/gen-sem-case, /gen-sfrag-code): Ditto.
* sid.scm (/op-gen-set-trace1): Renamed from /op-gen-set-trace.
(/op-gen-set-trace): New function.  If not doing profiling,
call /op-gen-set-quiet.
* sim-cpu.scm (gen-semantic-code): Specify #:for-insn? in rtl-c calls.
* utils-gen.scm (/gen-ifld-extract-base): Update call to rtl-c.
(/gen-ifld-extract-beyond, gen-multi-ifld-extract): Ditto.
* utils.scm (find-first-index): New function.
* doc/rtl.texi: Delete docs for `attr'.  Add `int-attr'.

* rtx-funcs.scm (eq,ne,lt,gt,le,ge,ltu,leu,gtu,geu): Change class
to COMPARE.
* sem-frags.scm (/frag-cost-compute!): Add COMPARE.

(h-sint): add fixme

* rtl-c.scm (all rtx functions): Rename local estate to *estate*.  It's an
artificial argument added to the rtx, so make it stand out.

* rtl-c.scm (/rtl-c-build-table): Renamed from rtl-c-build-table.
All callers updated.  Add FIXME.

* openrisc.cpu (or32 isa): Fix setup-semantics.

* rtl.scm (rtx-class-*?): Delete, unused.
(rtx-style-function?, rtx-style-operand?, rtx-style-macro?): Ditto.

* read.scm (/CGEN-RTL-VERSION): Initialize to #f.
(init-reader!): Set /CGEN-RTL-VERSION to default.

* read.scm (cpu-load): Print load parameters.

* dev.scm (load-doc): Set verbose-level to 2.

* rtl.scm (rtx-strdump): Use write instead of display.

* utils-cgen.scm (obj-csv-names): New function.
* utils-sim.scm (/sfmt-contents): Use it in logging message.

Clean up pass of mode handling.
Make use of mode name vs <mode> object more consistent and clear.
* hardware.scm (/keyword-read): Default mode to the mode name,
not the <mode> object.
(/hw-parse-indices): Parse mode name and pass mode object to
<hw-asm> constructor.
(/hw-parse-values): Ditto.
(<hw-register> parse!): Pass mode name to /hw-parse-indices
and /hw-parse-values.
(<hw-memory> parse!): Ditto.
(<hw-address> parse!): Ditto.
* mode.scm (/mode-table): New global, replaces mode-list.
Modes stored in hashtable instead of list.
(/mode-class-table): New global.
(mode-list-non-alias-values): Update.
(mode:eq?, mode-compatible?, mode:add!): Update.
(mode:lookup): Restrict arg to the mode's name.  All callers updated.
(mode-maybe-lookup): New function.
(mode-real-name): Restrict arg to a <mode> object.  All callers updated.
(mode-real-mode, mode-sem-mode, mode-bigger?): Ditto.
(mode-find, mode-set-word-modes!): Update
(mode-ensure-word-sizes-defined): Update.
(/sort-mode-classes!): New function.
(mode-builtin!): Update.  Sort mode classes here.
(mode-finish!): Sort mode classes here too.
* rtl-c.scm (/rtl-c-get): Restrict mode arg to a <mode> object.
All callers updated.
(rtl-c-set-quiet): Allow mode to be name of object.
(rtl-c-set-trace): Ditto.
* rtl-traverse.scm (rtl-eval-with-estate): Restrict mode arg to
<mode> object.  All callers updated.
* rtl.scm (rtx-sem-mode): Restrict arg to <mode> object.
(rtx-lazy-sem-mode): Ditto.
(<rtx-temp> make!): Assert mode arg is a <mode> object.
(rtx-env-make): Allow var-list modes to be name or object.
* sem-frags.scm (/frag-expr-assq-locals): New function.
(/frag-compute-locals!): Call it.
(/sfrag-create-cse-mapping): Renamed from sfrag-create-cse-mapping.
All callers updated.
* semantics.scm (/build-mem-operand!): Handle mode aliases.

whitespace fix

whitespace tweaks

* sim-test.scm (*): Symbols no longer can be passed to string-append.

add fixme

* insn.scm (/parse-insn-format): Improve error message for missing or
too many bits.

* insn.scm (/parse-insn-format): New arg `verify?', all callers updated.
(/insn-parse): Don't verify iformat for virtual insns.

* sid-decode.scm (cgen-decode.cxx): Remove redundant call to
non-multi-insns.
* sid-model.scm (/gen-model-insn-fn-decls): Ditto.
(/gen-model-insn-fns, /gen-model-class-decls): Ditto.
* sid.scm (pbb-engine-insns): Ditto.
* sim-decode.scm (cgen-decode.c): Ditto.

* rtl-traverse.scm: Comment tweaks.
* rtl-xform.scm: Comment and reformatting tweaks.
* doc/rtl.texi: Add text to docs on ifield-assertions.

tweak ifield-assertion text

tweak ifield-assertion text

* rtl.texi: Add text to docs on ifield-assertions.

Move "Interactive development" up a level.
Expand on the .splice example.

* insn.scm (/insn-parse): Canonicalize the ifield-assertion before
saving.

tweak error message

tweak

(/parse-insn-format): Tweak error message.

* doc/porting.texi: Document #:trace, #:diag options to cload.

Add support for controlling warnings/errors.
Add tests for iformat description errors.
* dev.scm (cload): New option #:diag.
* read.scm (<reader>): New member verify-iformat?.
(/parse-diagnostic, parse-warning): New functions.
(parse-error): Guts moved to /parse-diagnostic.
(/set-diagnostic-options!): New function.
(cpu-load): New arg diagnostic-options, all callers updated.
Recognize -w diagnostic-option-list.
* ifield.scm (ifields-base-ifields): Move here from iformat.scm.
(ifld-simple-ifields, ifields-simple-ifields): New function.
* insn.scm (/parse-insn-format-iflds): New function.
(/parse-insn-format): Guts moved to /parse-insn-format-iflds.
New arg isa, all callers updated.  Do some basic validation of the
ifield list if requested.
* mach.scm (/sanity-check-insns): Improve error message text.
* doc/running.text: Document -w option.

* ifield.scm (/multi-ifield-parse): Initialize bitrange.

(<ifield> pretty-print): Fix typo.

* dev.scm (*): Change default verbosity level to 2.

* ifield.scm (<ifield> pretty-print): New method.
(ifld-pretty-print): New function.
(<multi-ifield> pretty-print): New method.

* ifield.scm (<ifield> field-start): Delete word-len arg.
All callers updated.
(ifld-start): Ditto.
(<multi-ifield> field-start): Ditto.
* operand.scm (<hw-index> field-start): Ditto.

* ifield.scm (ifld-beyond-base?): Remove args base-bitsize,
total-bitsize.  All callers updated.
* insn.scm (<insn>): Rename member ifld-values to /insn-value.
New member /insn-base-value.
(insn-base-value): New function.
* mach.scm (/sanity-check-insns): New function.
(arch-analyze-insns!): Call it.

* iformat.scm (ifields-base-ifields): Simplify.
(compute-insn-length): Simplify, call ifields-base-ifields.
(compute-insn-base-mask): Ditto.
* ifield.scm (ifld-known-values): Ditto.
(ifld-base-ifields): Ditto.
* insn.scm (insn-value): Ditto.
* pgmr-tools.scm (pgmr-pretty-print-insn-format): Ditto.

* cpu/mep.opc (mep_cgen_insn_supported_asm): Change the test to a
preprocessor macro, not an enum.

* rtl-c.scm (/rtl-c-get): Convert symbols to strings before passing
to string-append.
(*): Remove trailing ":" from error messages passed to estate-error.

* types.scm (<struct>): Delete.

* pmacros.scm (/pmacro-env-make): New argument `loc', all callers
updated.
(/pmacro-loc-error): New function.

* mach.scm (/isa-parse-decode-assist): New function.
(/isa-parse): Call it.

* decode.scm (/get-subopcode-value): New function.
(/opcode-slots): Call it.
(/fill-slot!): Add logging message.

* cos.scm (/object-error): Convert symbols to strings before passing
to string-append.

minor tweak

* read.scm (rtl-version-equal?): New function.
(rtl-version-at-least?, rtl-version-older?): New functions.

* *.scm: Use / to prefix "local" vars/fns, for r6rs compliance.
* pmacros.scm (/pmacro-builtin-splice): Refer to $unsplice for
rtl versions >= 0.9.
(pmacros-init!): Tweak to prepare for $<pmacro> for builtin pmacros.

* rtl.scm (rtx-pretty-name): Fix thinko, don't assume (car rtx) is simple.

[cgen]
* cpu/mep.opc (parse_signed16_range): Mark as potentially unused.
(parse_unsigned16_range): Likewise.
(mep_cgen_insn_supported_asm): Make BSR12 check dependent on VLIW
isa.

[opcodes]
* mep-asm.c: Regenerate.
* mep-desc.c: Regenerate.
* mep-opc.c: Regenerate.

Pmacro .equals -> .equal?
* pmacros.scm (-pmacro-builtin-equal?): Renamed from
-pmacro-builtin-equals.  All callers updated.
(pmacros-init!): Rename .equals to .equal?.
* doc/pmacros.texi: Update.
* testsuite/pmacros-1.test: Update.

text2html <> inside double-quotes workaround, v3

texi2html <> workaround, v2

* doc/porting.texi: Work around texi2html bug where it doesn't
properly escape <> inside double-quotes inside @code.

* doc/porting.texi (Doing an opcodes port): Add step to specify
the .opc file.

* hardware.scm (-keyword-parse): Fix `enum-prefix' default for
rtl version 0.7.
* doc/rtl.texi: Improve docs on rtl 0.7 vs 0.8 differences.

tweak `sequence' docs

spiff up docs of sequence, parallel, do-count

do-count #iterations parameter can be an expression

Rework do-count to take an expression for the iteration count,
and swap the iteration-variable/#iterations arguments.

Add do-count rtl function.
* rtl-c.scm (s-do-count): New function.
(do-count): New rtl handler.
* rtl-traverse.scm (-rtx-traverse-iteration): New function.
(-rtx-make-traverser-table): Add ITERATION.
* rtl.scm (rtx-env-make-iteration-locals): New function.
* rtx-funcs.scm (do-count): New rtl function.
* cpu/play.cpu: Add do-count-test insn.
* doc/rtl.texi: Add docs on do-count.

* read.scm (parse-error): Really change error message output format
to match context-owner-error.
* utils-cgen.scm (context-owner-error): Simplify.

* read.scm (parse-error): Change error message output format
to match context-owner-error.
* rtl-c.scm (-rtl-c-get): Call estate-error instead of error.
(rtl-c-set-quiet, rtl-c-set-trace): Ditto.
(s-if, s-cond, -gen-non-vm-case-test): Ditto.
(operand): Call estate-error instead of context-error.
(local, delay): Ditto.
(ref, attr): Call estate-error instead of error.
* rtl-traverse.scm (tstate-error): New function.
(-rtx-traverse-error): Call tstate-error instead of context-error.
(-rtx-traverse-operands, -rtx-traverse): Ditto.
(estate-error): New function.
* rtl.scm (rtx-lvalue-mode-name): Handle locals.  Call estate-error
instead of error.
(e-if): Call estate-error instead of error.
* rtx-funcs.scm (error): Call estate-error instead of context-error.
(member): Ditto.
* utils-cgen.scm (context-error): New arg `intro', all callers updated.
Rewrite to call context-owner-error.
(context-owner-error): New function.

* ifield.scm (<ifield> constructor): New arg `location',
all callers updated.
* insn.scm (<insn> constructor): Ditto.
(<multi-insn> constructor): Ditto.
* minsn.scm (<macro-insn> constructor): Ditto.
* operand.scm (<operand> constructor): Ditto.
* utils-cgen.scm (builtin-location): New function.
(<source-ident>): Fix default value of member `location'.
(source-ident?): New function.

remove cruft

* rtl-traverse.scm (estate-new-env): Rename arg state -> estate.
(estate-push-env, estate-with-modifiers): Ditto.
(estate-deepen): New function.

Fix name in previous entry.  Blech, sorry Dave.

* sim-model.scm (-gen-mach-defns): Use @PREFIX@_INSN__MAX instead of
@CPU@_INSN__MAX.  Use @prefix@ instead of @cpu@ for engine_run
routines.

tweak previous change for consistency

* doc/pmacros.texi (pmacro default argument values): Add text.

* hardware.scm (<keyword>): Rename member print-name -> enum-prefix.
Rename member prefix -> name-prefix.
(<keyword> getters): Update.
(-keyword-parse): Update.  Default enum-prefix to NAME-.
(-keyword-read): Update.  Don't compute default value for
enum-prefix here.
(define-keyword): Update.
(-hw-parse-keyword): Pass "UNUSED" for enum-prefix to -keyword-parse.
* read.scm (cgen-rtl-version): New function.
(-supported-rtl-versions): Add (0 8).
* desc-cpu.scm (-gen-hw-decl): Remove cruft.
* desc.scm (<keyword> gen-defn): prefix -> name-prefix.
* gas-test.scm (<keyword> test-data): prefix -> name-prefix.
* cpu/arm.cpu (gr-names, shift-type): Call define-rtl-version.
Update, print-name -> enum-prefix, make uppercase.
Remove unnecessary name-prefix spec.
* cpu/fr30.cpu (gr-names, cr-names, dr-names): Ditto.
* cpu/ip2k.cpu (register-names): Ditto.
* cpu/m68k.cpu (dr-names, ar-names): Ditto.
* cpu/sparc.cpu (gr-names): Ditto.
* cpu/xc16x.cpu (gr-names, ext-names,psw-names): Ditto.
(grb-names, conditioncode-names, extconditioncode-names): Ditto.
(grb8-names, r8-names, regmem8-names, regdiv8-names): Ditto.
(reg0-name, reg0-name1, regbmem8-names, memgr8-names): Ditto.
* cpu/ia32.cpu (gr8-names, gr16-names, gr-names): Call
define-rtl-version.  Update, print-name -> enum-prefix, make uppercase,
prefix -> name-prefix.
* cpu/sh64-compact.cpu (frc-names): Call define-rtl-version.
Update, print-name -> enum-prefix, make uppercase.
(drc-names, xf-names): Ditto.
* cpu/xstormy16.cpu (gr-names, gr-Rb-names): Ditto.
* doc/rtl.texi (Keywords): New section.
(hardware indices): Update text.
(rtl versions): Add 0.8.

Add define-rtl-version.
* read.scm (-CGEN-RTL-VERSION): Renamed from -CGEN-LANG-VERSION.
(cgen-rtl-major, cgen-rtl-minor): Similarly renamed.
(cgen-lang-fixlevel): Delete.
(-supported-rtl-versions): New variable.
(-cmd-define-rtl-version): New function.
(init-reader!): New command define-rtl-version.
(-cgen): Add rtl version to --version output.
* doc/rtl.texi: Document rtl version support.
* cpu/play.cpu: Add define-rtl-version.

remove old comment, ifields can specify the size of the word they live in

* Makefile.am (OPTIONS): Define.
(desc): Just generate <arch>-desc.[ch] files.
* Makefile.in: Regenerate.
* desc-cpu.scm (cgen-desc.h): Skip call to gen-extra-cpu.h if there's
no .opc file.
(cgen-desc.c): Similarly.
* gen-all-desc: New file.
* opcodes.scm (opc-file-provided?): New function.

* mach.scm (current-*-add!): Update calls to parse-error.
* operand.scm (op:new-mode): Update call to parse-error.
* utils-cgen.scm (make-obj-context): New function.

* NEWS: Copy over entries from 1.1 branch.

* gas-test.scm (<keyword> test-data): Catch invalid requests,
flag a warning and compensate.
(<hw-address test-data): Tweak for readability.
(<hw-iaddress test-data): Ditto.
(cgen-build.sh): Convert symbols to strings before passing to
string-append.
(cgen-allinsn.exp): Ditto.

* doc/pmacros.texi (.splice): Add more text.

* configure.in (AM_INIT_AUTOMAKE): Change version to 1.1.50 to
distinguish from 1.1.
* configure: Regenerate.
* read.scm (-CGEN-VERSION): Update.
* doc/version.texi: Update.

(.dump): fix typo

New builtin .pmacro?.
* pmacros.scm (-pmacro-builtin-pmacro?): New function.
(pmacros-init!): Add .pmacro?.
* doc/pmacros.text: Document .pmacro?.
* testsuite/pmacros-1.test: Test .pmacro?.

* pmacros.scm (scan-list1): Reorganize tracing so that the tracing
of a pmacro begins before its arguments are evaluated, improves
readability.

Improve operand docs on `foo' vs `o-foo'.

* pmacros.scm (.sll, .srl, .sra): Fix thinko.
* testsuite/pmacros-1.test: Ditto.  Add better tests.

* doc/rtl.texi (Instructions): Improve docs of when ${...} is needed
in assembler syntax.

add some fixmes

* ifield.scm (ifld-encode-mode): Add FIXME.
* opcodes.scm (<ifield> 'gen-insert): Handle encode parameters with
modes.
(<ifield> 'gen-extract): Similarly.

* read.scm (parse-error): Handle #f for context-location.
* utils-cgen.scm (unspecified-location): Fix building of
single-location.

minor tweaks

* doc/rtl.texi: Document how to write hex and boolean values.

* gas-test.scm (<hw-asm>, test-data): Handle () values.
(<keyword>, test-data): Convert symbols to strings before passing
to string-append.
(<hw-index>, test-data): Enumerate all cases.  Emit correctly sized
result for scalars.

* operand.scm (hw-index-scalar): Set `name'.
(hw-index-anyof, hw-index-derived): Ditto.

* pmacros.scm (-pmacro-builtin-internal-test): New function.
(pmacros-init!): Add .internal-test.
* testsuite/test-utils.sh.in (post_process): Tweak FAIL output.
* testsuite/testsuite.cpu (internal-verify): New pmacro.
* doc/pmacros.text: Document .internal-test.

* utils-cgen.scm (parse-name): Handle (add 3) -> add3.
(parse-comment): Allow numbers.
* doc/porting.texi: Document that names and comments may be lists.

* insn.scm (-insn-parse): Fix typo.

Rename .eval -> .exec.  Add new .eval.
* pmacros.scm (-pmacro-built-exec): Renamed from -pmacro-builtin-eval.
(-pmacro-builtin-eval): New function.
(pmacros-init!): Add .exec.
* doc/pmacros.texi: Update, .exec -> .eval.  Document new .eval.
* testsuite/location-1.test: Update.
* testsuite/pmacros-1.test: Add test for .eval.

* doc/porting.texi: Remove support for Guile 1.4.

* read.scm (current-reader-location): Return unspecified location
if reader hasn't been initialized yet.

* dev.scm: Document tracing options.

* pmacros.scm (pmacro-dump): New function.
(check-pmacro): Tweak debugging output.
* doc/cgenint.texi: Mention pmacro-dump, pmacro-debug.
* doc/pmacros.texi (.splice): Use pmacro-dump instead of pmacro-expand.

tweak

add example usage of -t tracing option

New section for syntactic forms.

Add .let* pmacro builtin.
* pmacros.scm (-pmacro-builtin-let*): New function.
(pmacros-init!): Add .let*.
* doc/pmacros.texi: Document .let*.
* testsuite/pmacros-1.test: Test .let*.

some minor tweaks

Clean up cpu file parsing, pass context consistently instead of the
old "errtxt" argument.
NOTE: ACU == "All Callers Updated".
* attr.scm (-parse-simple-attribute): Renamed from
parse-simple-attribute, ACU.
(-attr-parse): Change errtxt argument to context, ACU.
(-attr-read): Ditto.
(atlist-parse): Ditto.  Put context arg first.
(attr-parse): Use parse-error instead of context-error.
* enum.scm (parse-enum-vals): Change errtxt argument to context, ACU.
(-enum-parse-prefix, -enum-parse, -enum-read): Ditto.
* hardware.scm (-keyword-parse): Renamed from keyword-parse.
`context' arg is now a <context> object.  ACU.
(-keyword-read): `context' arg is now a <context> object.  ACU.
(-hw-parse-indices): Change errtxt argument to context, ACU.
(-hw-parse-values, -hw-parse-handlers): Ditto.
(-hw-parse-getter, -hw-parse-setter, -hw-parse, -hw-read): Ditto.
(-hw-validate-layout, -hw-create-getter-from-layout,
-hw-create-setter-from-layout): Ditto.
(<hw-register>:parse!, <hw-pc>:parse!): Ditto.
(<hw-memory>:parse!, <hw-immediate>:parse!): Ditto.
(<hw-address>:parse!): Ditto.
* ifield.scm (-ifield-parse, ifield-read): Ditto.
(-ifld-parse-follows, -ifld-parse-encode-decode): Ditto.
(-ifld-parse-encode, -ifld-parse-decode): Ditto.
(-multi-ifield-parse, -multi-ifield-read): Ditto.
* insn.scm (-insn-parse, -insn-read): Ditto.
(parse-syntax): Ditto.  Put context arg first.
(-parse-insn-format-symbol): Change errtxt argument to context, ACU.
(-parse-insn-format-ifield-spec, -parse-insn-format-list): Ditto.
(-parse-insn-format): Ditto.
* mach.scm (-arch-parse-alignment, -arch-parse-machs): Ditto.
(-arch-parse-isas): Ditto.
(-isa-read): Add context arg, ACU.
(-cpu-parse, -cpu-read, -mach-read): Ditto.
* minsn.scm (-minsn-parse-expansion): Change errtxt argument to
context, ACU.
(-minsn-parse, -minsn-read, -minsn-compute-iflds): Ditto.
(minsn-make-alias): Ditto.
* mode.scm (-mode-parse): Ditto.
(parse-mode-name): Ditto.  Put context arg first.
* model.scm (-prefetch-parse, -retire-parse, -pipeline-parse): Change
errtxt argument to context, ACU.
(-unit-parse, -model-parse, -model-read): Ditto.
* operand.scm (-operand-parse-getter): Use parse-error instead of
context-error.
(-operand-parse-setter): Ditto.
(-operand-parse): Change errtxt argument to context, ACU.
(-operand-read, -derived-operand-parse, -derived-operand-read): Ditto.
(-anyof-operand-parse, -anyof-operand-read): Ditto.
* read.scm (reader-error): Delete.  Use parse-error instead.
(parse-error): Change errtxt argument to context, ACU.  Split args
argument into expr and maybe-help-text.
(-reader-process-expanded-1!): Reorganize.
* rtl.scm (-subr-read): Change errtxt argument to context, ACU.
* types.scm (parse-type): Ditto.
* utils-cgen.scm (single-location->simple-string): New function.
(<context>): Replace members file,lineno with location.
(make-prefix-context): Renamed from context-make-prefix, ACU.
(make-current-context): New function.
(context-append, context-append-name): New functions.
(context-make-reader): Delete.
(parse-name): Change errtxt argument to context, ACU.
Put context arg first.
(parse-comment): Ditto.
(parse-number): Change errtxt argument to context, ACU.
(arg-list-validate-name, arg-list-check-no-args,
arg-list-symbol-arg): Ditto.

* read.scm (-cmd-if): Don't assume test is a list.

* html.scm (get-insn-properties): Delete errtxt, unused.

fix typo in cload usage

* doc/rtl.texi (hardware types): Add pc.

Add -t option for tracing things like commands, pmacro expansion.
* dev.scm (cload): New arg #:trace.
* pmacros.scm (-pmacro-expand): Rewrite pmacro tracing.
(pmacro-trace): New arg `loc'.  Rewrite pmacro tracing.
(pmacro-debug): Call pmacro-trace instead of -pmacro-expand.
* read.scm (<reader>): New members trace-commands?, trace-pmacros?.
(-reader-process-expanded-1!): Trace commands if requested.
(-reader-process!): Call pmacro-trace of pmacro tracing requested.
(-set-trace-options!): New function.
(-init-reader!): New function.
(cpu-load): New arg trace-options, all callers updated.
Call -init-reader! and -set-trace-options!.
(cgen-usage): Improve output formatting.
(common-arguments): New option -t.
(-cgen): Process -t.
* utils-cgen.scm (single-location->string): Renamed from
pretty-print-single-location.  All callers updated.
(location->string): Renamed from pretty-print-location.
All callers updated.
(source-properties-location->string): New function.
* doc/running.texi: Document -t.

* read.scm (debug-env, debug-var-names, debug-var, debug-tty,
debug-tty-port, debug-repl, debug-quit, debug-repl-env): Move to ...
* utils.scm: ... here.

Track source location better, for better error messages.
* pmacros.scm (-pmacro-eval): Delete, unused.
(pmacro-expand, -pmacro-expand): New arg `loc', all callers updated.
(-pmacro-expand-expr-list, -smacro-apply): Ditto.
(scan-list, scan): Ditto.
(-pmacro-builtin-pmacro, -pmacro-builtin-let, -pmacro-builtin-if,
-pmacro-builtin-case, -pmacro-builtin-cond, -pmacro-builtin-begin,
-pmacro-builtin-andif, -pmacro-builtin-orif): Ditto.
(scan-list1): New function.
(-pmacro-build-lambda): New arg `loc', all callers updated.  Rewrite.
* read.scm (<reader>): New member `location'.
(-reader-lookup-command): Renamed from reader-lookup-command,
all callers updated.
(reader-error): Rewrite to produce better source location info.
(current-reader-location): New function.
(-reader-process-expanded-1!): Renamed from -reader-process-expanded-1.
All callers updated.  Record source location of expression.
(reader-process-expanded!): Renamed from reader-process-expanded.
All callers updated.
(-reader-process!): Renamed from reader-process.  New arg `loc'.
All callers updated.  Record source location of define-pmacro.
* utils-cgen.scm (<location>): New class.
(single-location): New (pseudo) class.
(pretty-print-single-location, pretty-print-location): New functions.
(location-top, location-push-single, location-push): New functions.
(unspecified-location, current-input-location): New functions.
(location-property): New object property.
(location-property-set!): New function.
(<source-ident>): Renamed from <ordered-ident>.  New member `location'.
All uses updated.
* testsuite/location-1.test: New testcase.
* testsuite/run-tests.sh: Fix fail count handling.
* testsuite/test-utils.sh.in (run_cgen): New option `-f'.  Allow tests
to expect cgen to fail.

* pmacros.scm (*): Use "pmacro" instead of "macro" more consistently.

* read.scm (-cmd-include): Renamed from include.  All callers updated.
(-cmd-if): Renamed from cmd-if.  All callers updated.
Use reader-process-expanded! on then/else clauses instead of eval1.