aboutsummaryrefslogtreecommitdiffstats
path: root/backend/PrintAsmaux.ml
Commit message (Expand)AuthorAgeFilesLines
* Merge branch 'master' into merge_master_8.13.1Sylvain Boulmé2021-03-231-8/+25
|\
| * 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
* | Merge branch 'master' (Absint 3.8) into kvx-work-merge3.8David Monniaux2020-11-181-2/+2
|\|
| * Introduce additional "branch" build information.Bernhard Schommer2020-07-081-2/+2
* | Merge remote-tracking branch 'origin/mppa-profiling' into mppa-featuresDavid Monniaux2020-04-121-1/+85
|\ \
| * | fix reverse printing problem for hashesDavid Monniaux2020-04-111-26/+28
| * | fix for aarch64David Monniaux2020-04-111-0/+4
| * | seems like the ARM profiling perhaps worksDavid Monniaux2020-04-111-5/+1
| * | fix writing profiling info for Aarch64David Monniaux2020-04-101-9/+30
| * | fix write tableDavid Monniaux2020-04-101-1/+0
| * | various fixes for aarch64 profilingDavid Monniaux2020-04-101-3/+11
| * | moved to common placeDavid Monniaux2020-04-101-1/+55
| |/
* | Merge branch 'mppa-work' into mppa-threadCyril SIX2020-02-251-3/+3
|\|
| * Refine the type of function results in AST.signatureXavier Leroy2020-02-211-3/+3
* | thread local declarations now workDavid Monniaux2020-02-241-0/+1
|/
* 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