Dave Brolley [Tue, 9 May 2006 16:17:07 +0000 (16:17 +0000)]
2006-05-09 Dave Brolley <brolley@redhat.com>
* read.scm (include): Use arch-path as file location.
(arch-path): Define it with a default setting.
(-cgen): Update arch-path when "-a" option is specified.
Dave Brolley [Fri, 29 Jul 2005 19:25:33 +0000 (19:25 +0000)]
2005-07-29 Dave Brolley <brolley@redhat.com>
* sid-cpu.scm (-gen-scache-semantic-fn): Generate a declation of 'writte
n'
if with-profile or with-parallel-write.
(cgen-semantics.cxx): Make the @prefix@ namespace available if with-para
llel.
Dave Brolley [Wed, 18 May 2005 21:52:57 +0000 (21:52 +0000)]
2005-05-18 Dave Brolley <brolley@redhat.com>
* utils-sim.scm (-gen-decode-default-entry): New function.
(-gen-decode-insn-entry): Now takes 'invalid-insn' argument. Generate
code to check that all opcodes bits match.
(-gen-decoder-switch): Use -gen-decode-default-entry.
Jim Blandy [Tue, 17 May 2005 01:47:16 +0000 (01:47 +0000)]
* sid.scm (gen-ifetch): Require BITSIZE to be exactly the size
fetched by one of our GETIMEM* methods.
* utils-gen.scm (-extract-chunk-specs): Always fetch full
base-insn-sized chunks.
Nick Clifton [Fri, 18 Mar 2005 16:12:36 +0000 (16:12 +0000)]
Change wording of error message to "percent-operand" from "%operand" as the
latter confuses xgettext into thinking that it is a C printf formating directive,
which prevents proper translation.
Dave Brolley [Wed, 16 Feb 2005 21:52:33 +0000 (21:52 +0000)]
2005-02-16 Dave Brolley <brolley@redhat.com>
* utils.scm: Update copyright years.
* utils-gen.scm (gen-ifld-extract): Pass base-length to -gen-ifld-extrac
t-base.
* sid.scm (gen-ifetch): Handle the case where bitsize == 24.
Jim Blandy [Tue, 15 Feb 2005 09:01:49 +0000 (09:01 +0000)]
Make backtraces work more reliably.
* guile.scm: Set up debugging parameters, and enable debugging and
source positions while loading.
(cgen-call-with-debugging, cgen-debugging-stack-start): New
functions.
* read.scm: Don't set debugging parameters here.
(catch-with-backtrace): Function deleted.
(-cgen): Simply note the presence or absence of the -b option.
Pass the flag to cgen-call-with-debugging, so debugging is turned
off here if the user didn't request it, for faster computation.
(cgen): Call cgen-debugging-stack-start here, instead of
catch-with-backtrace.
* Makefile.am (GUILE): Explicitly load guile.scm here, and leave a
trailing -s.
(desc, html, opcodes, sim-arch, sim-cpu, gas-test, sim-test):
Don't write out the trailing -s here.
* Makefile.in: Regenerated.
* cgen-doc.scm, cgen-gas.scm, cgen-stest.scm): Don't load
fixup.scm here; let the caller decide which Scheme's customization
file to preload.
* dev.scm: Load guile.scm, not fixup.scm.
* fixup.scm: Deleted; contents have all moved to guile.scm.
* README: Doc fix.
Jim Blandy [Wed, 9 Feb 2005 22:04:03 +0000 (22:04 +0000)]
cgen/ChangeLog:
2005-02-09 Jim Blandy <jimb@redhat.com>
* cgen-sim.scm (load-files): Don't load fixup.scm. (See
corresponding change in the sim/common directory.)
sim/common/ChangeLog:
2005-02-09 Jim Blandy <jimb@redhat.com>
* Make-common.in (CGEN): Load guile.scm, and include a trailing
'-s' argument.
(CGEN_FLAGS_TO_PASS): Include single quotes around the reference
to $(CGEN), to ensure that the command substitution happens where
the variable is referenced in the submake, not when the submake's
arguments are expanded.
(cgen.sh): Be prepared for the 'cgen' argument to contain spaces.
(arch, cpu, decode, cpu-decode, defs, desc): Place the name of the
application Scheme script directly after ${cgen}; don't precede it
with a -s.
Jim Blandy [Tue, 8 Feb 2005 04:52:23 +0000 (04:52 +0000)]
cgen/ChangeLog:
2005-02-07 Jim Blandy <jimb@redhat.com>
* cgen-opc.scm: Don't load fixup.scm here. (See corresponding
changes in the opcodes directory.)
opcodes/ChangeLog:
2005-02-07 Jim Blandy <jimb@redhat.com>
* Makefile.am (CGEN): Load guile.scm before calling the main
application script.
* Makefile.in: Regenerated.
* cgen.sh: Be prepared for the 'cgen' argument to contain spaces.
Simply pass the cgen-opc.scm path to ${cgen} as its first
argument; ${cgen} itself now contains the '-s', or whatever is
appropriate for the Scheme being used.
Jim Blandy [Mon, 7 Feb 2005 18:51:31 +0000 (18:51 +0000)]
cgen/ChangeLog:
2005-02-07 Jim Blandy <jimb@redhat.com>
* guile.scm: New file, containing Guile-specific definitions and
adaptations. This is loaded by the app-specific shell scripts.
Initially identical to fixup.scm.
* cgen-sid.scm: Don't load fixup.scm here.
sid/component/cgen-cpu/ChangeLog:
2005-02-02 Jim Blandy <jimb@redhat.com>
* CGEN.sh.in: Request on the command line that cgen/guile.scm be
loaded before cgen-sid.scm; cgen-sid.scm no longer loads fixup.scm.
Jim Blandy [Thu, 16 Dec 2004 21:24:07 +0000 (21:24 +0000)]
* utils-cgen.scm (parse-name): Don't assume that string-map can be
applied to symbols. Process everything as strings, and then
convert to a symbol at the end.
Jim Blandy [Thu, 16 Dec 2004 21:23:13 +0000 (21:23 +0000)]
* read.scm (debug-repl): Temporarily redirect input and output to
/dev/tty while we debug, so we don't interfere with whatever CGEN
is reading or writing.
* utils.scm (setter-getter-fluid-let, with-input-and-output-to):
New functions.
Dave Brolley [Thu, 29 Jan 2004 20:20:48 +0000 (20:20 +0000)]
2004-01-29 Dave Brolley <brolley@redhat.com>
* decode.scm (-opcode-slots): For short insns, generate 'opcode' with
zeroes in the extra bit positions and generate 'opcode-mask' with ones
in the extra bit positions.
Dave Brolley [Sun, 26 Oct 2003 19:40:30 +0000 (19:40 +0000)]
2003-10-26 Dave Brolley <brolley@redhat.com>
* sid-decode.scm (-gen-record-profile-args): Test trace_counter_p
and final_insn_count_p. Don't test WITH_PROFILE_MODEL_P.
(-gen-extract-fn): Call -gen-record-profile-args.
* Makefile.am (ARCHFILE): New var.
(desc): Pass $(ARCHFILE) for -a parm, not $(ARCH).
(html,opcodes,sim-arch,sim-cpu,gas-test,sim-test): Ditto.
* Makefile.in: Regenerate.
Dave Brolley [Mon, 8 Sep 2003 17:17:22 +0000 (17:17 +0000)]
2003-09-08 Dave Brolley <brolley@redhat.com>
On behalf of Doug Evans <dje@sebabeach.org>
Pass in paths to input files, instead of assuming they live in
$srcdir/cpu. Plus misc. option processing cleanup.
* cgen-doc.scm (doc-arguments): Make options strings not symbols.
Add pre-process pass to all options.
* cgen-gas.scm (gas-arguments): Ditto.
* cgen-sid.scm (sim-arguments): Ditto.
* cgen-sim.scm (sim-arguments): Ditto.
* cgen-stest.scm (stest-arguments): Ditto.
* cgen-opc.scm (opc-arguments): Ditto. New argument -OPC.
(-opc-file-path): New global.
(opc-file-path): New fn.
* opcodes.scm (read-cpu.opc): Replace srcdir,cpu args with opc-file.
All callers updated.
(gen-extra-cpu.h,gen-extra-cpu.c,gen-extra-opc.h,gen-extra-opc.c,
gen-extra-asm.c,gen-extra-dis.c,gen-extra-ibld.h,gen-extra-ibld.c):
Replace srcdir arg with opc-file. All callers updated.
* read.scm (-opt-spec-update): Delete.
(opt-get-first-pass,opt-get-second-pass): New fns.
(-cgen): Process application-specific arguments in two passes.
Doug Evans [Thu, 7 Aug 2003 15:53:58 +0000 (15:53 +0000)]
From Michael Meissner.
* opc-opinst.scm (-gen-operand-instance-table): Initialize all of
the elements for the END record of CGEN_OPINST, silencing warnings.
Add guile 1.6.4 support.
- empty list must be quoted
- string functions have stricter type checking
- eval now takes a second argument
- symbol-bound? is deprecated
* attr.scm (-attr-parse): Use stringsym-append to build errtxt.
(bitset-attr->list): Ensure arg to string-cut is a string.
(attr-parse): Ensure args to string-ref and string-drop1 are strings.
(<enum-attribute>,gen-value-for-defn): Fetch string name of self.
* cos.scm (-class-list): Must quote empty list.
(-class-parent-classes,-class-compute-class-desc): Ditto.
(class-make,make,object-reset!): Ditto.
(method-make-make!): Call eval1 instead of eval.
(method-make-forward!,method-make-virtual-forward!): Ditto.
* decode.scm (subdtable-add): Use stringsym-append instead of
string-append.
(-gen-exprtable-name): Fetch string name of exprtable-entry-insn.
(-build-decode-table-entry): Fetch string name of insn.
* desc-cpu.scm (-gen-isa-table-defns): Fetch string name of isa.
(-gen-mach-table-defns): Ditto for mach.
(gen-ifld-defns): Ditto for ifld.
(gen-hw-table-defns): Ditto for hw.
(gen-operand-table): Ditto for op.
(gen-insn-table-entry): Ditto for insn.
* desc.scm (gen-attr-table-defn): Ditto for attr.
(<keyword>,gen-defn): Don't pass symbols to string-append.
* enum.scm (parse-enum-vals): Use symbolstr-append instead of
symbol-append.
(enum-vals-upcase): Use symbol-upcase to build result.
(-enum-parse): Use stringsym-append to build errtxt.
* fixup.scm (*guile-major-version*,*guile-minor-version*): New globals.
(eval1): New function.
(symbol-bound?): Provide own version if >= guile 1.6.
* hardware.scm (define-keyword): Use string-append instead of
symbol-append.
* html.scm (gen-html-header,gen-table-of-contents,gen-arch-intro,
cgen.html,cgen-insn.html): Convert current-arch-name to a string
before using.
(gen-list-entry): Handle either symbol or string `name' arg.
(gen-obj-doc-header): Fetch string name of `o' arg.
(define-cpu-intro): Ditto for cpu.
(gen-mach-intro): Ditto for mach.
(gen-model-intro): Ditto for model.
(gen-isa-intro): Ditto for isa.
(gen-machine-doc-1): Ditto for isa.
(gen-reg-doc-1): Convert mach to string first.
(gen-insn-doc-1): Ditto. Convert model/unit names to strings first.
(gen-insn-doc-list): Fetch string name of mach. Convert insn name
to string first.
(gen-insn-categories): Fetch string name of mach. Convert
enum-val-name to string first.
(gen-insn-docs): Fetch string name of mach.
* ifield.scm (ifld-ilk): Result is a string.
* iformat.scm (-ifmt-search-key): Convert attr value to string first.
Fetch string name of ifld.
(-sfmt-search-key): Similarily for ifld and op.
* insn.scm (syntax-make): Fetch string name of syntax element.
* mach.scm (-cpu-parse): Use stringsym-append to build errtxt.
* minsn.scm (minsn-make-alias): Fetch string name of minsn.
* mode.scm (mode:c-type): Result is a string.
(mode:enum): Fetch string name of mode.
(-mode-parse): Use stringsym-append to build errtxt.
* model.scm (model:enum): Fetch string name of model.
(-model-parse): Use stringsym-append to build errtxt.
(parse-insn-timing): Must quote empty list.
* opc-itab.scm (-gen-minsn-table-entry): Fetch string name of minsn.
(-gen-minsn-opcode-entry): Ditto.
* opcodes.scm (<operand>,gen-function-name): `what' arg is a symbol,
convert to string.
(read-cpu.opc): Convert current-arch-name to a string before using.
* operand.scm (<operand>,gen-pretty-name): Ensure `name' is a string.
(<derived-operand>): Must quote empty list.
(op-sort): Simplify, call alpha-sort-obj-list to do sort.
* pgmr-tools.scm (pgmr-pretty-print-insn-value): Fetch string name
of ifld.
* pmacros.scm (-pmacro-build-lambda): Use eval1 instead of eval.
(-pmacro-sym): Must convert symbols to strings before passing to
string-append.
(-pmacro-str): Ditto.
(pmacros-init!): Use eval1 instead of eval.
* read.scm (keep-mach-atlist?): Simplify, use bitset-attr->list.
(keep-isa-atlist?): Ditto.
(cmd-if): Use eval1 instead of eval.
* rtl-c.scm (<c-expr>,get-name): Fetch string name of self.
(-rtl-c-get): Fetch string name of src.
(s-unop): Ditto for mode.
(s-binop,s-binop-with-bit,s-shop,s-convop,s-cmpop): Ditto.
(-gen-par-temp-defns,subword): Ditto.
(join): Use stringsym-append instead of string-append.
* rtl-traverse.scm (rtx-option?): Convert option to string first.
(rtx-traverse-debug): Fetch string name of rtx-obj.
* rtl.scm (def-rtx-node): Use eval1 instead of eval.
(def-rtx-syntax-node,def-rtx-operand-node,def-rtx-macro-node): Ditto.
(rtx-pretty-name): Result is a string.
(-rtx-hw-name): Use symbolstr-append instead of symbol-append.
* semantics.scm (semantic-compile): Simplify, use alpha-sort-obj-list.
* sid-cpu.scm (cgen-write.cxx): Convert current-arch-name to a string
before using.
(-gen-sfrag-case): Fetch string name of user.
* sid-model.scm (unit:enum): Fetch string name of unit.
* sid.scm (<hw-memory>,cxmake-get): Fetch string name of mode.
(<hw-memory>,gen-set-quiet): Ditto.
(gen-mode-defs): Ditto.
(sim-finish!): Convert current-arch-name to a string before using.
* sim-cpu.scm (-gen-scache-semantic-fn): Fetch string name of insn.
(-gen-no-scache-semantic-fn): Ditto.
(cgen-defs.h): Fetch string name of isa.
(cgen-read.c): Convert current-arch-name to a string before using.
(cgen-write.c): Ditto.
* sim-model.scm (unit:enum): Fetch string name of unit.
(gen-model-fn-decls): Use stringsym-append instead of string-append.
(-gen-model-timing-table): Fetch string name of model.
(-gen-mach-model-table): Ditto.
(-gen-mach-defns): Fetch string name of mach.
* sim.scm (gen-reg-access-defn): Fetch string name of hw.
(<hw-memory>,cxmake-get): Fetch string name of mode.
(<hw-memory>,gen-set-quiet): Ditto.
(gen-mode-defs): Ditto.
(sim-finish!): Must quote empty list.
* utils-cgen.scm (<ident>): Must quote empty list.
(obj:str-name): New fn.
(parse-comment): Result is a string.
(parse-symbol): Result is a symbol.
(parse-string): Result is a string.
(keyword-list?): Convert arg to string before calling string-ref.
(keyword-list->arg-list): Ditto.
(gen-attr-name): Convert attr-name to string first.
(alpha-sort-obj-list): Use symbol<? instead of string<?.
* utils-gen.scm (attr-gen-decl): Fetch string name of attr.
(gen-define-ifmt-ifields): Ditto for fld.
* utils.scm (gen-c-symbol): Ensure str is a string before calling
map-over-string.
(gen-file-name): Ditto.
(symbol-downcase,symbol-upcase,symbol<?): New fns.
(stringsym-append,symbolstr-append,->string,->symbol): New fns.
(reduce): Call eval1 instead of eval.
* cpu/m32r.cpu (addi): Don't use `#.'.
* gen-all-doc: Ensure run from cgen src dir.
* gen-all-opcodes: Build in ./tmp-opcodes. Don't delete dir when done.
* gen-all-sid: Similarily, in ./tmp-sid.
* gen-all-sim: Similarily, in ./tmp-sim.
Doug Evans [Fri, 20 Jun 2003 05:17:50 +0000 (05:17 +0000)]
* mach.scm (-ifld-already-defined?): New proc.
(current-ifld-add!): Use it.
(-op-already-defined?): New proc.
(current-op-add!): Use it.
(-insn-already-defined?): New proc.
(current-insn-add!): Use it.
(-minsn-already-defined?): New proc.
(current-minsn-add!): Use it.
(obj-isa-list): New proc.
(isa-supports?): Use it.
Doug Evans [Tue, 10 Jun 2003 21:22:04 +0000 (21:22 +0000)]
* mach.scm (current-*-add!): Disallow redefinition. Make result
"unspecified".
* insn.scm (insn-builtin!): Don't define relaxable here, now defined in
operand.scm.
* operand.scm (operand-builtin!): Define RELAXABLE for insns too.
* cpu/m32r.cpu (disp8,disp24): RELAX renamed to RELAXABLE.
* Makefile.am (MACH,ISAS,INSN_FILE_NAME): New vars.
(desc,opcodes,sim-arch,sim-cpu,gas-test,sim-test): Use MACH,ISAS.
(html): Use MACH,ISAS,INSN_FILE_NAME. Generate insn.html separately.
* Makefile.in: Regenerate.
* attr.scm (<integer-attribute>:parse-value-def): Implement.
(-attr-read): Defer computing default value until we know the type.
(attr-has-attr?): Delete, move contents to <attr-list>:has-attr?.
(<attr-list>:attr-present?): New method.
(atlist-attr-present?,obj-attr-present?): New fns.
(obj-has-attr-value?,obj-has-attr-value-no-default?): New fns.
(attr-builtin!): New insn attr IDOC.
* cgen-doc.scm (doc-arguments): New args -I,-N.
* enum.scm (parse-enum-vals): New arg errtxt, all callers updated.
Support comment as fourth element of enum value.
(enum-val-name,enum-val-value,enum-val-attrs,enum-val-comment): New fns.
* html.scm (gen-html-header): New arg kind, all callers updated.
(gen-table-of-contents): New arg insn-file, all callers updated.
(gen-list-entry,gen-doc-header): New fn.
(get-operands): Delete.
(gen-iformat-table): Rewrite.
(gen-insn-doc-1): Print constant-folded and trimmed semantics.
(gen-insn-doc-list): New args name, comment, insns. All callers updated.
(get-insn-properties,guess-insn-idoc-attr!): New fn.
(insn-sets-pc?,insn-refs-mem?,insn-uses-fpu?): New fns.
(get-insns-for-category,gen-categories-insn-lists): New fns.
(gen-insn-docs): Simplify each insn's semantics first.
Print insn tables sorted by IDOC categories.
(*insn-html-file-name*): New global.
(cgen-insn.html): New fn.
(cgen-all): Update.
* insn.scm (<insn>): Create a setter for the `tmp' member.
* semantics.scm (insn-build-known-values): Renamed from
-build-known-values. All callers updated.
* rtl.scm: Move traveral/evaluation support to ...
* rtl-traverse.scm: New file.
* read.scm: Maybe-load rtl-traverse.scm.
* rtl.scm (-rtx-valid-types): Add SETRTX.
* rtx-funcs.scm (nop,parallel): Fix mode.
* utils.scm (eqv-lookup-index): New fn.
(assq-lookup-index): Renamed from lookup-index. All callers updated.
Dave Brolley [Tue, 10 Jun 2003 18:26:02 +0000 (18:26 +0000)]
2003-06-10 Dave Brolley <brolley@redhat.com>
* sid-cpu.scm: Generate #include of config.h into @prefix@-sem.cxx.
* sid-decode.scm: Generate #include of config.h into
@prefix@-decode.cxx.
* sid-model.scm: Generate #include of config.h into @prefix@-model.cxx.
Joern Rennecke [Wed, 21 May 2003 14:10:46 +0000 (14:10 +0000)]
* cpu/sh.cpu: Amend comments to refer to SuperH.
* cpu/sh64-compact.cpu: Change comment to refer to SuperH.
* cpu/sh64-media.cpu: Likewise.
(Saturation): Update manual reference.
Doug Evans [Thu, 15 May 2003 07:25:03 +0000 (07:25 +0000)]
* Makefile.am (srcroot): New var.
(html): New rule.
* Makefile.in: Regenerate.
* cgen-doc.scm: New file.
* html.scm: New file.
* gen-all-doc: New file.
* dev.scm (cload): Handle DOC application.
(load-doc): New fn.
* machs.scm (machs-for-cpu): New fn.
* model.scm (models-for-cpu): New fn.
* utils.scm (gen-c-copyright): Renamed from gen-copyright.
All uses updated.
(iota): Rewrite to be identical to pmacro version. All uses updated.
* utils-cgen.scm (alpha-sort-obj-list): New fn.