aboutsummaryrefslogtreecommitdiffstats
path: root/backend
Commit message (Expand)AuthorAgeFilesLines
* 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
* Merge branch 'master' into dwarfBernhard Schommer2015-04-143-1/+5
|\
| * Harmless typo ('__' instead of '_') causing a warning at extraction time.Xavier Leroy2015-04-061-1/+1
| * Missing case for the new 'annot' instruction.Xavier Leroy2015-04-062-0/+4
* | Merge branch 'master' into dwarfBernhard Schommer2015-04-0247-330/+1337
|\|
| * Merge pull request #34 from AbsInt/extended-annotationsXavier Leroy2015-04-0146-327/+1332
| |\
| | * Updated the Caml part. Added some more tests in annot1.c.Xavier Leroy2015-03-2710-73/+88
| | * Extended arguments to annotations, continued:Xavier Leroy2015-03-273-257/+133
| | * Extend annotations so that they can keep track of global variables and local ...Xavier Leroy2015-03-2740-281/+1395
| * | Revised semantics of comparisons between a pointer and 0.Xavier Leroy2015-03-152-3/+5
| |/
* | Print all files ever encountered in the filenum.Bernhard Schommer2015-04-011-0/+7
* | Added translation fucntion for declarations and fundefinitions.Bernhard Schommer2015-03-231-4/+38
* | Activating the printing of the debug information for supported architecture.Bernhard Schommer2015-03-191-2/+6
* | Added function to convert C types into their dwarf represnation.Bernhard Schommer2015-03-182-4/+2
* | Started implementing the printing functions for the debug info. Added a globa...Bernhard Schommer2015-03-162-1/+11
* | Started integrating the debug printing in the common backend_printer.Bernhard Schommer2015-03-112-0/+4
* | Merge remote-tracking branch 'github/backend_printer' into dwarfBernhard Schommer2015-03-103-0/+251
|\|
| * Removed unused sel_target, changed cygwin symbol names and changed the defaul...Bernhard Schommer2015-02-192-3/+2
| * Added an elf prefix to all common elf functions in PrintAsmaux.Bernhard Schommer2015-02-182-17/+15
| * Changed print_fun/var_info to be functions instead of booleans.Bernhard Schommer2015-02-182-6/+4
| * Removed some style issues.Bernhard Schommer2015-02-181-65/+71
| * Changed arm backend to the common backend printer.Bernhard Schommer2015-02-092-2/+2
| * Changed the ia32 backend to the new Printer.Bernhard Schommer2015-02-061-0/+5
| * Changed the ASM printer of the powerpc to the generalized backend.Bernhard Schommer2015-02-053-2/+119
| * Moved more common functions into a seperate file.Bernhard Schommer2015-02-041-2/+46
| * Started moving common backend functions into one file.Bernhard Schommer2015-02-031-0/+84
* | Merge branch 'master' into dwarfBernhard Schommer2015-01-233-6/+6
|\|
| * Merge branch 'named-structs'Xavier Leroy2015-01-233-6/+6
| |\
| | * Introduce symbol environments (type Senv.t) as a restricted view on global en...Xavier Leroy2014-11-263-6/+6
* | | Merge branch 'master' into dwarfBernhard Schommer2015-01-205-250/+273
|\| |
| * | Protect against redefinition of the __i64_xxx helper library functions.Xavier Leroy2015-01-204-244/+252
| * | Follow-up to [5aecefe]: be conservative also in the case of a "common" global...Xavier Leroy2015-01-201-6/+21
* | | Merge branch 'master' into dwarfBernhard Schommer2015-01-121-3/+6
|\| |
| * | More prudent analysis of uninitialized const global variables.Xavier Leroy2015-01-091-3/+6
* | | Merge branch 'master' into dwarfBernhard Schommer2015-01-121-0/+67
|\| | | |/ |/|
| * In -g -S mode, annotate the generated asm file with the C source code in comm...Xavier Leroy2015-01-071-0/+67
|/
* Verification of the Unusedglob pass (removal of unreferenced static global de...Xavier Leroy2014-11-244-95/+1401
* Add Genv.public_symbol operation.Xavier Leroy2014-11-2413-56/+136
* Record public global definitions via field "prog_public" in AST.program.Xavier Leroy2014-11-242-0/+3
* Add flags to control individual optimization passes + flag -O0 for turning th...Xavier Leroy2014-11-162-8/+5
* - Support "switch" statements over 64-bit integersxleroy2014-08-1713-479/+845
* Merge the various $(ARCH)/$(VARIANT)/xxx.v files into $(ARCH)/xxx.v.xleroy2014-07-231-1/+1
* Merge of "newspilling" branch:xleroy2014-07-2327-1134/+1011
generated by cgit (git 2.34.1) at 2024-06-03 01:37:06 +0000