sid/sim: constify sim_machs storage

The array itself is read-only, so mark it const.

desc: include stdlib.h for free() prototype

sim-decode: include cgen-mem & cgen-ops

The bpf & cris ports use functions from both of these APIs, so include
them here for all ports just in case (and since there isn't an API for
ports to declare specific additional headers they need).

sim: rename TRACE_EXTRACT to CGEN_TRACE_EXTRACT

As was done for other touch points in the sim project, add a CGEN_
prefix to namespace it away from the common code.  The generated
files have already been updated years ago.

Update year range in emitted copyright notice

desc-cpu.scm: support passing the instruction endianness to cgen_cpu_open

2020-05-29  Jose E. Marchesi  <jemarch@gnu.org>

* desc-cpu.scm (/gen-cpu-open): Support passing the instruction
endianness to cgen_cpu_open.

Replace "if (x) free (x)" with "free (x)"

* desc-cpu.scm (@arch@_cgen_cpu_close): Free without first
checking for non-NULL.

Update to autotools used by binutils

When cgen source is installed in the top source directory of
binutils-gdb and configuring with --enable-maintainer-mode
--enable-cgen-maint=yes it is somewhat annoying to regenerate cgen
files without differences due to using different autotools.
Particularly so since the generated files in the git repository don't
all use the same autotools.

This patch fixes that by modernising the source a little and
regenerating with autoconf-2.69 and automake-1.15.1.

Note that doc/stamp-vti and doc/version.texi contain dates taken from
your checked out doc/cgen.texi file time stamp.  So in order to
regenerate these files consistently it is necessary to
  touch --date=xxx doc/cgen.texi
with the date taken from the last doc/cgen.texi commit.

* configure.ac: Renamed from configure.in.
(AC_INIT, AM_INIT_AUTOMAKE): Modernize.
(AC_CONFIG_SRCDIR): Invoke.
* INSTALL: Adjust for configure.ac renaming.
* Makefile.am (AUTOMAKE_OPTIONS): Delete cygnus and version.
Add foreign.
* testsuite/Makefile.am (AUTOMAKE_OPTIONS): Likewise.
* doc/Makefile.am (AUTOMAKE_OPTIONS): Delete cygnus, add foreign,
info-in-builddir and no-texinfo.tex.
(DISTCLEANFILES): Delete automake-1.9 hack.
* Makefile.in: Regenerate.
* aclocal.m4: Regenerate.
* configure: Regenerate.
* doc/Makefile.in: Regenerate.
* doc/stamp-vti: Regenerate.
* testsuite/Makefile.in: Regenerate.

Copyright update

gen-doc: Updates for latest cpu definitions

Doc generation was no longer working due to several issues.

 - openrisc.cpu no longer exists (its not cpu/or1k.cpu in binutils-gdb)
 - Relavive paths for archfile no longer work due to wrong cwd.
 - Many architectures have been added and removed.

I have be able to get this working and added all the architectures I
could get working with the below changes. I have posted the results
here:

  http://shorne.noip.me/downloads/gen-doc/

ChangeLog:

yyyy-mm-dd  Stafford Horne  <shorne@gmail.com>

* gen-all-doc (archs): Add new archs and update locations.
(archfile): Prepend cgendir.
(index.html gen): Change name openrisc to or1k.
* html.scm (gen-html-trailer): Change redhat.com to
sourceware.org.

cgen: Add unordered compare operation

On OpenRISC we have added FPU unordered comparison operations (NaN
detection).  This patch adds the unordered operation which will generate
c hooks to be implemented in simulators.

An unordered comparison can now be defined as:

  ; Compare unordered (set flag if either r1 or r2 is NaN)
  (set BI flag (unordered WI r1 r2))

  ; Compare unordered, greater than or equal
  (set BI flag (or (unordered WI r1 r2)
   (ge WI r1 r2)))

ChangeLog:

yyyy-mm-dd  Stafford Horne  <shorne@gmail.com>

* rtl-c.scm (unordered): New comparison operation.
* rtx-funcs.scm (unordered): New rtx node.

