aboutsummaryrefslogtreecommitdiffstats
path: root/riscV/TargetPrinter.ml
Commit message (Expand)AuthorAgeFilesLines
* fix riscv merge?Léo Gourdin2021-03-291-0/+667
* Merge branch 'master' into merge_master_8.13.1Sylvain Boulmé2021-03-231-667/+0
|\
| * Introduce and use PrintAsmaux.variable_sectionXavier Leroy2021-02-231-2/+2
| * RISC-V: fix FP calling conventionsXavier Leroy2021-01-141-0/+4
| * Revert "Remove `__builtin_nop` for some architectures. (#208)"Bernhard Schommer2020-01-031-0/+2
| * Remove `__builtin_nop` for some architectures. (#208)Bernhard Schommer2019-12-211-2/+0
* | begin implementing selectDavid Monniaux2021-02-021-0/+2
* | bits to floatDavid Monniaux2021-02-011-0/+4
* | fixes for aarch64 arm ppc ppc64David Monniaux2020-02-241-1/+3
|/
* Extended asm: print register names according to their typesXavier Leroy2019-06-171-2/+2
* Added options -fcommon and -fno-common (#164)Bernhard Schommer2019-05-101-2/+2
* Generate a nop instruction after some ais annotations (#137)Bernhard Schommer2018-09-121-1/+3
* 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
* 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
* Remove superfluous function.Bernhard Schommer2017-11-061-2/+0
* New support for inserting ais-annotations.Bernhard Schommer2017-10-191-3/+11
* Print_annot should produce a string.Bernhard Schommer2017-07-191-3/+8
* RISC-V port and assorted changesXavier Leroy2017-04-281-0/+695