aboutsummaryrefslogtreecommitdiffstats
path: root/arm
Commit message (Expand)AuthorAgeFilesLines
* bug 18168, catch cases where variadic arguments are transfered via registersMichael Schmidt2016-02-241-2/+2
* bug 18168, fix offset computation for var-args in ARM stacklayoutMichael Schmidt2016-02-241-1/+1
* Do not use "movs rd, rs" nor "movs rd, #imm" in Thumb2 mode.Xavier Leroy2016-02-181-2/+8
* ARM: bug in expansion of __builtin_clzllXavier Leroy2015-12-221-1/+1
* Add CLZ builtins for ARM and IA32Xavier Leroy2015-12-222-1/+11
* The return type of __builtin_clz() et al is "int", as documented and for GCC ...v2.6Xavier Leroy2015-12-211-1/+1
* 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-1414-609/+609
| * bug 17392: remove trailing whitespace in source filesMichael Schmidt2015-10-142-49/+49
| * 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-2016-658/+658
* | Use Coq strings instead of idents to name external and builtin functions.Xavier Leroy2015-10-112-3/+3
|/
* Filled in missing functions for debug information on ia32.Bernhard Schommer2015-10-091-23/+2
* Filled in the rest of the funciton needed for thte debug info under arm.Bernhard Schommer2015-10-092-9/+69
* Added versions of the tranform_* functions in AST to work with functionsBernhard Schommer2015-10-081-2/+2
* 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
generated by cgit (git 2.34.1) at 2024-06-02 14:37:57 +0000