cgen: partial support for 64-bit wide fields in 32-bit hosts

Hi people!

This patch adds support for having 64-bit wide fields working in
32-bit hosts.  This is not a complete solution, but it is enough for
supporting:

- Defining a 64-bit h-sint in your .cpu file.
- Using that hardware to define an operand featuring as index a
  64-bit wide multi-ifield.

Note that the current CGEN support in binutils provides
cgen_{extract,insert}_normal functions that get `long' values, hence
the need for the operand to be indexed by a multi-ifield.

This is used by an eBPF binutils port which I will be upstreaming this
week.  All other CGEN-based ports currently in binutils are not
impacted by this change.

Eventually, we shall make the "portable" INT/UINT modes (and
associated hardwares s-int/s-uint) to work properly in 32-bit hosts
when holding 64-bit values.

I have a tentative large patch attempting that, including changes in
binutils's opcodes CGEN support, that I will send for comments soon,
but in the meanwhile I would really appreciate if this gets into cgen.
(Without this patch applied, the eBPF assembler doesn't work properly
in 32-bit hosts.)

Thanks!

2019-05-14  Jose E. Marchesi  <jose.marchesi@oracle.com>

* opcodes.scm (gen-ifield-default-type): Use int64_t for fields
wider than 32-bits.
(/gen-parse-number): Use u?int64_t for > 32-bit modes.
(gen-ifield-value-decl): Fix call to gen-ifield-default-type.
(<ifield>, gen-insert): Likewise.
(<ifield>, gen-extract): Likewise.
* opc-asmdis.scm (char): Likewise.

manual: remove obsolete comment about using multi-ifields in operands

This little patch removes an obsolete comment from the manual.
Multi-ifields certainly work as indexes in instruction operands.

Salud!

ChangeLog:

2019-05-14  Jose E. Marchesi  <jose.marchesi@oracle.com>

* doc/rtl.texi (Instruction operands): Remove obsolete comment
about multi-ifields.

* utils.scm: Update emitted copyright dates.

2018-11-20  Jose E. Marchesi  <jose.marchesi@oracle.com>

* doc/running.texi (Set up the arguments for cgen): Raised from a
subsection to a section.

binutils opcodes error messages

This patch is aimed at making binutils/opcodes files comply with the
GNU coding standard regarding error messages, that is, they should
start with the program name followed by a colon, then a lower case
message.  Accomplished by calling opcodes_error_handler to output the
program name (and final '\n'), rather than calling fprintf.

* desc-cpu.scm (opcodes_error_handler): Define.
(@arch@_cgen_rebuild_tables): Use opcodes_error_handler.
(@arch@_cgen_cpu_open): Likewise.
* opc-asmdis.scm (@arch@_cgen_parse_operand): Likewise.
(@arch@_cgen_print_operand): Likewise.
* opc-ibld.scm (@arch@_cgen_get_int_operand): Likewise.
(@arch@_cgen_get_vma_operand): Likewise.
(@arch@_cgen_set_int_operand): Likewise.
(@arch@_cgen_set_vma_operand): Likewise.
(@arch@_cgen_insert_operand): Likewise.
(@arch@_cgen_extract_operand): Likewise.
* utils.scm: Update emitted copyright dates.

PR 20946
* desc-cpu.scm (lookup_mach_via_bfd_name): Return NULL if the name
could not be matched.
(@arch@_cgen_cpu_open): Allow for lookup_mach_via_bfd_name returning

* utils.scm: Update emitted copyright dates.

2016-07-18  Trevor Saunders <tbsaunde@tbsaunde.org>

* desc-cpu.scm, opc-itab.sbm: Emit extern "C" { ... } wrappers to
make generated code usable by C++.

cgen: sim: Updates to sim files to match gdb types

The types like MACH and MODEL have changes to SIM_MACH and SIM_MODEL
make updates to match these changes.  This way people dont have to
manually update the generated files in GDB.

Update emitted copyright notice dates

* utils.scm: Update emitted copyright dates.

2016-04-14  Trevor Saunders  <tbsaunde@tbsaunde.org>

        * opc-itab.scm (asm_hash_insn_p): Stop using old style arguments.
        (dis_hash_insn_p): Likewise.
        (asm_hash_insn): Likewise.
        (dis_hash_insn): Likewise.
        * opc-opinst.scm (@arch@_cgen_init_opinst_table): Likewise.

Make large enum constants hex

* enum.scm (gen-enum-decl): Emit large numbers as hex.  Tidy
start-sanitize.  Upcase just the identifiers.

or1k support
        * sim-arch.scm (WI, UWI, AI, IAI): Define.
        * rtl-c.scm (mul-o1flag, mul-o2flag, rem): New.
        * rtx-funcs.scn (mul-o1flag, mul-o2flag, rem): New.

Add copyright notices

Add copyright notices

* Makefile.am: Add install-html and install-pdf.
* Makefile.in: Regenerate.

Patch for sid/cgen setter error.

http://sourceware.org/ml/cgen/2011-q3/msg00008.html

Author: John Wehle <john@cybersashi.com>

* sid.scm (/op-gen-set-trace1): Use rtl-c VOID instead of 'VOID.

Move cpu files from cgen/cpu to top level cpu directory.

* cpu/xstormy16.cpu (alignfix-mem-far): New macro.  Like
    alignfix-mem, but works with 32-bit addresses.
    (set-alignfix-mem-far): New macro.  Like set-alignfix-mem but
    works with 32-bit addresses.
    (movfgrgri, movfgrgripostinc, movfgrgripredec, movfgrgrii,
    movfgrgriipostinc, movfgrgriipredec): Use alignfix-mem-far.
    (movfgrigr, movfgripostincgr, movfgripredecgr): Use
    set-alignfix-mem-far.
    (movfgrgriipostinc, movfgriipostincgr): Propagate addition to
    source register into base register.
    (movfgrgriipredec, movfgriipredecgr): Propagate subtraction from
    source register into base register.

    * xstormy16-sem.cxx: Regenerate.

        * testutils.inc (pass): Update parameter layout for write syscall.
        (fail): Likewise.
        * movgrgrii.cgs: Fix endianness typo in assertion.
        * movgrgriipostinc.cgs: Likewise.
        * movgrgriipredec.cgs: Likewise.
        * movgrgripostinc.cgs: Likewise.
        * movgrgripredec.cgs: Likewise.
        * movgrigr.cgs: Likewise.
        * movgriipostincgr.cgs: Likewise.
        * movgripostincgr.cgs: Likewise.
        * movgripredecgr.cgs: Likewise.
        * rrcgrgr.cgs: Rotate only inserts carry flag once.
        * rrcgrimm4.cgs: Likewise.
        * movfgrgriipostinc.cgs: New test.  Checks MOVF load with post increment.
        * movfgrgriipredec.cgs: New test.  Checks MOVF load with pre decrement.
        * movfgriipostincgr.cgs: New test.  Checks MOVF store with post increment.
        * movfgriipostincgr.cgs: New test.  Checks MOVF store with pre decrement.

cgen/
* utils-cgen.scm (gen-attr-accessors): Rename bool attribute to bool_.
* cpu/mep.opc (mep_cgen_insn_supported): Ditto.
include/opcode/
* cgen.h (CGEN_ATTR, CGEN_ATTR_TYPE): Rename bool attribute to bool_.
(CGEN_ATTR_BOOLS, CGEN_ATTR_CGEN_INSN_ALIAS_VALUE): Likewise.

opcodes/
* fr30-desc.h: Regenerate.
* frv-desc.h: Regenerate.
* ip2k-desc.h: Regenerate.
* iq2000-desc.h: Regenerate.
* lm32-desc.h: Regenerate.
* m32c-desc.h: Regenerate.
* m32r-desc.h: Regenerate.
* mep-desc.h: Regenerate.
* mep-opc.c: Regenerate.
* mt-desc.h: Regenerate.
* openrisc-desc.h: Regenerate.
* xc16x-desc.h: Regenerate.
* xstormy16-desc.h: Regenerate.

* rtl-c.scm (s-float-predop): New function.
(nan, qnan, snan): Call it.

cgen/
* cpu/mep.opc (mep_examine_ivc2_insns): Delete set but unused var.
opcodes/
* mep-dis.c: Regenerate.

Fix dates :-P

[cgen]
* cpu/xstormy16.cpu (movgriipostincgr, movgriipredecgr,
movfgriipredecgr): Fix increment/decrement amount.
[sid]
* xstormy16-sem.cxx: Regenerate.

* iformat.scm (/sfmt-search-key): Use iformat key instead of list
of ifields.

update copyright year

* testsuite/location-1.test: Use %pmacros.

* desc-cpu.scm (/gen-cpu-open): Remove comment on K&R support.
* utils-cgen.scm (gen-define-with-symcat): Remove K&R support.

* utils-sim.scm (compute-sformat-argbufs!): Use more consistent name
for name of empty sbuf.

* iformat.scm (/sfmt-search-key, /ifmt-lookup-sfmt!): Add assert.

* insn.scm (<insn>): Add initial value for members fmt-desc, ifmt,
sfmt, tmp.
(/sub-insn-ifields): Delete old commented out code.
(/sub-insn-make!, /parse-insn-format-symbol): Ditto.
* operand.scm (/anyof-merge-setter, anyof-merge-semantics): Ditto.

* sim-decode.scm (/gen-decode-insn-globals): Tweak formatting of
generated code.

* gen-all: Print options.

tweak comment

add list of supported apps for application-is?

* pmacros.scm (pmacros-init!): New arg rtl-version, all callers
updated.  Use %-prefix if rtl-version >= 0.9.
* read.scm (/supported-rtl-versions): Add (0 9).
(/rtl-version-valid?): New function.
(/cmd-define-rtl-version): If new rtl version, reinvoke pmacros-init!.
(/reader-expr): New function.
(reader-process): New function.
(/reader-process-with-loc!): Renamed from /reader-process!.
Don't pre-expand `if' commands.
(/cmd-if): Simplify.  Pmacro-expand test, then, else clauses here.
Handle rtl-version-equal?, rtl-version-at-least?.
* testsuite/Makefile.am (clean-test-files): Remove *.test.cpu*.
* testsuite/Makefile.in: Regenerate.
* testsuite/pmacros-1.test: Test both . and % as prefixes.
* testsuite/testsuite.cpu (/begin, /print, /dump): New pmacros.
(newline, print-match, print-expr, print-thunk): Use them.
(internal-verify): Update definition.
* doc/rtl.texi (define-rtl-version): Document rtl version 0.9.
(Top level conditionals): New node.

