aboutsummaryrefslogtreecommitdiffstats
path: root/driver
Commit message (Expand)AuthorAgeFilesLines
* Revert "[MERGE] weak-software-pipelining in RTLpath"Léo Gourdin2021-09-164-59/+1
* Remove hopefully useless compiler passesJustus Fasse2021-08-211-8/+3
* Merge branch 'kvx-work' into weak-software-pipeliningJustus Fasse2021-08-172-2/+2
|\
| * Merge branch 'kvx-work' into rtl-tunnelingSylvain Boulmé2021-07-242-6/+12
| |\
| | * activate register pressure by defaultDavid Monniaux2021-07-162-5/+5
| | * use a more recognizable option nameDavid Monniaux2021-07-162-3/+3
| | * Change temporary solution (see prev commits), and add option for itnicolas.nardino2021-06-282-0/+3
| | * Another schedulernicolas.nardino2021-06-241-1/+1
| | * Changed default threshold value following testsnicolas.nardino2021-06-221-1/+1
| | * Add option to set thresold and support for riscvnicolas.nardino2021-06-172-0/+3
| | * scheduler written, need to test nownicolas.nardino2021-06-141-1/+1
| * | Change "Tunneling" to "LTLTunneling" everywherePierre Goutagny2021-06-171-1/+1
| |/
* | Make specifying of prepass past side exits heuristic optionalJustus Fasse2021-08-171-0/+1
* | Experimenting with compiler passesJustus Fasse2021-08-161-0/+11
* | Merge branch 'kvx-work' into weak-software-pipeliningJustus Fasse2021-07-191-1/+1
|\ \
| * | move back to "list" scheduler since regpres is buggyDavid Monniaux2021-07-191-1/+1
* | | Fix compilation errorJustus Fasse2021-07-191-2/+1
* | | Merge branch 'kvx-work' into weak-software-pipeliningJustus Fasse2021-07-192-6/+12
|\| |
| * | Make prepass scheduling sensitive to register pressure, by Nicolas Nardino.David Monniaux2021-07-162-6/+12
| |/
* | Describe new command line options slightly betterJustus Fasse2021-07-161-1/+5
* | Add hyphens to flagsJustus Fasse2021-07-161-5/+5
* | Fix build via work-around in Compiler.vexpandJustus Fasse2021-07-161-1/+18
* | Add additional compiler flagsJustus Fasse2021-07-162-1/+11
* | Merge branch 'kvx-work' into weak-software-pipeliningJustus Fasse2021-07-086-7/+18
|\|
| * Add target ELFCyril SIX2021-06-011-0/+1
| * Merge remote-tracking branch 'origin/kvx-work' into merge_master_8.13.1Cyril SIX2021-06-015-2/+11
| |\
| | * Adding both RV expansion methods in kvx-workLéo Gourdin2021-05-192-0/+4
| | * Adding distinction between kvx-cos and kvx-mbr (for trapping loads)Cyril SIX2021-04-133-1/+8
| | * Remove flagsLéo Gourdin2021-04-092-4/+0
| | * Compiler options to manage expansionsLéo Gourdin2021-03-262-2/+2
| | * Adding a flag to test fp_init_expLéo Gourdin2021-03-022-0/+2
| * | [BROKEN] Merge with v3.9 : something broken for __builtin_expect in cfrontend...Cyril SIX2021-06-011-1/+0
| * | Merge branch 'master' into merge_master_8.13.1Sylvain Boulmé2021-03-232-4/+6
| |\ \ | | |/ | |/|
| | * "macosx" is now called "macos"Xavier Leroy2021-01-182-3/+3
| | * AArch64: macOS portXavier Leroy2020-12-261-1/+3
* | | Optionally, only remove redundant conditions when applying CSE3.Justus Fasse2021-07-062-0/+4
* | | Turn pmSSA off by defaultJustus Fasse2021-05-211-1/+1
* | | WIP: if-liftingJustus Fasse2021-04-013-0/+4
* | | Expose option to disable the register renaming passJustus Fasse2021-03-102-0/+5
* | | Hard-code proof so that make works as expectedJustus Fasse2021-03-081-1/+1
* | | Experiment with simple register renaming schemeJustus Fasse2021-03-041-0/+8
|/ /
* | Adding a compiler option -fexpanse-rtlcondLéo Gourdin2021-02-162-0/+2
* | Conditions now propagated by CSE3David Monniaux2021-01-203-1/+8
|\ \
| * | begin implementing -fcse3-conditionsDavid Monniaux2020-12-093-0/+7
| * | CSE3 compiles again, but some admitted lemmasDavid Monniaux2020-12-091-1/+1
| * | Merge remote-tracking branch 'origin/kvx-work' into kvx-better2-cse3David Monniaux2020-12-087-229/+51
| |\ \
| * | | start checking for bugsDavid Monniaux2020-12-021-1/+1
* | | | Fix --help for prepass (new options)Léo Gourdin2021-01-141-1/+1
* | | | Fix --help for prepass (default on)Léo Gourdin2021-01-141-1/+1
* | | | Merge branch 'kvx-work' into aarch64-peepholeSylvain Boulmé2020-12-177-229/+51
|\ \ \ \ | | |/ / | |/| |
generated by cgit (git 2.34.1) at 2024-06-02 13:47:06 +0000