Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Adding both RV expansion methods in kvx-work | Léo Gourdin | 2021-05-19 | 1 | -0/+2 |
| | |||||
* | Remove flags | Léo Gourdin | 2021-04-09 | 1 | -2/+0 |
| | |||||
* | Compiler options to manage expansions | Léo Gourdin | 2021-03-26 | 1 | -1/+1 |
| | |||||
* | Adding a flag to test fp_init_exp | Léo Gourdin | 2021-03-02 | 1 | -0/+1 |
| | |||||
* | Adding a compiler option -fexpanse-rtlcond | Léo Gourdin | 2021-02-16 | 1 | -0/+1 |
| | |||||
* | Conditions now propagated by CSE3 | David Monniaux | 2021-01-20 | 1 | -0/+2 |
|\ | | | | | | | Merge remote-tracking branch 'origin/kvx-better2-cse3' into kvx-work | ||||
| * | begin implementing -fcse3-conditions | David Monniaux | 2020-12-09 | 1 | -0/+2 |
| | | |||||
* | | Fix --help for prepass (new options) | Léo Gourdin | 2021-01-14 | 1 | -1/+1 |
| | | |||||
* | | Fix --help for prepass (default on) | Léo Gourdin | 2021-01-14 | 1 | -1/+1 |
|/ | |||||
* | Merge github.com:AbsInt/CompCert into kvx-workv3.8_kvx_instructions_fixed | David Monniaux | 2020-12-08 | 1 | -0/+2 |
|\ | |||||
| * | Error when using -main without -interp | Xavier Leroy | 2020-12-06 | 1 | -0/+2 |
| | | | | | | | | | | | | Outside of -interp mode, -main has no (known) effect but could be confused for a linker option that sets the program's entrypoint, say. It's safer to reject the option. | ||||
* | | Merge branch 'kvx-work' into kvx-work-merge3.8 | Cyril SIX | 2020-12-04 | 1 | -1/+8 |
|\ \ | | | | | | | | | | | | | | | | Conflicts: Makefile configure | ||||
| * \ | Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepass | David Monniaux | 2020-11-03 | 1 | -0/+3 |
| |\ \ | |||||
| * \ \ | Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepass | David Monniaux | 2020-10-31 | 1 | -0/+2 |
| |\ \ \ | |||||
| * \ \ \ | Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepass | David Monniaux | 2020-10-27 | 1 | -0/+2 |
| |\ \ \ \ | |||||
| * | | | | | -mtune= | David Monniaux | 2020-10-22 | 1 | -1/+3 |
| | | | | | | |||||
| * | | | | | Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepass | David Monniaux | 2020-10-18 | 1 | -11/+11 |
| |\ \ \ \ \ | |||||
| * | | | | | | command line selection of prepass scheduler | David Monniaux | 2020-07-11 | 1 | -0/+3 |
| | | | | | | | |||||
| * | | | | | | use a command-line option | David Monniaux | 2020-07-08 | 1 | -1/+3 |
| | | | | | | | |||||
* | | | | | | | Merge branch 'master' (Absint 3.8) into kvx-work-merge3.8 | David Monniaux | 2020-11-18 | 1 | -11/+4 |
|\ \ \ \ \ \ \ | |_|_|_|_|/ / |/| | | | | / | | |_|_|_|/ | |/| | | | | |||||
| * | | | | | Add -main option to specify entrypoint function in interpreter mode (#374) | Xavier Leroy | 2020-10-30 | 1 | -1/+3 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | When running unit tests with the CompCert reference interpreter, it's nice to be able to start execution at a given test function instead of having to write a main function. This PR adds a -main command-line option to give the name of the entry point function. The default is still main. Frama-C has a similar option. The function specified with -main is called with no arguments. If its return type is int, its return value is the exit status of the program. Otherwise, its return value is ignored and the program exits with status 0. | ||||
| * | | | | | Remove no longer needed option enforce-buildnr | Bernhard Schommer | 2020-07-08 | 1 | -10/+1 |
| | | | | | | |||||
* | | | | | | Loop Rotate with -flooprotate | Cyril SIX | 2020-11-03 | 1 | -0/+3 |
| |_|_|_|/ |/| | | | | |||||
* | | | | | refining CSE3 nodes | David Monniaux | 2020-10-31 | 1 | -0/+2 |
| |_|_|/ |/| | | | |||||
* | | | | new option for CSE3 (trivial ops) | David Monniaux | 2020-10-27 | 1 | -0/+2 |
| |_|/ |/| | | |||||
* | | | Loop body unrolling with -funrollbody n | Cyril SIX | 2020-10-16 | 1 | -0/+2 |
| | | | |||||
* | | | -O0 desactivates -fpredict and -ftracelinearize | Cyril SIX | 2020-10-14 | 1 | -0/+1 |
| | | | |||||
* | | | Updated --help | Cyril SIX | 2020-10-14 | 1 | -9/+5 |
| | | | |||||
* | | | new flags: -fpredict, -ftailduplicate n, -funrollsingle n instead of just ↵ | Cyril SIX | 2020-10-09 | 1 | -2/+3 |
| |/ |/| | | | | | -fduplicate n | ||||
* | | -fcse3-glb | David Monniaux | 2020-05-06 | 1 | -0/+2 |
| | | |||||
* | | CSE3 across merges | David Monniaux | 2020-05-06 | 1 | -0/+2 |
| | | |||||
* | | Merge remote-tracking branch 'origin/mppa-licm' into mppa-features | David Monniaux | 2020-04-23 | 1 | -1/+4 |
|\ \ | |||||
| * | | CSE3 across calls | David Monniaux | 2020-04-23 | 1 | -1/+3 |
| | | | |||||
| * | | Merge remote-tracking branch 'origin/mppa-cse3' into mppa-licm | David Monniaux | 2020-04-23 | 1 | -0/+1 |
| |\ \ | |||||
| | * | | make tracing output optional | David Monniaux | 2020-04-23 | 1 | -0/+1 |
| | | | | |||||
* | | | | Merge remote-tracking branch 'origin/mppa-fast-div' into mppa-features | David Monniaux | 2020-04-20 | 1 | -0/+6 |
|\ \ \ \ | |||||
| * \ \ \ | Merge remote-tracking branch 'origin/mppa-work' into mppa-fast-div | David Monniaux | 2020-04-20 | 1 | -10/+46 |
| |\ \ \ \ | | | | | | | | | | | | | | | | | | | (unfinished) | ||||
| * | | | | | added -fdiv-i32 and -fdiv-i64 options | David Monniaux | 2019-05-29 | 1 | -3/+9 |
| | | | | | | |||||
* | | | | | | Merge remote-tracking branch 'origin/mppa-licm' into mppa-features | David Monniaux | 2020-04-20 | 1 | -0/+4 |
|\ \ \ \ \ \ | | |_|/ / / | |/| | | | | |||||
| * | | | | | add options for controlling madd and notrap selection | David Monniaux | 2020-04-19 | 1 | -0/+2 |
| | | | | | | |||||
| * | | | | | begin adapting for LICM phase | David Monniaux | 2020-04-01 | 1 | -0/+2 |
| | |_|/ / | |/| | | | |||||
* | | | | | Merge remote-tracking branch 'origin/mppa-profiling' into mppa-features | David Monniaux | 2020-04-12 | 1 | -2/+8 |
|\ \ \ \ \ | |/ / / / |/| | | | | |||||
| * | | | | -fbranch-probabilities | David Monniaux | 2020-04-08 | 1 | -1/+2 |
| | | | | | |||||
| * | | | | reloading and exploiting seems to work | David Monniaux | 2020-04-08 | 1 | -1/+3 |
| | | | | | |||||
| * | | | | fixed a bug in support libraries; reload profiling info | David Monniaux | 2020-04-08 | 1 | -0/+1 |
| | | | | | |||||
| * | | | | begin installing profiling | David Monniaux | 2020-04-08 | 1 | -1/+3 |
| | |/ / | |/| | | |||||
* | | | | Merge remote-tracking branch 'origin/mppa-work' into mppa-cse3 | David Monniaux | 2020-03-17 | 1 | -1/+5 |
|\| | | | |||||
| * | | | Desactivating branch predictions by default | Cyril SIX | 2020-03-17 | 1 | -1/+5 |
| | | | | |||||
* | | | | Merge remote-tracking branch 'origin/mppa-work' into mppa-cse3 | David Monniaux | 2020-03-15 | 1 | -0/+2 |
|\| | | | |||||
| * | | | more inlining | David Monniaux | 2020-03-15 | 1 | -0/+2 |
| | | | |