tweak comment

* read.scm (rtl-version-at-least?): Fix typo.

* mach.scm: Follow commenting convention.

* read.scm: Follow commenting convention.

* pmacros.scm: Follow commenting convention.  Replace change to
$pmacro to %pmacro.  $pmacro is confusing with $ in assembler syntax.
(/pmacro-orig-prefix, /pmacro-prefix): New globals.

* co-for-gen-all: Simplify a bit.

* desc-cpu.scm (cgen-desc.h): Don't print virtual enums.
* sid-cpu.scm (cgen-desc.h): Ditto.
* enum.scm (enum-builtin!): New function.
* read.scm (reader-install-builtin!): Call it.
* rtl-c.scm (s-convop): Delete, replaced with ...
(s-int-convop, s-float-convop): ... new fns.
(ext, zext, trunc): Update.
(fext, ftrunc, float, ufloat, fix, ufix): Update.
* rtx-funcs.scm (fext, ftrunc, float, ufloat, fix, ufix): New parameter
`how'.
* cpu/mep-fmax.cpu (fcvtsw): Update.
* cpu/sh.cpu (h-fsd, h-fmov): Update.
* doc/rtl.texi (float-convop): Update.

* frv.cpu (floating-point-conversion): Update call to fp conv op.
(floating-point-dual-conversion, ne-floating-point-dual-conversion,
conditional-floating-point-conversion, ne-floating-point-conversion,
float-parallel-mul-add-double-semantics): Ditto.

* gen-all: Be more consistent with intrinsic generation.

* utils-cgen.scm (<location>): Define using new define-class.
(<ident>, <source-ident>, <context>): Ditto.

* cos.scm (/object-string): New function.
(/object-error): Use it.
(/object-count-true): New function
(object-copy-top): Delete.  All callers changed to call object-copy.
(/parse-member-list, /build-getter-defs, /build-setter-defs): New fns.
(define-class, define-interface, define-method): New macros.
(define-getters, define-setters, vmake): Moved here ...
* utils-cgen.scm: ... from here.

whitespace fixes in previous patch

* utils-cgen.scm: Follow commenting convention.

minor whitespace fix

* cos.scm: Follow commenting convention.  Why did a single ; have to
get indented like it does? :-(

gen-all: Be smarter about what diffs to generate.

gen-all: add "force" option

add usage info

* gen-all: Move build-configuration related parameters to an
external file.

* doc/rtl.texi (Expressions): Add more docs on conversion functions.

* doc/rtl.texi (Expressions): Fix docs on `subword'.

