aboutsummaryrefslogtreecommitdiffstats
path: root/runtime
Commit message (Expand)AuthorAgeFilesLines
...
* RISC-V vararg.S: a "sw" instruction should be "sptr"Xavier Leroy2017-04-291-1/+1
* RISC-V port and assorted changesXavier Leroy2017-04-2820-41/+205
* Change the syntax to gcc/clangs syntax.Bernhard Schommer2017-02-011-1/+1
* New version to support designators.Bernhard Schommer2017-01-241-1/+1
* Implement offsetof via builtin.Bernhard Schommer2017-01-201-1/+1
* powerpc/runtime: add commentsXavier Leroy2016-10-281-1/+2
* runtime/powerpc: remove useless files, add commentsXavier Leroy2016-10-282-140/+0
* Make Archi.ptr64 always computable, and reorganize files accordingly: ia32 ->...Xavier Leroy2016-10-2719-1/+3
* i64_smulh: revert to conditional branches instead of predicated insnsXavier Leroy2016-10-251-8/+8
* Update PowerPC port (not tested yet)Xavier Leroy2016-10-252-0/+144
* Update ARM port. Not tested yet.Xavier Leroy2016-10-253-0/+139
* x86-64 MacOS X supportXavier Leroy2016-10-111-1/+1
* Turn 64-bit integer division and modulus by constants into multiply-highXavier Leroy2016-10-048-0/+433
* Support for 64-bit architectures: x86 in 64-bit modeXavier Leroy2016-10-016-0/+404
* Implement support for big endian arm targets.Bernhard Schommer2016-08-0516-214/+254
* Added iso646 header for alternate spellings.Bernhard Schommer2016-04-061-0/+49
* Added the _Noreturn keyword.Bernhard Schommer2016-03-233-1/+82
* Include fix for wint_t gcc problem.Bernhard Schommer2016-01-211-12/+16
* Libcompcert should be compiled in thumb mode for armv7m.Bernhard Schommer2015-12-181-2/+2
* More gcc/newlib compatibility code.Bernhard Schommer2015-12-111-2/+13
* VPATH setting for PowerPCXavier Leroy2015-09-131-1/+9
* Wrong syntax in fcmp.Xavier Leroy2015-09-131-2/+2
* PowerPC 64 bits: alternate, more efficient implementations of int64 operations.Xavier Leroy2015-09-1213-2/+681
* Also test if the __VA_LIST macro is defined to avoid problems with the typede...Bernhard Schommer2015-07-091-2/+8
* Removed brackets around ty in macro of offestof.Bernhard Schommer2015-07-071-1/+1
* Diab defines w_char to be unsigned short.Bernhard Schommer2015-07-071-1/+1
* Better define the __GNUC__ macro which avoids the inclusion of va_list header...Bernhard Schommer2015-07-071-0/+4
* Make also the wchar definition diab compatible.Bernhard Schommer2015-06-261-0/+15
* Added diab specific macros for stddef to avoid redefinition of size_t.Bernhard Schommer2015-06-261-0/+9
* Typo in #ifndef guard.Xavier Leroy2015-05-091-1/+1
* Improve compatibility with MacOS X.Xavier Leroy2015-04-261-0/+3
* Provide and use compiler-dependent standard headers.Xavier Leroy2015-04-256-5/+312
* Support va_arg for vararg arguments of composite (struct/union) types.Xavier Leroy2015-03-202-0/+19
* Support va_arg for vararg arguments of composite (struct/union) types.Xavier Leroy2015-03-201-0/+12
* C reference implementation of the int64 helper functions.Xavier Leroy2015-02-1418-8/+928
* configure: distinguish between ABI and processor model.xleroy2014-07-2910-12/+25
* ARM port: add support for Thumb2. To be tested.xleroy2014-07-2717-295/+350
* Adapt to the two different calling conventions for floats.xleroy2014-05-026-0/+14
* stdarg.h: assorted fixes for PowerPCxleroy2014-01-011-5/+5
* Fine hair splitting depending on whether va_list is a scalar type (IA32, ARM)...xleroy2014-01-011-3/+3
* Experimental support for <stdarg.h>, the GCC way. Works on IA32. To be test...xleroy2014-01-014-1/+310
* powerpc: faster implementation of long division modeled on that for IA32xleroy2013-07-035-70/+220
* Merge of the "princeton" branch:xleroy2013-06-161-0/+8
* Fix compilation of runtime system.xleroy2013-05-291-2/+2
* Syntax errorsxleroy2013-05-062-31/+31
* Wrong pseudo-instrxleroy2013-05-061-1/+1
* Support for in64 -> float conversions w/ correct rounding.xleroy2013-05-0610-7/+414
* ia32/i64_dtou: wrong play on rounding modexleroy2013-05-058-52/+145
* Typos in commentsxleroy2013-04-302-3/+3
* Expand 64-bit integer comparisons into 32-bit integer comparisons.xleroy2013-04-298-392/+2
generated by cgit (git 2.34.1) at 2024-05-20 12:26:11 +0000