| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | écrase X31riscV-cmov | David Monniaux | 2021-02-03 | 1 | -1/+2 |
| * | Merge remote-tracking branch 'origin/kvx-work' into riscV-cmov | David Monniaux | 2021-02-03 | 1 | -1/+1 |
| |\ | |||||
| | * | fix OpWeights | David Monniaux | 2021-01-30 | 1 | -1/+1 |
| * | | no branchless by default | David Monniaux | 2021-02-02 | 1 | -1/+1 |
| * | | detect redundant cmov | David Monniaux | 2021-02-02 | 2 | -3/+34 |
| * | | fix code generation for select(b, r, r) | David Monniaux | 2021-02-02 | 1 | -2/+7 |
| * | | fix problem if rt = rf | David Monniaux | 2021-02-02 | 1 | -6/+8 |
| * | | example of cmov | David Monniaux | 2021-02-02 | 1 | -0/+28 |
| * | | Cmov Tsingle | David Monniaux | 2021-02-02 | 3 | -33/+43 |
| * | | implement for another register configuration | David Monniaux | 2021-02-02 | 1 | -1/+8 |
| * | | make branchless the default | David Monniaux | 2021-02-02 | 1 | -1/+1 |
| * | | some more cases implemented | David Monniaux | 2021-02-02 | 1 | -12/+25 |
| * | | Pselectd | David Monniaux | 2021-02-02 | 3 | -0/+33 |
| * | | cmov on integers | David Monniaux | 2021-02-02 | 3 | -11/+110 |
| * | | begin synthesizing select | David Monniaux | 2021-02-02 | 3 | -2/+34 |
| * | | asmgen Oselectl | David Monniaux | 2021-02-02 | 2 | -0/+11 |
| * | | begin implementing select | David Monniaux | 2021-02-02 | 8 | -6/+114 |
| * | | select01_long | David Monniaux | 2021-02-01 | 1 | -130/+10 |
| * | | repr etc. | David Monniaux | 2021-02-01 | 1 | -4/+2 |
| * | | bitwise_select_value_correct | David Monniaux | 2021-02-01 | 1 | -0/+12 |
| * | | int64_of_value some more | David Monniaux | 2021-02-01 | 1 | -14/+15 |
| * | | int64_of_value | David Monniaux | 2021-02-01 | 1 | -0/+77 |
| * | | Asmgen for bits / float | David Monniaux | 2021-02-01 | 1 | -0/+13 |
| * | | bits to float | David Monniaux | 2021-02-01 | 9 | -5/+82 |
| * | | fix Makefile / configure | David Monniaux | 2021-02-01 | 1 | -0/+6 |
| * | | adding builtins | David Monniaux | 2021-02-01 | 4 | -6/+27 |
| * | | Obits_of_single etc | David Monniaux | 2021-02-01 | 3 | -3/+46 |
| * | | define some semantics in Asm | David Monniaux | 2021-02-01 | 2 | -3/+24 |
| * | | add has_type info | David Monniaux | 2021-01-31 | 1 | -1/+3 |
| * | | has_type_b | David Monniaux | 2021-01-30 | 1 | -0/+21 |
| * | | select_long | David Monniaux | 2021-01-30 | 1 | -0/+38 |
| * | | select through bitwise operations | David Monniaux | 2021-01-30 | 1 | -0/+40 |
| |/ | |||||
| * | Fix "undefined lexer token" in extraction/extraction.v | Cyril SIX | 2021-01-26 | 1 | -1/+1 |
| * | Merge remote-tracking branch 'origin/kvx-work' into kvx-work-dirty | Cyril SIX | 2021-01-26 | 25 | -538/+1406 |
| |\ | |||||
| | * | Merge branch 'aarch64-peephole' into kvx-work | Léo Gourdin | 2021-01-25 | 1 | -150/+110 |
| | |\ | |||||
| | | * | Hashmap in peephole | Léo Gourdin | 2021-01-25 | 1 | -150/+110 |
| | * | | Merge remote-tracking branch 'origin/aarch64-peephole' into kvx-work | David Monniaux | 2021-01-22 | 8 | -168/+297 |
| | |\| | |||||
| | | * | printer and freg bugfix | Léo Gourdin | 2021-01-21 | 1 | -57/+84 |
| | | * | fix str string in peephole | Léo Gourdin | 2021-01-20 | 1 | -1/+1 |
| | | * | Adding fp stores pair | Léo Gourdin | 2021-01-20 | 7 | -27/+77 |
| | | * | Adding fp loads pair | Léo Gourdin | 2021-01-20 | 8 | -134/+186 |
| | * | | Conditions now propagated by CSE3 | David Monniaux | 2021-01-20 | 17 | -312/+1091 |
| | |\ \ | |||||
| | | * | | totally switch off conditions in cse3 | David Monniaux | 2020-12-09 | 2 | -16/+21 |
| | | * | | begin implementing -fcse3-conditions | David Monniaux | 2020-12-09 | 6 | -8/+24 |
| | | * | | redundant tests | David Monniaux | 2020-12-09 | 1 | -0/+11 |
| | | * | | CSE3 + conditions proof | David Monniaux | 2020-12-09 | 2 | -34/+58 |
| | | * | | apply_cond_sound | David Monniaux | 2020-12-09 | 1 | -0/+14 |
| | | * | | apply_cond0_sound | David Monniaux | 2020-12-09 | 1 | -1/+25 |
| | | * | | apply_cond1_sound | David Monniaux | 2020-12-09 | 1 | -0/+30 |
| | | * | | proof for jumptable | David Monniaux | 2020-12-09 | 1 | -1/+27 |
 |
index : compcert-kvx | |
| Unnamed repository; edit this file 'description' to name the repository. |
| aboutsummaryrefslogtreecommitdiffstats |