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
Commit message (
Expand
)
Author
Age
Files
Lines
...
|
*
|
Version of get_simple_dependencies which differentiates between input
Justus Fasse
2021-08-10
1
-0
/
+203
|
*
|
Use liveness information to prevent instructions getting incorrectly
Justus Fasse
2021-08-04
1
-6
/
+15
|
*
|
Add explanatory comment why some registers are not renamed
Justus Fasse
2021-08-03
1
-1
/
+4
|
*
|
Use -flift-if N to control how many instructions may be duplicated per
Justus Fasse
2021-08-03
1
-30
/
+24
|
*
|
Rename less registers when pmSSA is turned off but code motion past side
Justus Fasse
2021-08-02
1
-1
/
+28
|
*
|
Alias less registers
Justus Fasse
2021-08-02
1
-5
/
+38
|
*
|
Insert final restoration code before scheduling heuristic again
Justus Fasse
2021-08-02
1
-7
/
+34
|
*
|
Use alternative implementation of heuristic scheduling
Justus Fasse
2021-08-02
1
-3
/
+4
|
*
|
Scheduling function that can select the dependency calculation
Justus Fasse
2021-08-02
1
-0
/
+84
|
*
|
Directly modify the dependency calculation(s)
Justus Fasse
2021-08-02
1
-1
/
+382
|
*
|
Run register renaming pass after receiving the info which pc's should be
Justus Fasse
2021-07-30
1
-9
/
+45
|
*
|
Remove now unused debug function
Justus Fasse
2021-07-30
1
-26
/
+0
|
*
|
Do not accidentally shadow a previous function
Justus Fasse
2021-07-30
1
-2
/
+3
|
*
|
Formatting
Justus Fasse
2021-07-30
1
-4
/
+4
|
*
|
Adjust "main" function of this pass to the previous changes.
Justus Fasse
2021-07-29
1
-29
/
+57
|
*
|
Update TODO list
Justus Fasse
2021-07-29
1
-3
/
+1
|
*
|
Rename registers until they are defined (again).
Justus Fasse
2021-07-29
1
-0
/
+24
|
*
|
Another necessary change to allow code motion past the final Icond of a
Justus Fasse
2021-07-29
1
-2
/
+2
|
*
|
Update downschedule_compensation_code function
Justus Fasse
2021-07-29
1
-38
/
+33
|
*
|
Do not virtually insert the final restoration code before applying the
Justus Fasse
2021-07-29
1
-18
/
+0
|
*
|
Turn a tree of deps into a tree of uses
Justus Fasse
2021-07-29
1
-0
/
+20
|
*
|
Return estimated final_time from schedulers
Justus Fasse
2021-07-29
2
-9
/
+19
|
*
|
Early exit for ideal_schedule'
Justus Fasse
2021-07-29
1
-1
/
+1
|
*
|
Disable debug info for `intra_path_dependencies` by default
Justus Fasse
2021-07-29
1
-2
/
+1
|
*
|
Alternative function to calculate restoration instructions.
Justus Fasse
2021-07-29
1
-0
/
+35
|
*
|
Return a mapping from the old pcs to the new values
Justus Fasse
2021-07-29
1
-3
/
+8
|
*
|
Only print instructions (in insert_code) when debug flag is set
Justus Fasse
2021-07-29
1
-2
/
+2
|
*
|
Code may be scheduled past a path-ending Icond if it is predicted
Justus Fasse
2021-07-29
1
-25
/
+18
|
*
|
Add convenience, map-like, function to InsertPosition
Justus Fasse
2021-07-29
1
-0
/
+4
|
*
|
An Icond that sits at the end of a superblock may be a "side" exit
Justus Fasse
2021-07-29
1
-2
/
+3
|
*
|
Make comment apply to the correct branch
Justus Fasse
2021-07-27
1
-1
/
+1
|
*
|
Rewrite code insertion logic
Justus Fasse
2021-07-27
1
-71
/
+137
|
*
|
Remove useless comment (implemented by ideal_schedule')
Justus Fasse
2021-07-21
1
-3
/
+0
|
*
|
Don't attempt to schedule instrcution beyond an Icond if it is the last
Justus Fasse
2021-07-21
1
-26
/
+29
|
*
|
Fix error where side exits where accidentally swapped
Justus Fasse
2021-07-21
1
-1
/
+3
|
*
|
Merge branch 'kvx-work' into weak-software-pipelining
Justus Fasse
2021-07-19
1
-1
/
+1
|
|
\
\
|
*
|
|
Fix compilation error
Justus Fasse
2021-07-19
2
-2
/
+4
|
*
|
|
Merge branch 'kvx-work' into weak-software-pipelining
Justus Fasse
2021-07-19
29
-36
/
+2146
|
|
\
\
\
|
*
|
|
|
Comment out extra-aliasing logic which becomes useless w/ pmSSA + lift-if
Justus Fasse
2021-07-16
1
-3
/
+5
|
*
|
|
|
Describe new command line options slightly better
Justus Fasse
2021-07-16
1
-1
/
+5
|
*
|
|
|
Use flag -ftarget-inner-loops
Justus Fasse
2021-07-16
1
-1
/
+1
|
*
|
|
|
Add hyphens to flags
Justus Fasse
2021-07-16
1
-5
/
+5
|
*
|
|
|
Fix build via work-around in Compiler.vexpand
Justus Fasse
2021-07-16
2
-9
/
+27
|
*
|
|
|
Use new flags
Justus Fasse
2021-07-16
1
-2
/
+15
|
*
|
|
|
Add additional compiler flags
Justus Fasse
2021-07-16
2
-1
/
+11
|
*
|
|
|
Optimize code layout
Justus Fasse
2021-07-15
1
-5
/
+14
|
*
|
|
|
Try to somehwat separate downward scheduling from register renaming
Justus Fasse
2021-07-13
1
-28
/
+69
|
*
|
|
|
Fix error message
Justus Fasse
2021-07-12
1
-2
/
+2
|
*
|
|
|
Make it possible to only rename select registers
Justus Fasse
2021-07-12
1
-24
/
+35
|
*
|
|
|
Fix TODO
Justus Fasse
2021-07-09
1
-1
/
+33
[prev]
[next]