add more docs on *nan

* rtx-funcs.scm (nan,qnan,snan): New rtl functions.
* rtl-c.scm (nan,qnan,snan): New rtl functions.
* doc/rtl.texi (Expressions): Add docs for them.

* rtl-traverse.scm (/rtx-canon-anycexprmode): New function.
(/rtx-make-canon-table): Add entry for ANYCEXPRMODE.
(/rtx-canon-operands): Print expr-mode if /rtx-canon-debug?
Do final error check on mode assigned to expression.
(/rtx-make-traverser-table): Add entry for ANYCEXPRMODE.
* rtl-xform.scm (/rtx-trim-args): Handle ANYCEXPRMODE.
* rtl.scm (/rtx-valid-mode-types): Add ANYCEXPRMODE.
* rtx-funcs.scm (c-code, c-call, c-raw-call): Use ANYCEXPRMODE.
(if, cond, case): Use ANYEXPRMODE.

move Ian's entry to list, that was then ...

(.splice): Note that arguments are evaluated first.

* testsuite/pmacros-1.test: Add more .splice tests.

* read.scm (/cmd-include): Fix absolute path handling.

* mode.scm (<mode>) Rename member non-mode-c-type to c-type.
All uses updated.
(mode:non-mode-c-type): Delete.
(mode:c-type): Update.
* rtl-c.scm (s-shop): Fix casting of DI mode values.

