| Commit message (Expand) | Author | Age | Files | Lines |
* | Added asserts for constraints of PowerPC builtins | Bernhard Schommer | 2020-07-01 | 1 | -0/+6 |
* | Fix typo in name of builtin function. | Bernhard Schommer | 2020-07-01 | 1 | -1/+1 |
* | Move shared code in new file. | Bernhard Schommer | 2020-06-28 | 2 | -18/+0 |
* | Remove the `can_reserve_register` function. | Bernhard Schommer | 2020-06-28 | 2 | -5/+0 |
* | Use Hashtbl.find_opt. | Bernhard Schommer | 2020-06-28 | 1 | -1/+1 |
* | Documentation comment for single_passed_as_single | Xavier Leroy | 2020-03-02 | 1 | -1/+2 |
* | In strict PPC ABI mode, pass single FP on stack in double FP format | Xavier Leroy | 2020-03-02 | 1 | -2/+2 |
* | Make single arg alignment depend on toolchain. | Bernhard Schommer | 2020-03-02 | 3 | -3/+20 |
* | Platform-independent implementation of Conventions.size_arguments (#222) | Xavier Leroy | 2020-02-24 | 1 | -126/+0 |
* | Support re-normalization of values returned by function calls | Xavier Leroy | 2020-02-21 | 1 | -0/+6 |
* | Refine the type of function results in AST.signature | Xavier Leroy | 2020-02-21 | 3 | -17/+15 |
* | Model GPR0 in isel (#199) | Xavier Leroy | 2019-09-17 | 2 | -2/+4 |
* | Reworked json export. | Bernhard Schommer | 2019-09-12 | 1 | -31/+32 |
* | Merge pull request #313 from AbsInt/aarch64 | Xavier Leroy | 2019-09-11 | 1 | -2/+2 |
|\ |
|
| * | Fix compile for architectures other than AArch64 (#192) | Bernhard Schommer | 2019-08-17 | 1 | -2/+2 |
* | | Compatibility for OCaml 4.08.1 | Bernhard Schommer | 2019-09-05 | 1 | -4/+4 |
* | | Allow Long as const result for ppc64 variant. | Bernhard Schommer | 2019-08-13 | 2 | -0/+3 |
* | | bswap builtins: give semantics to them, support bswap64 on all targets | Bernhard Schommer | 2019-08-12 | 1 | -0/+20 |
|/ |
|
* | Give formal semantics to some built-in functions and run-time functions | Xavier Leroy | 2019-07-17 | 3 | -15/+55 |
* | Remove the cparser/Builtins module | Xavier Leroy | 2019-07-17 | 1 | -2/+2 |
* | Add floating-point square root and fused multiply-add | Xavier Leroy | 2019-07-17 | 1 | -0/+5 |
* | Revised specification of NaN payload behavior | Xavier Leroy | 2019-07-12 | 1 | -13/+17 |
* | Extended asm: print register names according to their types | Xavier Leroy | 2019-06-17 | 1 | -2/+2 |
* | Perform constant propagation and strength reduction on conditional moves | Xavier Leroy | 2019-06-17 | 2 | -2/+36 |
* | Provide a float select operation for PowerPC. (#173) | Bernhard Schommer | 2019-05-28 | 9 | -7/+101 |
* | PowerPC: add SelectOp.select function | Xavier Leroy | 2019-05-26 | 2 | -0/+31 |
* | Emulate the "isel" instruction on non-EREF PPC processors | Xavier Leroy | 2019-05-20 | 3 | -22/+42 |
* | Implement a `Osel` operation for PowerPC | Xavier Leroy | 2019-05-20 | 7 | -9/+106 |
* | Give a semantics to the Pisel instruction | Xavier Leroy | 2019-05-20 | 1 | -1/+7 |
* | PowerPC: make sure evaluation of conditions do not destroy any register | Xavier Leroy | 2019-05-20 | 4 | -54/+155 |
* | Added options -fcommon and -fno-common (#164) | Bernhard Schommer | 2019-05-10 | 1 | -5/+14 |
* | Move Z definitions out of Integers and into Zbits | Xavier Leroy | 2019-04-26 | 2 | -9/+10 |
* | Upgrade embedded version of Flocq to 3.1. | Guillaume Melquiond | 2019-03-27 | 1 | -11/+14 |
* | Fix typo in asmexpand. Bug 24953 | Bernhard Schommer | 2018-11-07 | 1 | -1/+1 |
* | Use 'gpr_or_zero' for base register of indexed load/stores, bug 24776 | Michael Schmidt | 2018-10-20 | 2 | -5/+10 |
* | Switch conditions for eref plattforms. | Bernhard Schommer | 2018-09-19 | 1 | -4/+4 |
* | Support __builtin_isel64 for non-EREF PPC64 platforms (#141) | Xavier Leroy | 2018-09-18 | 1 | -22/+28 |
* | Add builtin isel (conditional move) for int64, uint64 and _Bool (#140) | Bernhard Schommer | 2018-09-18 | 2 | -1/+16 |
* | Improved diagnostics: spelling, wording, etc (#138) | Michael Schmidt | 2018-09-14 | 1 | -1/+1 |
* | Generate a nop instruction after some ais annotations (#137) | Bernhard Schommer | 2018-09-12 | 2 | -6/+3 |
* | Fix typo in pattern match of error case, bug 24326 | Michael Schmidt | 2018-08-22 | 1 | -1/+1 |
* | Added Pldi to instr_size. | Bernhard Schommer | 2018-08-01 | 1 | -0/+1 |
* | Model external calls as destroying all caller-save registers | Xavier Leroy | 2018-06-01 | 2 | -3/+12 |
* | Add missing tab character, bug 23541 | Michael Schmidt | 2018-05-02 | 1 | -1/+1 |
* | Add new powerpc builtins. | Michael Schmidt | 2018-04-27 | 5 | -4/+44 |
* | Print symbols as symbols. | Bernhard Schommer | 2018-03-08 | 1 | -16/+19 |
* | Use binary output. | Bernhard Schommer | 2018-03-07 | 1 | -1/+1 |
* | Reactivated and improved ais annotations. | Bernhard Schommer | 2018-03-06 | 1 | -9/+10 |
* | Improve strength reduction of unsigned comparisons x ==u 0, x !=u 0, etc (#59) | Xavier Leroy | 2018-02-16 | 2 | -6/+55 |
* | Refactor the handling of errors and warnings (#44) | Bernhard Schommer | 2018-02-08 | 1 | -1/+1 |