aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* fix missing "formally"CPP22_mainSylvain Boulmé2021-12-101-1/+1
* authors and papers links for the CPP'22 versionSylvain Boulmé2021-12-062-2/+14
* more explanation on the web page.Sylvain Boulmé2021-12-031-0/+2
* update for CPP_2022 publicationSylvain Boulmé2021-12-021-5/+6
* opweights u74Léo Gourdin2021-09-171-0/+139
* Revert "[MERGE] weak-software-pipelining in RTLpath"Léo Gourdin2021-09-1647-3987/+229
* latest coq+ocaml versionsSylvain Boulmé2021-09-151-35/+12
* update gitlab-CI from kvx-workSylvain Boulmé2021-09-151-12/+35
* [MERGE] weak-software-pipelining in RTLpathLéo Gourdin2021-09-0247-229/+3987
|\
| * Fix small errorJustus Fasse2021-08-241-5/+5
| * Hopefully a proper fix to code motion below side exits + NO register renamingJustus Fasse2021-08-211-0/+23
| * Revert "Fix error"Justus Fasse2021-08-211-17/+5
| * Fix errorJustus Fasse2021-08-211-5/+17
| * Remove hopefully useless compiler passesJustus Fasse2021-08-212-16/+5
| * **Ugly** proof of simu_check_single_correctJustus Fasse2021-08-181-8/+31
| * Match naming convention of surrounding code.Justus Fasse2021-08-181-2/+2
| * Merge branch 'kvx-work' into weak-software-pipeliningJustus Fasse2021-08-1716-358/+1353
| |\
| * | Modified logic to detect inner loops spanned by a superblockJustus Fasse2021-08-171-3/+10
| * | Remove done TODO commentJustus Fasse2021-08-171-2/+2
| * | Work-around for prepass-past-side-exits error.Justus Fasse2021-08-171-11/+17
| * | Make warning about worse schedule with relaxed problem non-fatal unlessJustus Fasse2021-08-171-1/+3
| * | Issue warning when idealized final time is larger than default finalJustus Fasse2021-08-171-2/+6
| * | Make specifying of prepass past side exits heuristic optionalJustus Fasse2021-08-171-0/+1
| * | Fix compilation errorJustus Fasse2021-08-161-1/+3
| * | Use modified dependency calculation that is more generous (timing-wise)Justus Fasse2021-08-161-1/+1
| * | Supply correct arguments to functionJustus Fasse2021-08-161-1/+1
| * | Remove useless commentJustus Fasse2021-08-161-1/+0
| * | Remove duplicate function definitionJustus Fasse2021-08-161-8/+0
| * | Better relative estimates by systematically supplying correct livenessJustus Fasse2021-08-161-1/+2
| * | Insert final restoration code at very end of superblock if possibleJustus Fasse2021-08-161-22/+23
| * | More appropriate name for functionJustus Fasse2021-08-161-5/+2
| * | Experimenting with compiler passesJustus Fasse2021-08-162-0/+19
| * | Do not restore unnecessary instructions before a predicted IcondJustus Fasse2021-08-111-10/+16
| * | Add missing dependency for restoration_instructions'Justus Fasse2021-08-111-0/+24
| * | Allow restoration instructions at the very end of the path.Justus Fasse2021-08-111-2/+18
| * | More aggressive register renamingJustus Fasse2021-08-111-5/+12
| * | Make it easier to insert debugging codeJustus Fasse2021-08-111-3/+2
| * | Better variable name and an early exit in rename_regsJustus Fasse2021-08-111-5/+17
| * | Forgotten changeJustus Fasse2021-08-111-1/+2
| * | Do not incur latency hit for the fake-read of the memory by a side exitJustus Fasse2021-08-101-2/+16
| * | Version of get_simple_dependencies which differentiates between inputJustus Fasse2021-08-101-0/+203
| * | Use liveness information to prevent instructions getting incorrectlyJustus Fasse2021-08-041-6/+15
| * | Add explanatory comment why some registers are not renamedJustus Fasse2021-08-031-1/+4
| * | Use -flift-if N to control how many instructions may be duplicated perJustus Fasse2021-08-031-30/+24
| * | Rename less registers when pmSSA is turned off but code motion past sideJustus Fasse2021-08-021-1/+28
| * | Alias less registersJustus Fasse2021-08-021-5/+38
| * | Insert final restoration code before scheduling heuristic againJustus Fasse2021-08-021-7/+34
| * | Use alternative implementation of heuristic schedulingJustus Fasse2021-08-021-3/+4
| * | Scheduling function that can select the dependency calculationJustus Fasse2021-08-021-0/+84
| * | Directly modify the dependency calculation(s)Justus Fasse2021-08-021-1/+382
generated by cgit (git 2.34.1) at 2024-05-06 18:54:57 +0000