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
/
powerpc
Commit message (
Expand
)
Author
Age
Files
Lines
*
Double rounding error in int64->float32 conversions on PowerPC and ARM
Xavier Leroy
2020-03-30
2
-14
/
+13
*
Prefixed runtime functions.
Bernhard Schommer
2017-08-25
16
-75
/
+75
*
Hybrid 64bit/32bit PowerPC port
Bernhard Schommer
2017-05-03
12
-677
/
+0
*
powerpc/runtime: add comments
Xavier Leroy
2016-10-28
1
-1
/
+2
*
runtime/powerpc: remove useless files, add comments
Xavier Leroy
2016-10-28
2
-140
/
+0
*
Update PowerPC port (not tested yet)
Xavier Leroy
2016-10-25
2
-0
/
+144
*
Turn 64-bit integer division and modulus by constants into multiply-high
Xavier Leroy
2016-10-04
2
-0
/
+140
*
Wrong syntax in fcmp.
Xavier Leroy
2015-09-13
1
-2
/
+2
*
PowerPC 64 bits: alternate, more efficient implementations of int64 operations.
Xavier Leroy
2015-09-12
12
-0
/
+677
*
Support va_arg for vararg arguments of composite (struct/union) types.
Xavier Leroy
2015-03-20
1
-0
/
+7
*
stdarg.h: assorted fixes for PowerPC
xleroy
2014-01-01
1
-5
/
+5
*
Fine hair splitting depending on whether va_list is a scalar type (IA32, ARM)...
xleroy
2014-01-01
1
-3
/
+3
*
Experimental support for <stdarg.h>, the GCC way. Works on IA32. To be test...
xleroy
2014-01-01
1
-0
/
+156
*
powerpc: faster implementation of long division modeled on that for IA32
xleroy
2013-07-03
4
-68
/
+218
*
Wrong pseudo-instr
xleroy
2013-05-06
1
-1
/
+1
*
Support for in64 -> float conversions w/ correct rounding.
xleroy
2013-05-06
2
-0
/
+132
*
ia32/i64_dtou: wrong play on rounding mode
xleroy
2013-05-05
2
-10
/
+36
*
Typos in comments
xleroy
2013-04-30
2
-3
/
+3
*
Expand 64-bit integer comparisons into 32-bit integer comparisons.
xleroy
2013-04-29
2
-144
/
+0
*
Fixes in PowerPC port
xleroy
2013-04-21
6
-61
/
+108
*
Split arch/int64.s into one file per function.
xleroy
2013-04-20
14
-442
/
+911
*
Remove __i64_{neg,add,sub,mul}, now handled directly by the compiler.
xleroy
2013-04-20
1
-50
/
+0
*
Big merge of the newregalloc-int64 branch. Lots of changes in two directions:
xleroy
2013-04-20
1
-0
/
+492