aboutsummaryrefslogtreecommitdiffstats
path: root/test/regression/Results
Commit message (Expand)AuthorAgeFilesLines
* Merge branch 'master' of https://github.com/AbsInt/CompCert into towards_3.10David Monniaux2021-09-242-14/+18
|\
| * Native support for bit fields (#400)Xavier Leroy2021-08-222-14/+18
| * Elab bitfields: check size of type <=32bit rather than checking rank (#387)Amos Robinson2021-04-191-0/+1
* | test for many parametersDavid Monniaux2021-09-171-0/+1
* | [BROKEN] Merge with v3.9 : something broken for __builtin_expect in cfrontend...Cyril SIX2021-06-011-0/+1
* | Updating varargs2 results for kvxCyril SIX2021-06-011-0/+1
* | Merge branch 'master' into merge_master_8.13.1Sylvain Boulmé2021-03-232-98/+1
|\|
| * Remove regression/interop1 testXavier Leroy2021-01-181-98/+0
| * RISC-V: fix FP calling conventionsXavier Leroy2021-01-141-1/+1
| * RISC-V: wrong fixup code generated for vararg calls with fixed FP argsXavier Leroy2021-01-101-0/+1
* | Fixing test/regression for KVXv3.8_kvxCyril SIX2020-12-071-0/+391
* | Merge branch 'master' (Absint 3.8) into kvx-work-merge3.8David Monniaux2020-11-186-40/+393
|\|
| * Add test for __builtin_sqrt and __builtin_fabsfXavier Leroy2020-07-271-0/+3
| * Refactor regression testing of built-in functionsXavier Leroy2020-07-276-40/+390
* | rename result fileDavid Monniaux2020-05-291-0/+0
* | Merge remote-tracking branch 'origin/master' into attempt-fix-mppa-workCyril SIX2020-04-011-38/+836
|\|
| * Add a test for int64 -> float32 conversionXavier Leroy2020-03-301-38/+836
* | Merge branch 'mppa-cse2' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...David Monniaux2020-03-031-0/+11
|\ \ | |/ |/|
| * [regression to check!] Merge tag 'v3.6' into mppa-workCyril SIX2019-10-162-0/+17
| |\
| * | varargs2 now work correctlyCyril SIX2019-09-251-0/+11
| * | If-conversion optimizationXavier Leroy2019-05-311-0/+26
* | | Add interoperability test for functions returning small integer typesXavier Leroy2020-02-211-0/+8
| |/ |/|
* | Test for the compilation of floating-point literalsXavier Leroy2019-08-081-0/+2
* | AArch64 portXavier Leroy2019-08-081-0/+15
* | If-conversion optimizationXavier Leroy2019-06-061-0/+26
|/
* Revised attachment of name attributes to structs, unions, enumsXavier Leroy2019-02-251-0/+1
* Add regression test for "aligned" attributeXavier Leroy2019-02-251-0/+11
* Attach _Alignas to names and refactor _Alignas checks (#133)Bernhard Schommer2018-09-101-0/+1
* 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
generated by cgit (git 2.34.1) at 2024-05-20 07:52:01 +0000