Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | moved to subdirectory | David Monniaux | 2019-01-18 | 4 | -1/+1 |
| | |||||
* | some unrolling | David Monniaux | 2019-01-18 | 4 | -3/+47 |
| | |||||
* | Merge branch 'mppa_postpass' of ↵ | David Monniaux | 2019-01-18 | 1 | -1/+1 |
|\ | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa_postpass | ||||
| * | Merge branch 'mppa_postpass' of ↵ | Sylvain Boulmé | 2019-01-18 | 1 | -2/+5 |
| |\ | | | | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa_postpass | ||||
| * | | configure: improve preprocessor options | Sylvain Boulmé | 2019-01-18 | 1 | -1/+1 |
| | | | |||||
* | | | fix free() bug | David Monniaux | 2019-01-18 | 1 | -0/+2 |
| | | | |||||
* | | | fourth version | David Monniaux | 2019-01-18 | 3 | -2/+38 |
| |/ |/| | |||||
* | | some better experiments... | David Monniaux | 2019-01-18 | 1 | -2/+5 |
|/ | |||||
* | clearer filenames | David Monniaux | 2019-01-18 | 1 | -13/+24 |
| | |||||
* | Merge branch 'mppa_postpass' of ↵ | Cyril SIX | 2019-01-18 | 1 | -1/+1 |
|\ | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa_postpass | ||||
| * | fix oubli dans configure | Sylvain Boulmé | 2019-01-18 | 1 | -1/+1 |
| | | |||||
* | | Minor bug in encode_imm | Cyril SIX | 2019-01-18 | 1 | -2/+2 |
|/ | |||||
* | bugfix | David Monniaux | 2019-01-17 | 1 | -1/+1 |
| | |||||
* | various matrix multiplication procedures | David Monniaux | 2019-01-17 | 3 | -4/+38 |
| | |||||
* | show cycle counts | David Monniaux | 2019-01-17 | 1 | -2/+44 |
| | |||||
* | so that we can compare gcc and ccomp .s | David Monniaux | 2019-01-17 | 1 | -3/+6 |
| | |||||
* | Merge branch 'mppa_postpass' of ↵ | David Monniaux | 2019-01-17 | 2 | -2/+3 |
|\ | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa_postpass | ||||
| * | Minor bug fixes | Cyril SIX | 2019-01-17 | 1 | -2/+2 |
| | | |||||
| * | Ommited a ;; in va_arg_start macro | Cyril SIX | 2019-01-17 | 1 | -0/+1 |
| | | |||||
* | | for testing postpass | David Monniaux | 2019-01-17 | 4 | -35/+64 |
| | | |||||
* | | test (does not compile yet) | David Monniaux | 2019-01-17 | 2 | -0/+115 |
|/ | |||||
* | Corrected a bug in Pallocframe expansion with va_args | Cyril SIX | 2019-01-17 | 2 | -3/+7 |
| | |||||
* | Merge corrections | Cyril SIX | 2019-01-17 | 2 | -74/+75 |
| | |||||
* | Fixed the forvar test | Cyril SIX | 2019-01-17 | 2 | -3/+13 |
| | |||||
* | Merge branch 'mppa_k1c' into mppa_postpass | Cyril SIX | 2019-01-17 | 14 | -168/+312 |
|\ | |||||
| * | Added the use of two va_list in a va_arg test | Cyril SIX | 2018-12-11 | 1 | -3/+9 |
| | | |||||
| * | In va_arg tests, 2nd argument of va_start is now correct | Cyril SIX | 2018-12-11 | 2 | -9/+9 |
| | | |||||
| * | Added an error message for 32-bits division and modulo | Cyril SIX | 2018-12-11 | 1 | -13/+13 |
| | | |||||
| * | Fixed div64 and mod64 | Cyril SIX | 2018-12-11 | 5 | -51/+27 |
| | | |||||
| * | Added printf to the unitary tests for instructions | Cyril SIX | 2018-12-07 | 2 | -27/+29 |
| | | |||||
| * | Fixed that fnegd and negd had been inverted | Cyril SIX | 2018-12-07 | 1 | -1/+1 |
| | | |||||
| * | Fixed bundles (back to 1 instruction per bundle) | Cyril SIX | 2018-12-07 | 1 | -65/+65 |
| | | |||||
| * | Added a printf wrapper in test/mppa/lib | Cyril SIX | 2018-12-07 | 4 | -0/+160 |
| | | |||||
* | | Corrected a bug in PostlassSchedulingOracle:intlist provoking cycles | Cyril SIX | 2019-01-17 | 1 | -1/+1 |
| | | |||||
* | | Added the rest of the instructions info (manually) | Cyril SIX | 2019-01-16 | 1 | -47/+160 |
| | | |||||
* | | More instruction definitions in the oracle | Cyril SIX | 2019-01-16 | 2 | -12/+36 |
| | | |||||
* | | Debugged latency generation. We are able to produce bundles | Cyril SIX | 2019-01-15 | 1 | -23/+78 |
| | | |||||
* | | Pfreeframe and Pallocframe raise "OpaqueInstruction". Splitting bb to ↵ | Cyril SIX | 2019-01-15 | 1 | -18/+55 |
| | | | | | | | | isolate opaque instructions | ||||
* | | Added RA as possible location + control flow info | Cyril SIX | 2019-01-11 | 1 | -6/+12 |
| | | |||||
* | | Adding Mem as a possible location for accesses | Cyril SIX | 2019-01-11 | 3 | -24/+33 |
| | | |||||
* | | Merge branch 'unittest' of ↵ | Cyril SIX | 2019-01-11 | 2 | -4/+5 |
|\ \ | | | | | | | | | | | | | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into unittest Conflicts: mppa_k1c/PostpassSchedulingOracle.ml | ||||
| * | | flush stdout | Sylvain Boulmé | 2019-01-11 | 1 | -0/+1 |
| | | | |||||
| * | | quick and dirty Makefile fixes | Sylvain Boulmé | 2019-01-11 | 2 | -4/+5 |
| | | | |||||
* | | | Replaced the faulty bundlize_solution function | Cyril SIX | 2019-01-11 | 1 | -28/+43 |
|/ / | |||||
* | | [BROKEN] trying to link the test in mppa_k1c/unittest/postpass_test | Cyril SIX | 2019-01-11 | 4 | -35/+43 |
| | | |||||
* | | [BROKEN] Added infos about sd, infinite loop somewhere | Cyril SIX | 2019-01-09 | 1 | -5/+23 |
| | | |||||
* | | Adding more Asmblock instructions to PostpassSchedulingOracle | Cyril SIX | 2019-01-08 | 1 | -14/+108 |
| | | |||||
* | | Raccordement de InstructionScheduler.ml à PostpassSchedulingOracle.ml | Cyril SIX | 2019-01-08 | 1 | -4/+94 |
| | | |||||
* | | Latency constraints building done in PostpassSchedulingOracle.ml | Cyril SIX | 2019-01-08 | 1 | -16/+28 |
| | | |||||
* | | Reorganized PostpassOracle to separate asmblock instructions from real ↵ | Cyril SIX | 2019-01-08 | 1 | -72/+111 |
| | | | | | | | | instructions |