index
:
compcert
FPcomp
aarch64
conditional-move
dev/michalis
floatofintu
inl-cse-const
master
no-pervasives
CompCert fork with minor modifications for Vericert.
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
runtime
/
arm
Commit message (
Expand
)
Author
Age
Files
Lines
*
Take advantage of ARMv6T2/ARMv7 instructions even if not in Thumb2 mode (#203)
Gergö Barany
2017-09-18
1
-0
/
+2
*
Prefixed runtime functions.
Bernhard Schommer
2017-08-25
16
-38
/
+38
*
i64_smulh: revert to conditional branches instead of predicated insns
Xavier Leroy
2016-10-25
1
-8
/
+8
*
Update ARM port. Not tested yet.
Xavier Leroy
2016-10-25
3
-0
/
+139
*
Implement support for big endian arm targets.
Bernhard Schommer
2016-08-05
15
-213
/
+253
*
Libcompcert should be compiled in thumb mode for armv7m.
Bernhard Schommer
2015-12-18
1
-2
/
+2
*
Support va_arg for vararg arguments of composite (struct/union) types.
Xavier Leroy
2015-03-20
1
-0
/
+12
*
configure: distinguish between ABI and processor model.
xleroy
2014-07-29
9
-11
/
+24
*
ARM port: add support for Thumb2. To be tested.
xleroy
2014-07-27
16
-261
/
+316
*
Adapt to the two different calling conventions for floats.
xleroy
2014-05-02
6
-0
/
+14
*
Experimental support for <stdarg.h>, the GCC way. Works on IA32. To be test...
xleroy
2014-01-01
1
-0
/
+83
*
Syntax errors
xleroy
2013-05-06
2
-31
/
+31
*
Support for in64 -> float conversions w/ correct rounding.
xleroy
2013-05-06
2
-0
/
+150
*
ia32/i64_dtou: wrong play on rounding mode
xleroy
2013-05-05
4
-34
/
+79
*
Expand 64-bit integer comparisons into 32-bit integer comparisons.
xleroy
2013-04-29
2
-107
/
+0
*
Split arch/int64.s into one file per function.
xleroy
2013-04-20
15
-381
/
+868
*
Configuring the assembler used for the runtime lib
xleroy
2013-04-20
1
-0
/
+2
*
Remove __i64_{neg,add,sub,mul}, now handled directly by the compiler.
xleroy
2013-04-20
1
-45
/
+0
*
Big merge of the newregalloc-int64 branch. Lots of changes in two directions:
xleroy
2013-04-20
1
-0
/
+424