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
/
ia32
/
Asmexpand.ml
Commit message (
Expand
)
Author
Age
Files
Lines
*
Improve error reporting in Asmexpand.
Xavier Leroy
2015-08-24
1
-10
/
+38
*
Renaming {BA,BR}_longofwords -> {BA,BR}_splitlong.
Xavier Leroy
2015-08-22
1
-11
/
+11
*
Merge branch 'master' into 'new-builtins'
Xavier Leroy
2015-08-21
1
-85
/
+93
|
\
|
*
Asmexpand for ARM: fixed bug in Pfreeframe.
Xavier Leroy
2015-08-21
1
-2
/
+2
|
*
Consistent naming of "P" instructions and consistent ordering of arguments
Xavier Leroy
2015-08-21
1
-95
/
+94
|
*
Fixed bugs in asm expansion causing the test suite to fail.
Xavier Leroy
2015-08-21
1
-13
/
+20
*
|
Refactoring of builtins and annotations in the back-end.
Xavier Leroy
2015-08-21
1
-84
/
+84
|
/
*
Merge branch 'asmexpand' of github.com:AbsInt/CompCert
Bernhard Schommer
2015-06-26
1
-0
/
+373
*
Revert "Merge branch 'asmexpand' of github.com:AbsInt/CompCert"
Bernhard Schommer
2015-06-26
1
-373
/
+0
*
Moved the rest of the ia32 builtins to asmexpand.
Bernhard Schommer
2015-06-22
1
-20
/
+236
*
Started moving functions from TargetPrinter.ml to Asmexpand.ml for ia32.
Bernhard Schommer
2015-06-18
1
-0
/
+157
*
PowerPC port: refactored the expansion of built-in functions and
xleroy
2014-07-28
1
-0
/
+18