aboutsummaryrefslogtreecommitdiffstats
path: root/powerpc/TargetPrinter.ml
Commit message (Expand)AuthorAgeFilesLines
* More simplifications for literal printingBernhard Schommer2022-09-031-5/+0
* Refactor emitting of constants.Bernhard Schommer2022-09-031-16/+0
* Support mergeable sections for fixed-size literalsXavier Leroy2022-08-291-13/+14
* Do not use `.rodata.cst8` for floating-point literalsXavier Leroy2022-08-151-1/+1
* Fix regression on PowerPC / DiabXavier Leroy2021-02-231-2/+4
* Section handling: finer control of variable initializationXavier Leroy2021-02-231-1/+1
* Introduce and use PrintAsmaux.variable_sectionXavier Leroy2021-02-231-14/+8
* Remove Pfcfi, Pfcfiu, Pfctiu pseudoinstructionsXavier Leroy2020-12-061-6/+0
* Extended asm: print register names according to their typesXavier Leroy2019-06-171-2/+2
* Provide a float select operation for PowerPC. (#173)Bernhard Schommer2019-05-281-0/+1
* Added options -fcommon and -fno-common (#164)Bernhard Schommer2019-05-101-5/+14
* Improved diagnostics: spelling, wording, etc (#138)Michael Schmidt2018-09-141-1/+1
* Generate a nop instruction after some ais annotations (#137)Bernhard Schommer2018-09-121-1/+1
* Added Pldi to instr_size.Bernhard Schommer2018-08-011-0/+1
* Add missing tab character, bug 23541Michael Schmidt2018-05-021-1/+1
* Add new powerpc builtins.Michael Schmidt2018-04-271-0/+4
* Reactivated and improved ais annotations.Bernhard Schommer2018-03-061-9/+10
* Remove no longer used function. Bug 22525Bernhard Schommer2017-11-101-2/+0
* Removed no longer used function. Bug 22525Bernhard Schommer2017-11-091-30/+0
* Fix jumptable issue.Bernhard Schommer2017-11-081-1/+1
* Simplifiy handling of constant emmitting.Bernhard Schommer2017-11-081-20/+14
* Remove superfluous function.Bernhard Schommer2017-11-061-2/+0
* New support for inserting ais-annotations.Bernhard Schommer2017-10-191-5/+16
* Print_annot should produce a string.Bernhard Schommer2017-07-191-5/+5
* Hybrid 64bit/32bit PowerPC portBernhard Schommer2017-05-031-12/+126
* Remove unused openBernhard Schommer2017-02-061-1/+0
* Use 64 bit address in debug information.Bernhard Schommer2016-11-101-0/+7
* */TargetPrinter.ml: wrong comment attached to Init_float32 constantsXavier Leroy2016-04-091-1/+1
* Cleanup of AsmToJSON.Bernhard Schommer2016-03-161-8/+8
* Deactivate warning 27 and added back removed code.Bernhard Schommer2016-03-151-29/+29
* Code cleanup.Bernhard Schommer2016-03-101-37/+30
* bug 17752, fix tab-indentation in assembly outputMichael Schmidt2015-12-151-1/+1
* Print cfi_sections only if cfi is supported.Bernhard Schommer2015-12-151-3/+3
* Bug 17752, add rldicr instruction for PowerPCMichael Schmidt2015-12-151-1/+4
* Merge remote-tracking branch 'origin/master' into named-externalsBernhard Schommer2015-10-201-17/+38
|\
| * Implemented the usage of DW_AT_ranges for non-contiguous address ranges.Bernhard Schommer2015-10-161-0/+2
| * First step to implemente address ranges for the gnu backend.Bernhard Schommer2015-10-151-8/+1
| * Reworked the section interface for the debug information.Bernhard Schommer2015-10-141-6/+7
| * bug 17392: remove trailing whitespace in source filesMichael Schmidt2015-10-141-35/+35
| * Changed the type of the debug sections with additional string.Bernhard Schommer2015-10-131-5/+11
| * Implement the usage of the debug_str section for the gcc backend.Bernhard Schommer2015-10-131-1/+3
| * Merge branch 'master' into ppc64Xavier Leroy2015-10-111-84/+75
| |\
| * | Use PowerPC 64 bits instructions (when available) for int<->FP conversions.Xavier Leroy2015-09-131-0/+17
* | | Updated PR by removing whitespaces. Bug 17450.Bernhard Schommer2015-10-201-35/+35
* | | Use Coq strings instead of idents to name external and builtin functions.Xavier Leroy2015-10-111-2/+2
| |/ |/|
* | Fixed syntax error and added Section_debug_line to the Json serializer.Bernhard Schommer2015-10-091-1/+1
* | Filled in the rest of the funciton needed for thte debug info under arm.Bernhard Schommer2015-10-091-4/+5
* | Ensure that there are file directives for all files used in the debugBernhard Schommer2015-10-041-1/+2
* | Merge branch 'gnu-debug'Bernhard Schommer2015-10-021-7/+25
|\ \
| * | First try of debug information for gcc.Bernhard Schommer2015-10-021-7/+25
generated by cgit (git 2.34.1) at 2024-05-18 05:22:06 +0000