aboutsummaryrefslogtreecommitdiffstats
path: root/backend
Commit message (Expand)AuthorAgeFilesLines
* Added interface for the Asmexpansion.Bernhard Schommer2016-03-162-0/+45
* Deactivate warning 27 and added back removed code.Bernhard Schommer2016-03-1515-139/+139
* Added back invariant checks for IRC.Bernhard Schommer2016-03-151-0/+36
* Code cleanup.Bernhard Schommer2016-03-1020-256/+166
* Print cfi_sections only if cfi is supported.Bernhard Schommer2015-12-151-0/+6
* Merge remote-tracking branch 'origin/master' into named-externalsBernhard Schommer2015-10-202-6/+6
|\
| * First step to implemente address ranges for the gnu backend.Bernhard Schommer2015-10-151-3/+3
| * More verbose debug printer.Bernhard Schommer2015-10-141-1/+1
| * bug 17392: remove trailing whitespace in source filesMichael Schmidt2015-10-1451-3964/+3964
| * bug 17392: remove trailing whitespace in source filesMichael Schmidt2015-10-1415-75/+75
| * Changed definition of implem for debug information.Bernhard Schommer2015-10-121-2/+1
| * Changed expand_debug to emit less labels.Bernhard Schommer2015-10-121-0/+1
* | Updated PR by removing whitespaces. Bug 17450.Bernhard Schommer2015-10-2066-4038/+4038
* | Use Coq strings instead of idents to name external and builtin functions.Xavier Leroy2015-10-115-255/+347
|/
* Filled in missing functions for debug information on ia32.Bernhard Schommer2015-10-091-3/+24
* Moved expandation of debug information to Asmexpandaux.Bernhard Schommer2015-10-081-0/+69
* 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
generated by cgit (git 2.34.1) at 2024-06-02 16:24:49 +0000