aboutsummaryrefslogtreecommitdiffstats
path: root/test
Commit message (Collapse)AuthorAgeFilesLines
* [TEST BROKEN] Trying to replace some int by float in stackhell interop testCyril SIX2019-03-193-68/+69
|
* Small improvements to interop test MakefileCyril SIX2019-03-192-4/+33
|
* andn / orn long complete I thinkDavid Monniaux2019-03-181-0/+16
|
* stats on chunks etc.David Monniaux2019-03-171-3/+5
|
* isolate the slow partDavid Monniaux2019-03-172-3/+4
|
* experiments on what's slowDavid Monniaux2019-03-171-136/+12
|
* longer testsDavid Monniaux2019-03-171-1/+5
|
* compactify unrolled codeDavid Monniaux2019-03-171-143/+26
|
* expand hDavid Monniaux2019-03-171-17/+33
|
* expand hDavid Monniaux2019-03-171-17/+33
|
* the inliner is rottenDavid Monniaux2019-03-161-26/+44
|
* long nand, nor, nxorDavid Monniaux2019-03-161-5/+7
|
* nxorDavid Monniaux2019-03-161-1/+5
|
* nor implementeDavid Monniaux2019-03-161-1/+5
|
* nand is implementedDavid Monniaux2019-03-161-0/+11
|
* some more nandDavid Monniaux2019-03-161-0/+3
|
* 32-bit rotate finishedDavid Monniaux2019-03-161-0/+10
|
* le Makefile passeDavid Monniaux2019-03-141-2/+11
|
* test for memcpy builtinDavid Monniaux2019-03-131-0/+15
|
* with timingDavid Monniaux2019-03-132-2/+7
|
* Merge branch 'master' into mppa_postpassCyril SIX2019-03-134-1/+180
|\ | | | | | | | | | | Conflicts: .gitignore runtime/include/stdbool.h
| * Revised attachment of name attributes to structs, unions, enumsXavier Leroy2019-02-252-0/+8
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Consider: ``` struct s { ... } __attribute((aligned(N))); struct t { ... } __attribute((aligned(N))) struct t x; ``` In the first case, the aligned attribute should be attached to struct s, so that further references to struct s are aligned. In the second case, the aligned attribute should be attached to the variable x, because if we attach it to struct t, it will be ignored and cause a warning. This commit changes the attachment rule so that it treats both cases right. Extend regression test for "aligned" attribute accordingly, by testing aligned attribute applied to a name of struct type.
| * Add regression test for "aligned" attributeXavier Leroy2019-02-253-1/+120
| | | | | | | | Expected results were obtained with GCC 5.4 and Clang 8.0
| * Test for NULL in variable argument listsXavier Leroy2019-02-042-1/+53
| | | | | | | | | | Sometimes a vararg function receives a NULL-terminated list of pointers. This can fail if sizeof(NULL) < sizeof(void *), as this test illustrates.
* | -fpostpass-ilpDavid Monniaux2019-03-122-9/+2
| |
* | better tracing for ILP + make cleanDavid Monniaux2019-03-121-0/+5
| |
* | forgot a free()David Monniaux2019-03-121-0/+1
| |
* | simpler MakefilesDavid Monniaux2019-03-121-0/+12
| |
* | et hop un Makefile pour les matrices complexesDavid Monniaux2019-03-122-0/+12
| |
* | some more optimized complex matrixDavid Monniaux2019-03-121-12/+9
| |
* | easier for clocking directly from ccomp filesDavid Monniaux2019-03-122-0/+5
| |
* | some more work on complex matricesDavid Monniaux2019-03-121-8/+195
| |
* | some more about complex numbersDavid Monniaux2019-03-111-8/+49
| |
* | wrong directory, fixedDavid Monniaux2019-03-111-0/+0
| |
* | et hop un MakefileDavid Monniaux2019-03-111-0/+9
| |
* | complex numbers attemptDavid Monniaux2019-03-101-0/+22
| |
* | test code for jump tablesDavid Monniaux2019-03-101-0/+34
| |
* | varargsDavid Monniaux2019-03-101-18/+0
| |
* | forgot the MakefileDavid Monniaux2019-03-101-0/+18
| |
* | test for volatilesDavid Monniaux2019-03-101-0/+33
| |
* | volatile storesDavid Monniaux2019-03-102-2/+2
| |
* | demo for volatileDavid Monniaux2019-03-092-9/+28
| |
* | program for testing volatilesDavid Monniaux2019-03-091-0/+32
| |
* | store the assembly source code as wellDavid Monniaux2019-03-091-5/+8
| |
* | code qui planteDavid Monniaux2019-03-083-0/+33
| |
* | Modified test/c/Makefile for CompCert tests (remove all the float tests with ↵Cyril SIX2019-03-082-5/+6
| | | | | | | | division)
* | un example avec varargs flottantsDavid Monniaux2019-03-081-0/+34
| |
* | disable useless warningsDavid Monniaux2019-03-084-4/+4
| |
* | stop warning about system includesDavid Monniaux2019-03-073-3/+3
| |
* | forgot the .hDavid Monniaux2019-03-071-0/+4
| |