Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge branch 'master' of https://github.com/AbsInt/CompCert into towards_3.10 | David Monniaux | 2021-09-24 | 2 | -4/+4 |
|\ | |||||
| * | Fix wrong expansion of __builtin_memcpy_aligned | Xavier Leroy | 2021-09-23 | 1 | -2/+2 |
| * | Int.sign_ext_shr_shl: weaker hypothesis | Xavier Leroy | 2021-08-22 | 1 | -2/+2 |
* | | test opweights rem | Léo Gourdin | 2021-09-15 | 1 | -4/+2 |
* | | Merge branch 'kvx-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCer... | Léo Gourdin | 2021-09-13 | 1 | -2/+2 |
|\ \ | |||||
| * | | rocket is default choice | David Monniaux | 2021-09-10 | 1 | -1/+1 |
| * | | option compatible avec gcc | David Monniaux | 2021-09-10 | 1 | -1/+1 |
* | | | update weights FU74... | Léo Gourdin | 2021-09-13 | 1 | -2/+2 |
|/ / | |||||
* | | new weights for FU74 | Léo Gourdin | 2021-09-10 | 1 | -1/+140 |
* | | cleanup | Léo Gourdin | 2021-09-01 | 1 | -2077/+0 |
* | | [MERGE] BTL into kvx-work (replacing RTLpath) | Léo Gourdin | 2021-09-01 | 5 | -1029/+2388 |
|\ \ | |||||
| * | | remove todos, clean | Léo Gourdin | 2021-07-28 | 3 | -41/+8 |
| * | | branches expansions support | Léo Gourdin | 2021-07-22 | 2 | -13/+387 |
| * | | renaming | Léo Gourdin | 2021-07-22 | 1 | -51/+51 |
| * | | new expansions | Léo Gourdin | 2021-07-21 | 2 | -15/+935 |
| * | | expansions btl proofs | Léo Gourdin | 2021-07-21 | 1 | -1/+998 |
| * | | bug fix in oracle | Léo Gourdin | 2021-07-20 | 1 | -33/+360 |
| * | | new expansion oracle for BTL | Léo Gourdin | 2021-07-20 | 1 | -2/+328 |
| * | | Fix compile on ARM/x86 backends | Léo Gourdin | 2021-07-20 | 1 | -1054/+2 |
| * | | op simplify BTL intro | Léo Gourdin | 2021-07-20 | 1 | -0/+1 |
| * | | Merge branch 'kvx-work' into BTL | Léo Gourdin | 2021-06-10 | 17 | -233/+344 |
| |\ \ | |||||
| * | | | Moving common tools, adding liveness input/output information to BTL generati... | Léo Gourdin | 2021-05-24 | 1 | -1/+1 |
| * | | | Changing to an opaq record in BTL info, this is a broken commit | Léo Gourdin | 2021-05-20 | 1 | -2/+1 |
* | | | | Make prepass scheduling sensitive to register pressure, by Nicolas Nardino. | David Monniaux | 2021-07-16 | 4 | -2/+507 |
* | | | | adding mayundef resource_bounds (not changing perfs) | Léo Gourdin | 2021-06-25 | 1 | -1/+2 |
| |/ / |/| | | |||||
* | | | omega -> lia | David Monniaux | 2021-06-08 | 1 | -8/+8 |
* | | | Merge remote-tracking branch 'absint/master' into kvx-work | Cyril SIX | 2021-06-01 | 2 | -3/+5 |
|\ \ \ | | |/ | |/| | |||||
| * | | Register X1 is destroyed by some built-in functions | Xavier Leroy | 2021-05-13 | 2 | -3/+5 |
| * | | Use the LGPL instead of the GPL for dual-licensed files | Xavier Leroy | 2021-05-08 | 4 | -16/+20 |
| * | | Support __builtin_unreachable | Xavier Leroy | 2021-05-02 | 1 | -0/+4 |
* | | | Merge remote-tracking branch 'origin/kvx-work' into merge_master_8.13.1 | Cyril SIX | 2021-06-01 | 11 | -1189/+3746 |
|\ \ \ | |||||
| * | | | removing some Expansion when loading float/single constants | Léo Gourdin | 2021-06-01 | 1 | -16/+22 |
| * | | | just remove a debug print | Léo Gourdin | 2021-05-29 | 1 | -1/+0 |
| | |/ | |/| | |||||
| * | | Adding both RV expansion methods in kvx-work | Léo Gourdin | 2021-05-19 | 6 | -48/+1406 |
| * | | debug prints uniformized | Léo Gourdin | 2021-05-18 | 1 | -69/+66 |
| * | | 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 |