aboutsummaryrefslogtreecommitdiffstats
path: root/riscV/RTLpathSE_simplify.v
Commit message (Collapse)AuthorAgeFilesLines
* Merge remote-tracking branch 'origin/kvx-work' into merge_master_8.13.1Cyril SIX2021-06-011-170/+939
|\
| * Adding both RV expansion methods in kvx-workLéo Gourdin2021-05-191-10/+0
| |
| * adding missing xorimm expLéo Gourdin2021-04-091-0/+67
| |
| * Removing expansions from AsmgenLéo Gourdin2021-04-091-0/+10
| |
| * Removing addptrofs draft, next will be mergingLéo Gourdin2021-04-091-35/+0
| |
| * Important commit on expansions' mini CSE, and a draft for addptrofsLéo Gourdin2021-04-061-86/+70
| |
| * a more general way to manage special registers before introducing SPLéo Gourdin2021-03-301-91/+94
| |
| * Now a more general way to perform imm operationsLéo Gourdin2021-03-301-2/+2
| |
| * Refactoring the mayundef OP to be more general...Léo Gourdin2021-03-301-86/+118
| |
| * fix admitLéo Gourdin2021-03-261-2/+1
| |
| * Adding more expansions, improving miniCSE, and tuning prepassLéo Gourdin2021-03-261-13/+719
| |
| * Merge remote-tracking branch 'origin/riscv-work' into riscv-work-fpinit-stillexpLéo Gourdin2021-03-061-46/+44
| |\
| | * Adding a mini CSE pass in the expansion oracleLéo Gourdin2021-03-061-46/+44
| | |
| * | Adding fp init expansionsLéo Gourdin2021-03-021-0/+15
| |/
* / replacing omega with lia in some fileLéo Gourdin2021-03-291-7/+7
|/
* Proofs finished for expansionLéo Gourdin2021-03-011-18/+61
|
* Debugging fake values finishedLéo Gourdin2021-03-011-7/+14
|
* some bugfixLéo Gourdin2021-03-011-11/+16
|
* Proof of fsval condition cmp okLéo Gourdin2021-03-011-91/+389
|
* [Admitted checker] Some more proof, version with buggy addirw0Léo Gourdin2021-02-251-5/+126
|
* some more proof for fake hsval checker expansionsLéo Gourdin2021-02-251-44/+769
|
* [Intermediate] Adding fake hsval for Ccomp expansionLéo Gourdin2021-02-231-3/+108
|
* Separate target_op_simplify for riscVLéo Gourdin2021-02-231-0/+19
generated by cgit (git 2.34.1) at 2024-07-06 15:55:39 +0000