| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | 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 |
| | |\ |
|
| | * | | Use PowerPC 64 bits instructions (when available) for int<->FP conversions. | Xavier Leroy | 2015-09-13 | 1 | -2/+51 |
| * | | | Use Coq strings instead of idents to name external and builtin functions. | Xavier Leroy | 2015-10-11 | 1 | -1/+1 |
| | |/
|/| |
|
| * | | Filled in missing functions for debug information on ia32. | Bernhard Schommer | 2015-10-09 | 1 | -23/+2 |
| * | | Filled in the rest of the funciton needed for thte debug info under arm. | Bernhard Schommer | 2015-10-09 | 1 | -9/+3 |
| * | | Added versions of the tranform_* functions in AST to work with functions | Bernhard Schommer | 2015-10-08 | 1 | -22/+1 |
| * | | Moved expandation of debug information to Asmexpandaux. | Bernhard Schommer | 2015-10-08 | 1 | -66/+5 |
| * | | Removed the debug output for the debug information. | Bernhard Schommer | 2015-10-01 | 1 | -2/+1 |
| * | | Use also fucntion id for local variables since atom is not unique. | Bernhard Schommer | 2015-10-01 | 1 | -3/+3 |
| * | | Do not move the line directives. | Bernhard Schommer | 2015-10-01 | 1 | -5/+9 |
| * | | Merge pull request #56 from AbsInt/debug_locations | Bernhard Schommer | 2015-09-30 | 1 | -6/+144 |
| |\ \ |
|
| | * | | Fixed minor issue with parameters that get put on the stack, made | Bernhard Schommer | 2015-09-30 | 1 | -2/+4 |
