aboutsummaryrefslogtreecommitdiffstats
path: root/test/regression/Results
Commit message (Expand)AuthorAgeFilesLines
* Issue with packed structs and sizeof, alignof, offsetof in cparser/Xavier Leroy2018-08-172-0/+24
* Remove the `_Alignas(expr)` construct (#125)Xavier Leroy2018-06-071-9/+9
* Initialization of union bit fieldsXavier Leroy2018-04-251-0/+8
* Turn delicate case of designated re-initialization into error (#70)Xavier Leroy2018-03-301-1/+0
* Add regression test for issue #211Xavier Leroy2018-01-131-0/+1
* Extend builtin arguments with a pointer addition operator, continuedXavier Leroy2017-07-061-0/+2
* Extend builtin arguments with a pointer addition operatorXavier Leroy2017-07-061-0/+5
* RISC-V port and assorted changesXavier Leroy2017-04-281-0/+12
* Make Archi.ptr64 always computable, and reorganize files accordingly: ia32 ->...Xavier Leroy2016-10-271-0/+0
* Update the tests in test/regression, continuedXavier Leroy2016-10-241-0/+1
* Update the tests and test infrastructure in test/regressionXavier Leroy2016-10-246-0/+58
* Turn 64-bit integer division and modulus by constants into multiply-highXavier Leroy2016-10-041-0/+2160
* Unwanted partial constant propagation in 64-bit integer arguments to builtinsXavier Leroy2016-07-083-0/+4
* Revised handling of old-style, K&R function definitionsXavier Leroy2016-06-241-0/+3
* Add CLZ builtins for ARM and IA32Xavier Leroy2015-12-223-2/+10
* Issue #71: incorrect initialization of wchar_t arrays from wide string literalXavier Leroy2015-11-131-0/+3
* Merge remote-tracking branch 'origin/master' into parser_fixJacques-Henri Jourdan2015-11-042-0/+3
|\
| * Merge branch 'ppc64' of ssh://github.com/AbsInt/CompCert into ppc64Xavier Leroy2015-10-111-0/+2
| |\
| | * Test __builtin_isel.Xavier Leroy2015-09-131-0/+2
* | | Better handling of old-style K&R function declarations:Jacques-Henri Jourdan2015-11-011-0/+10
|/ /
* / Fixed a few bugs in the pre parser. In particular, the following codeJacques-Henri Jourdan2015-09-301-0/+0
|/
* More tests for alias analysis.Xavier Leroy2015-07-201-0/+1
* Test to check that alias analysis is prudently conservative on ill-defined po...Xavier Leroy2015-07-191-0/+7
* Merge branch 'master' of https://github.com/AbsInt/CompCertXavier Leroy2015-07-082-3/+3
|\
| * Turn off copy optimization when returning a composite by reference.Xavier Leroy2015-07-081-0/+0
| * Fix issue with bit fields of type _BoolXavier Leroy2015-07-081-3/+3
* | More portable test for fres and fsqrte.Xavier Leroy2015-07-081-2/+2
|/
* Signedness issue in specification of subtraction between two pointers.Xavier Leroy2015-06-301-0/+2
* Extended inline asm: handle missing cases.Xavier Leroy2015-04-281-0/+10
* Support va_arg for vararg arguments of composite (struct/union) types.Xavier Leroy2015-03-201-1/+3
* Improvements in the StructReturn transformation (ABI conformance for passing ...Xavier Leroy2015-03-201-62/+86
* More interoperability tests.Xavier Leroy2015-01-281-4/+8
* ABI compatibility for struct/union function arguments passed by value.Xavier Leroy2015-01-271-0/+62
* Merge branch 'named-structs'Xavier Leroy2015-01-231-2/+2
|\
| * Add a type system for CompCert C and type-checking constructor functions.Xavier Leroy2014-12-311-2/+2
* | Wrong handling of block-local function declarations (in Elab.ml).Xavier Leroy2014-11-261-0/+1
|/
* Rename __builtin_cntlz to __builtin_clz.xleroy2014-08-271-0/+2
* Support C99 compound literals (by expansion in Unblock pass).xleroy2014-08-211-0/+25
* checklink/Check.ml: missing SDA addressing for store instructions.xleroy2014-08-191-0/+75
* Add some tests for "switch" over 32 and 64-bit integers.xleroy2014-08-171-0/+47
* configure: distinguish between ABI and processor model.xleroy2014-07-291-1/+1
* Another corner case for string literal initializers: char * x[] = { "lit" }xleroy2014-05-181-0/+2
* Fixed regression on initializers of the form T x[N] = "literal";xleroy2014-05-081-0/+1
* Integration of Jacques-Henri Jourdan's verified parser.xleroy2014-04-291-0/+1
* C: Support array initializers that are too short + default init for remainder.xleroy2014-03-283-0/+24
* Add option -Os to optimize for code size rather than for execution speed.xleroy2014-02-191-0/+15
* Interp.ml: in the emulation of printf(), check formats against types of argum...xleroy2014-01-121-1/+1
* Updated ARM backend wrt new static analyses and optimizations.xleroy2014-01-021-3/+3
* Experimental support for <stdarg.h>, the GCC way. Works on IA32. To be test...xleroy2014-01-012-0/+12
* Hack StructReturn to better adhere to PowerPC and ARM calling conventions.xleroy2013-12-201-0/+3
generated by cgit (git 2.34.1) at 2024-06-28 21:49:12 +0000