| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Oselectf, Oselectfs with condition | David Monniaux | 2019-04-05 | 1 | -0/+14 |
| | | |||||
| * | selectl with condition | David Monniaux | 2019-04-05 | 1 | -3/+13 |
| | | |||||
| * | ternary ops work on (unsigned/signed) int with test on signed int | David Monniaux | 2019-04-04 | 1 | -3/+3 |
| | | |||||
| * | more on select | David Monniaux | 2019-04-04 | 1 | -0/+5 |
| | | |||||
| * | some more progress on select | David Monniaux | 2019-04-04 | 1 | -2/+2 |
| | | |||||
| * | Merge remote-tracking branch 'origin/mppa-work' into mppa-ternary | David Monniaux | 2019-04-03 | 1 | -0/+1 |
| |\ | |||||
| | * | Started to add addressing with register + register, Mach -> Asm not done yet | Cyril SIX | 2019-04-01 | 1 | -0/+1 |
| | | | |||||
| * | | ternary unsigned | David Monniaux | 2019-03-26 | 1 | -0/+9 |
| | | | |||||
| * | | rm cruft | David Monniaux | 2019-03-26 | 1 | -24/+0 |
| | | | |||||
| * | | ternary begins working | David Monniaux | 2019-03-26 | 1 | -5/+5 |
| | | | |||||
| * | | some progress | David Monniaux | 2019-03-26 | 1 | -5/+4 |
| | | | |||||
| * | | implemented ternary pattern | David Monniaux | 2019-03-26 | 1 | -1/+11 |
| | | | |||||
| * | | more on ternary | David Monniaux | 2019-03-26 | 1 | -5/+5 |
| | | | |||||
| * | | select basic operators | David Monniaux | 2019-03-26 | 1 | -0/+24 |
| |/ | |||||
| * | ça recompile sur x86 | David Monniaux | 2019-03-22 | 1 | -38/+1 |
| | | |||||
| * | la division flottante fonctionne | David Monniaux | 2019-03-20 | 1 | -2/+11 |
| | | |||||
| * | begin float division | David Monniaux | 2019-03-20 | 1 | -0/+4 |
| | | |||||
| * | les divisions entieres passent | David Monniaux | 2019-03-20 | 1 | -3/+8 |
| | | |||||
| * | Merge branch 'mppa_postpass' into mppa-mul | David Monniaux | 2019-03-20 | 1 | -1/+9 |
| |\ | |||||
| | * | mul+madd immediate | David Monniaux | 2019-03-19 | 1 | -0/+4 |
| | | | |||||
| | * | mul immediate | David Monniaux | 2019-03-19 | 1 | -1/+1 |
| | | | |||||
| | * | reverse madd | David Monniaux | 2019-03-19 | 1 | -0/+2 |
| | | | |||||
| | * | mandw mais ça coince | David Monniaux | 2019-03-18 | 1 | -0/+2 |
| | | | |||||
| * | | added helper functions but strange | David Monniaux | 2019-03-19 | 1 | -1/+47 |
| |/ | | | | idiv.c: error: __compcert_i32_sdiv: missing or incorrect declaration | ||||
| * | some more andn / orn | David Monniaux | 2019-03-18 | 1 | -0/+4 |
| | | |||||
| * | andn/orn start being generated | David Monniaux | 2019-03-18 | 1 | -0/+2 |
| | | |||||
| * | andn / orn suite | David Monniaux | 2019-03-18 | 1 | -1/+1 |
| | | |||||
| * | nxor | David Monniaux | 2019-03-16 | 1 | -0/+2 |
| | | |||||
| * | nor implemente | David Monniaux | 2019-03-16 | 1 | -0/+2 |
| | | |||||
| * | some more nand | David Monniaux | 2019-03-16 | 1 | -1/+6 |
| | | |||||
| * | select rotate ops 32-bit | David Monniaux | 2019-03-16 | 1 | -0/+14 |
| | | |||||
| * | Hook for MPPA_K1c (generates Risc-V code for now) | Cyril SIX | 2018-04-04 | 1 | -0/+450 |
 |
index : compcert-kvx | |
| Unnamed repository; edit this file 'description' to name the repository. |
| aboutsummaryrefslogtreecommitdiffstats |