aboutsummaryrefslogtreecommitdiffstats
path: root/riscV/TargetPrinter.ml
Commit message (Expand)AuthorAgeFilesLines
* Use .data.rel.ro section for const data with relocatable inits on ELF targets...Xavier Leroy2022-10-241-1/+4
* More simplifications for literal printingBernhard Schommer2022-09-031-5/+0
* Refactor emitting of constants.Bernhard Schommer2022-09-031-16/+2
* Support mergeable sections for fixed-size literalsXavier Leroy2022-08-291-30/+21
* Expand "j_s symb" to "jump symb, x31" assembly pseudo-instructionXavier Leroy2022-06-241-3/+1
* 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
* 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