* gen-all (all_cgen_cpus): Add sh.

* utils.scm (copyright-fsf, copyright-red-hat): Update copyright year.

* mep.opc: Apply patches from opcodes to compile with -Wshadow.
mep-asm.c now regenerates correctly again.

* gen-all: Add support for building gcc/newlib.
Specify --prefix and install all built tools.

* sim.scm (/op-gen-written-update): Disable operand number is too
large warning, for now.

Add -Wshadow to the gcc command line options used when compiling the binutils.
Fix up all warnings generated by the addition of this switch.

* gen-all: Rewrite.  Build more ports.  Split out building of sid.

tweak comment

(list-expand): Flag wip better.

* hardware.scm (hw-pc?): New function.
* ifield.scm (ifld-signed?): New function.
* iformat.scm (ifmt-analyze): Call insn-cti-attr? instead of insn-cti?.
* insn.scm (insn-cti-attr?): Renamed from insn-ctl?.
(insn-cti?): New function.
* rtl.scm (/hw): Create <pc> object for pcs.
* semantics.scm (/build-reg-operand!): New args ref-type, sem-attrs.
All callers updated.  Watch for sets to the pc.
(semantic-attrs): Watch for sets to the pc.
* sid.scm (<pc> cxmake-get): Handle raw-reg.
* sim.scm (<pc> cxmake-get): Handle raw-reg.
(<operand> cxmake-get): Add debugging printf.
* utils-gen.scm (/gen-ifld-extract-base): Emit calls to
EXTRACT_[LM]SB0_LG[SU]INT for values > 32 bits.
(/gen-extract-word): Ditto.

