aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| | | * | VPATH setting for PowerPCXavier Leroy2015-09-131-1/+9
| | | * | Wrong syntax in fcmp.Xavier Leroy2015-09-131-2/+2
| | * | | Merge branch 'master' into ppc64Xavier Leroy2015-10-1184-2375/+5968
| | |\ \ \ | | |/ / / | |/| / / | | |/ /
| | * | Use PowerPC 64 bits instructions (when available) for int<->FP conversions.Xavier Leroy2015-09-1315-40/+202
| | * | PowerPC 64 bits: alternate, more efficient implementations of int64 operations.Xavier Leroy2015-09-1213-2/+681
* | | | Updated PR by removing whitespaces. Bug 17450.Bernhard Schommer2015-10-20225-11709/+11709
* | | | Use Coq strings instead of idents to name external and builtin functions.Xavier Leroy2015-10-1125-361/+431
|/ / /
* | | Upgrade to reflect changes in type external_function.Xavier Leroy2015-10-111-4/+2
* | | Merge pull request #55 from silene/masterXavier Leroy2015-10-1121-1082/+2448
|\ \ \
| * | | Upgrade to Flocq 2.5.0.Guillaume Melquiond2015-09-2221-1082/+2448
* | | | Filled in missing functions for debug information on ia32.Bernhard Schommer2015-10-095-87/+91
* | | | Fixed syntax error and added Section_debug_line to the Json serializer.Bernhard Schommer2015-10-092-1/+2
* | | | Filled in the rest of the funciton needed for thte debug info under arm.Bernhard Schommer2015-10-098-24/+84
* | | | Added versions of the tranform_* functions in AST to work with functionsBernhard Schommer2015-10-084-25/+220
* | | | Moved expandation of debug information to Asmexpandaux.Bernhard Schommer2015-10-082-66/+74
* | | | Reset all Hashtables.Bernhard Schommer2015-10-081-1/+5
* | | | Push the linker args separate.Bernhard Schommer2015-10-061-2/+4
* | | | Fast fix for functions in different sections in one compilation unit for gcc.Bernhard Schommer2015-10-063-6/+23
| |_|/ |/| |
* | | Handle the special case of a typedef to void funciton parameter to beBernhard Schommer2015-10-051-2/+2
* | | Merge branch 'master' of github.com:AbsInt/CompCertBernhard Schommer2015-10-0411-24/+83
|\ \ \
| * | | Fixed minor typos in the comments.Bernhard Schommer2015-10-042-2/+2
| * | | Ensure that there are file directives for all files used in the debugBernhard Schommer2015-10-046-15/+28
| * | | Allow redefinition of a typedef with the same name.Bernhard Schommer2015-10-043-7/+53
* | | | Activate the advanced debug for the gcc build.Bernhard Schommer2015-10-031-1/+2
|/ / /
* | | Add the forgotten Fileinfo also to arm and ia32 TargetPrinter.mlBernhard Schommer2015-10-022-0/+2
* | | Use rev_map so that the debug locations are in the correct order.Bernhard Schommer2015-10-021-1/+1
* | | Merge branch 'gnu-debug'Bernhard Schommer2015-10-0211-149/+255
|\ \ \
| * | | First try of debug information for gcc.Bernhard Schommer2015-10-0211-106/+195
| * | | Started implementation of gnu compatible debug information.Bernhard Schommer2015-10-024-48/+65
* | | | Quote the section names in the json files.Bernhard Schommer2015-10-021-1/+1
* | | | Add also all files for local variables.Bernhard Schommer2015-10-021-0/+1
* | | | Always call print debug_section in the prologue.Bernhard Schommer2015-10-022-19/+19
|/ / /
* | | Moved the types defined by the Debug Interface into a separate file.Bernhard Schommer2015-10-013-146/+163
* | | Cleanup of now no longer needed functions.Bernhard Schommer2015-10-016-51/+1
* | | Merge pull request #57 from jhjourdan/parser_fixBernhard Schommer2015-10-018-161/+403
|\ \ \
| * | | Fixed a few bugs in the pre parser. In particular, the following codeJacques-Henri Jourdan2015-09-308-161/+403
| |/ /
* | | Removed the debug output for the debug information.Bernhard Schommer2015-10-011-2/+1
* | | Use also fucntion id for local variables since atom is not unique.Bernhard Schommer2015-10-015-24/+24
* | | Do not move the line directives.Bernhard Schommer2015-10-011-5/+9
* | | Use different entry_to_label mapping for each compilation unit.Bernhard Schommer2015-10-011-3/+20
* | | Only print locations for symbols that are present in the assembler.Bernhard Schommer2015-10-016-5/+23
* | | Remove unused globals also from the debug informations.Bernhard Schommer2015-10-016-16/+36
* | | More robust dwarf generation. Do not add incomplete local variablesBernhard Schommer2015-09-302-14/+30
* | | Also add the rest to the producer tag.Bernhard Schommer2015-09-301-1/+2
* | | Removed newline in version string and add buildnr and tag if existing toBernhard Schommer2015-09-302-2/+7
* | | Add the version string to the printed asm.Bernhard Schommer2015-09-301-1/+6
* | | Merge pull request #56 from AbsInt/debug_locationsBernhard Schommer2015-09-3033-909/+2257
|\ \ \ | |/ / |/| |
| * | Fixed minor issue with parameters that get put on the stack, madeBernhard Schommer2015-09-303-17/+18
| * | Avoid problem with implict declarations.Bernhard Schommer2015-09-302-4/+18
| * | More fixes for the DebugInformation.Bernhard Schommer2015-09-294-20/+38
generated by cgit (git 2.34.1) at 2024-07-05 18:35:13 +0000