aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Replaced 4 uses of [ioption(declaration_specifiers_no_type)] with ↵François Pottier2015-10-081-4/+4
| | | | | | | [declaration_specifiers_no_type?]. Inlining these options was not necessary. This reduces the number of states in the automaton.
* Cosmetic. Removed some spaces. Shared one redundant semantic action {}.François Pottier2015-10-071-7/+6
|
* One cosmetic change of [option] to [?]. No impact.François Pottier2015-10-071-1/+1
|
* Factorized the two forms of FOR statement by introducing [for_statement_header].François Pottier2015-10-071-2/+6
| | | | This leads to a smaller automaton.
* Introduced optional(X, Y), which means X? Y, and used it in array ↵François Pottier2015-10-071-4/+12
| | | | | | declarators and FOR loops. This leads to fewer automaton states, and potentially better error messages.
* Factorized the productions for several categories of binary operators.François Pottier2015-10-071-13/+20
| | | | | | | This leads to a small savings in the number of states (which could become greater in the future if we decide to parameterize expressions). If desired, the old automaton could be recovered by marking the binary operators as %inline.
* Factorized two productions (and two error productions) in [enum_specifier].François Pottier2015-10-071-5/+2
| | | | This is analogous to the previous commit.
* Factorized two productions (and two error productions) in ↵François Pottier2015-10-071-5/+2
| | | | | | | | | | | [struct_or_union_specifier]. The old version was strictly equivalent to using [ioption(other_identifier)]. The new version uses [option(other_identifier)] instead, that is, [other_identifier?]. Technically, this means that [set_id_type i OtherId] is called slightly earlier (at the opening brace, instead of at the closing brace), but this does not make any difference, since the re-classification of identifiers affects only the second parsing phase.
* For clarity, removed several redundant calls to [set_id_type].François Pottier2015-10-071-9/+5
| | | | | | | A TYPEDEF_NAME is already classified as a [TypedefId] by the lexer, and similarly, a VAR_NAME is already classified as a [VarId]. Thus, the removed calls had no effect. The remaining calls to [set_id_type] are useful, as they can re-classify a token.
* Introduced [other_identifier] as a more elegant way of calling [set_id_type ↵François Pottier2015-10-071-19/+22
| | | | | | i OtherId]. This causes no change in the automaton.
* One more replacement of [ioption] with [option].François Pottier2015-10-071-1/+1
| | | | I missed this opportunity in the previous commit.
* Use [option] as much as possible and [ioption] only where necessary.François Pottier2015-10-071-13/+30
| | | | | | | | | The existing [option(X)] was marked %inline, and has been renamed [ioption(X)]. A new [option(X)], which is not marked %inline, has been introduced. The grammar now uses [option] everywhere, except where [ioption] is necessary in order to avoid conflicts. This reduces the number of states in the automaton. The number of LR(0) cores drops from 857 to 712.
* Add -la 1 to Menhir's invocation, to see statistics and warnings.François Pottier2015-10-071-1/+1
|
* Add whitespace, for better vertical alignment and better readability.François Pottier2015-10-071-21/+13
| | | | This violates the 80-column width limit, but is really important.
* Pass --no-stdlib and -v to menhir when compiling pre_parser.mly.François Pottier2015-10-072-1/+2
| | | | | | | Passing --no-stdlib ensures that there is no dependency on Menhir's standard library. Passing -v, which is equivalent to --explain --dump, requests the generation of pre_parser.automaton, a description of the automaton.
* Handle the special case of a typedef to void funciton parameter to beBernhard Schommer2015-10-051-2/+2
| | | | handled as a function with void parameter.
* 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
| | | | | | | | information.
| * Allow redefinition of a typedef with the same name.Bernhard Schommer2015-10-043-7/+53
| | | | | | | | | | C11 allows a typedef redefinition if the types are the same. We now allow this also and issue a warning and an error if the types are different.
* | 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
|\ | | | | | | | | Conflicts: debug/DebugInformation.ml
| * 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
|/ | | | | Since files without function definition contain no function in the Section_text the filenum would be empty otherwise.
* 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
|\ | | | | Correction of a few bugs in the pre-parser, added comments.
| * Fixed a few bugs in the pre parser. In particular, the following codeJacques-Henri Jourdan2015-09-308-161/+403
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | was not parsed correctly: typedef int a; int f() { for(int a; ;) if(1); a * x; } Additionnaly, I tried to add some comments in the pre-parser code, especially for the different hacks used to solve various conflicts.
* | 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
| | | | | | | | in the Debuging information.
* | 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
| | | | | | | | Producer as well as target system.
* | 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
|\ \ | |/ |/| Debug locations
| * Fixed minor issue with parameters that get put on the stack, madeBernhard Schommer2015-09-303-17/+18
| | | | | | | | the code more robust and added indentation for convertCompositeDef
| * Avoid problem with implict declarations.Bernhard Schommer2015-09-302-4/+18
| | | | | | | | | | | | In order to avoid the problem that the stamp is not correct for implict declarations I insert all possible stamps of a function into my mapping and assign them one debug id.
| * More fixes for the DebugInformation.Bernhard Schommer2015-09-294-20/+38
| | | | | | | | | | | | | | Changed the sizeof function to take into account the bytes needed for the sleb128/uleb128 encoding of the DW_OP_* arguments and changed the end_live_range function to only close functions where the live range is currently open.
| * Deactivate the debug functions for none advanced targets.Bernhard Schommer2015-09-291-1/+1
| |
| * Change the way the debug sections are printed.Bernhard Schommer2015-09-2815-179/+228
| | | | | | | | | | | | If a user uses the #pragma use_section for functions the diab linker requires a separate debug_info section for each entry. This commit adds functionality to emulate this behavior.
| * Added location for the formal parameters and move the end of allBernhard Schommer2015-09-289-29/+68
| | | | | | | | scopes before the last statement.
generated by cgit (git 2.34.1) at 2024-07-05 14:20:58 +0000