aboutsummaryrefslogtreecommitdiffstats
path: root/test/regression/Makefile
Commit message (Expand)AuthorAgeFilesLines
* Merge pull request #459 from AbsInt/full-switchXavier Leroy2022-11-091-1/+1
|\
| * Handle unstructured 'switch' statements such as Duff's deviceXavier Leroy2022-10-291-1/+1
* | Add test for nested conditional, &&, || expressionsXavier Leroy2022-10-011-1/+1
|/
* Temporary: don't run the regression/stringlit and regression/charlit testsXavier Leroy2022-09-191-1/+3
* Support C11 Unicode string literals and character constants (#452)Xavier Leroy2022-09-191-1/+1
* Some tests for _GenericXavier Leroy2022-05-131-1/+1
* Native support for bit fields (#400)Xavier Leroy2021-08-221-1/+1
* Elab bitfields: check size of type <=32bit rather than checking rank (#387)Amos Robinson2021-04-191-1/+1
* Remove regression/interop1 testXavier Leroy2021-01-181-8/+1
* Refactor regression testing of built-in functionsXavier Leroy2020-07-271-1/+1
* Test for the compilation of floating-point literalsXavier Leroy2019-08-081-1/+1
* If-conversion optimizationXavier Leroy2019-06-061-1/+1
* Add regression test for "aligned" attributeXavier Leroy2019-02-251-1/+1
* Test for NULL in variable argument listsXavier Leroy2019-02-041-1/+1
* Improve execution of regression testsXavier Leroy2018-08-241-13/+4
* Harden the extasm.c test, continuedXavier Leroy2018-08-201-1/+1
* Harden the extasm.c testXavier Leroy2018-08-201-1/+3
* Add regression test for issue #211Xavier Leroy2018-01-131-1/+2
* Typo in Makefile: "ia32" is now "x86"Xavier Leroy2017-09-191-1/+1
* test/*/Makefile: suppress dependencies on ../../ccompXavier Leroy2017-09-111-4/+4
* For running tests with the interpreter, use the correct -stdlib optionXavier Leroy2017-08-281-3/+2
* test/: add a CCOMPOPTS make variable to pass additional compile-time flagsXavier Leroy2017-08-261-1/+1
* Extend builtin arguments with a pointer addition operatorXavier Leroy2017-07-061-1/+1
* RISC-V port and assorted changesXavier Leroy2017-04-281-3/+3
* Update the tests in test/regression, continuedXavier Leroy2016-10-241-13/+4
* Updates to the local test suiteXavier Leroy2016-07-241-10/+0
* Revised handling of old-style, K&R function definitionsXavier Leroy2016-06-241-1/+1
* Fixed a few bugs in the pre parser. In particular, the following codeJacques-Henri Jourdan2015-09-301-1/+2
* test/regression: test packedstruct1 only if unaligned accesses are supported.Xavier Leroy2015-08-211-2/+11
* Test to check that alias analysis is prudently conservative on ill-defined po...Xavier Leroy2015-07-191-1/+1
* Turn off copy optimization when returning a composite by reference.Xavier Leroy2015-07-081-1/+1
* Signedness issue in specification of subtraction between two pointers.Xavier Leroy2015-06-301-1/+1
* Bitfield improvements continued: perform bitfield expansion before unblocking...Xavier Leroy2015-04-281-1/+1
* Cleanups and updates for extended asm.Xavier Leroy2015-04-211-1/+1
* ABI compatibility for struct/union function arguments passed by value.Xavier Leroy2015-01-271-1/+8
* Wrong handling of block-local function declarations (in Elab.ml).Xavier Leroy2014-11-261-1/+2
* Support C99 compound literals (by expansion in Unblock pass).xleroy2014-08-211-1/+1
* checklink/Check.ml: missing SDA addressing for store instructions.xleroy2014-08-191-1/+1
* Add some tests for "switch" over 32 and 64-bit integers.xleroy2014-08-171-1/+1
* PowerPC port: refactored the expansion of built-in functions andxleroy2014-07-281-1/+12
* Empty declarationsjjourdan2014-05-231-1/+1
* Merge of branch linear-typing:xleroy2014-04-061-1/+2
* C: Support array initializers that are too short + default init for remainder.xleroy2014-03-281-3/+4
* Add option -Os to optimize for code size rather than for execution speed.xleroy2014-02-191-1/+1
* Experimental support for <stdarg.h>, the GCC way. Works on IA32. To be test...xleroy2014-01-011-2/+3
* Revised treatment of _Alignas, for better compatibility with GCC and Clang, a...xleroy2013-11-061-1/+1
* Add test for NaNsxleroy2013-08-021-4/+20
* Missing case: initialization of a global variable of type _Bool.xleroy2013-05-081-1/+1
* Revised semantics and compilation of 2-argument C operators to better match xleroy2013-05-061-1/+1
* Add __builtin_bswap16 and __builtin_bswap32 to all ports.xleroy2013-04-201-1/+1