aboutsummaryrefslogtreecommitdiffstats
path: root/test
Commit message (Expand)AuthorAgeFilesLines
* Make Archi.ptr64 always computable, and reorganize files accordingly: ia32 ->...Xavier Leroy2016-10-273-10/+4
* Update the tests in test/regression, continuedXavier Leroy2016-10-242-13/+5
* Update the tests and test infrastructure in test/regressionXavier Leroy2016-10-2412-7/+132
* Turn 64-bit integer division and modulus by constants into multiply-highXavier Leroy2016-10-042-0/+2172
* Support for 64-bit architectures: generic supportXavier Leroy2016-10-011-5/+5
* Implement support for big endian arm targets.Bernhard Schommer2016-08-056-15/+15
* test/raytracer: use our own strdup(), since this is not a standard functionXavier Leroy2016-07-241-1/+9
* Updates to the local test suiteXavier Leroy2016-07-2424-187/+133
* Unwanted partial constant propagation in 64-bit integer arguments to builtinsXavier Leroy2016-07-087-0/+17
* Revised handling of old-style, K&R function definitionsXavier Leroy2016-06-243-1/+41
* Fix a bug in the pre-parser.Jacques-Henri Jourdan2016-03-231-0/+17
* Add CLZ builtins for ARM and IA32Xavier Leroy2015-12-226-4/+24
* Issue #71: incorrect initialization of wchar_t arrays from wide string literalXavier Leroy2015-11-132-0/+29
* Merge remote-tracking branch 'origin/master' into parser_fixJacques-Henri Jourdan2015-11-044-0/+9
|\
| * Merge branch 'ppc64' of ssh://github.com/AbsInt/CompCert into ppc64Xavier Leroy2015-10-112-0/+4
| |\
| | * Test __builtin_isel.Xavier Leroy2015-09-132-0/+4
* | | Better handling of old-style K&R function declarations:Jacques-Henri Jourdan2015-11-012-3/+69
* | | other, simpler fix: the lexer emits 2 tokens for each identifierJacques-Henri Jourdan2015-10-081-0/+17
|/ /
* | Fixed a few bugs in the pre parser. In particular, the following codeJacques-Henri Jourdan2015-09-303-1/+106
* | Issue with ignoring the result of non-void builtin functions.Xavier Leroy2015-09-153-3/+12
* | Use standard headers instead of defining our own ptrdiff_t and uintptr_t.Xavier Leroy2015-09-141-2/+2
* | Fix uninitialized array in do_bench (report by V. Laporte).Xavier Leroy2015-09-141-1/+1
|/
* test/regression: test packedstruct1 only if unaligned accesses are supported.Xavier Leroy2015-08-215-6/+15
* Don't use strdup(), it is not ISO C99.Xavier Leroy2015-08-211-1/+2
* More tests for alias analysis.Xavier Leroy2015-07-202-6/+30
* Test to check that alias analysis is prudently conservative on ill-defined po...Xavier Leroy2015-07-193-1/+153
* Merge branch 'master' of https://github.com/AbsInt/CompCertXavier Leroy2015-07-086-13/+52
|\
| * Turn off copy optimization when returning a composite by reference.Xavier Leroy2015-07-083-1/+40
| * Fix issue with bit fields of type _BoolXavier Leroy2015-07-083-12/+12
* | More portable test for fres and fsqrte.Xavier Leroy2015-07-083-7/+16
|/
* Merge branch 'master' of https://github.com/AbsInt/CompCertXavier Leroy2015-06-303-0/+0
|\
| * Remove stray +x.Christoph Mallon2015-06-253-0/+0
* | Signedness issue in specification of subtraction between two pointers.Xavier Leroy2015-06-303-1/+13
|/
* Extended inline asm: revised treatment of clobbered registers.Xavier Leroy2015-05-091-3/+3
* Bitfield improvements continued: perform bitfield expansion before unblocking...Xavier Leroy2015-04-281-1/+1
* Extended inline asm: handle missing cases.Xavier Leroy2015-04-282-0/+59
* Take asm clobbers into account for determining callee-save registers used.Xavier Leroy2015-04-231-3/+3
* Cleanups and updates for extended asm.Xavier Leroy2015-04-211-1/+1
* Support for GCC-style extended asm, continued:Xavier Leroy2015-04-211-0/+70
* Define M_PI if not already there (it's not in <math.h> for strict ISO C99).Xavier Leroy2015-04-171-0/+4
* Merge pull request #34 from AbsInt/extended-annotationsXavier Leroy2015-04-011-0/+36
|\
| * Updated the Caml part. Added some more tests in annot1.c.Xavier Leroy2015-03-271-0/+36
* | Support va_arg for vararg arguments of composite (struct/union) types.Xavier Leroy2015-03-202-2/+18
* | Improvements in the StructReturn transformation (ABI conformance for passing ...Xavier Leroy2015-03-202-275/+279
* | More interoperability tests.Xavier Leroy2015-01-282-9/+34
* | ABI compatibility for struct/union function arguments passed by value.Xavier Leroy2015-01-273-1/+355
|/
* Merge branch 'named-structs'Xavier Leroy2015-01-232-5/+5
|\
| * Add a type system for CompCert C and type-checking constructor functions.Xavier Leroy2014-12-312-5/+5
* | Prototype the pointer so that the program has well defined semantics and pass...Xavier Leroy2014-12-171-1/+1
* | Wrong handling of block-local function declarations (in Elab.ml).Xavier Leroy2014-11-263-1/+24
|/
generated by cgit (git 2.34.1) at 2024-06-02 19:59:07 +0000