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
...
*
|
|
|
|
Fix compilation error
Justus Fasse
2021-08-16
1
-1
/
+3
*
|
|
|
|
Use modified dependency calculation that is more generous (timing-wise)
Justus Fasse
2021-08-16
1
-1
/
+1
*
|
|
|
|
Supply correct arguments to function
Justus Fasse
2021-08-16
1
-1
/
+1
*
|
|
|
|
Remove useless comment
Justus Fasse
2021-08-16
1
-1
/
+0
*
|
|
|
|
Remove duplicate function definition
Justus Fasse
2021-08-16
1
-8
/
+0
*
|
|
|
|
Better relative estimates by systematically supplying correct liveness
Justus Fasse
2021-08-16
1
-1
/
+2
*
|
|
|
|
Insert final restoration code at very end of superblock if possible
Justus Fasse
2021-08-16
1
-22
/
+23
*
|
|
|
|
More appropriate name for function
Justus Fasse
2021-08-16
1
-5
/
+2
*
|
|
|
|
Experimenting with compiler passes
Justus Fasse
2021-08-16
2
-0
/
+19
*
|
|
|
|
Do not restore unnecessary instructions before a predicted Icond
Justus Fasse
2021-08-11
1
-10
/
+16
*
|
|
|
|
Add missing dependency for restoration_instructions'
Justus Fasse
2021-08-11
1
-0
/
+24
*
|
|
|
|
Allow restoration instructions at the very end of the path.
Justus Fasse
2021-08-11
1
-2
/
+18
*
|
|
|
|
More aggressive register renaming
Justus Fasse
2021-08-11
1
-5
/
+12
*
|
|
|
|
Make it easier to insert debugging code
Justus Fasse
2021-08-11
1
-3
/
+2
*
|
|
|
|
Better variable name and an early exit in rename_regs
Justus Fasse
2021-08-11
1
-5
/
+17
*
|
|
|
|
Forgotten change
Justus Fasse
2021-08-11
1
-1
/
+2
*
|
|
|
|
Do not incur latency hit for the fake-read of the memory by a side exit
Justus Fasse
2021-08-10
1
-2
/
+16
*
|
|
|
|
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
[prev]
[next]