aboutsummaryrefslogtreecommitdiffstats
path: root/arm
Commit message (Expand)AuthorAgeFilesLines
* Update ARM port. Not tested yet.Xavier Leroy2016-10-2515-271/+388
* improve fixup code (bug 19792)Michael Schmidt2016-09-151-0/+2
* Add interference for indirect calls.Bernhard Schommer2016-09-151-1/+5
* Add missing fixup-code for ARM EABI (bug 19792)Michael Schmidt2016-09-141-2/+0
* add missing print operatorMichael Schmidt2016-09-141-0/+1
* Implement support for big endian arm targets.Bernhard Schommer2016-08-055-29/+60
* Merge branch 'master' of /common/repositories/git/tools/compcertBernhard Schommer2016-07-092-0/+36
|\
| * bug 19318, add implementation of __builtin_ctz, __builtin_ctzl and __builtin_...Michael Schmidt2016-07-082-0/+36
* | Port to Coq 8.5pl2Xavier Leroy2016-07-084-17/+14
|/
* Improved handling of "rotate left" and "rotate right" operatorsXavier Leroy2016-06-221-1/+1
* Remove code that will is deprecated in ocaml 4.03Bernhard Schommer2016-06-212-3/+3
* fix '__builtin_annot_val' to '__builtin_annot_intval', such that CompCert can...Michael Schmidt2016-06-071-1/+1
* Introduce register pairs to describe calling conventions more preciselyXavier Leroy2016-05-173-163/+156
* bug 18925, fix loading of symbols for thumb: :lower16: and :upper16: are rest...Michael Schmidt2016-05-131-1/+2
* Revise the Stacking pass and its proof to make it easier to adapt to 64-bit a...Xavier Leroy2016-04-273-272/+157
* */TargetPrinter.ml: wrong comment attached to Init_float32 constantsXavier Leroy2016-04-091-1/+1
* Merge branch 'master' into cleanupBernhard Schommer2016-03-214-64/+38
|\
| * Merge pull request #93 from AbsInt/separate-compilationXavier Leroy2016-03-202-60/+34
| |\
| | * Update the back-end proofs to the new linking framework.Xavier Leroy2016-03-061-59/+33
| | * Add support for EF_runtime externalsXavier Leroy2016-03-061-1/+1
| * | Print floating-point numbers with more digits in debug outputsXavier Leroy2016-03-152-4/+4
| |/
* | Added interface for the Asmexpansion.Bernhard Schommer2016-03-161-4/+4
* | Cleanup of AsmToJSON.Bernhard Schommer2016-03-161-0/+13
* | Deactivate warning 27 and added back removed code.Bernhard Schommer2016-03-153-7/+8
* | Clean up of ia32 target dependend code.Bernhard Schommer2016-03-101-2/+1
* | Cleanup of ARM dependedn code.Bernhard Schommer2016-03-102-66/+8
|/
* 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
generated by cgit (git 2.34.1) at 2024-06-02 21:11:43 +0000