aboutsummaryrefslogtreecommitdiffstats
path: root/powerpc
Commit message (Expand)AuthorAgeFilesLines
* Change preference for new register in allocatorBernhard Schommer2023-03-061-0/+17
* Add `Declare Scope` where appropriate (#440)Xavier Leroy2022-09-191-0/+1
* More simplifications for literal printingBernhard Schommer2022-09-031-5/+0
* Refactor emitting of constants.Bernhard Schommer2022-09-031-16/+0
* Support mergeable sections for fixed-size literalsXavier Leroy2022-08-291-13/+14
* Do not use `.rodata.cst8` for floating-point literalsXavier Leroy2022-08-151-1/+1
* Introduce float_conversion_default_nan parameter for float-float conversionsBernhard Schommer2022-04-251-1/+4
* PPC64: revised generation of rldic* instructionsXavier Leroy2021-10-284-20/+31
* Qualify `Instance` and `Program Instance` as `Global`Xavier Leroy2021-10-031-2/+2
* Typo in expand_builtin_memcpy_smallXavier Leroy2021-10-011-1/+1
* Fix wrong expansion of __builtin_memcpy_alignedXavier Leroy2021-09-231-2/+2
* Fix the type and the semantics of BI_bselXavier Leroy2021-09-221-4/+17
* Share code for memory access for PowerPCBernhard Schommer2021-09-064-166/+159
* Use the LGPL instead of the GPL for dual-licensed filesXavier Leroy2021-05-084-16/+20
* Support __builtin_unreachableXavier Leroy2021-05-021-0/+3
* More fixes for ld/std issue.Bernhard Schommer2021-04-241-11/+40
* Tentative first fix for offsets of ld/std.Bernhard Schommer2021-04-245-152/+259
* Fix regression on PowerPC / DiabXavier Leroy2021-02-231-2/+4
* Section handling: finer control of variable initializationXavier Leroy2021-02-231-1/+1
* Introduce and use PrintAsmaux.variable_sectionXavier Leroy2021-02-231-14/+8
* Qualify `Hint` as `Global Hint` where appropriateXavier Leroy2021-01-212-8/+8
* Support re-normalization of function parameters at function entryXavier Leroy2021-01-161-1/+2
* PowerPC: wrong computation of the position of the first vararg argumentXavier Leroy2021-01-151-2/+3
* Replace `omega` tactic with `lia`, continuedXavier Leroy2021-01-131-1/+1
* Replace `omega` tactic with `lia`Xavier Leroy2020-12-299-81/+81
* Changed cc_varargs to an option typeBernhard Schommer2020-12-251-1/+1
* PowerPC modeling of registers destroyed by pseudo-instructionsXavier Leroy2020-12-062-4/+6
* Remove Pfcfi, Pfcfiu, Pfctiu pseudoinstructionsXavier Leroy2020-12-0612-99/+23
* Added semantics for the PowerPC sel and mulh built-insBernhard Schommer2020-11-071-4/+44
* Added missing printer for PowerPC 64 bit comparison.Bernhard Schommer2020-11-061-0/+8
* 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-12/+0
* No need to process __builtin_fabs in $ARCH/Asmexpand.mlXavier Leroy2020-07-271-2/+0
* Added asserts for constraints of PowerPC builtinsBernhard Schommer2020-07-011-0/+6
* Fix typo in name of builtin function.Bernhard Schommer2020-07-011-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
* Documentation comment for single_passed_as_singleXavier Leroy2020-03-021-1/+2
* In strict PPC ABI mode, pass single FP on stack in double FP formatXavier Leroy2020-03-021-2/+2
* Make single arg alignment depend on toolchain.Bernhard Schommer2020-03-023-3/+20
* Platform-independent implementation of Conventions.size_arguments (#222)Xavier Leroy2020-02-241-126/+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-213-17/+15
* Model GPR0 in isel (#199)Xavier Leroy2019-09-172-2/+4
* Reworked json export.Bernhard Schommer2019-09-121-31/+32
* 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-4/+4
generated by cgit (git 2.34.1) at 2024-05-04 00:38:49 +0000