X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ast_t.h;h=321915eaf9a32ecc5eb4011b7098d2951cac012d;hb=4870126b5873da8e2844b089f117b7aa3c6a18d6;hp=0c64846143fe46fbfd42593c29fad9092dc8ae97;hpb=9749dae0f4dbf98e4fca126b97919fd8f33d9652;p=cparser diff --git a/ast_t.h b/ast_t.h index 0c64846..321915e 100644 --- a/ast_t.h +++ b/ast_t.h @@ -1,6 +1,8 @@ #ifndef AST_T_H #define AST_T_H +#include + #include "ast.h" #include "symbol.h" #include "token_t.h" @@ -10,20 +12,29 @@ extern struct obstack ast_obstack; typedef enum { - EXPR_INVALID = 0, + EXPR_UNKNOWN = 0, + EXPR_INVALID, EXPR_REFERENCE, EXPR_CONST, EXPR_STRING_LITERAL, EXPR_CALL, EXPR_UNARY, EXPR_BINARY, + EXPR_CONDITIONAL, EXPR_SELECT, EXPR_ARRAY_ACCESS, EXPR_SIZEOF, + + EXPR_FUNCTION, + EXPR_PRETTY_FUNCTION, + EXPR_BUILTIN_SYMBOL, + EXPR_OFFSETOF, + EXPR_VA_ARG, + EXPR_STATEMENT } expresion_type_t; struct context_t { - declaration_t *declarations; + declaration_t *declarations; }; struct expression_t { @@ -34,7 +45,10 @@ struct expression_t { struct const_t { expression_t expression; - int value; + union { + int int_value; + long double float_value; + } v; }; struct string_literal_t { @@ -42,6 +56,11 @@ struct string_literal_t { const char *value; }; +struct builtin_symbol_expression_t { + expression_t expression; + symbol_t *symbol; +}; + struct reference_expression_t { expression_t expression; symbol_t *symbol; @@ -55,7 +74,7 @@ struct call_argument_t { struct call_expression_t { expression_t expression; - expression_t *method; + expression_t *function; call_argument_t *arguments; }; @@ -110,7 +129,8 @@ typedef enum { BINEXPR_SHIFTRIGHT_ASSIGN, BINEXPR_BITWISE_AND_ASSIGN, BINEXPR_BITWISE_XOR_ASSIGN, - BINEXPR_BITWISE_OR_ASSIGN + BINEXPR_BITWISE_OR_ASSIGN, + BINEXPR_COMMA } binary_expression_type_t; struct binary_expression_t { @@ -137,6 +157,25 @@ struct array_access_expression_t { struct sizeof_expression_t { expression_t expression; type_t *type; + expression_t *size_expression; +}; + +struct designator_t { + symbol_t *symbol; + expression_t *array_access; + designator_t *next; +}; + +struct offsetof_expression_t { + expression_t expression; + type_t *type; + designator_t *designator; +}; + +struct va_arg_expression_t { + expression_t expression; + expression_t *arg; + type_t *type; }; struct conditional_expression_t { @@ -146,14 +185,9 @@ struct conditional_expression_t { expression_t *false_expression; }; -struct expression_list_element_t { - expression_t *expression; - expression_t *next; -}; - -struct comma_expression_t { - expression_t expression; - expression_list_element_t *expressions; +struct statement_expression_t { + expression_t expression; + statement_t *statement; }; typedef enum { @@ -162,26 +196,60 @@ typedef enum { STORAGE_CLASS_EXTERN, STORAGE_CLASS_STATIC, STORAGE_CLASS_AUTO, - STORAGE_CLASS_REGISTER + STORAGE_CLASS_REGISTER, + STORAGE_CLASS_ENUM_ENTRY } storage_class_t; -struct method_parameter_t { - method_parameter_t *next; - symbol_t *symbol; - type_t *type; - int num; +typedef enum { + NAMESPACE_NORMAL, + NAMESPACE_STRUCT, + NAMESPACE_UNION, + NAMESPACE_ENUM, + NAMESPACE_LABEL +} namespace_t; + +typedef enum { + INITIALIZER_VALUE, + INITIALIZER_LIST, +} initializer_type_t; + +struct initializer_t { + initializer_type_t type; + designator_t *designator; + union { + initializer_t *list; + expression_t *value; + } v; + initializer_t *next; }; struct declaration_t { - storage_class_t storage_class; + unsigned char namespace; + unsigned char storage_class; + unsigned int address_taken : 1; + unsigned int is_inline : 1; type_t *type; symbol_t *symbol; - method_parameter_t *parameters; - statement_t *statement; source_position_t source_position; + union { + bool is_defined; + statement_t *statement; + initializer_t *initializer; + } init; context_t context; + context_t *parent_context; + /** next declaration in a context */ declaration_t *next; + /** next declaration with same symbol */ + declaration_t *symbol_next; + + unsigned char declaration_type; /* used in ast2firm module */ + union { + unsigned int value_number; /* used in ast2firm module */ + ir_entity *entity; /* used in ast2firm module */ + ir_node *block; /* used in ast2firm module */ + } v; }; typedef enum { @@ -190,9 +258,16 @@ typedef enum { STATEMENT_RETURN, STATEMENT_DECLARATION, STATEMENT_IF, + STATEMENT_SWITCH, STATEMENT_EXPRESSION, + STATEMENT_CONTINUE, + STATEMENT_BREAK, STATEMENT_GOTO, - STATEMENT_LABEL + STATEMENT_LABEL, + STATEMENT_CASE_LABEL, + STATEMENT_WHILE, + STATEMENT_DO_WHILE, + STATEMENT_FOR } statement_type_t; struct statement_t { @@ -208,16 +283,14 @@ struct return_statement_t { struct compound_statement_t { statement_t statement; - statement_t *first_statement; + statement_t *statements; context_t context; }; struct declaration_statement_t { statement_t statement; - declaration_t declaration; - - int value_number; /**< filled in by semantic phase */ - int refs; + declaration_t *declarations_begin; + declaration_t *declarations_end; }; struct if_statement_t { @@ -227,15 +300,26 @@ struct if_statement_t { statement_t *false_statement; }; +struct switch_statement_t { + statement_t statement; + expression_t *expression; + statement_t *body; +}; + struct goto_statement_t { - statement_t statement; - symbol_t *label_symbol; - label_statement_t *label; + statement_t statement; + declaration_t *label; +}; + +struct case_label_statement_t { + statement_t statement; + expression_t *expression; }; struct label_statement_t { - statement_t statement; - symbol_t *symbol; + statement_t statement; + declaration_t *label; + statement_t *label_statement; }; struct expression_statement_t { @@ -243,6 +327,27 @@ struct expression_statement_t { expression_t *expression; }; +struct while_statement_t { + statement_t statement; + expression_t *condition; + statement_t *body; +}; + +struct do_while_statement_t { + statement_t statement; + expression_t *condition; + statement_t *body; +}; + +struct for_statement_t { + statement_t statement; + expression_t *initialisation; + expression_t *condition; + expression_t *step; + statement_t *body; + context_t context; +}; + struct translation_unit_t { context_t context; };