aboutsummaryrefslogtreecommitdiffstats
path: root/arm/TargetPrinter.ml
Commit message (Expand)AuthorAgeFilesLines
* 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
|\
| * Fixed typos in the arm and ia32 section printing.Bernhard Schommer2015-10-161-1/+1
| * Implemented the usage of DW_AT_ranges for non-contiguous address ranges.Bernhard Schommer2015-10-161-0/+1
| * First step to implemente address ranges for the gnu backend.Bernhard Schommer2015-10-151-7/+1
| * Use section type also for other targets.Bernhard Schommer2015-10-151-2/+2
| * bug 17392: remove trailing whitespace in source filesMichael Schmidt2015-10-141-47/+47
| * Implement the usage of the debug_str section for the gcc backend.Bernhard Schommer2015-10-131-1/+1
* | Updated PR by removing whitespaces. Bug 17450.Bernhard Schommer2015-10-201-47/+47
* | Use Coq strings instead of idents to name external and builtin functions.Xavier Leroy2015-10-111-2/+2
|/
* Filled in the rest of the funciton needed for thte debug info under arm.Bernhard Schommer2015-10-091-5/+23
* Add the forgotten Fileinfo also to arm and ia32 TargetPrinter.mlBernhard Schommer2015-10-021-0/+1
* Cleanup of now no longer needed functions.Bernhard Schommer2015-10-011-11/+1
* Change the way the debug sections are printed.Bernhard Schommer2015-09-281-1/+1
* Added printing the reference address for the LocRef and started refactoring oldBernhard Schommer2015-09-271-9/+1
* Added support for the locations of stack allocated local variables.Bernhard Schommer2015-09-251-0/+1
* Record the scope structure during unblocking.Bernhard Schommer2015-09-221-0/+2
* Revert "Startet implementation of new Debug interface."Bernhard Schommer2015-09-101-1/+0
* Startet implementation of new Debug interface.Bernhard Schommer2015-09-061-0/+1
* XBernhard Schommer2015-09-061-21/+11
|\
| * Upgrade the ARM port to the new builtins.Xavier Leroy2015-08-241-21/+11
* | Added symbol functions for printing of the location for global variables.Bernhard Schommer2015-08-211-0/+6
|/
* Updated the branch and implemented the suggested changes.Bernhard Schommer2015-07-141-0/+17
* Merge branch 'asmexpand' of github.com:AbsInt/CompCertBernhard Schommer2015-06-261-279/+42
* Revert "Merge branch 'asmexpand' of github.com:AbsInt/CompCert"Bernhard Schommer2015-06-261-42/+279
* Moved the printing of the builtin functions etc. into Asmexpand for ARM in th...Bernhard Schommer2015-06-101-279/+42
* Merged PrintAnnot into PrintAsmaux.Bernhard Schommer2015-05-141-4/+4
* Cleanups and updates for extended asm.Xavier Leroy2015-04-211-1/+1
* Support for GCC-style extended asm, continued:Xavier Leroy2015-04-211-1/+1
* Experiment: support a subset of GCC's extended asm statements.Xavier Leroy2015-04-171-2/+2
* Correct type of label function.Bernhard Schommer2015-04-161-1/+1
* Added missing dummy functions.Bernhard Schommer2015-04-161-0/+4
* Merge branch 'master' into dwarfBernhard Schommer2015-03-231-2/+6
|\
| * Fix .type and .size annotations: @ is comment, use % instead.Xavier Leroy2015-03-201-2/+6
* | Merge branch 'master' into dwarfBernhard Schommer2015-03-161-0/+1
|\|
| * Missing initialization of current_function_sig.Xavier Leroy2015-03-141-0/+1
generated by cgit (git 2.34.1) at 2024-06-28 21:45:49 +0000