aboutsummaryrefslogtreecommitdiffstats
path: root/backend
Commit message (Expand)AuthorAgeFilesLines
* Ensure that there are file directives for all files used in the debugBernhard Schommer2015-10-041-7/+8
* First try of debug information for gcc.Bernhard Schommer2015-10-023-69/+82
* Cleanup of now no longer needed functions.Bernhard Schommer2015-10-012-6/+0
* Only print locations for symbols that are present in the assembler.Bernhard Schommer2015-10-011-1/+2
* Removed newline in version string and add buildnr and tag if existing toBernhard Schommer2015-09-301-1/+1
* Add the version string to the printed asm.Bernhard Schommer2015-09-301-1/+6
* Change the way the debug sections are printed.Bernhard Schommer2015-09-281-10/+11
* Added printing the reference address for the LocRef and started refactoring oldBernhard Schommer2015-09-272-10/+1
* Added support for the locations of stack allocated local variables.Bernhard Schommer2015-09-251-3/+5
* Merge branch 'debugscopes' into debug_locationsBernhard Schommer2015-09-231-5/+3
|\
| * Continuing experiment: track the scopes of local variables via __builtin_debugXavier Leroy2015-09-211-5/+3
* | Record the scope structure during unblocking.Bernhard Schommer2015-09-221-0/+1
* | Merge branch 'debugscopes' into debug_locationsBernhard Schommer2015-09-217-18/+34
|\|
| * Experiment: track the scopes of local variables via __builtin_debug.Xavier Leroy2015-09-203-4/+13
| * Isuue #50: outdated comment on type RTL.function.Xavier Leroy2015-09-151-2/+1
| * Issue with ignoring the result of non-void builtin functions.Xavier Leroy2015-09-153-12/+20
* | First version with computation of dwarf info from debug info.Bernhard Schommer2015-09-172-11/+4
* | Move more functionality in the new interface.Bernhard Schommer2015-09-161-7/+5
* | Revert "Startet implementation of new Debug interface."Bernhard Schommer2015-09-102-2/+73
* | Startet implementation of new Debug interface.Bernhard Schommer2015-09-062-73/+2
* | XBernhard Schommer2015-09-0653-1486/+2732
|\|
| * Upgrade the ARM port to the new builtins.Xavier Leroy2015-08-241-2/+4
| * Some "feel good" proofs about avail sets.Xavier Leroy2015-08-231-0/+171
| * Track the locations of local variables using EF_debug annotations.Xavier Leroy2015-08-234-14/+817
| * Renaming {BA,BR}_longofwords -> {BA,BR}_splitlong.Xavier Leroy2015-08-2215-50/+55
| * Simplify the handling of extended inline asm, taking advantage of the new, st...Xavier Leroy2015-08-211-5/+24
| * Refactoring of builtins and annotations in the back-end.Xavier Leroy2015-08-2151-1472/+1718
* | Added symbol functions for printing of the location for global variables.Bernhard Schommer2015-08-212-2/+9
|/
* Merge pull request #46 from AbsInt/asmexpandXavier Leroy2015-08-171-0/+57
|\
| * Merge branch 'master' into asmexpandBernhard Schommer2015-07-142-2/+2
| |\
| * | Merge branch 'asmexpand' of github.com:AbsInt/CompCertBernhard Schommer2015-06-261-0/+57
| * | Revert "Merge branch 'asmexpand' of github.com:AbsInt/CompCert"Bernhard Schommer2015-06-261-57/+0
| * | Moved the printing of the builtin functions etc. into Asmexpand for ARM in th...Bernhard Schommer2015-06-101-0/+57
* | | ValueDomain: add some documentation comments.Xavier Leroy2015-07-191-20/+32
* | | Value analysis: keep track of pointer values that leak through small integers...Xavier Leroy2015-07-193-161/+179
* | | Value analysis: keep track of pointer values that leak through arithmetic ope...Xavier Leroy2015-07-192-156/+164
* | | ValueDomain.aptr_of_aval: be more conservative with pointers synthesized from...Xavier Leroy2015-07-182-6/+14
* | | Missing cases in ValueDomain.vnormalize, causing overapproximation.Xavier Leroy2015-07-181-2/+2
* | | Missing case in ValueDomain.pincl, causing incompleteness.Xavier Leroy2015-07-181-0/+9
* | | Introduce tolerance for casts of pointer values to/from 64-bit integers.Xavier Leroy2015-07-151-3/+12
| |/ |/|
* | Do not search for high and low pc of inlined functions.Bernhard Schommer2015-07-021-1/+1
* | Removed the version from the compcert.ini file and add it again in a separate...Bernhard Schommer2015-07-011-1/+1
|/
* Merged PrintAnnot into PrintAsmaux.Bernhard Schommer2015-05-143-185/+163
* Extended inline asm: revised treatment of clobbered registers.Xavier Leroy2015-05-092-10/+3
* Use globl also for global variables.Bernhard Schommer2015-05-071-1/+1
* Long-overdue renaming: val_inject -> Val.inject, etc, for consistency with Va...Xavier Leroy2015-04-306-63/+63
* Take asm clobbers into account for determining callee-save registers used.Xavier Leroy2015-04-231-1/+6
* Cleanups and updates for extended asm.Xavier Leroy2015-04-211-1/+1
* Support for GCC-style extended asm, continued:Xavier Leroy2015-04-212-2/+18
* Experiment: support a subset of GCC's extended asm statements.Xavier Leroy2015-04-173-3/+25
generated by cgit (git 2.34.1) at 2024-06-02 19:22:34 +0000