| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Typo in expand_builtin_memcpy_small | Xavier Leroy | 2021-10-01 | 1 | -1/+1 |
| * | Fix wrong expansion of __builtin_memcpy_aligned | Xavier Leroy | 2021-09-23 | 1 | -2/+2 |
| * | Share code for memory access for PowerPC | Bernhard Schommer | 2021-09-06 | 1 | -114/+72 |
| * | Support __builtin_unreachable | Xavier Leroy | 2021-05-02 | 1 | -0/+3 |
| * | More fixes for ld/std issue. | Bernhard Schommer | 2021-04-24 | 1 | -11/+40 |
| * | PowerPC: wrong computation of the position of the first vararg argument | Xavier Leroy | 2021-01-15 | 1 | -2/+3 |
| * | Changed cc_varargs to an option type | Bernhard Schommer | 2020-12-25 | 1 | -1/+1 |
| * | Remove Pfcfi, Pfcfiu, Pfctiu pseudoinstructions | Xavier Leroy | 2020-12-06 | 1 | -26/+0 |
| * | Add __builtin_sqrt as synonymous for __builtin_fsqrt | Xavier Leroy | 2020-07-27 | 1 | -1/+1 |
| * | No need to process __builtin_fabs in $ARCH/Asmexpand.ml | Xavier Leroy | 2020-07-27 | 1 | -2/+0 |
| * | Added asserts for constraints of PowerPC builtins | Bernhard Schommer | 2020-07-01 | 1 | -0/+6 |
| * | Refine the type of function results in AST.signature | Xavier Leroy | 2020-02-21 | 1 | -1/+1 |
| * | Compatibility for OCaml 4.08.1 | Bernhard Schommer | 2019-09-05 | 1 | -4/+4 |
| * | bswap builtins: give semantics to them, support bswap64 on all targets | Bernhard Schommer | 2019-08-12 | 1 | -0/+20 |
| * | Provide a float select operation for PowerPC. (#173) | Bernhard Schommer | 2019-05-28 | 1 | -0/+19 |
| * | Emulate the "isel" instruction on non-EREF PPC processors | Xavier Leroy | 2019-05-20 | 1 | -19/+39 |
| * | Fix typo in asmexpand. Bug 24953 | Bernhard Schommer | 2018-11-07 | 1 | -1/+1 |
| * | 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 | 1 | -1/+7 |
| * | Generate a nop instruction after some ais annotations (#137) | Bernhard Schommer | 2018-09-12 | 1 | -5/+2 |
| * | Fix typo in pattern match of error case, bug 24326 | Michael Schmidt | 2018-08-22 | 1 | -1/+1 |
| * | Add new powerpc builtins. | Michael Schmidt | 2018-04-27 | 1 | -0/+20 |
| * | New support for inserting ais-annotations. | Bernhard Schommer | 2017-10-19 | 1 | -4/+4 |
| * | Extend builtin arguments with a pointer addition operator, continued | Xavier Leroy | 2017-07-06 | 1 | -85/+148 |
| * | bug 20956, print correct error message depending on architecture | Michael Schmidt | 2017-05-03 | 1 | -2/+8 |
| * | Hybrid 64bit/32bit PowerPC port | Bernhard Schommer | 2017-05-03 | 1 | -15/+60 |
| * | bug 19318, add implementation of __builtin_ctz, __builtin_ctzl and __builtin_... | Michael Schmidt | 2016-07-08 | 1 | -0/+26 |
| * | fix '__builtin_annot_val' to '__builtin_annot_intval', such that CompCert can... | Michael Schmidt | 2016-06-07 | 1 | -1/+1 |
| * | Merge branch 'master' into cleanup | Bernhard Schommer | 2016-03-21 | 1 | -1/+1 |
| |\ |
|
| | * | Add support for EF_runtime externals | Xavier Leroy | 2016-03-06 | 1 | -1/+1 |
| * | | Added interface for the Asmexpansion. | Bernhard Schommer | 2016-03-16 | 1 | -4/+4 |
| * | | Deactivate warning 27 and added back removed code. | Bernhard Schommer | 2016-03-15 | 1 | -2/+2 |
| * | | Revert "Removed unused parameter from is_small/rel_data." | Bernhard Schommer | 2016-03-15 | 1 | -4/+4 |
| * | | Removed unused parameter from is_small/rel_data. | Bernhard Schommer | 2016-03-11 | 1 | -4/+4 |
| * | | Code cleanup. | Bernhard Schommer | 2016-03-10 | 1 | -4/+2 |
| |/ |
|
| * | powerpc/Asmexpand: fix expansion of __builtin_clzll | Xavier Leroy | 2015-12-20 | 1 | -2/+2 |
| * | bug 17752, fix semantics of builtin_set_spr64 | Michael Schmidt | 2015-12-16 | 1 | -1/+1 |
| * | bug 17752, check target architecture for 64bit-builtins | Michael Schmidt | 2015-12-15 | 1 | -7/+13 |
| * | bug 17752, rename builtin64_X to __builtin_X64 | Michael Schmidt | 2015-12-15 | 1 | -6/+6 |
| * | bug 17752, add builtin64_set_spr and builtin64_get_spr for PowerPC | Michael Schmidt | 2015-12-15 | 1 | -2/+17 |
| * | bug 17752, add builtin_mr for PowerPC | Michael Schmidt | 2015-12-14 | 1 | -2/+23 |
| * | bug 17752, add builtin_clzl and builtin_clzll for PowerPC | Michael Schmidt | 2015-12-11 | 1 | -1/+12 |
| * | bug 17752, add builtin_nop for PowerPC | Michael Schmidt | 2015-12-11 | 1 | -0/+0 |
| * | bug 17752, add builtin_nop for PowerPC | Michael Schmidt | 2015-12-11 | 1 | -0/+3 |
| * | bug 17752, add builtin_uisel as unsigned version of builtin_isel | Michael Schmidt | 2015-12-09 | 1 | -2/+2 |
| * | Added special treatment for large stack size for ppc. | Bernhard Schommer | 2015-10-23 | 1 | -3/+3 |
| * | Merge remote-tracking branch 'origin/master' into named-externals | Bernhard Schommer | 2015-10-20 | 1 | -3/+52 |
| |\ |
|
| | * | Fix minor typo introduced by refactoring of debug information. | Bernhard Schommer | 2015-10-12 | 1 | -1/+1 |
| | * | Merge branch 'master' into ppc64 | Xavier Leroy | 2015-10-11 | 1 | -17/+100 |
| | |\ |
|
