aboutsummaryrefslogtreecommitdiffstats
path: root/test
Commit message (Collapse)AuthorAgeFilesLines
* Test in one file only.David Monniaux2019-03-231-0/+1467
|
* for testing with questDavid Monniaux2019-03-221-0/+24
|
* check that gcc and ccomp compiled k1c code return the sameDavid Monniaux2019-03-221-2/+6
|
* improved testingDavid Monniaux2019-03-221-5/+16
|
* some more testingDavid Monniaux2019-03-221-1/+1
|
* uses yarpgen random generatorDavid Monniaux2019-03-221-0/+37
|
* Merge branch 'mppa-mul' of ↵David Monniaux2019-03-2285-17/+259
|\ | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-mul
| * Rajout de tests test/mppa pour division/moduloCyril SIX2019-03-226-0/+34
| |
| * Merge branch 'mppa_postpass' into mppa-mulCyril SIX2019-03-2282-30/+238
| |\
| | * Reorganized the test/mppa/ tests to have fewer of themCyril SIX2019-03-2282-30/+238
| | |
* | | better patch for running the test suiteDavid Monniaux2019-03-221-0/+13
| | |
* | | Now we have division, simplify the patch.David Monniaux2019-03-221-50/+0
|/ /
* | csmith for testingDavid Monniaux2019-03-201-0/+23
| |
* | Makefile for ocamlrun testingDavid Monniaux2019-03-201-0/+7
| |
* | ocaml byterunner exampleDavid Monniaux2019-03-20119-0/+45174
| |
* | rm need for gccDavid Monniaux2019-03-202-4/+2
| |
* | use the original source codesDavid Monniaux2019-03-2030-5528/+5235
| |
* | picomus compile aussiDavid Monniaux2019-03-201-1/+1
| |
* | picosat fonctionneDavid Monniaux2019-03-202-3/+7
| |
* | vire des scories INT_DIV et INT_MODDavid Monniaux2019-03-205-6/+6
|/
* Merge branch 'mppa-madd' into mppa_postpassDavid Monniaux2019-03-202-5/+21
|\
| * maddl / maddlim are synthesized (but not for pointers it seems)David Monniaux2019-03-202-5/+21
| |
* | Merge branch 'mppa-madd' into mppa_postpassDavid Monniaux2019-03-192-0/+20
|\|
| * mul immediate beginDavid Monniaux2019-03-191-0/+4
| |
| * seems to workDavid Monniaux2019-03-191-0/+7
| |
| * test for maddDavid Monniaux2019-03-191-0/+9
| |
* | Replacing all the - by * : it works!Cyril SIX2019-03-192-185/+185
| |
* | Trying to replace all the + by -Cyril SIX2019-03-192-185/+185
| |
* | [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.
generated by cgit (git 2.34.1) at 2024-07-12 04:53:36 +0000