aboutsummaryrefslogtreecommitdiffstats
path: root/driver
Commit message (Expand)AuthorAgeFilesLines
* Make prepass scheduling sensitive to register pressure, by Nicolas Nardino.David Monniaux2021-07-162-6/+12
* 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
* | 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
|\ \ \ \ | | |/ / | |/| |
| * | | Merge github.com:AbsInt/CompCert into kvx-workv3.8_kvx_instructions_fixedDavid Monniaux2020-12-081-0/+2
| |\ \ \ | | | |/ | | |/|
| | * | Error when using -main without -interpXavier Leroy2020-12-061-0/+2
| * | | Merge branch 'kvx-work' into kvx-work-merge3.8Cyril SIX2020-12-043-2/+24
| |\ \ \ | | | |/ | | |/|
| * | | Merge branch 'master' (Absint 3.8) into kvx-work-merge3.8David Monniaux2020-11-187-229/+49
| |\ \ \ | | | |/ | | |/|
| | * | Add -main option to specify entrypoint function in interpreter mode (#374)Xavier Leroy2020-10-303-19/+41
| | * | Remove -version-file optionXavier Leroy2020-10-121-19/+2
| | * | Add missing comment for print_version_file_and_exitChristoph Cullmann2020-07-301-0/+1
| | * | No trailing commas for --version-file option.Bernhard Schommer2020-07-091-1/+1
| | * | Fix typo.Bernhard Schommer2020-07-081-1/+1
| | * | Revert "Use the same version string."Bernhard Schommer2020-07-081-3/+10
| | * | Use the same version string.Bernhard Schommer2020-07-081-10/+3
| | * | Remove no longer needed option enforce-buildnrBernhard Schommer2020-07-081-10/+1
| | * | Introduce additional "branch" build information.Bernhard Schommer2020-07-081-3/+5
| | * | Add option to print version information in fileBernhard Schommer2020-07-081-1/+17
| | * | Move Commandline to the lib/ directoryXavier Leroy2020-05-052-196/+0
| | * | Move reserved_registers to CPragmas.Bernhard Schommer2020-04-201-0/+1
* | | | set prepass by defaultDavid Monniaux2020-11-271-1/+1
| |_|/ |/| |
* | | Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-11-191-1/+1
|\ \ \
| * | | Tunneling: improved elimination of conditionsSylvain Boulmé2020-11-161-1/+1
| |/ /
* | | Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-11-032-0/+4
|\| |
| * | Loop Rotate with -flooprotateCyril SIX2020-11-032-0/+4
* | | Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-10-312-0/+3
|\| |
| * | refining CSE3 nodesDavid Monniaux2020-10-312-0/+3
| * | deactivate LICMDavid Monniaux2020-10-281-1/+1
* | | Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-10-271-0/+1
|\| |
| * | Merge branch 'kvx-work' into duplicate-paramCyril SIX2020-10-273-0/+7
| |\ \
| * | | Reworked Duplicate to be parametrizedCyril SIX2020-10-271-0/+1
* | | | Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepassDavid Monniaux2020-10-273-0/+7
|\ \ \ \ | | |/ / | |/| |
| * | | new option for CSE3 (trivial ops)David Monniaux2020-10-273-0/+7
| |/ /
generated by cgit (git 2.34.1) at 2024-06-02 16:03:59 +0000