Virgile Prevosto authored 2 years ago and Andre Maroneze committed 1 year ago

- fix various typos and inconsistencies
- add an option in make_machdep.py to validate an existing yaml file,
  and use it to validate manually written machdeps
- add macro with the name of the machdep (used in tests/syntax/assembly_gmp.c)
- add option to Frama-C to print the content of __fc_machdep.h on stdout
  and use that to compile our libc with gcc outside of Frama-C
  (as in tests/libc/runtime.c)

Virgile Prevosto authored 2 years ago and Andre Maroneze committed 1 year ago

- remove ill-placed macro in stdio.h
- better error msg for custom yaml parsing

Virgile Prevosto authored 2 years ago and Andre Maroneze committed 1 year ago

some POSIX macros will get standard values by default and can
be customized at runtime by user, though

Virgile Prevosto authored 2 years ago and Andre Maroneze committed 1 year ago

Now, only msvc_x86_64 and gcc_x86_16 need to be edited by hand when schema changes

Virgile Prevosto authored 2 years ago and Andre Maroneze committed 1 year ago

but keep it around a little bit until generation mechanism is completed

Virgile Prevosto authored 2 years ago and Andre Maroneze committed 1 year ago

Also allows script to update an existing machdep, by reusing its arch flags

Virgile Prevosto authored 2 years ago and Andre Maroneze committed 1 year ago

- ppc_32 was originally configured for a Mac; using
`powerpc-apple-darwin` triple in clang mimicks that better than
a generic `powerpc` (mostly, some alignment changes, and char gets signed)
- x86_16 cannot be created with standard gcc/clang (they do not support
16 bit, `-m16` doesn't do much in fact). avr_16 seems more standard for
these compiler. x86_16 could be recreated with more exotic compilers.

Virgile Prevosto authored 2 years ago and Andre Maroneze committed 1 year ago

Workaround odd gcc behavior in which `'` gets escaped as `\'` in diagnostic