aboutsummaryrefslogtreecommitdiffstats
path: root/arm/TargetPrinter.ml
Commit message (Expand)AuthorAgeFilesLines
...
* 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
* | 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/+6
|/
* Removed unused sel_target, changed cygwin symbol names and changed the defaul...Bernhard Schommer2015-02-191-1/+2
* Added an elf prefix to all common elf functions in PrintAsmaux.Bernhard Schommer2015-02-181-3/+5
* Changed print_fun/var_info to be functions instead of booleans.Bernhard Schommer2015-02-181-2/+2
* Removed some style issues.Bernhard Schommer2015-02-181-2/+2
* Changed arm backend to the common backend printer.Bernhard Schommer2015-02-091-0/+1140
generated by cgit (git 2.34.1) at 2024-06-26 18:19:55 +0000