aboutsummaryrefslogtreecommitdiffstats
path: root/test
Commit message (Expand)AuthorAgeFilesLines
* 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
|/
* Use gettimeofday() instead of obsolete ftime().Xavier Leroy2014-11-242-11/+19
* Add .gitignore files.Xavier Leroy2014-09-214-0/+18
* Rename __builtin_cntlz to __builtin_clz.xleroy2014-08-274-2/+6
* Support C99 compound literals (by expansion in Unblock pass).xleroy2014-08-213-1/+172
* checklink/Check.ml: missing SDA addressing for store instructions.xleroy2014-08-193-1/+151
* Add some tests for "switch" over 32 and 64-bit integers.xleroy2014-08-173-1/+109
* configure: distinguish between ABI and processor model.xleroy2014-07-292-2/+2
* PowerPC port: refactored the expansion of built-in functions andxleroy2014-07-286-5/+60
* Merge of "newspilling" branch:xleroy2014-07-233-25/+48
* Empty declarationsjjourdan2014-05-232-1/+4
* Another corner case for string literal initializers: char * x[] = { "lit" }xleroy2014-05-182-0/+12
* Fixed regression on initializers of the form T x[N] = "literal";xleroy2014-05-082-0/+8
* - Added alternate keywords __inline, __restrict, etc, for GCC compatibilityxleroy2014-05-081-2/+0
* Fused multiply-add for IA32.xleroy2014-05-051-0/+8
* Integration of Jacques-Henri Jourdan's verified parser.xleroy2014-04-297-8/+11
* Merge of branch linear-typing:xleroy2014-04-062-1/+34
* C: Support array initializers that are too short + default init for remainder.xleroy2014-03-287-3/+197
* Add option -Os to optimize for code size rather than for execution speed.xleroy2014-02-193-1/+36
generated by cgit (git 2.34.1) at 2024-06-02 17:55:23 +0000