aboutsummaryrefslogtreecommitdiffstats
path: root/riscV
Commit message (Expand)AuthorAgeFilesLines
* Support __builtin_unreachableXavier Leroy2021-05-021-0/+4
* Introduce and use PrintAsmaux.variable_sectionXavier Leroy2021-02-231-2/+2
* Qualify `Hint` as `Global Hint` where appropriateXavier Leroy2021-01-211-1/+1
* Support re-normalization of function parameters at function entryXavier Leroy2021-01-161-1/+2
* RISC-V: fix FP calling conventionsXavier Leroy2021-01-144-117/+171
* RISC-V: wrong fixup code generated for vararg calls with fixed FP argsXavier Leroy2021-01-101-12/+18
* Replace `omega` tactic with `lia`Xavier Leroy2020-12-299-76/+76
* RISC-V: revised calling conventions for variadic functionsXavier Leroy2020-12-252-63/+105
* Changed cc_varargs to an option typeBernhard Schommer2020-12-252-4/+5
* Support the use of already-installed MenhirLib and Flocq librariesXavier Leroy2020-09-211-2/+1
* Add __builtin_sqrt as synonymous for __builtin_fsqrtXavier Leroy2020-07-271-1/+1
* RISC-V implementation of __builtin_clz* and __builtin_ctz*Xavier Leroy2020-07-272-0/+134
* No need to process __builtin_fabs in $ARCH/Asmexpand.mlXavier Leroy2020-07-271-2/+0
* Move shared code in new file.Bernhard Schommer2020-06-282-18/+0
* Remove the `can_reserve_register` function.Bernhard Schommer2020-06-282-3/+0
* Use Hashtbl.find_opt.Bernhard Schommer2020-06-281-1/+1
* Update the RISC-V calling conventions, continued (#227)Xavier Leroy2020-03-021-7/+10
* Update the RISC-V calling conventions (#221)Xavier Leroy2020-02-262-137/+149
* Platform-independent implementation of Conventions.size_arguments (#222)Xavier Leroy2020-02-241-64/+0
* Cosmetic: in OCaml code, write "open! Module" instead of "open !Module"Xavier Leroy2020-02-211-1/+1
* Support re-normalization of values returned by function callsXavier Leroy2020-02-211-0/+6
* Refine the type of function results in AST.signatureXavier Leroy2020-02-212-12/+11
* Incorrect computation of extra stack size for vararg calls in RISC-V (#213)Bernhard Schommer2020-02-051-2/+2
* 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 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
* | bswap builtins: give semantics to them, support bswap64 on all targetsBernhard Schommer2019-08-121-3/+0
|/
* 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
* 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
* 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
generated by cgit (git 2.34.1) at 2024-06-02 22:39:22 +0000