aboutsummaryrefslogtreecommitdiffstats
path: root/ia32
Commit message (Expand)AuthorAgeFilesLines
* Improve error reporting in Asmexpand.Xavier Leroy2015-08-241-10/+38
* Track the locations of local variables using EF_debug annotations.Xavier Leroy2015-08-231-1/+1
* Renaming {BA,BR}_longofwords -> {BA,BR}_splitlong.Xavier Leroy2015-08-224-25/+18
* Adapt the PowerPC port to the new builtin representation.Xavier Leroy2015-08-211-2/+0
* Simplify the handling of extended inline asm, taking advantage of the new, st...Xavier Leroy2015-08-211-3/+1
* Merge branch 'master' into 'new-builtins'Xavier Leroy2015-08-213-164/+170
|\
| * Asmexpand for ARM: fixed bug in Pfreeframe.Xavier Leroy2015-08-211-2/+2
| * Consistent naming of "P" instructions and consistent ordering of argumentsXavier Leroy2015-08-213-174/+171
| * Fixed bugs in asm expansion causing the test suite to fail.Xavier Leroy2015-08-211-13/+20
* | Refactoring of builtins and annotations in the back-end.Xavier Leroy2015-08-218-161/+143
|/
* Merge pull request #46 from AbsInt/asmexpandXavier Leroy2015-08-173-288/+520
|\
| * Merge branch 'master' into asmexpandBernhard Schommer2015-07-141-0/+17
| |\
| * | Merge branch 'asmexpand' of github.com:AbsInt/CompCertBernhard Schommer2015-06-263-288/+520
| * | Revert "Merge branch 'asmexpand' of github.com:AbsInt/CompCert"Bernhard Schommer2015-06-263-520/+288
| * | Moved the rest of the ia32 builtins to asmexpand.Bernhard Schommer2015-06-223-309/+290
| * | Started moving functions from TargetPrinter.ml to Asmexpand.ml for ia32.Bernhard Schommer2015-06-183-2/+253
* | | Value analysis: keep track of pointer values that leak through small integers...Xavier Leroy2015-07-192-29/+29
* | | Value analysis: keep track of pointer values that leak through arithmetic ope...Xavier Leroy2015-07-191-3/+3
| |/ |/|
* | Merge branch 'master' into json_exportBernhard Schommer2015-05-185-28/+54
|\|
| * Merged PrintAnnot into PrintAsmaux.Bernhard Schommer2015-05-141-4/+4
| * Updated PrintOp for the single-precision FP operations.Xavier Leroy2015-05-091-0/+12
| * Extended inline asm: revised treatment of clobbered registers.Xavier Leroy2015-05-093-24/+38
* | Merge branch 'master' into json_exportBernhard Schommer2015-05-051-35/+35
|\|
| * Long-overdue renaming: val_inject -> Val.inject, etc, for consistency with Va...Xavier Leroy2015-04-301-35/+35
* | Added the first version of the sdump export to json.Bernhard Schommer2015-04-271-0/+17
|/
* Allow "scratch" (non-allocatable temporary registers) to be mentioned in asm ...Xavier Leroy2015-04-232-0/+3
* Take asm clobbers into account for determining callee-save registers used.Xavier Leroy2015-04-232-0/+8
* Cleanups and updates for extended asm.Xavier Leroy2015-04-211-2/+1
* Support for GCC-style extended asm, continued:Xavier Leroy2015-04-212-3/+3
* Experiment: support a subset of GCC's extended asm statements.Xavier Leroy2015-04-172-2/+7
* Added missing dummy functions.Bernhard Schommer2015-04-161-0/+8
* Merge branch 'master' into dwarfBernhard Schommer2015-04-028-62/+62
|\
| * Merge pull request #34 from AbsInt/extended-annotationsXavier Leroy2015-04-016-59/+56
| |\
| | * Updated the Caml part. Added some more tests in annot1.c.Xavier Leroy2015-03-271-1/+1
| | * Extend annotations so that they can keep track of global variables and local ...Xavier Leroy2015-03-275-58/+55
| * | Merge pull request #31 from AbsInt/null-ptr-cmpXavier Leroy2015-04-012-3/+6
| |\ \
| | * | Revised semantics of comparisons between a pointer and 0.Xavier Leroy2015-03-152-3/+6
| | |/
* | | Merge branch 'master' into dwarfBernhard Schommer2015-03-311-4/+15
|\| |
| * | Missing initialization of current_function_sig.Xavier Leroy2015-03-141-1/+3
| * | Merge branch 'master' into struct-passingXavier Leroy2015-03-143-1080/+993
| |\ \
| * \ \ Merge branch 'master' into struct-passingXavier Leroy2015-03-141-18/+10
| |\ \ \
| | * | | Removed the MinGW port.Bernhard Schommer2015-02-191-53/+3
| | * | | Merge github.com:AbsInt/CompCertBernhard Schommer2015-02-191-7/+7
| | |\ \ \
| | | * | | Added back symbol functions in the different printer, since they are still ne...Bernhard Schommer2015-02-191-3/+10
| | | * | | Changed the symbol function back to its old definition.Bernhard Schommer2015-02-191-10/+3
| | * | | | Use lcomm instead of .local for Mingw.Bernhard Schommer2015-02-101-2/+2
| | * | | | Added new Mingw Printer. Currently the only difference to the Cygwin printer ...Bernhard Schommer2015-02-101-13/+55
| | |/ / /
| * / / / ABI compatibility for struct/union function arguments passed by value.Xavier Leroy2015-01-271-3/+14
| |/ / /
* | | | Merge branch 'master' into dwarfBernhard Schommer2015-03-161-1/+3
|\ \ \ \ | | |_|/ | |/| |
| * | | Missing initialization of current_function_sig.Xavier Leroy2015-03-141-1/+3
| | |/ | |/|
generated by cgit (git 2.34.1) at 2024-06-03 03:08:18 +0000