index
:
compcert-kvx
CPP22_if_lifting
CPP22_main
master
patched_for_velus
riscV-cmov
ssa
vericert
vericert-kvx
Unnamed repository; edit this file 'description' to name the repository.
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
runtime
/
ia32
Commit message (
Expand
)
Author
Age
Files
Lines
*
Make Archi.ptr64 always computable, and reorganize files accordingly: ia32 ->...
Xavier Leroy
2016-10-27
18
-1209
/
+0
*
Turn 64-bit integer division and modulus by constants into multiply-high
Xavier Leroy
2016-10-04
2
-0
/
+168
*
Support va_arg for vararg arguments of composite (struct/union) types.
Xavier Leroy
2015-03-20
1
-0
/
+12
*
ARM port: add support for Thumb2. To be tested.
xleroy
2014-07-27
1
-34
/
+34
*
Experimental support for <stdarg.h>, the GCC way. Works on IA32. To be test...
xleroy
2014-01-01
1
-0
/
+69
*
Support for in64 -> float conversions w/ correct rounding.
xleroy
2013-05-06
4
-2
/
+114
*
ia32/i64_dtou: wrong play on rounding mode
xleroy
2013-05-05
1
-8
/
+20
*
Expand 64-bit integer comparisons into 32-bit integer comparisons.
xleroy
2013-04-29
2
-110
/
+0
*
Missing GLOB
xleroy
2013-04-23
1
-1
/
+1
*
Make ia32/ code more portable across systems.
xleroy
2013-04-23
28
-878
/
+911
*
Split arch/int64.s into one file per function.
xleroy
2013-04-20
15
-414
/
+913
*
Remove __i64_{neg,add,sub,mul}, now handled directly by the compiler.
xleroy
2013-04-20
1
-57
/
+0
*
Big merge of the newregalloc-int64 branch. Lots of changes in two directions:
xleroy
2013-04-20
1
-0
/
+471