aboutsummaryrefslogtreecommitdiffstats
path: root/arm
Commit message (Expand)AuthorAgeFilesLines
* Fixed minor typos in the comments.Bernhard Schommer2015-10-041-1/+1
* 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-068-209/+256
|\
| * Upgrade the ARM port to the new builtins.Xavier Leroy2015-08-248-209/+256
* | Merge branch 'master' into debug_locationsBernhard Schommer2015-08-261-11/+12
|\|
| * Asmexpand for ARM: fixed bug in Pfreeframe.Xavier Leroy2015-08-211-3/+3
| * Fix bugs in Asmexpand.ml for ARM.Xavier Leroy2015-08-211-8/+9
* | Added symbol functions for printing of the location for global variables.Bernhard Schommer2015-08-211-0/+6
|/
* Merge pull request #46 from AbsInt/asmexpandXavier Leroy2015-08-173-283/+443
|\
| * Updated the branch and implemented the suggested changes.Bernhard Schommer2015-07-143-44/+78
| * Merge branch 'master' into asmexpandBernhard Schommer2015-07-141-0/+18
| |\
| * | Merge branch 'asmexpand' of github.com:AbsInt/CompCertBernhard Schommer2015-06-263-283/+409
| * | Revert "Merge branch 'asmexpand' of github.com:AbsInt/CompCert"Bernhard Schommer2015-06-263-409/+283
| * | Moved the rest of the ia32 builtins to asmexpand.Bernhard Schommer2015-06-221-1/+3
| * | Moved the printing of the builtin functions etc. into Asmexpand for ARM in th...Bernhard Schommer2015-06-103-283/+407
* | | Value analysis: keep track of pointer values that leak through small integers...Xavier Leroy2015-07-192-21/+21
* | | Value analysis: keep track of pointer values that leak through arithmetic ope...Xavier Leroy2015-07-191-2/+2
| |/ |/|
* | Merge branch 'master' into json_exportBernhard Schommer2015-05-185-31/+68
|\|
| * Merged PrintAnnot into PrintAsmaux.Bernhard Schommer2015-05-141-4/+4
| * Updated PrintOp for the single-precision FP operations.Xavier Leroy2015-05-091-0/+21
| * Extended inline asm: revised treatment of clobbered registers.Xavier Leroy2015-05-093-27/+43
* | Merge branch 'master' into json_exportBernhard Schommer2015-05-071-4/+4
|\|
| * Typo: Val.sun_inject -> Val.sub_inject.Xavier Leroy2015-05-061-4/+4
* | Merge branch 'master' into json_exportBernhard Schommer2015-05-051-47/+47
|\|
| * Long-overdue renaming: val_inject -> Val.inject, etc, for consistency with Va...Xavier Leroy2015-04-301-47/+47
* | Added the first version of the sdump export to json.Bernhard Schommer2015-04-271-0/+18
|/
* Allow "scratch" (non-allocatable temporary registers) to be mentioned in asm ...Xavier Leroy2015-04-232-1/+4
* Take asm clobbers into account for determining callee-save registers used.Xavier Leroy2015-04-232-0/+8
* 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-172-2/+6
* 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-04-042-3/+5
|\
| * Fixed missing unsigned compare for pointer in the arm backend.Bernhard Schommer2015-04-042-3/+5
* | Merge branch 'master' into dwarfBernhard Schommer2015-04-025-46/+41
|\|
| * Updating the PowerPC and ARM ports.Xavier Leroy2015-03-275-46/+41
* | 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
|/