| Commit message (Expand) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| | * | | | | | | collision of registers | David Monniaux | 2021-04-12 | 2 | -3/+3 | |
| * | | | | | | | moving my tests | Léo Gourdin | 2021-04-22 | 26 | -157/+0 | |
| |/ / / / / / | ||||||
| * | | | | | | removing unusued proof line | Léo Gourdin | 2021-04-09 | 1 | -1/+0 | |
| * | | | | | | adding missing xorimm exp | Léo Gourdin | 2021-04-09 | 2 | -0/+77 | |
| * | | | | | | Merge branch 'riscv-work' into kvx-work | Léo Gourdin | 2021-04-09 | 21 | -1514/+2642 | |
| |\ \ \ \ \ \ | ||||||
| | * | | | | | | Remove flags | Léo Gourdin | 2021-04-09 | 4 | -10/+3 | |
| | * | | | | | | Removing expansions from Asmgen | Léo Gourdin | 2021-04-09 | 6 | -1401/+49 | |
| | * | | | | | | 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 | 13 | -762/+1081 | |
| | * | | | | | | 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 | 3 | -179/+176 | |
| | * | | | | | | 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 | 2 | -188/+213 | |
| | * | | | | | | fp test | Léo Gourdin | 2021-03-10 | 1 | -0/+7 | |
| | * | | | | | | 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 | 10 | -187/+250 | |
| | |\ \ \ \ \ \ | ||||||
| | | * | | | | | | 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 | 10 | -197/+268 | |
| | * | | | | | | | Adding a flag to test fp_init_exp | Léo Gourdin | 2021-03-02 | 3 | -150/+159 | |
| | * | | | | | | | Adding fp init expansions | Léo Gourdin | 2021-03-02 | 2 | -3/+18 | |
| | * | | | | | | | Merge remote-tracking branch 'origin/riscv-still-asmcondexp' into riscv-work-... | Léo Gourdin | 2021-03-02 | 3 | -96/+1088 | |
| | |\ \ \ \ \ \ \ | ||||||
| | | * | | | | | | | 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 | 4 | -10/+31 | |
| | | |/ / / / / / | |/| | | | | | | ||||||
| * / | | | | | | | adding test for load replacement on a64 | Léo Gourdin | 2021-03-29 | 4 | -0/+61 | |
| |/ / / / / / / | ||||||
| * / / / / / / | fix ci ? | Léo Gourdin | 2021-03-02 | 11 | -1/+68 | |
| |/ / / / / / | ||||||
| * | | | | | | 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 | 19 | -20/+705 | |
| |\ \ \ \ \ \ | ||||||
| | * | | | | | | 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 | |
| | |\ \ \ \ \ \ | ||||||
| | * | | | | | | | 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 | |
 |
index : compcert-kvx | |
| Unnamed repository; edit this file 'description' to name the repository. |
| aboutsummaryrefslogtreecommitdiffstats |