aboutsummaryrefslogtreecommitdiffstats
path: root/powerpc/TargetPrinter.ml
Commit message (Expand)AuthorAgeFilesLines
* Merge branch 'master' into merge_master_8.13.1Sylvain Boulmé2021-03-231-15/+11
|\
| * 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
* | Merge github.com:AbsInt/CompCert into kvx-workv3.8_kvx_instructions_fixedDavid Monniaux2020-12-081-6/+0
|\|
| * Remove Pfcfi, Pfcfiu, Pfctiu pseudoinstructionsXavier Leroy2020-12-061-6/+0
* | fixes for aarch64 arm ppc ppc64David Monniaux2020-02-241-2/+6
|/
* 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
* | | Always call print debug_section in the prologue.Bernhard Schommer2015-10-021-18/+18
|/ /
generated by cgit (git 2.34.1) at 2024-05-09 13:01:04 +0000