Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Added version and compiler working directory to options dump. | Bernhard Schommer | 2016-01-27 | 1 | -0/+4 |
| | |||||
* | Added new option -doptions. | Bernhard Schommer | 2016-01-27 | 2 | -4/+58 |
| | | | | | | The new options dumps the compiler options in a json file per. This includes the clflags, compcert.ini and machine settings. Bug 17988. | ||||
* | Added printer for Configuration and finished Clflags. | Bernhard Schommer | 2016-01-25 | 5 | -135/+201 |
| | |||||
* | Started implementing a printer for Clflags. | Bernhard Schommer | 2016-01-25 | 4 | -12/+80 |
| | |||||
* | Added option to dump preprocessed source code. | Bernhard Schommer | 2016-01-22 | 2 | -4/+13 |
| | | | | The new option -dprepro allows it to keep the preprocessed source code files. | ||||
* | Added warning for strict-sequences. | Bernhard Schommer | 2016-01-21 | 1 | -1/+1 |
| | |||||
* | Include fix for wint_t gcc problem. | Bernhard Schommer | 2016-01-21 | 1 | -12/+16 |
| | | | | | | Gcc defines wint_t in the stddef header (even if it is not stanadard) and additionally defines it if stddef is reincluded. The fix now defines it before stddef is checked for reinclusion. | ||||
* | Removed the last remains of cchecklink. | Bernhard Schommer | 2016-01-21 | 1 | -2/+0 |
| | |||||
* | More unique debug types. | Bernhard Schommer | 2016-01-14 | 3 | -26/+26 |
| | | | | | | The typdef, enumerator and function_type types form the DebugTypes and DwarfTypes shared a some fields. This commits renames them in order to make them more unique and avoid potential name clashes. | ||||
* | More descriptive error message for failed command. | Bernhard Schommer | 2016-01-11 | 1 | -4/+14 |
| | | | | | | | CompCert now prints if the assembler, linker or preprocessor command failed and a hint for the user to get the full command line. Bug 17894 | ||||
* | Added configuration to enable clightgen build. | Bernhard Schommer | 2015-12-28 | 2 | -10/+14 |
| | | | | The new configuration option -clightgen activates the build of clightgen. | ||||
* | Merge branch 'master' of ↵ | Bernhard Schommer | 2015-12-28 | 1 | -2/+4 |
|\ | | | | | | | ssh://ssh.absint.com/common/repositories/git/tools/compcert | ||||
| * | add options for include paths also to the command line of the assembler, bug ↵ | Michael Schmidt | 2015-12-23 | 1 | -2/+4 |
| | | | | | | | | 17838 | ||||
* | | ARM: bug in expansion of __builtin_clzll | Xavier Leroy | 2015-12-22 | 1 | -1/+1 |
| | | | | | | | | Follow-up to commit f531d38 | ||||
* | | Add CLZ builtins for ARM and IA32 | Xavier Leroy | 2015-12-22 | 10 | -7/+68 |
| | | | | | | | | | | | | | | ARM: add __builtin_clzl, __builtin_clzll IA32: add __builtin_clzl, __builtin_clzll, __builtin_ctzl, __builtin_ctzll Add corresponding tests in tests/regression/ | ||||
* | | Upgrade for release 2.6. | Xavier Leroy | 2015-12-21 | 1 | -1/+8 |
|/ | |||||
* | The return type of __builtin_clz() et al is "int", as documented and for GCC ↵v2.6 | Xavier Leroy | 2015-12-21 | 4 | -6/+8 |
| | | | | compatibility, and not "unsigned int", as previously implemented. | ||||
* | powerpc/Asmexpand: fix expansion of __builtin_clzll | Xavier Leroy | 2015-12-20 | 1 | -2/+2 |
| | | | | The original code produces wrong results if res and al are the same register. | ||||
* | clightgen: update to recent change -fstruct-return/-fstruct-passing | Xavier Leroy | 2015-12-19 | 1 | -4/+7 |
| | |||||
* | Update VERSION for release 2.6 | Xavier Leroy | 2015-12-19 | 1 | -2/+2 |
| | |||||
* | Update Changelog for release 2.6. | Xavier Leroy | 2015-12-19 | 1 | -0/+49 |
| | |||||
* | Merge pull request #79 from AbsInt/config-option | Xavier Leroy | 2015-12-19 | 2 | -8/+31 |
|\ | | | | | Add "-conf <filename>" command-line option. Support relative paths for stdlib and tools. | ||||
| * | Removed the open Filename. | Bernhard Schommer | 2015-12-11 | 1 | -9/+8 |
| | | |||||
| * | Add a target option. | Bernhard Schommer | 2015-12-11 | 2 | -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 Schommer | 2015-12-01 | 1 | -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 Schommer | 2015-11-30 | 1 | -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 Schommer | 2015-12-18 | 1 | -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 Schommer | 2015-12-17 | 1 | -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/compcert | Bernhard Schommer | 2015-12-17 | 2 | -8/+14 |
|\ \ | |||||
| * | | bug 17752, fix semantics of builtin_set_spr64 | Michael Schmidt | 2015-12-16 | 1 | -1/+1 |
| | | | |||||
| * | | bug 17752, fix tab-indentation in assembly output | Michael Schmidt | 2015-12-15 | 1 | -1/+1 |
| | | | |||||
| * | | bug 17752, check target architecture for 64bit-builtins | Michael Schmidt | 2015-12-15 | 1 | -7/+13 |
| | | | |||||
* | | | Do not print cfi_sections for bsd. | Bernhard Schommer | 2015-12-17 | 1 | -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 Schommer | 2015-12-15 | 4 | -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 builtins | Michael Schmidt | 2015-12-15 | 1 | -1/+3 |
| | | |||||
* | | bug 17752, rename builtin64_X to __builtin_X64 | Michael Schmidt | 2015-12-15 | 2 | -8/+8 |
| | | |||||
* | | bug 17752, add builtin64_set_spr and builtin64_get_spr for PowerPC | Michael Schmidt | 2015-12-15 | 3 | -3/+24 |
| | | |||||
* | | Bug 17752, add rldicr instruction for PowerPC | Michael Schmidt | 2015-12-15 | 3 | -2/+8 |
| | | |||||
* | | bug 17752, add builtin_mr for PowerPC | Michael Schmidt | 2015-12-14 | 1 | -1/+1 |
| | | |||||
* | | bug 17752, add builtin_mr for PowerPC | Michael Schmidt | 2015-12-14 | 3 | -6/+31 |
| | | |||||
* | | bug 17752, builtin_nop for ia32 | Michael Schmidt | 2015-12-14 | 2 | -0/+6 |
| | | |||||
* | | bug 17752, add builtin_clzl and builtin_clzll for PowerPC | Michael Schmidt | 2015-12-11 | 2 | -1/+16 |
| | | |||||
* | | More gcc/newlib compatibility code. | Bernhard Schommer | 2015-12-11 | 2 | -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 PowerPC | Michael Schmidt | 2015-12-11 | 2 | -0/+0 |
| | | |||||
* | | bug 17752, add builtin_nop for PowerPC | Michael Schmidt | 2015-12-11 | 2 | -0/+6 |
| | | |||||
* | | bug 17752, add builtin_uisel as unsigned version of builtin_isel | Michael Schmidt | 2015-12-09 | 2 | -2/+5 |
| | | |||||
* | | Merge pull request #78 from AbsInt/struct-passing-2 | Bernhard Schommer | 2015-12-08 | 4 | -46/+29 |
|\ \ | | | | | | | Revise and simplify the -fstruct-return and -fstruct-passing options. | ||||
| * | | Revise and simplify the -fstruct-return and -fstruct-passing options. | Xavier Leroy | 2015-12-08 | 4 | -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 17742 | Bernhard Schommer | 2015-12-07 | 1 | -0/+1 |
| | | |||||
* | | Ignore *.cmt(i) files and allow global COMPFLAGS. | Bernhard Schommer | 2015-12-07 | 2 | -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 |