aboutsummaryrefslogtreecommitdiffstats
path: root/riscV
Commit message (Expand)AuthorAgeFilesLines
* 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
|\
| * 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
| * | | [BROKEN] Merge with v3.9 : something broken for __builtin_expect in cfrontend...Cyril SIX2021-06-015-16/+24
| * | | replacing omega with lia in some fileLéo Gourdin2021-03-292-9/+9
| * | | fix riscv merge?Léo Gourdin2021-03-295-488/+0
| * | | Merge branch 'master' into merge_master_8.13.1Sylvain Boulmé2021-03-2311-177/+761
| |\ \ \ | | | |/ | | |/|
| | * | Introduce and use PrintAsmaux.variable_sectionXavier Leroy2021-02-231-2/+2
| | * | Qualify `Hint` as `Global Hint` where appropriateXavier Leroy2021-01-211-1/+1
| | * | Support re-normalization of function parameters at function entryXavier Leroy2021-01-161-1/+2
| | * | RISC-V: fix FP calling conventionsXavier Leroy2021-01-144-117/+171
| | * | RISC-V: wrong fixup code generated for vararg calls with fixed FP argsXavier Leroy2021-01-101-12/+18
| | * | Replace `omega` tactic with `lia`Xavier Leroy2020-12-299-76/+76
| | * | RISC-V: revised calling conventions for variadic functionsXavier Leroy2020-12-252-63/+105
| | * | Changed cc_varargs to an option typeBernhard Schommer2020-12-252-4/+5
* | | | 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
| |_|/ |/| |
* | | 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
* | | Bugfix livenessLéo Gourdin2021-03-231-12/+8
* | | Remove first nop when doing expansionLéo Gourdin2021-03-211-188/+212
* | | Adding miniCSE here tooLéo Gourdin2021-03-081-10/+10
* | | Merge remote-tracking branch 'origin/riscv-work' into riscv-work-fpinit-stillexpLéo Gourdin2021-03-068-182/+245
|\ \ \
generated by cgit (git 2.34.1) at 2024-06-02 15:39:52 +0000