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
/
LICMaux.ml
Commit message (
Expand
)
Author
Age
Files
Lines
*
Moving common tools, adding liveness input/output information to BTL generati...
Léo Gourdin
2021-05-24
1
-1
/
+1
*
Grouping common RTL functions, printer improvement
Léo Gourdin
2021-05-19
1
-4
/
+1
*
get_loop_headers simplification (using the new get_loop_backedges)
Cyril SIX
2021-04-02
1
-39
/
+7
*
Simple backedge detection (modified code from get_loop_headers)
Cyril SIX
2021-04-02
1
-0
/
+40
*
Uniformizing a couple of debug print functions
Cyril SIX
2020-12-17
1
-42
/
+1
*
Flushing debug output
Cyril SIX
2020-12-09
1
-1
/
+1
*
Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepass
David Monniaux
2020-11-06
1
-0
/
+14
|
\
|
*
Fixing issue with loops having branches leading to goto backedge
Cyril SIX
2020-11-05
1
-0
/
+14
*
|
Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepass
David Monniaux
2020-11-05
1
-4
/
+37
|
\
|
|
*
Fixing get_loop_headers + alternative get_inner_loops (commented, not active)
Cyril SIX
2020-11-04
1
-4
/
+37
|
*
also match Istore
David Monniaux
2020-10-30
1
-1
/
+2
*
|
attempt at store -> load.s
David Monniaux
2020-10-26
1
-2
/
+3
|
/
*
Moving some code from Duplicateaux to LICMaux to prevent cyclic deps
Cyril SIX
2020-10-02
1
-2
/
+58
*
Adding copyrights
Cyril SIX
2020-05-04
1
-0
/
+12
*
add options for controlling madd and notrap selection
David Monniaux
2020-04-19
1
-1
/
+2
*
activate LICM
David Monniaux
2020-04-19
1
-1
/
+1
*
test whether the instructions are allowed
David Monniaux
2020-04-19
1
-8
/
+6
*
compute injections
David Monniaux
2020-04-19
1
-11
/
+28
*
synthesize injection lists
David Monniaux
2020-04-19
1
-8
/
+30
*
try building injection lists
David Monniaux
2020-04-19
1
-0
/
+52
*
pp_list
David Monniaux
2020-04-18
1
-3
/
+6
*
compute inner loops
David Monniaux
2020-04-18
1
-2
/
+11
*
backward iterator
David Monniaux
2020-04-18
1
-2
/
+31
*
dominated sets
David Monniaux
2020-04-18
1
-4
/
+30
*
dominated parts
David Monniaux
2020-04-18
1
-2
/
+15
*
headers vs dominators
David Monniaux
2020-04-18
1
-4
/
+6
*
find inner loops
David Monniaux
2020-04-17
1
-1
/
+57
*
moved to extra
David Monniaux
2020-04-16
1
-16
/
+9
*
toy example for injecting code
David Monniaux
2020-04-01
1
-2
/
+29
*
route through LICMaux
David Monniaux
2020-04-01
1
-0
/
+4