Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | bug 17392: remove trailing whitespace in source files | Michael Schmidt | 2015-10-14 | 1 | -2/+2 |
| | |||||
* | Filled in missing functions for debug information on ia32. | Bernhard Schommer | 2015-10-09 | 1 | -23/+2 |
| | | | | | | Like for arm and ppc the functions for section names and start and end addresses of compilation units are defined and the print_annot function is moved to Asmexpandaux.ml. | ||||
* | Filled in the rest of the funciton needed for thte debug info under arm. | Bernhard Schommer | 2015-10-09 | 1 | -4/+46 |
| | | | | | | The name_of_section function no returns the correct name for the debug sections, the prologue and epilogue directives are added and the labels for the live ranges are introduced in the Asmexpand pass. | ||||
* | Added versions of the tranform_* functions in AST to work with functions | Bernhard Schommer | 2015-10-08 | 1 | -2/+2 |
| | | | | | | | | taking the ident as argument. This functions are currently not used inside the proven part but it is nice to have them already there, when they are used by some future pass. They also come equiped with the corresponding proofs. | ||||
* | Upgrade the ARM port to the new builtins. | Xavier Leroy | 2015-08-24 | 1 | -111/+179 |
| | |||||
* | Asmexpand for ARM: fixed bug in Pfreeframe. | Xavier Leroy | 2015-08-21 | 1 | -3/+3 |
| | | | | Plus: update comments and credit Bernhard Schommer. | ||||
* | Fix bugs in Asmexpand.ml for ARM. | Xavier Leroy | 2015-08-21 | 1 | -8/+9 |
| | |||||
* | Updated the branch and implemented the suggested changes. | Bernhard Schommer | 2015-07-14 | 1 | -27/+30 |
| | |||||
* | Merge branch 'asmexpand' of github.com:AbsInt/CompCert | Bernhard Schommer | 2015-06-26 | 1 | -3/+329 |
| | |||||
* | Revert "Merge branch 'asmexpand' of github.com:AbsInt/CompCert" | Bernhard Schommer | 2015-06-26 | 1 | -329/+3 |
| | | | | | This reverts commit 777566e81b9762d6bdc773a1f63d56a7ac97433c, reversing changes made to daf9ac64fc9611ecf09d70560a6fa1ba80b9c9c1. | ||||
* | Moved the rest of the ia32 builtins to asmexpand. | Bernhard Schommer | 2015-06-22 | 1 | -1/+3 |
| | |||||
* | Moved the printing of the builtin functions etc. into Asmexpand for ARM in ↵ | Bernhard Schommer | 2015-06-10 | 1 | -3/+327 |
| | | | | the same way as it is done for PPC. | ||||
* | PowerPC port: refactored the expansion of built-in functions and | xleroy | 2014-07-28 | 1 | -0/+18 |
pseudo-instructions so that it does not need to be re-done in cchecklink. cchecklink: updated accordingly. testsuite: compile with -sdump and run cchecklink if supported. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2553 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e |