aboutsummaryrefslogtreecommitdiffstats
path: root/backend/PrintAsm.ml
Commit message (Expand)AuthorAgeFilesLines
* Merge branch 'master' into merge_master_8.13.1Sylvain Boulmé2021-03-231-1/+1
|\
| * Section handling: finer control of variable initializationXavier Leroy2021-02-231-1/+1
* | thread local declarations now workDavid Monniaux2020-02-241-1/+1
|/
* Compatibility with OCaml 4.08 (#302)Xavier Leroy2019-07-081-2/+1
* Print only debug info for printed functions.Bernhard Schommer2019-04-161-1/+2
* Add newline directly on list in annot.Bernhard Schommer2018-03-131-2/+1
* Reactivated and improved ais annotations.Bernhard Schommer2018-03-061-10/+14
* Remove no longer used function. Bug 22525Bernhard Schommer2017-11-101-1/+0
* Use address for printing address constant. Bug 22525Bernhard Schommer2017-11-091-2/+3
* Generalize print_init.Bernhard Schommer2017-11-091-1/+40
* Remove superfluous function.Bernhard Schommer2017-11-061-2/+2
* New support for inserting ais-annotations.Bernhard Schommer2017-10-191-0/+18
* Do not generate code for "inline definitions"Bernhard Schommer2017-04-071-1/+3
* Remove unused openBernhard Schommer2017-02-061-1/+0
* Use 64 bit address in debug information.Bernhard Schommer2016-11-101-0/+1
* Activate advanced debug information for arm, ia32.Bernhard Schommer2016-06-281-3/+3
* Deactivate warning 27 and added back removed code.Bernhard Schommer2016-03-151-1/+1
* Code cleanup.Bernhard Schommer2016-03-101-4/+3
* First step to implemente address ranges for the gnu backend.Bernhard Schommer2015-10-151-3/+3
* More verbose debug printer.Bernhard Schommer2015-10-141-1/+1
* bug 17392: remove trailing whitespace in source filesMichael Schmidt2015-10-141-5/+5
* First try of debug information for gcc.Bernhard Schommer2015-10-021-3/+3
* Cleanup of now no longer needed functions.Bernhard Schommer2015-10-011-1/+0
* Only print locations for symbols that are present in the assembler.Bernhard Schommer2015-10-011-1/+2
* Change the way the debug sections are printed.Bernhard Schommer2015-09-281-10/+11
* Added printing the reference address for the LocRef and started refactoring oldBernhard Schommer2015-09-271-6/+1
* Added support for the locations of stack allocated local variables.Bernhard Schommer2015-09-251-3/+5
* First version with computation of dwarf info from debug info.Bernhard Schommer2015-09-171-5/+4
* Move more functionality in the new interface.Bernhard Schommer2015-09-161-7/+5
* Revert "Startet implementation of new Debug interface."Bernhard Schommer2015-09-101-2/+2
* Startet implementation of new Debug interface.Bernhard Schommer2015-09-061-2/+2
* Added symbol functions for printing of the location for global variables.Bernhard Schommer2015-08-211-2/+6
* Do not search for high and low pc of inlined functions.Bernhard Schommer2015-07-021-1/+1
* Merged PrintAnnot into PrintAsmaux.Bernhard Schommer2015-05-141-3/+3
* Use globl also for global variables.Bernhard Schommer2015-05-071-1/+1
* Added translation fucntion for declarations and fundefinitions.Bernhard Schommer2015-03-231-4/+38
* Activating the printing of the debug information for supported architecture.Bernhard Schommer2015-03-191-2/+6
* Added function to convert C types into their dwarf represnation.Bernhard Schommer2015-03-181-1/+1
* Started implementing the printing functions for the debug info. Added a globa...Bernhard Schommer2015-03-161-1/+6
* Started integrating the debug printing in the common backend_printer.Bernhard Schommer2015-03-111-0/+1
* Removed unused sel_target, changed cygwin symbol names and changed the defaul...Bernhard Schommer2015-02-191-3/+1
* Added an elf prefix to all common elf functions in PrintAsmaux.Bernhard Schommer2015-02-181-4/+4
* Changed print_fun/var_info to be functions instead of booleans.Bernhard Schommer2015-02-181-4/+2
* Removed some style issues.Bernhard Schommer2015-02-181-65/+71
* Changed arm backend to the common backend printer.Bernhard Schommer2015-02-091-1/+1
* Changed the ASM printer of the powerpc to the generalized backend.Bernhard Schommer2015-02-051-0/+99