Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | adding missing xorimm exp | Léo Gourdin | 2021-04-09 | 2 | -0/+77 |
| | |||||
* | Remove flags | Léo Gourdin | 2021-04-09 | 1 | -3/+2 |
| | |||||
* | Removing expansions from Asmgen | Léo Gourdin | 2021-04-09 | 5 | -1401/+43 |
| | |||||
* | Removing addptrofs draft, next will be merging | Léo Gourdin | 2021-04-09 | 9 | -254/+104 |
| | |||||
* | bugfix | Léo Gourdin | 2021-04-08 | 2 | -2/+3 |
| | |||||
* | Important commit on expansions' mini CSE, and a draft for addptrofs | Léo Gourdin | 2021-04-06 | 10 | -756/+1077 |
| | |||||
* | a more general way to manage special registers before introducing SP | Léo Gourdin | 2021-03-30 | 8 | -560/+593 |
| | |||||
* | Now a more general way to perform imm operations | Léo Gourdin | 2021-03-30 | 9 | -38/+68 |
| | |||||
* | Refactoring the mayundef OP to be more general... | Léo Gourdin | 2021-03-30 | 5 | -201/+191 |
| | |||||
* | bugfix and printOp | Léo Gourdin | 2021-03-26 | 2 | -19/+29 |
| | |||||
* | fix admit | Léo Gourdin | 2021-03-26 | 1 | -2/+1 |
| | |||||
* | Compiler options to manage expansions | Léo Gourdin | 2021-03-26 | 1 | -177/+174 |
| | |||||
* | Adding more expansions, improving miniCSE, and tuning prepass | Léo Gourdin | 2021-03-26 | 9 | -388/+1518 |
| | |||||
* | Bugfix liveness | Léo Gourdin | 2021-03-23 | 1 | -12/+8 |
| | |||||
* | Remove first nop when doing expansion | Léo Gourdin | 2021-03-21 | 1 | -188/+212 |
| | |||||
* | Adding miniCSE here too | Léo Gourdin | 2021-03-08 | 1 | -10/+10 |
| | |||||
* | Merge remote-tracking branch 'origin/riscv-work' into riscv-work-fpinit-stillexp | Léo Gourdin | 2021-03-06 | 8 | -182/+245 |
|\ | |||||
| * | some simplification in miniCSE | Léo Gourdin | 2021-03-06 | 1 | -17/+14 |
| | | |||||
| * | Adding a mini CSE pass in the expansion oracle | Léo Gourdin | 2021-03-06 | 8 | -193/+263 |
| | | |||||
* | | Adding a flag to test fp_init_exp | Léo Gourdin | 2021-03-02 | 1 | -150/+157 |
| | | |||||
* | | Adding fp init expansions | Léo Gourdin | 2021-03-02 | 1 | -0/+15 |
| | | |||||
* | | Merge remote-tracking branch 'origin/riscv-still-asmcondexp' into ↵ | Léo Gourdin | 2021-03-02 | 3 | -96/+1088 |
|\ \ | | | | | | | | | | riscv-work-fpinit-stillexp | ||||
| * | | Asmcondexp branche useful to benchmark expansions | Léo Gourdin | 2021-03-02 | 3 | -96/+1088 |
| |/ | |||||
* / | [Admitted checker] Oracle expansion for float/float32 constant init | Léo Gourdin | 2021-03-02 | 2 | -6/+27 |
|/ | |||||
* | Merge conflicts solved and cleaning in Asmgenproof after expansion | Léo Gourdin | 2021-03-02 | 4 | -1148/+106 |
| | |||||
* | Merge remote-tracking branch 'origin/riscV-cmov' into riscv-work | Léo Gourdin | 2021-03-02 | 14 | -19/+624 |
|\ | |||||
| * | Adding missing operators in PrintOp for debugging | Léo Gourdin | 2021-02-25 | 1 | -0/+5 |
| | | |||||
| * | é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 |
| |\ | |||||
| * | | 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 |
| | | | |||||
| * | | Cmov Tsingle | David Monniaux | 2021-02-02 | 3 | -33/+43 |
| | | | |||||
| * | | implement for another register configuration | David Monniaux | 2021-02-02 | 1 | -1/+8 |
| | | | |||||
| * | | 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 | 2 | -11/+88 |
| | | | |||||
| * | | 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 | 7 | -6/+113 |
| | | | |||||
| * | | 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 |
| | | | |||||
| * | | 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 |
| | | |