aboutsummaryrefslogtreecommitdiffstats
path: root/arm
Commit message (Expand)AuthorAgeFilesLines
* Change preference for new register in allocatorBernhard Schommer2023-03-061-0/+26
* Fix Thumb handling of `add reg, sp, #imm` and `sub reg, sp, #imm`Xavier Leroy2023-02-201-3/+4
* Move the old `offset_in_range` function inside `memcpy_small_arg`Bernhard Schommer2023-02-201-3/+2
* For Thumb, use `movs` for loading immediate constantsBernhard Schommer2023-02-201-2/+2
* Use more functions from Asmgen in Asmexpand.Bernhard Schommer2023-02-201-17/+4
* Use the Asmgen offset check for volatile load/store.Bernhard Schommer2023-02-201-4/+20
* ARM code generation: fix offset checks for loadsBernhard Schommer2023-02-201-3/+3
* Remove unused definitionBernhard Schommer2023-02-201-4/+0
* Emit the Tag_ABI_VFP attribute appropriate to the calling conventions usedXavier Leroy2022-11-211-1/+6
* Use .data.rel.ro section for const data with relocatable inits on ELF targets...Xavier Leroy2022-10-241-1/+4
* Add `Declare Scope` where appropriate (#440)Xavier Leroy2022-09-191-0/+1
* Refactor emitting of constants.Bernhard Schommer2022-09-031-9/+0
* Support mergeable sections for fixed-size literalsXavier Leroy2022-08-291-10/+3
* Introduce float_conversion_default_nan parameter for float-float conversionsBernhard Schommer2022-04-251-1/+4
* Qualify `Instance` and `Program Instance` as `Global`Xavier Leroy2021-10-031-2/+2
* Fix wrong expansion of __builtin_memcpy_alignedXavier Leroy2021-09-231-2/+2
* Int.sign_ext_shr_shl: weaker hypothesisXavier Leroy2021-08-221-2/+2
* Use the LGPL instead of the GPL for dual-licensed filesXavier Leroy2021-05-084-16/+20
* Support __builtin_unreachableXavier Leroy2021-05-021-0/+4
* Introduce and use PrintAsmaux.variable_sectionXavier Leroy2021-02-231-2/+2
* Qualify `Hint` as `Global Hint` where appropriateXavier Leroy2021-01-212-4/+4
* Support re-normalization of function parameters at function entryXavier Leroy2021-01-161-1/+2
* Replace `omega` tactic with `lia`Xavier Leroy2020-12-299-80/+80
* Changed cc_varargs to an option typeBernhard Schommer2020-12-251-2/+2
* ARM modeling of registers destroyed by pseudo-instructionsXavier Leroy2020-12-062-4/+6
* Support the use of already-installed MenhirLib and Flocq librariesXavier Leroy2020-09-211-2/+1
* Add __builtin_sqrt as synonymous for __builtin_fsqrtXavier Leroy2020-07-271-1/+1
* Move declarations of __builtin_clz* and __builtin_ctz* to C2C.mlXavier Leroy2020-07-271-13/+0
* No need to process __builtin_fabs in $ARCH/Asmexpand.mlXavier Leroy2020-07-271-2/+0
* Added missing hint database name.Bernhard Schommer2020-06-301-1/+1
* Move shared code in new file.Bernhard Schommer2020-06-282-18/+0
* Remove the `can_reserve_register` function.Bernhard Schommer2020-06-282-5/+0
* Use Hashtbl.find_opt.Bernhard Schommer2020-06-281-1/+1
* Platform-independent implementation of Conventions.size_arguments (#222)Xavier Leroy2020-02-241-206/+0
* Support re-normalization of values returned by function callsXavier Leroy2020-02-211-0/+6
* Refine the type of function results in AST.signatureXavier Leroy2020-02-212-15/+13
* Revert "Remove `__builtin_nop` for some architectures. (#208)"Bernhard Schommer2020-01-034-1/+8
* Remove `__builtin_nop` for some architectures. (#208)Bernhard Schommer2019-12-214-8/+1
* Reworked json export.Bernhard Schommer2019-09-121-18/+22
* Merge pull request #313 from AbsInt/aarch64Xavier Leroy2019-09-111-2/+2
|\
| * Fix compile for architectures other than AArch64 (#192)Bernhard Schommer2019-08-171-2/+2
* | Compatibility for OCaml 4.08.1Bernhard Schommer2019-09-051-1/+1
* | bswap builtins: give semantics to them, support bswap64 on all targetsBernhard Schommer2019-08-121-0/+5
|/
* Give formal semantics to some built-in functions and run-time functionsXavier Leroy2019-07-173-15/+55
* Remove the cparser/Builtins moduleXavier Leroy2019-07-171-2/+2
* Add floating-point square root and fused multiply-addXavier Leroy2019-07-171-0/+5
* Revised specification of NaN payload behaviorXavier Leroy2019-07-121-17/+39
* Extended asm: print register names according to their typesXavier Leroy2019-06-171-3/+3
* Perform constant propagation and strength reduction on conditional movesXavier Leroy2019-06-172-2/+36
* Added Pfmovite to list of known mnemonic names.Bernhard Schommer2019-06-061-1/+1
generated by cgit (git 2.34.1) at 2024-05-03 22:24:03 +0000