aboutsummaryrefslogtreecommitdiffstats
path: root/arm/TargetPrinter.ml
Commit message (Expand)AuthorAgeFilesLines
* Merge branch 'master' into merge_master_8.13.1Sylvain Boulmé2021-03-231-2/+2
|\
| * Introduce and use PrintAsmaux.variable_sectionXavier Leroy2021-02-231-2/+2
* | Merge remote-tracking branch 'origin/mppa-profiling' into mppa-featuresDavid Monniaux2020-04-121-1/+52
|\ \
| * | seems like the ARM profiling perhaps worksDavid Monniaux2020-04-111-1/+52
| |/
| * 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
* | fixes for aarch64 arm ppc ppc64David Monniaux2020-02-241-1/+1
* | fix for x86+arm unsupported thread localDavid Monniaux2020-02-241-1/+3
|/
* Extended asm: print register names according to their typesXavier Leroy2019-06-171-3/+3
* ARM: Fix expansion of FP conditional moveXavier Leroy2019-05-261-2/+2
* Implement a `Osel` operation for ARMXavier Leroy2019-05-201-0/+6
* 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
* Fix register naming for stack pointer.Bernhard Schommer2018-03-081-1/+1
* Fix arm compile broken by merge problems.Bernhard Schommer2018-03-061-4/+2
* Reactivated and improved ais annotations.Bernhard Schommer2018-03-061-5/+6
* Reintroduce informative comments for Pflid_lbl/Pflis_lbl in target printerMichael Schmidt2017-12-151-3/+6
* Reintroduce informative comment for Ploadsymbol_lbl in target printerMichael Schmidt2017-12-151-2/+2
* Introduce 'cmn' instruction and optimize compare-with-immediate when negated ...Michael Schmidt2017-12-151-0/+2
* Moved constant expansion into Asmexpand. (#40)Bernhard Schommer2017-12-141-305/+167
* Remove unused float_abi_type.Bernhard Schommer2017-11-291-12/+0
* Added json export for the abstract ARM AssemblerBernhard Schommer2017-11-201-61/+65
* Moved arm eabi fixup to Asmexpand.Bernhard Schommer2017-11-161-157/+30
* Removed no longer used function. Bug 22525Bernhard Schommer2017-11-091-25/+1
* Remove superfluous function.Bernhard Schommer2017-11-061-2/+0
* Fix register name of ais printing and moved label function up.Bernhard Schommer2017-10-251-4/+4
* New support for inserting ais-annotations.Bernhard Schommer2017-10-191-3/+11
* Take advantage of ARMv6T2/ARMv7 instructions even if not in Thumb2 mode (#203)Gergö Barany2017-09-181-4/+5
* ARM in Thumb mode: simpler instruction sequence for Pbtbl pseudo, continuedXavier Leroy2017-08-221-1/+2
* ARM in Thumb mode: simpler instruction sequence for Pbtbl pseudoXavier Leroy2017-08-221-6/+3
* ARM port: replace Psavelr pseudo-instruction by actual instructionsXavier Leroy2017-08-171-2/+0
* Improve stack offset addressingMichael Schmidt2017-08-021-12/+5
* Integrated fixup code in estimated size.Bernhard Schommer2017-07-261-0/+3
* Print_annot should produce a string.Bernhard Schommer2017-07-191-3/+8
* Remove unused open.Bernhard Schommer2017-02-061-1/+0
* Fallthrough no depends on the last instruction.Bernhard Schommer2016-12-151-4/+4
* Be more conservative in emiting constants.Bernhard Schommer2016-12-151-815/+827
* Use 64 bit address in debug information.Bernhard Schommer2016-11-101-0/+2
* improve fixup code (bug 19792)Michael Schmidt2016-09-151-0/+2
* Add missing fixup-code for ARM EABI (bug 19792)Michael Schmidt2016-09-141-2/+0
* Implement support for big endian arm targets.Bernhard Schommer2016-08-051-5/+7
* bug 18925, fix loading of symbols for thumb: :lower16: and :upper16: are rest...Michael Schmidt2016-05-131-1/+2
* */TargetPrinter.ml: wrong comment attached to Init_float32 constantsXavier Leroy2016-04-091-1/+1
* Merge branch 'master' into cleanupBernhard Schommer2016-03-211-2/+2
|\
| * Print floating-point numbers with more digits in debug outputsXavier Leroy2016-03-151-2/+2
* | Deactivate warning 27 and added back removed code.Bernhard Schommer2016-03-151-5/+5
* | Cleanup of ARM dependedn code.Bernhard Schommer2016-03-101-64/+7
|/
* Do not use "movs rd, rs" nor "movs rd, #imm" in Thumb2 mode.Xavier Leroy2016-02-181-2/+8
* Print cfi_sections only if cfi is supported.Bernhard Schommer2015-12-151-1/+1
* Merge remote-tracking branch 'origin/master' into named-externalsBernhard Schommer2015-10-201-8/+3
|\