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
/
scheduling
Commit message (
Expand
)
Author
Age
Files
Lines
*
Revert "[MERGE] weak-software-pipelining in RTLpath"
Léo Gourdin
2021-09-16
13
-3036
/
+127
*
[MERGE] weak-software-pipelining in RTLpath
Léo Gourdin
2021-09-02
13
-127
/
+3036
|
\
|
*
Fix small error
Justus Fasse
2021-08-24
1
-5
/
+5
|
*
Hopefully a proper fix to code motion below side exits + NO register renaming
Justus Fasse
2021-08-21
1
-0
/
+23
|
*
Revert "Fix error"
Justus Fasse
2021-08-21
1
-17
/
+5
|
*
Fix error
Justus Fasse
2021-08-21
1
-5
/
+17
|
*
**Ugly** proof of simu_check_single_correct
Justus Fasse
2021-08-18
1
-8
/
+31
|
*
Match naming convention of surrounding code.
Justus Fasse
2021-08-18
1
-2
/
+2
|
*
Merge branch 'kvx-work' into weak-software-pipelining
Justus Fasse
2021-08-17
1
-61
/
+46
|
|
\
|
*
|
Modified logic to detect inner loops spanned by a superblock
Justus Fasse
2021-08-17
1
-3
/
+10
|
*
|
Remove done TODO comment
Justus Fasse
2021-08-17
1
-2
/
+2
|
*
|
Work-around for prepass-past-side-exits error.
Justus Fasse
2021-08-17
1
-11
/
+17
|
*
|
Make warning about worse schedule with relaxed problem non-fatal unless
Justus Fasse
2021-08-17
1
-1
/
+3
|
*
|
Issue warning when idealized final time is larger than default final
Justus Fasse
2021-08-17
1
-2
/
+6
|
*
|
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
|
*
|
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
|
*
|
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
|
*
|
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
[next]