aboutsummaryrefslogtreecommitdiffstats
path: root/riscV
Commit message (Expand)AuthorAgeFilesLines
* Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-work-up...David Monniaux2020-02-081-2/+2
|\
| * Incorrect computation of extra stack size for vararg calls in RISC-V (#213)Bernhard Schommer2020-02-051-2/+2
* | stubs to keep compiling on architectures not K1cDavid Monniaux2020-02-071-0/+3
* | Merge branch 'dm-div2' of https://github.com/monniaux/CompCert into mppa-workDavid Monniaux2020-01-153-28/+51
|\ \
| * | 64-bit signed division by two codeDavid Monniaux2020-01-143-14/+26
| * | rv32: 3-instruction signed divide-by-two sequence (as opposed to 4)David Monniaux2020-01-143-14/+25
| |/
| * Revert "Remove `__builtin_nop` for some architectures. (#208)"Bernhard Schommer2020-01-033-1/+7
| * Remove `__builtin_nop` for some architectures. (#208)Bernhard Schommer2019-12-213-7/+1
* | Merge remote-tracking branch 'origin/mppa-work' into mppa-non-trapping-loadDavid Monniaux2019-12-021-0/+2
|\ \
| * | fix compile for rv32David Monniaux2019-10-161-0/+2
| * | [regression to check!] Merge tag 'v3.6' into mppa-workCyril SIX2019-10-162-22/+6
| |\|
* | | trapping ops on rvDavid Monniaux2019-09-241-0/+30
* | | Merge tag 'v3.6_mppa_2019-09-20' of gricad-gitlab.univ-grenoble-alpes.fr:sixc...David Monniaux2019-09-202-22/+6
|\ \ \
| * \ \ Merge tag 'v3.6' of https://github.com/AbsInt/CompCert into mppa-work-upstrea...David Monniaux2019-09-202-22/+6
| |\ \ \ | | |/ / | |/| / | | |/
| | * Merge pull request #313 from AbsInt/aarch64Xavier Leroy2019-09-112-22/+6
| | |\
| | | * Fix compile for architectures other than AArch64 (#192)Bernhard Schommer2019-08-172-6/+6
| | | * AArch64 portXavier Leroy2019-08-081-16/+0
* | | | fix for Risc-VDavid Monniaux2019-09-074-8/+34
* | | | PowerPC compilesDavid Monniaux2019-09-071-0/+26
|/ / /
* | | Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-work-up...David Monniaux2019-08-281-3/+0
|\| |
| * | bswap builtins: give semantics to them, support bswap64 on all targetsBernhard Schommer2019-08-121-3/+0
| |/
* | helpers broke compilationDavid Monniaux2019-07-192-7/+2
* | Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-work-up...David Monniaux2019-07-196-34/+85
|\|
| * Give formal semantics to some built-in functions and run-time functionsXavier Leroy2019-07-173-17/+56
| * Remove the cparser/Builtins moduleXavier Leroy2019-07-171-2/+2
| * Add floating-point square root and fused multiply-addXavier Leroy2019-07-171-0/+5
| * Revised specification of NaN payload behaviorXavier Leroy2019-07-121-13/+15
| * Extended asm: print register names according to their typesXavier Leroy2019-06-171-2/+2
* | Merge branch 'if-conversion' of https://github.com/AbsInt/CompCert into mppa-...David Monniaux2019-06-036-27/+50
|\|
| * Fix misspellings in messages, man pages, and commentsXavier Leroy2019-05-311-1/+1
| * Provide a default "select" operation for the RiscV portXavier Leroy2019-05-202-0/+20
| * Added options -fcommon and -fno-common (#164)Bernhard Schommer2019-05-101-2/+2
| * Move Z definitions out of Integers and into ZbitsXavier Leroy2019-04-262-10/+11
| * Upgrade embedded version of Flocq to 3.1.Guillaume Melquiond2019-03-271-14/+16
* | Risc-V works again (32/64).David Monniaux2019-03-224-3/+36
* | try to be portable across archsDavid Monniaux2019-03-212-0/+7
|/
* Generate a nop instruction after some ais annotations (#137)Bernhard Schommer2018-09-123-7/+9
* Compatibility with OCaml 4.07 (#241) continuedBernhard Schommer2018-07-121-1/+1
* Model external calls as destroying all caller-save registersXavier Leroy2018-06-012-3/+12
* Print x2 for riscV stack pointer.Bernhard Schommer2018-03-081-2/+2
* Fix register naming for stack pointer.Bernhard Schommer2018-03-081-1/+1
* Reactivated and improved ais annotations.Bernhard Schommer2018-03-061-5/+5
* Improve strength reduction of unsigned comparisons x ==u 0, x !=u 0, etc (#59)Xavier Leroy2018-02-162-15/+49
* Change AsmToJson to be similar to other printers.Bernhard Schommer2018-01-051-2/+5
* Resynchronize the LICENSE file and the license headers in individual files (#45)Xavier Leroy2018-01-051-0/+3
* Optimization for division by one during constant propagation (#39)Michael Schmidt2017-12-052-10/+24
* Remove no longer used function. Bug 22525Bernhard Schommer2017-11-101-2/+0
* Removed no longer used function. Bug 22525Bernhard Schommer2017-11-091-21/+0
* Fix jumptable issue.Bernhard Schommer2017-11-081-1/+1
* Simplifiy handling of constant emmitting.Bernhard Schommer2017-11-081-51/+25
generated by cgit (git 2.34.1) at 2024-06-02 21:23:59 +0000