index
:
compcert-kvx
CPP22_if_lifting
CPP22_main
master
patched_for_velus
riscV-cmov
ssa
vericert
vericert-kvx
Unnamed repository; edit this file 'description' to name the repository.
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
backend
Commit message (
Expand
)
Author
Age
Files
Lines
*
Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepass-ssa
David Monniaux
2020-11-05
2
-27
/
+32
|
\
|
*
Fixing issue with loops having branches leading to goto backedge
Cyril SIX
2020-11-05
2
-27
/
+32
*
|
Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepass-ssa
David Monniaux
2020-11-05
3
-28
/
+109
|
\
|
|
*
Fixing get_loop_headers + alternative get_inner_loops (commented, not active)
Cyril SIX
2020-11-04
2
-27
/
+107
|
*
do not print "refining" unless asked
David Monniaux
2020-11-04
1
-1
/
+2
*
|
Merge remote-tracking branch 'origin/kvx-work-ssa' into kvx-test-prepass-ssa
David Monniaux
2020-11-04
1
-1
/
+2
|
\
|
|
*
do not print "updates" to nodes
David Monniaux
2020-11-04
1
-1
/
+2
*
|
Merge remote-tracking branch 'origin/kvx-test-prepass' into kvx-test-prepass-ssa
David Monniaux
2020-11-03
4
-35
/
+114
|
\
\
|
*
|
Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepass
David Monniaux
2020-11-03
4
-35
/
+114
|
|
\
|
|
|
*
refixcse3
David Monniaux
2020-11-03
2
-34
/
+53
|
|
*
Loop Rotate with -flooprotate
Cyril SIX
2020-11-03
2
-1
/
+61
*
|
|
Merge remote-tracking branch 'origin/kvx-test-prepass' into kvx-test-prepass-ssa
David Monniaux
2020-10-31
3
-17
/
+118
|
\
|
|
|
*
|
Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepass
David Monniaux
2020-10-31
3
-17
/
+118
|
|
\
|
|
|
*
refining CSE3 nodes
David Monniaux
2020-10-31
1
-14
/
+81
|
|
*
seems to work better
David Monniaux
2020-10-31
2
-3
/
+37
|
|
*
also match Istore
David Monniaux
2020-10-30
1
-1
/
+2
|
*
|
Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepass
David Monniaux
2020-10-30
4
-168
/
+78
|
|
\
|
|
*
|
Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepass
David Monniaux
2020-10-29
4
-48
/
+107
|
|
\
\
|
*
\
\
Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepass
David Monniaux
2020-10-28
3
-40
/
+24
|
|
\
\
\
*
|
\
\
\
Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepass-ssa
David Monniaux
2020-10-30
4
-168
/
+78
|
\
\
\
\
\
|
|
|
_
|
_
|
/
|
|
/
|
|
|
|
*
|
|
|
reinstated old version
David Monniaux
2020-10-30
4
-216
/
+39
|
*
|
|
|
reinstated previous forward_move function
David Monniaux
2020-10-29
2
-11
/
+98
|
|
|
_
|
/
|
|
/
|
|
*
|
|
|
Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepass-ssa
David Monniaux
2020-10-29
4
-48
/
+107
|
\
|
|
|
|
*
|
|
CSE3 trivial_ops flag
David Monniaux
2020-10-29
2
-3
/
+3
|
*
|
|
in CSE3 choose lowest variable as representative for moves
David Monniaux
2020-10-29
3
-45
/
+104
|
|
|
/
|
|
/
|
*
|
|
Merge remote-tracking branch 'origin/kvx-work-ssa' into kvx-test-prepass-ssa
David Monniaux
2020-10-28
1
-1
/
+2
|
\
|
|
*
|
|
Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepass-ssa
David Monniaux
2020-10-28
3
-40
/
+24
|
\
|
|
|
|
/
|
/
|
|
*
DuplicateParam -> DuplicateOracle + simpler Duplicatepasses
Sylvain Boulmé
2020-10-28
3
-40
/
+24
*
|
Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepass
David Monniaux
2020-10-27
4
-19
/
+110
|
\
|
|
*
Correcting typo
Cyril SIX
2020-10-27
1
-3
/
+3
|
*
Merge branch 'kvx-work' into duplicate-param
Cyril SIX
2020-10-27
3
-41
/
+107
|
|
\
|
|
*
new CSE3
David Monniaux
2020-10-27
3
-41
/
+107
|
*
|
Oops forgot Duplicatepasses.v
Cyril SIX
2020-10-27
1
-0
/
+64
|
*
|
Splitting Duplicate in several passes
Cyril SIX
2020-10-27
1
-14
/
+20
|
*
|
Reworked Duplicate to be parametrized
Cyril SIX
2020-10-27
2
-5
/
+26
|
|
/
*
|
improved CSE3
David Monniaux
2020-10-27
1
-12
/
+12
*
|
progress in proofs on new CSE3
David Monniaux
2020-10-27
1
-3
/
+34
*
|
deactivate LICM by default
David Monniaux
2020-10-27
1
-20
/
+11
*
|
begin fixing CSE3 to keep more inductive stuff
David Monniaux
2020-10-27
2
-10
/
+19
*
|
invariant printing more aligned with RTL dumps
David Monniaux
2020-10-27
1
-2
/
+2
*
|
print invariants
David Monniaux
2020-10-27
1
-11
/
+46
*
|
attempt at store -> load.s
David Monniaux
2020-10-26
1
-2
/
+3
*
|
Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepass
David Monniaux
2020-10-18
8
-143
/
+845
|
\
|
|
*
Loop body unrolling with -funrollbody n
Cyril SIX
2020-10-16
1
-3
/
+6
|
*
Loop body unrolling
Cyril SIX
2020-10-16
1
-1
/
+39
|
*
Comment update
Cyril SIX
2020-10-16
1
-1
/
+7
|
*
Merge remote-tracking branch 'origin/kvx-work-unroll-fixcse3' into kvx-work
David Monniaux
2020-10-16
5
-14
/
+458
|
|
\
|
|
*
kill useless moves (not yet connected)
David Monniaux
2020-10-16
2
-0
/
+401
|
|
*
some more tuning of CSE3
David Monniaux
2020-10-15
2
-10
/
+23
|
|
*
a bit of progress
David Monniaux
2020-10-14
3
-4
/
+34
[next]