Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Adding copyrights | Cyril SIX | 2020-05-04 | 1 | -0/+12 |
* | Merge remote-tracking branch 'origin/mppa-cse2' into mppa-cse3 | David Monniaux | 2020-04-20 | 1 | -3/+3 |
|\ | |||||
| * | forward moves into store source | David Monniaux | 2020-04-20 | 1 | -3/+3 |
* | | CSE3: better builtin handling | David Monniaux | 2020-04-16 | 1 | -1/+1 |
* | | Merge remote-tracking branch 'origin/mppa-cse2' into mppa-cse3 | David Monniaux | 2020-04-16 | 1 | -26/+22 |
|\| | |||||
| * | refine the rules for builtins | David Monniaux | 2020-04-16 | 1 | -1/+18 |
| * | progress on CSE2 builtins | David Monniaux | 2020-04-16 | 1 | -26/+5 |
* | | Merge remote-tracking branch 'origin/mppa-work' into mppa-cse3 | David Monniaux | 2020-04-08 | 1 | -3/+3 |
|\| | |||||
| * | Adding info field for branching in RTL, LTL, XTL and all associated passes | Cyril SIX | 2020-03-11 | 1 | -3/+3 |
* | | Merge remote-tracking branch 'origin/mppa-work' into mppa-cse3 | David Monniaux | 2020-03-11 | 1 | -1/+1 |
|\| | |||||
| * | remet is_trivial_op dans CSE2 | David Monniaux | 2020-03-11 | 1 | -1/+1 |
* | | streamlined lattice code | David Monniaux | 2020-03-05 | 1 | -114/+1 |
|/ | |||||
* | fixed CSE2 for mppa_k1c | David Monniaux | 2020-03-03 | 1 | -107/+51 |
|\ | |||||
| * | CSE2 alias analysis for Risc-V | David Monniaux | 2020-03-03 | 1 | -24/+1 |
| * | offsets in globals for x86 | David Monniaux | 2020-03-03 | 1 | -1/+4 |
| * | globals alias analysis for x86 | David Monniaux | 2020-03-03 | 1 | -0/+2 |
| * | with indexed/indexed alias analysis for x86 | David Monniaux | 2020-03-03 | 1 | -2/+24 |
| * | swap predicate | David Monniaux | 2020-03-02 | 1 | -0/+8 |
* | | Merge branch 'mppa-cse2' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe... | David Monniaux | 2020-03-03 | 1 | -3/+3 |
|\ \ | |||||
| * | | CSE2 with NOTRAP | David Monniaux | 2020-02-03 | 1 | -4/+2 |
| * | | NOTRAP in CSE2: progress | David Monniaux | 2020-02-03 | 1 | -2/+1 |
| * | | Merge branch 'dm-cse2' of /home/monniaux/progs/CompCert/dm-cse2 into mppa-cse2 | David Monniaux | 2020-02-03 | 1 | -0/+6 |
| |\| | |||||
| * | | Merge branch 'dm-cse2' of /home/monniaux/progs/CompCert into mppa-cs2 | David Monniaux | 2020-01-28 | 1 | -3/+6 |
* | | | CSE2 now uses is_trivial_op | David Monniaux | 2020-02-27 | 1 | -1/+1 |
* | | | progress on wellformed reg | David Monniaux | 2020-02-05 | 1 | -12/+52 |
* | | | kill memory focused | David Monniaux | 2020-02-04 | 1 | -1/+1 |
* | | | invariant guaranteed | David Monniaux | 2020-02-04 | 1 | -1/+3 |
* | | | wellformedness for memory | David Monniaux | 2020-02-04 | 1 | -4/+6 |
* | | | begin well formedness | David Monniaux | 2020-02-04 | 1 | -15/+32 |
* | | | stuff information into a record | David Monniaux | 2020-02-04 | 1 | -26/+33 |
| |/ |/| | |||||
* | | comments | David Monniaux | 2020-02-03 | 1 | -0/+6 |
|/ | |||||
* | with loads too ? | David Monniaux | 2020-01-28 | 1 | -2/+52 |
* | begin adding loads | David Monniaux | 2020-01-28 | 1 | -2/+7 |
* | much better - seems to eliminate CSE not containing loads | David Monniaux | 2020-01-28 | 1 | -1/+1 |
* | still buggy | David Monniaux | 2020-01-28 | 1 | -20/+28 |
* | CSE2 now works for expressions | David Monniaux | 2020-01-28 | 1 | -8/+3 |
* | CSE2 split in two files | David Monniaux | 2020-01-28 | 1 | -827/+2 |
* | progress | David Monniaux | 2020-01-27 | 1 | -0/+467 |
* | use in transformation | David Monniaux | 2020-01-27 | 1 | -3/+21 |
* | find_op_sound | David Monniaux | 2020-01-27 | 1 | -1/+110 |
* | goes to the end but does not find available ops | David Monniaux | 2020-01-27 | 1 | -13/+5 |
* | simpler definitions | David Monniaux | 2020-01-27 | 1 | -41/+24 |
* | static analysis done | David Monniaux | 2020-01-27 | 1 | -20/+7 |
* | kill_mem_sound | David Monniaux | 2020-01-27 | 1 | -8/+59 |
* | renamed kill_reg into kill_mem | David Monniaux | 2020-01-27 | 1 | -11/+11 |
* | gen_oper_sound | David Monniaux | 2020-01-27 | 1 | -1/+37 |
* | oper_sound | David Monniaux | 2020-01-27 | 1 | -0/+27 |
* | oper1_sound | David Monniaux | 2020-01-27 | 1 | -1/+10 |
* | arg replace | David Monniaux | 2020-01-27 | 1 | -1/+87 |
* | move sound | David Monniaux | 2020-01-27 | 1 | -19/+85 |