aboutsummaryrefslogtreecommitdiffstats
path: root/backend
Commit message (Expand)AuthorAgeFilesLines
* Add always inliningYann Herklotz2022-03-131-4/+1
* Revert "[MERGE] weak-software-pipelining in RTLpath"Léo Gourdin2021-09-1626-256/+98
* [MERGE] weak-software-pipelining in RTLpathLéo Gourdin2021-09-0226-98/+256
|\
| * Merge branch 'kvx-work' into weak-software-pipeliningJustus Fasse2021-08-178-285/+1291
| |\
| * | Optimize code layoutJustus Fasse2021-07-151-5/+14
| * | Merge branch 'kvx-work' into weak-software-pipeliningJustus Fasse2021-07-0847-1312/+1082
| |\ \
| * | | Optionally, only remove redundant conditions when applying CSE3.Justus Fasse2021-07-064-36/+57
| * | | Add "early" exit condition to `bfs_until`Justus Fasse2021-06-101-15/+27
| * | | Debug code shufflingJustus Fasse2021-04-281-6/+0
| * | | Remove duplicate codeJustus Fasse2021-04-201-175/+0
| * | | Remove silly debug informationJustus Fasse2021-04-201-4/+0
| * | | Thread fresh pc through functionsJustus Fasse2021-04-201-6/+5
| * | | WIP: If-lifting, now MyRTLpathScheduler (which is not a scheduler atJustus Fasse2021-04-193-8/+54
| * | | Simplistics attempt of passing untrusted information between passesJustus Fasse2021-04-1321-22/+54
| * | | Don't copy/move potentially trapping instructionsJustus Fasse2021-04-131-2/+1
| * | | Use command line flag to attempt "if lifting"Justus Fasse2021-04-131-1/+6
| * | | WIP: fif-lifting continuedJustus Fasse2021-04-011-73/+95
| * | | WIP: if-liftingJustus Fasse2021-04-012-0/+183
| * | | Fix infinite loop when compiling test/regression/parsing.cJustus Fasse2021-03-091-18/+32
* | | | RTLTunneling: fix comments and authors informationSylvain Boulmé2021-08-245-89/+24
| |_|/ |/| |
* | | remove default_notrap_load_valueSylvain Boulmé2021-07-241-1/+1
* | | Merge branch 'kvx-work' into rtl-tunnelingSylvain Boulmé2021-07-2413-25/+18
|\ \ \ | | |/ | |/|
| * | Replacing default notrap load value by Vundef everywherecsix-PhDCyril SIX2021-06-1813-25/+18
* | | Change "Tunneling" to "LTLTunneling" everywherePierre Goutagny2021-06-175-5/+5
* | | Use Tunnelinglibs in TunnelingauxPierre Goutagny2021-06-171-256/+81
* | | Simplify tunneling factorisationPierre Goutagny2021-06-172-168/+173
* | | Use Tunnelinglibs in RTLTunnelingauxPierre Goutagny2021-06-162-265/+123
* | | Add Tunneling factorisation modulePierre Goutagny2021-06-161-0/+237
* | | Add RTL Tunneling as a passPierre Goutagny2021-06-142-0/+6
* | | Add the RTLTunneling oraclePierre Goutagny2021-06-141-0/+284
* | | Complete RTLTunnelingproofPierre Goutagny2021-06-111-16/+66
* | | Complete `tunnel_step_correct` proof up to IjumptablePierre Goutagny2021-06-101-9/+227
* | | Starts proof for `tunnel_step_correct`Pierre Goutagny2021-06-091-15/+120
* | | Monday's work on RTLTunnelingproofPierre Goutagny2021-06-071-31/+153
* | | Add RTLTunnelingproof.vPierre Goutagny2021-06-041-0/+170
* | | Fix check_instr Icond target conditionsPierre Goutagny2021-06-041-2/+2
* | | Write RTLTunneling.vPierre Goutagny2021-06-031-0/+125
* | | Add RTLTunneling.vPierre Goutagny2021-06-031-0/+0
|/ /
* | Merge remote-tracking branch 'verimag/manuscript' into kvx-workCyril SIX2021-06-011-13/+11
|\ \
| * | Do not rotate if the CB was already at the end.Cyril SIX2021-04-281-1/+5
| * | Heuristic counter updateCyril SIX2021-04-281-12/+6
* | | Merge remote-tracking branch 'origin/kvx-work' into merge_master_8.13.1Cyril SIX2021-06-014-545/+286
|\| |
| * | Merge remote-tracking branch 'origin/manuscript' into kvx-worksubmission_OOPSLA2021_AARCH64_KVXCyril SIX2021-04-133-511/+129
| |\ \
| | * | CleaningCyril SIX2021-04-021-2/+1
| | * | More efficientCyril SIX2021-04-021-8/+12
| | * | Outermost loop detection worksCyril SIX2021-04-021-9/+10
| | * | Getting all loop bodiesCyril SIX2021-04-021-2/+36
| | * | get_loop_headers simplification (using the new get_loop_backedges)Cyril SIX2021-04-021-39/+7
| | * | Simple backedge detection (modified code from get_loop_headers)Cyril SIX2021-04-022-0/+43
| | * | Big simplification of get_loop_infoCyril SIX2021-03-311-111/+16
generated by cgit (git 2.34.1) at 2024-06-02 13:08:31 +0000