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
*
Merge branch 'master' into cleanup
Bernhard Schommer
2016-03-21
1
-1
/
+1
|
\
|
*
Add support for EF_runtime externals
Xavier Leroy
2016-03-06
1
-1
/
+1
*
|
Added interface for the Asmexpansion.
Bernhard Schommer
2016-03-16
1
-2
/
+2
*
|
Deactivate warning 27 and added back removed code.
Bernhard Schommer
2016-03-15
1
-5
/
+5
*
|
Clean up of ia32 target dependend code.
Bernhard Schommer
2016-03-10
1
-6
/
+5
|
/
*
Add CLZ builtins for ARM and IA32
Xavier Leroy
2015-12-22
1
-2
/
+25
*
bug 17752, builtin_nop for ia32
Michael Schmidt
2015-12-14
1
-0
/
+3
*
Merge remote-tracking branch 'origin/master' into named-externals
Bernhard Schommer
2015-10-20
1
-1
/
+1
|
\
|
*
bug 17392: fix typo in OS name
Michael Schmidt
2015-10-14
1
-1
/
+1
|
*
bug 17392: remove trailing whitespace in source files
Michael Schmidt
2015-10-14
1
-15
/
+15
*
|
Updated PR by removing whitespaces. Bug 17450.
Bernhard Schommer
2015-10-20
1
-15
/
+15
*
|
Use Coq strings instead of idents to name external and builtin functions.
Xavier Leroy
2015-10-11
1
-1
/
+1
|
/
*
Filled in missing functions for debug information on ia32.
Bernhard Schommer
2015-10-09
1
-22
/
+32
*
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