aboutsummaryrefslogtreecommitdiffstats
path: root/ia32/TargetPrinter.ml
Commit message (Expand)AuthorAgeFilesLines
* Also replace extern_atom by camlstring_of_coqstring for ia32/TargetPrinter.ml.Bernhard Schommer2015-10-201-2/+2
* Fixed typos in the arm and ia32 section printing.Bernhard Schommer2015-10-161-2/+2
* Implemented the usage of DW_AT_ranges for non-contiguous address ranges.Bernhard Schommer2015-10-161-1/+4
* First step to implemente address ranges for the gnu backend.Bernhard Schommer2015-10-151-6/+0
* Use section type also for other targets.Bernhard Schommer2015-10-151-2/+2
* bug 17392: remove trailing whitespace in source filesMichael Schmidt2015-10-141-42/+42
* Implement the usage of the debug_str section for the gcc backend.Bernhard Schommer2015-10-131-2/+5
* Filled in missing functions for debug information on ia32.Bernhard Schommer2015-10-091-16/+31
* Filled in the rest of the funciton needed for thte debug info under arm.Bernhard Schommer2015-10-091-1/+4
* 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-10/+0
* Change the way the debug sections are printed.Bernhard Schommer2015-09-281-3/+5
* Added printing the reference address for the LocRef and started refactoring oldBernhard Schommer2015-09-271-8/+0
* 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-18/+6
|\
| * Track the locations of local variables using EF_debug annotations.Xavier Leroy2015-08-231-1/+1
| * Renaming {BA,BR}_longofwords -> {BA,BR}_splitlong.Xavier Leroy2015-08-221-12/+5
| * Simplify the handling of extended inline asm, taking advantage of the new, st...Xavier Leroy2015-08-211-3/+1
| * Merge branch 'master' into 'new-builtins'Xavier Leroy2015-08-211-36/+35
| |\
| * | Refactoring of builtins and annotations in the back-end.Xavier Leroy2015-08-211-8/+5
* | | Merge branch 'master' into debug_locationsBernhard Schommer2015-08-261-36/+35
|\ \ \ | | |/ | |/|
| * | Consistent naming of "P" instructions and consistent ordering of argumentsXavier Leroy2015-08-211-36/+35
| |/
* / Added symbol functions for printing of the location for global variables.Bernhard Schommer2015-08-211-0/+6
|/
* Merge branch 'asmexpand' of github.com:AbsInt/CompCertBernhard Schommer2015-06-261-286/+73
* Revert "Merge branch 'asmexpand' of github.com:AbsInt/CompCert"Bernhard Schommer2015-06-261-73/+286
* Moved the rest of the ia32 builtins to asmexpand.Bernhard Schommer2015-06-221-287/+28
* Started moving functions from TargetPrinter.ml to Asmexpand.ml for ia32.Bernhard Schommer2015-06-181-0/+46
* Merged PrintAnnot into PrintAsmaux.Bernhard Schommer2015-05-141-4/+4
* Cleanups and updates for extended asm.Xavier Leroy2015-04-211-2/+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/+3
* Added missing dummy functions.Bernhard Schommer2015-04-161-0/+8
* Merge branch 'master' into dwarfBernhard Schommer2015-04-021-1/+1
|\
| * Merge pull request #34 from AbsInt/extended-annotationsXavier Leroy2015-04-011-1/+1
| |\
| | * Updated the Caml part. Added some more tests in annot1.c.Xavier Leroy2015-03-271-1/+1
* | | Merge branch 'master' into dwarfBernhard Schommer2015-03-311-4/+15
|\| |
| * | Missing initialization of current_function_sig.Xavier Leroy2015-03-141-1/+3
| * | Merge branch 'master' into struct-passingXavier Leroy2015-03-141-4/+15
* | | Merge branch 'master' into dwarfBernhard Schommer2015-03-161-1/+3
|\ \ \ | | |/ | |/|
| * | Missing initialization of current_function_sig.Xavier Leroy2015-03-141-1/+3
| |/
* | Started implementing the printing functions for the debug info. Added a globa...Bernhard Schommer2015-03-161-0/+6
* | Started integrating the debug printing in the common backend_printer.Bernhard Schommer2015-03-111-0/+7
|/
* Removed unused sel_target, changed cygwin symbol names and changed the defaul...Bernhard Schommer2015-02-191-3/+6
* Added an elf prefix to all common elf functions in PrintAsmaux.Bernhard Schommer2015-02-181-10/+13
* Changed print_fun/var_info to be functions instead of booleans.Bernhard Schommer2015-02-181-8/+8
* Removed some style issues.Bernhard Schommer2015-02-181-9/+9
* Changed arm backend to the common backend printer.Bernhard Schommer2015-02-091-1/+1
generated by cgit (git 2.34.1) at 2024-06-28 21:57:38 +0000