| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | 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 |
| | * | | Added location for the formal parameters and move the end of all | Bernhard Schommer | 2015-09-28 | 1 | -2/+8 |
| | * | | Added back again the emitting of the debuging annotations for debuging | Bernhard Schommer | 2015-09-27 | 1 | -3/+4 |
| | * | | Added translation of the range lists to location entries. | Bernhard Schommer | 2015-09-25 | 1 | -1/+1 |
| | * | | Added support for the locations of stack allocated local variables. | Bernhard Schommer | 2015-09-25 | 1 | -40/+72 |
| | * | | Added placing labels for live ranges etc. | Bernhard Schommer | 2015-09-24 | 1 | -6/+103 |
| * | | | Use R10 in atomic compare and exchange for the rlwinm. | Bernhard Schommer | 2015-09-22 | 1 | -2/+2 |
| * | | | Fix typo dest -> dst | Michael Schmidt | 2015-09-22 | 1 | -9/+9 |
| * | | | Merge pull request #54 from AbsInt/atomic-builtins | Bernhard Schommer | 2015-09-21 | 1 | -5/+56 |
| |\ \ \
| |/ /
|/| | |
|
| | * | | Removed unnecessary move register and use the correct register as base value ... | Bernhard Schommer | 2015-09-21 | 1 | -3/+2 |
| | * | | Applied a few simplification for temporary registers. | Bernhard Schommer | 2015-09-21 | 1 | -13/+14 |
| | * | | Integrated the fix of commit de40fce9c16ced8d23389cbcfc55ef6d99466fe8 for the... | Bernhard Schommer | 2015-09-17 | 1 | -11/+3 |
