aboutsummaryrefslogtreecommitdiffstats
path: root/backend/PrintAsmaux.ml
Commit message (Expand)AuthorAgeFilesLines
* Fix regression on PowerPC / DiabXavier Leroy2021-02-231-2/+7
* Section handling: finer control of variable initializationXavier Leroy2021-02-231-8/+15
* Introduce and use PrintAsmaux.variable_sectionXavier Leroy2021-02-231-7/+12
* Introduce additional "branch" build information.Bernhard Schommer2020-07-081-2/+2
* Refine the type of function results in AST.signatureXavier Leroy2020-02-211-3/+3
* Extended asm: print register names according to their typesXavier Leroy2019-06-171-9/+14
* Added options -fcommon and -fno-common (#164)Bernhard Schommer2019-05-101-0/+8
* Change to AbsInt version string.Bernhard Schommer2019-05-101-1/+1
* Expand the responsefiles earlierBernhard Schommer2019-05-101-2/+2
* Reactivated and improved ais annotations.Bernhard Schommer2018-03-061-12/+0
* Remove no longer used function. Bug 22525Bernhard Schommer2017-11-101-1/+0
* Removed no longer used function. Bug 22525Bernhard Schommer2017-11-091-1/+0
* Fix jumptable issue.Bernhard Schommer2017-11-081-2/+5
* Simplifiy handling of constant emmitting.Bernhard Schommer2017-11-081-6/+21
* Remove superfluous function.Bernhard Schommer2017-11-061-1/+0
* Also quote \a.Bernhard Schommer2017-10-261-0/+2
* New support for inserting ais-annotations.Bernhard Schommer2017-10-191-0/+10
* Print_annot should produce a string.Bernhard Schommer2017-07-191-26/+25
* Extend builtin arguments with a pointer addition operatorXavier Leroy2017-07-061-0/+4
* Hybrid 64bit/32bit PowerPC portBernhard Schommer2017-05-031-0/+1
* RISC-V port and assorted changesXavier Leroy2017-04-281-2/+5
* Use 64 bit address in debug information.Bernhard Schommer2016-11-101-0/+1
* Support for 64-bit architectures: generic supportXavier Leroy2016-10-011-0/+3
* Code cleanup.Bernhard Schommer2016-03-101-1/+0
* Print cfi_sections only if cfi is supported.Bernhard Schommer2015-12-151-0/+6
* Updated PR by removing whitespaces. Bug 17450.Bernhard Schommer2015-10-201-7/+7
* First try of debug information for gcc.Bernhard Schommer2015-10-021-66/+0
* Cleanup of now no longer needed functions.Bernhard Schommer2015-10-011-5/+0
* 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
* Added printing the reference address for the LocRef and started refactoring oldBernhard Schommer2015-09-271-4/+0
* 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-211-0/+5
|\|
| * Experiment: track the scopes of local variables via __builtin_debug.Xavier Leroy2015-09-201-0/+5
* | First version with computation of dwarf info from debug info.Bernhard Schommer2015-09-171-6/+0
* | Revert "Startet implementation of new Debug interface."Bernhard Schommer2015-09-101-0/+71
* | Startet implementation of new Debug interface.Bernhard Schommer2015-09-061-71/+0
* | XBernhard Schommer2015-09-061-25/+61
|\|
| * Track the locations of local variables using EF_debug annotations.Xavier Leroy2015-08-231-8/+20
| * Renaming {BA,BR}_longofwords -> {BA,BR}_splitlong.Xavier Leroy2015-08-221-13/+18
| * 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-211-11/+11
* | Added symbol functions for printing of the location for global variables.Bernhard Schommer2015-08-211-0/+3
|/
* 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-141-0/+160
* Started implementing the printing functions for the debug info. Added a globa...Bernhard Schommer2015-03-161-0/+5
* Started integrating the debug printing in the common backend_printer.Bernhard Schommer2015-03-111-0/+3
* Removed unused sel_target, changed cygwin symbol names and changed the defaul...Bernhard Schommer2015-02-191-0/+1
generated by cgit (git 2.34.1) at 2024-06-02 22:59:10 +0000