aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* The return type of __builtin_clz() et al is "int", as documented and for GCC ↵v2.6Xavier Leroy2015-12-214-6/+8
| | | | compatibility, and not "unsigned int", as previously implemented.
* powerpc/Asmexpand: fix expansion of __builtin_clzllXavier Leroy2015-12-201-2/+2
| | | | The original code produces wrong results if res and al are the same register.
* clightgen: update to recent change -fstruct-return/-fstruct-passingXavier Leroy2015-12-191-4/+7
|
* Update VERSION for release 2.6Xavier Leroy2015-12-191-2/+2
|
* Update Changelog for release 2.6.Xavier Leroy2015-12-191-0/+49
|
* Merge pull request #79 from AbsInt/config-optionXavier Leroy2015-12-192-8/+31
|\ | | | | Add "-conf <filename>" command-line option. Support relative paths for stdlib and tools.
| * Removed the open Filename.Bernhard Schommer2015-12-111-9/+8
| |
| * Add a target option.Bernhard Schommer2015-12-112-3/+7
| | | | | | | | | | | | This option allows it to specify a .ini file that is in the usual search path. Bug 17431
| * Allow relative paths for the tools.Bernhard Schommer2015-12-011-10/+21
| | | | | | | | | | | | | | | | The tools now can be specified by 3 ways: -Relative to the compcert.ini file -With absolute path to the location -As a simple filename which lies on the PATH variable. Bug 17431
| * Allow relative library path.Bernhard Schommer2015-11-301-2/+11
| | | | | | | | | | | | The path to the libcompert folder can be specified relative to the location of the compcert.ini file. Bug 17431
* | Libcompcert should be compiled in thumb mode for armv7m.Bernhard Schommer2015-12-181-2/+2
| | | | | | | | | | | | Libcompcert was defined in thumb mode for armv7r but it should be compild in thumb mode for armv7m. Bug 17808.
* | Enum is compatible to its integer type.Bernhard Schommer2015-12-171-0/+3
| | | | | | | | | | | | The C standard specifies that an enum type should be compatible to some integer type (ISO/IEC 9899:TC3 §6.7.2.2p4). Fix 16692
* | Merge branch 'master' of file:///common/repositories/git/tools/compcertBernhard Schommer2015-12-172-8/+14
|\ \
| * | bug 17752, fix semantics of builtin_set_spr64Michael Schmidt2015-12-161-1/+1
| | |
| * | bug 17752, fix tab-indentation in assembly outputMichael Schmidt2015-12-151-1/+1
| | |
| * | bug 17752, check target architecture for 64bit-builtinsMichael Schmidt2015-12-151-7/+13
| | |
* | | Do not print cfi_sections for bsd.Bernhard Schommer2015-12-171-1/+1
|/ / | | | | | | | | The binutils in bsd seem to support cfi directives but not the cfi_sections directive.
* | Print cfi_sections only if cfi is supported.Bernhard Schommer2015-12-154-5/+11
| | | | | | | | | | | | On older version of the binutils the cfi directives are not always supported so we only print cfi_sections if the corresponding .ini setting is set to true.
* | bug 17752, add constant propagation for builtinsMichael Schmidt2015-12-151-1/+3
| |
* | bug 17752, rename builtin64_X to __builtin_X64Michael Schmidt2015-12-152-8/+8
| |
* | bug 17752, add builtin64_set_spr and builtin64_get_spr for PowerPCMichael Schmidt2015-12-153-3/+24
| |
* | Bug 17752, add rldicr instruction for PowerPCMichael Schmidt2015-12-153-2/+8
| |
* | bug 17752, add builtin_mr for PowerPCMichael Schmidt2015-12-141-1/+1
| |
* | bug 17752, add builtin_mr for PowerPCMichael Schmidt2015-12-143-6/+31
| |
* | bug 17752, builtin_nop for ia32Michael Schmidt2015-12-142-0/+6
| |
* | bug 17752, add builtin_clzl and builtin_clzll for PowerPCMichael Schmidt2015-12-112-1/+16
| |
* | More gcc/newlib compatibility code.Bernhard Schommer2015-12-112-3/+21
| | | | | | | | | | | | | | | | | | | | Some newlib headers use the __extension__ keyword which suppresses warnings for gcc extensions in strict mode. CompCert now ignores this keyword for the gnu backends. Also it seems that stddef of the gcc defines wint_t even though it should not. However some libs rely on this. So wint_t is now defined in CompCert's stddef header. Bug 17613.
* | bug 17752, add builtin_nop for PowerPCMichael Schmidt2015-12-112-0/+0
| |
* | bug 17752, add builtin_nop for PowerPCMichael Schmidt2015-12-112-0/+6
| |
* | bug 17752, add builtin_uisel as unsigned version of builtin_iselMichael Schmidt2015-12-092-2/+5
| |
* | Merge pull request #78 from AbsInt/struct-passing-2Bernhard Schommer2015-12-084-46/+29
|\ \ | | | | | | Revise and simplify the -fstruct-return and -fstruct-passing options.
| * | Revise and simplify the -fstruct-return and -fstruct-passing options.Xavier Leroy2015-12-084-46/+29
|/ / | | | | | | | | | | - Rename '-fstruct-return' into '-fstruct-passing', because this emulation affects both function result passing and function argument passing. Keep '-fstruct-return' as a deprecated synonymous for '-fstruct-passing' - Remove the ability to change the ABI for struct passing via the '-fstruct-passing=<abi>' and '-fstruct-return=<abi>' command-line flags. This was more confusing than useful. - Produce an error if a struct/union is passed as function argument and '-fstruct-passing' is not set. This used to be supported, using CompCert's default ABI for passing struct arguments. However, this default ABI does not match any of the standard ABIs of our target platforms, so it is better to reject than to silently produce ABI-incompatible code.
* | Ignore .merlin files. Bug 17742Bernhard Schommer2015-12-071-0/+1
| |
* | Ignore *.cmt(i) files and allow global COMPFLAGS.Bernhard Schommer2015-12-072-4/+4
| | | | | | | | | | | | | | Instead of using = to set the COMPFLAGS use += which allows it to specify custom compiler flags in for example the Makefile.config. Also remove *.cmt(i) files and add them to the .gitignore file. Bug 17742
* | Sort strings in the debug_str section.Bernhard Schommer2015-12-041-0/+1
| | | | | | | | | | | | In order to get deterministic output code we need to sort the strings in the debug_str section by their label. Fix 17727.
* | Fixed regression introduce by merge of PR#69.Bernhard Schommer2015-12-035-4/+17
| | | | | | | | | | | | | | Since the identifier of a function definition and of its declaration are equal we only should remove functions if the function iteself is removed. Bug 17724.
* | Open files in binary mode.Bernhard Schommer2015-11-302-3/+2
|/ | | | | | On windows opening files in text mode can result in errors due to non-windows compatible input. Thus open files only in binary mode. Bug 17664
* New option --conf.Bernhard Schommer2015-11-262-18/+31
| | | | | The option --conf allows it to overwrite the compcert.ini file. Bug 17431.
* Merge pull request #76 from fpottier/cutBernhard Schommer2015-11-242-2/+3
|\ | | | | A fix in the column numbers. A change in one error message.
| * For uniformity with other messages, added an "Ill-formed expression.".François Pottier2015-11-241-0/+1
| |
| * Use 1-based column numbers instead of 0-based.François Pottier2015-11-241-2/+2
| | | | | | | | This seems to agree with clang and with the emacs C mode.
* | Merge branch 'master' of github.com:AbsInt/CompCertBernhard Schommer2015-11-242-630/+616
|\ \
| * | Merge pull request #74 from fpottier/cutBernhard Schommer2015-11-242-630/+616
| |\| | | | | | | Fix a typo in a syntax error message.
| | * Update of the auto-generated comments.François Pottier2015-11-241-610/+611
| | |
| | * A simplification in the grammar, leading to fewer states in the automatonFrançois Pottier2015-11-242-19/+4
| | | | | | | | | | | | and merging two error states into one. There should be no observable change.
| | * Fix a typo in a syntax error message.François Pottier2015-11-231-1/+1
| |/
* / Separate assembler options for the diab backend.Bernhard Schommer2015-11-201-1/+4
|/ | | | | | The diab backend calls the assembler directly and does not call the compiler like for the gcc based backends. Fix 17668.
* Added the compilation unit in the json export. Bug 17659.Bernhard Schommer2015-11-191-4/+4
|
* Added now option to control debug output.Bernhard Schommer2015-11-163-20/+30
| | | | | | | | | | | The new option gdepth subumes the gonly-globals. The option allows it to control the level of information that is produced. This option allows it to generate debugging inforation for: -Only globals -Global and local variables but without location information for the local variable -Full information Bug 17638.
* Tentative fix for issue #70 (menhirLib recompilation problems)Xavier Leroy2015-11-131-2/+2
| | | | Don't pass $(MENHIR_INCLUDES) to ocamldep.
generated by cgit (git 2.34.1) at 2024-06-11 18:45:24 +0000