* utils.scm (gen-c-hex-constant): New function.
* utils-sim.scm (/gen-decode-insn-entry): Call it.

remove unnecessary comment in generated code

* insn.scm (/parse-insn-format): Watch for duplicate ifields.
* read.scm (parse-error-continuable): New function.
(define /continuable-error-found?): New variable.
(/init-reader!): Initialize it.
(/finish-reader!): New function.
(cpu-load): Call it.
* utils-cgen.scm (obj-list-nub): New function.

* mach.scm (<derived-arch-data>): New member large-insn-word?.
(/adata-set-derived!): Set it.
(adata-large-insn-word?): New function.
* sim-arch.scm (/gen-cpuall-includes): Don't #include cgen-engine.h
here.
* sim-cpu.scm (cgen-cpu.h): #include it here.
(/gen-cpu-defines): Define CGEN_INSN_WORD.
(/gen-no-scache-semantic-fn): Use CGEN_INSN_WORD instead of
CGEN_INSN_INT.
* sim-decode.scm (/gen-idesc-decls): Ditto.
(/gen-extract-case, /gen-decode-fn): Ditto.
* sim-model.scm (/gen-model-insn-fn): Ditto.
* sim.scm (gen-argbuf-type): Ditto.

* rtl-c.scm (/use-gcc-stmt-expr?): New function.
(s-sequence): Call it.

remove old FIXME

* rtl-c.scm (s-sequence): Use gcc's statement expressions for
non-VOID-mode expressions with multiple statements.

* sim.scm (/operand-number-elaboration-written?): New variable.
(/op-gen-written-update op): New function.
(/op-gen-set-trace, /op-gen-set-trace-parallel): Call it.

* read.scm (/cmd-define-rtl-version): Only log rtl version if changed.

* operand.scm (op-nub): Delete.

* dev-utils.scm: New file.
* dev.scm (srcdir, load-doc, load-opc, load-gtest, load-sid,
load-sim, load-stest, load-testsuite): Moved to dev-utils.scm.
* read.scm (CHECK-LOADED?, libcpu.so, /loaded-file-list, /loaded-file?,
/loaded-file-record!, maybe-load): Delete.
Load cgen files directly instead of via maybe-load.

* rtl-traverse.scm (/rtx-canon): Flag an error for non-void
expressions used in a void context.

* gen-all: Explicitly build binutils, gas, ld, gdb, sid.

opcodes/
* Makefile.am (stamp-xc16x): Use ../cpu/xc16x.cpu instead of
../cgen/cpu.
* Makefile.in: Regenerate.

cgen/
* cpu/xc16x.cpu: Delete, use copy in ../cpu.
* cpu/xc16x.opc: Ditto.

whitespace tweak to previous entry

* rtl-c.scm (s-parallel): Use map-in-order instead of map.
* rtl-xform.scm (/rtx-trim-for-doc): Handle set-quiet, nop,
eq, ne, lt, le, gt, ge, ltu, leu, gtu, geu, index-of.

* html.scm (gen-insn-docs): Add logging message.

* utils-cgen.scm (gen-set-macro2): New function.
* sim.scm (<hw-register> gen-get-macro): Call it.

* co-for-gen-all: New file.

* testsuite/name-comments-1.test: Update call to current-insn-lookup.

* utils.scm (reduce): Delete.

* rtl-traverse.scm (/rtx-canon-rtx-enum): Tweak local name.

* enum.scm (gen-enum-sym): Make consistent with gen-enum-decl
regarding PREFIX attribute handling.

* operand.scm (<hw-index>): Add enum to possible types, all uses
updated.
(hw-index-constant?, hw-index-constant-value): New functions.
(make-enum-hw-index, hw-index-enum-name, hw-index-enum-value,
hw-index-enum-obj): New functions.
(/operand-parse): Handle enum indices.
* intrinsics.scm (md-operand:fixed-register): Use hw-index-constant?,
hw-index-constant-value.
* rtl.scm (rtx-constant-value): Fix handling of enums.
* rtx-funcs.scm (enum): Ditto.
* sid.scm (<hardware-base> cxmake-get): Only ifield indices are
currently supported here.