aboutsummaryrefslogtreecommitdiffstats
path: root/riscV
Commit message (Expand)AuthorAgeFilesLines
* Merge remote-tracking branch 'origin/master' into towards_3.10David Monniaux2021-10-291-2/+2
|\
| * Qualify `Instance` and `Program Instance` as `Global`Xavier Leroy2021-10-031-2/+2
* | Merge branch 'master' of https://github.com/AbsInt/CompCert into towards_3.10David Monniaux2021-09-242-4/+4
|\|
| * Fix wrong expansion of __builtin_memcpy_alignedXavier Leroy2021-09-231-2/+2
| * Int.sign_ext_shr_shl: weaker hypothesisXavier Leroy2021-08-221-2/+2
* | test opweights remLéo Gourdin2021-09-151-4/+2
* | Merge branch 'kvx-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCer...Léo Gourdin2021-09-131-2/+2
|\ \
| * | rocket is default choiceDavid Monniaux2021-09-101-1/+1
| * | option compatible avec gccDavid Monniaux2021-09-101-1/+1
* | | update weights FU74...Léo Gourdin2021-09-131-2/+2
|/ /
* | new weights for FU74Léo Gourdin2021-09-101-1/+140
* | cleanupLéo Gourdin2021-09-011-2077/+0
* | [MERGE] BTL into kvx-work (replacing RTLpath)Léo Gourdin2021-09-015-1029/+2388
|\ \
| * | remove todos, cleanLéo Gourdin2021-07-283-41/+8
| * | branches expansions supportLéo Gourdin2021-07-222-13/+387
| * | renamingLéo Gourdin2021-07-221-51/+51
| * | new expansionsLéo Gourdin2021-07-212-15/+935
| * | expansions btl proofsLéo Gourdin2021-07-211-1/+998
| * | bug fix in oracleLéo Gourdin2021-07-201-33/+360
| * | new expansion oracle for BTLLéo Gourdin2021-07-201-2/+328
| * | Fix compile on ARM/x86 backendsLéo Gourdin2021-07-201-1054/+2
| * | op simplify BTL introLéo Gourdin2021-07-201-0/+1
| * | Merge branch 'kvx-work' into BTLLéo Gourdin2021-06-1017-233/+344
| |\ \
| * | | Moving common tools, adding liveness input/output information to BTL generati...Léo Gourdin2021-05-241-1/+1
| * | | Changing to an opaq record in BTL info, this is a broken commitLéo Gourdin2021-05-201-2/+1
* | | | Make prepass scheduling sensitive to register pressure, by Nicolas Nardino.David Monniaux2021-07-164-2/+507
* | | | adding mayundef resource_bounds (not changing perfs)Léo Gourdin2021-06-251-1/+2
| |/ / |/| |
* | | omega -> liaDavid Monniaux2021-06-081-8/+8
* | | Merge remote-tracking branch 'absint/master' into kvx-workCyril SIX2021-06-012-3/+5
|\ \ \ | | |/ | |/|
| * | Register X1 is destroyed by some built-in functionsXavier Leroy2021-05-132-3/+5
| * | Use the LGPL instead of the GPL for dual-licensed filesXavier Leroy2021-05-084-16/+20
| * | Support __builtin_unreachableXavier Leroy2021-05-021-0/+4
* | | Merge remote-tracking branch 'origin/kvx-work' into merge_master_8.13.1Cyril SIX2021-06-0111-1189/+3746
|\ \ \
| * | | removing some Expansion when loading float/single constantsLéo Gourdin2021-06-011-16/+22
| * | | just remove a debug printLéo Gourdin2021-05-291-1/+0
| | |/ | |/|
| * | Adding both RV expansion methods in kvx-workLéo Gourdin2021-05-196-48/+1406
| * | debug prints uniformizedLéo Gourdin2021-05-181-69/+66
| * | adding missing xorimm expLéo Gourdin2021-04-092-0/+77
| * | Remove flagsLéo Gourdin2021-04-091-3/+2
| * | Removing expansions from AsmgenLéo Gourdin2021-04-095-1401/+43
| * | Removing addptrofs draft, next will be mergingLéo Gourdin2021-04-099-254/+104
| * | bugfixLéo Gourdin2021-04-082-2/+3
| * | Important commit on expansions' mini CSE, and a draft for addptrofsLéo Gourdin2021-04-0610-756/+1077
| * | a more general way to manage special registers before introducing SPLéo Gourdin2021-03-308-560/+593
| * | Now a more general way to perform imm operationsLéo Gourdin2021-03-309-38/+68
| * | Refactoring the mayundef OP to be more general...Léo Gourdin2021-03-305-201/+191
| * | bugfix and printOpLéo Gourdin2021-03-262-19/+29
| * | fix admitLéo Gourdin2021-03-261-2/+1
| * | Compiler options to manage expansionsLéo Gourdin2021-03-261-177/+174
| * | Adding more expansions, improving miniCSE, and tuning prepassLéo Gourdin2021-03-269-388/+1518
generated by cgit (git 2.34.1) at 2024-04-27 06:02:38 +0000