aboutsummaryrefslogtreecommitdiffstats
path: root/powerpc
Commit message (Expand)AuthorAgeFilesLines
* Added builtin for the dcbf instructionBernhard Schommer2015-08-175-0/+9
* Merge pull request #46 from AbsInt/asmexpandXavier Leroy2015-08-171-44/+11
|\
| * Merge branch 'master' into asmexpandBernhard Schommer2015-07-144-17/+419
| |\
| * | Merge branch 'asmexpand' of github.com:AbsInt/CompCertBernhard Schommer2015-06-261-44/+11
| * | Revert "Merge branch 'asmexpand' of github.com:AbsInt/CompCert"Bernhard Schommer2015-06-261-11/+44
| * | Merge branch 'asmexpand' of github.com:AbsInt/CompCertBernhard Schommer2015-06-261-44/+11
| |\ \
| | * | Moved the printing of the builtin functions etc. into Asmexpand for ARM in th...Bernhard Schommer2015-06-101-44/+11
* | | | Added builtin for the dcbi instruction.Bernhard Schommer2015-08-175-4/+11
* | | | Added builitin for the icbi instruction.Bernhard Schommer2015-08-145-1/+11
* | | | Added builtin for the lwsync barrier.Bernhard Schommer2015-08-145-3/+12
* | | | Value analysis: keep track of pointer values that leak through small integers...Xavier Leroy2015-07-192-21/+21
* | | | Value analysis: keep track of pointer values that leak through arithmetic ope...Xavier Leroy2015-07-191-2/+2
| |_|/ |/| |
* | | Set/clear CR6 before calling an unprototyped function.Xavier Leroy2015-07-071-3/+4
* | | Use the functions from C2C to extract the information for the atoms. Simplifi...Bernhard Schommer2015-07-061-17/+18
* | | Merge branch 'master' into json_exportBernhard Schommer2015-07-064-15/+54
|\ \ \
| * | | Corrected little typo in __builtin_clz function.Bernhard Schommer2015-07-063-5/+5
| * | | Simple path for problems whith diab assembler in the case of functions in dif...Bernhard Schommer2015-07-031-9/+48
| |/ /
* | | Print bit representation of floats.Bernhard Schommer2015-06-241-5/+6
* | | Fixed typo also in json export.Bernhard Schommer2015-06-221-1/+1
* | | Merge branch 'master' into json_exportBernhard Schommer2015-06-223-5/+5
|\| |
| * | Changed a minor typo: Pstwxu should be PstwuxBernhard Schommer2015-06-223-5/+5
| |/
* | Merged instructions that are printed as same instruction already in printer.Bernhard Schommer2015-05-291-26/+26
* | Updated the printing of iniline asm and simplified some structures.Bernhard Schommer2015-05-181-136/+118
* | Merge branch 'master' into json_exportBernhard Schommer2015-05-185-41/+65
|\|
| * Merged PrintAnnot into PrintAsmaux.Bernhard Schommer2015-05-141-6/+6
| * Updated PrintOp for the single-precision FP operations.Xavier Leroy2015-05-091-0/+8
| * Extended inline asm: revised treatment of clobbered registers.Xavier Leroy2015-05-093-35/+51
* | Moved the information needed from the atoms to the ASM printer and removed un...Bernhard Schommer2015-05-061-26/+48
* | Removed printing of information for internals and externals that should be fo...Bernhard Schommer2015-05-051-49/+28
* | Merge branch 'master' into json_exportBernhard Schommer2015-05-051-35/+35
|\|
| * Long-overdue renaming: val_inject -> Val.inject, etc, for consistency with Va...Xavier Leroy2015-04-301-35/+35
* | Added the first version of the sdump export to json.Bernhard Schommer2015-04-271-0/+377
|/
* Allow "scratch" (non-allocatable temporary registers) to be mentioned in asm ...Xavier Leroy2015-04-232-1/+4
* Take asm clobbers into account for determining callee-save registers used.Xavier Leroy2015-04-232-0/+8
* Cleanups and updates for extended asm.Xavier Leroy2015-04-211-2/+1
* Support for GCC-style extended asm, continued:Xavier Leroy2015-04-212-2/+2
* Experiment: support a subset of GCC's extended asm statements.Xavier Leroy2015-04-173-7/+16
* Merge branch 'master' into dwarfBernhard Schommer2015-04-028-52/+54
|\
| * Ccompuimm now depends on the memory, this is needed to proof the Lemma op_dep...Bernhard Schommer2015-04-021-2/+3
| * Updating the PowerPC and ARM ports.Xavier Leroy2015-03-277-50/+51
* | Print all files ever encountered in the filenum.Bernhard Schommer2015-04-011-4/+3
* | Started implementing the printing functions for the debug info. Added a globa...Bernhard Schommer2015-03-161-0/+12
* | Started integrating the debug printing in the common backend_printer.Bernhard Schommer2015-03-111-6/+54
|/
* Removed unused sel_target, changed cygwin symbol names and changed the defaul...Bernhard Schommer2015-02-191-0/+1
* Added an elf prefix to all common elf functions in PrintAsmaux.Bernhard Schommer2015-02-181-6/+17
* Changed print_fun/var_info to be functions instead of booleans.Bernhard Schommer2015-02-181-2/+2
* Changed arm backend to the common backend printer.Bernhard Schommer2015-02-091-2/+2
* Changed the ia32 backend to the new Printer.Bernhard Schommer2015-02-061-5/+2
* Changed the ASM printer of the powerpc to the generalized backend.Bernhard Schommer2015-02-053-803/+744
* Moved more common functions into a seperate file.Bernhard Schommer2015-02-041-34/+6
generated by cgit (git 2.34.1) at 2024-06-28 20:10:53 +0000