diff options
Diffstat (limited to 'c89.y')
| -rw-r--r-- | c89.y | 525 |
1 files changed, 525 insertions, 0 deletions
@@ -0,0 +1,525 @@ +%{ +#include <stdio.h> + +int yylex(void); + +void yyerror(char *str) +{ + printf("WUT?: %s\n" str); +} +%} + +%union { +} + + /* keywords */ +%token AUTO BREAK CASE CHAR CONST CONTINUE DEFAULT DO DOUBLE ELSE ENUM EXTERN + FLOAT FOR GOTO IF INT LONG REGISTER RETURN SHORT SIGNED SIZEOF STATIC + STRUCT SWITCH TYPEDEF UNION UNSIGNED VOID VOLATILE WHILE + + /* operators */ +%token LBRACKET RBRACKET LPAREN RPAREN DOT ARROW INCREMENT DECREMENT AMPERSAND + STAR PLUS MINUS TILDE BANG SLASH PERCENT LSHIFT RSHIFT LESSTHAN + GREATERTHAN LESSEQUAL GREATEREQUAL ISEQUAL NOTEQUAL CARET PIPE ANDAND + OROR QUESTION COLON EQUALS STAREQUALS SLASHEQUALS PERCENTEQUALS + PLUSEQUALS MINUSEQUALS LSHIFTEQUALS RSHIFTEQUALS ANDEQUALS CARETEQUALS + PIPEEQUALS COMMA HASH HASHHASH + + /* additional punctuators */ +%token LBRACE RBRACE SEMICOLON DOTDOTDOT + +%% + +primary-expression: + identifier + | constant + | string-literal + | LPAREN expression RPAREN + ; + +postfix-expression: + primary-expression + | postfix-expression LBRACKET expression RBRACKET + | postfix-expression LPAREN argument-expression-list RPAREN + | postfix-expression LPRAEN RPAREN + | postfix-expression DOT identifier + | postfix-expression ARROW identifier + | postfix-expression INCREMENT + | postfix-expression DECREMENT + ; + +argument-expression-list: + assignment-expression + | argument-expression-list COMMA assignment-expression + ; + +unary-expression: + postfix-expression + | INCREMENT unary-expression + | DECREMENT unary-expression + | unary-operator cast-expression + | SIZEOF unary-expression + | SIZEOF LPAREN type-name RPAREN + ; + +unary-operator: + AMPERSAND + | STAR + | PLUS + | MINUS + | TILDE + | BANG + ; + +cast-expression: + unary-expression + | LPAREN type-name RPAREN cast-expression + ; + +multiplicative-expression: + cast-expression + | multiplicative-expression STAR cast-expression + | multiplicative-expression SLASH cast-expression + | multiplicative-expression PERCENT cast-expression + ; + +additive-expression: + multiplicative-expression + | additive-expression PLUS multiplicative-expression + | additive-expression MINUS multiplicative-expression + ; + +shift-expression: + additive-expression + | shift-expression LSHIFT additive-expression + | shift-expression RSHIFT additive-expression + ; + +relational-expression: + shift-expression + | relational-expression LESSTHAN shift-expression + | relational-expression GREATERTHAN shift-expression + | relational-expression LESSEQUAL shift-expression + | relational-expression GREATEREQUAL shift-expression + ; + +equality-expression: + relational-expression + | equality-expression ISEQUAL relational-expression + | equality-expression NOTEQUAL relational-expression + ; + +AND-expression: + equality-expression + | AND-expression AMPERSAND equality-expression + ; + +exclusive-OR-expression: + AND-expression + | exclusive-OR-expression CARET AND-expression + ; + +inclusive-OR-expression: + exclusive-OR-expression + | inclusive-OR-expression PIPE exclusive-OR-expression + ; + +logical-AND-expression: + inclusive-OR-expression + | logical-AND-expression ANDAND inclusive-OR-expression + ; + +logical-OR-expression: + logical-AND-expression + | logical-OR-expression OROR logical-AND-expression + ; + +conditional-expression: + logical-OR-expression + | logical-OR-expression QUESTION expression COLON conditional-expression + ; + +assignment-expression: + conditional-expression + | unary-expression assignment-operator assignment-expression + ; + +assignment-operator: + EQUALS + | STAREQUALS + | SLASHEQUALS + | PERCENTEQUALS + | PLUSEQUALS + | MINUSEQUALS + | LSHIFTEQUALS + | RSHIFTEQUALS + | ANDEQUALS + | CARETEQUALS + | PIPEEQUALS + ; + +expression: + assignment-expression + | expression COMMA assignment-expression + ; + +constant-expression: + conditional-expression + ; + +declaration: + declaration-specifiers SEMICOLON + | declaration-specifiers init-declarator-list SEMICOLON + ; + +declaration-specifiers: + storage-class-specifier + | storage-class-specifier declaration-specifiers + | type-specifier + | type-specifier declaration-specifiers + | type-qualifier + | type-qualifier declaration-specifiers + ; + +init-declarator-list: + init-declarataor + | init-declarator-list COMMA init-declarator + ; + +init-declarator: + declarator + | declarator EQUALS initializer + ; + +storage-class-specifier: + TYPEDEF + | EXTERN + | STATIC + | AUTO + | REGISTER + ; + +type-specifier: + VOID + | CHAR + | SHORT + | INT + | LONG + | FLOAT + | DOUBLE + | SIGNED + | UNSIGNED + | struct-or-union-specifier + | enum-specifier + | typedef-name + ; + +struct-or-union-specifier: + struct-or-union LBRACE struct-declaration-list RBRACE + | struct-or-union identifier LBRACE struct-declaration-list RBRACE + | struct-or-union identifier + ; + +struct-or-union: + STRUCT + | UNION + ; + +struct-declaration-list: + struct-declaration + | struct-declaration-list struct declaration + ; + +struct-declaration: + specifier-qualifier-list struct-declarator-list SEMICOLON + ; + +specifier-qualifier-list: + type-specifier + | type-specifier specifier-qualifier-list + | type-qualifier + | type-qualifier specifier-qualifier-list + ; + +struct-declarator-list: + struct-declarator + | struct-declarator-list COMMA struct-declarator + ; + +struct-declarator: + declarator + | COMMA constant-expression + | declarator COMMA constant-expression + ; + +enum-specifier: + ENUM LBRACE enumerator-list RBRACE + | ENUM identifier LBRACE enumerator-list RBRACE + | ENUM identifier + ; + +enumerator-list: + enumerator + | enumerator-list COMMA enumerator + ; + +enumerator: + enumeration-constant + | enumeration-constant EQUALS constant-expression + ; + +type-qualifier: + CONST + | VOID + ; + +declarator: + direct-declarator + | pointer direct-declarator + ; + +direct-declarator: + identifier + | LPAREN declarator RPAREN + | direct-declarator LBRACKET RBRACKET + | direct-declarator LBRACKET constant-expression RBRACKET + | direct-declarator LPAREN parameter-type-list RPAREN + | direct-declarator LPAREN RPAREN + | direct-declarator LPAREN identifier-list RPAREN + ; + +pointer: + STAR + | STAR type-qualifier-list + | STAR pointer + | STAR type-qualifier-list pointer + ; + +type-qualifier-list: + type-qualifier + | type-qualifier-list type-qualifier + ; + +parameter-type-list: + parameter-list + | parameter-list COMMA DOTDOTDOT + ; + +parameter-list: + parameter-declaration + | parameter-list COMMA parameter-declaration + ; + +parameter-declaration: + declaration-specifiers declarator + | declaration-specifiers + | declaration-specifiers abstract-declarator + ; + +identifier-list: + identifier + | identifier-list COMMA identifier + ; + +type-name: + specifier-qualifier-list + | specifier-qualifier-list abstract-declarator + ; + +abstract-declarator: + pointer + | direct-abstract-declarator + | point direct-abstract-declarator + ; + +direct-abstract-declarator: + LPAREN abstract-declarator RPAREN + | LBRACKET RBRACKET + | LBRACKET constant-expression RBRACKET + | direct-abstract-declarator LBRACKET RBRACKET + | direct-abstract-declarator LBRACKET constant-expression RBRACKET + | LPAREN RPAREN + | LPAREN parameter-type-list RPAREN + | direct-abstract-declarator LPAREN RPAREN + | direct-abstract-declarator LPAREN parameter-type-list RPAREN + ; + +typdef-name: + identifier + ; + +initializer: + assignment-expression + | LBRACE initializer-list RBRACE + | LBRACE initializer-list COMMA RBRACE + ; + +initializer-list: + initializer + | initializer-list COMMA initializer + ; + +statement: + labeled-statement + | compound-statement + | expression-statement + | selection-statement + | iteration-statement + | jump-statement + ; + +labeled-statement: + identifier COLON statement + | CASE constant-expression COLON statement + | DEFAULT COLON statement + ; + +compound-statement: + LBRACE RBRACE + | LBRACE declaration-list RBRACE + | LBRACE statement-list RBRACE + | LBRACE declaration-list statement-list RBRACE + ; + +declaration-list: + declaration + | declaration-list declaration + ; + +statement-list: + statement + | statement-list statement + ; + +expression-statement: + SEMICOLON + | expression SEMICOLON + ; + +selection-statement: + IF LPAREN expression RPAREN statement + | IF LPAREN expression RPAREN statement ELSE statement + | SWITCH LPAREN expression RPAREN statement + ; + +iteration-statement: + WHILE LPAREN expression RPAREN statement + | DO statement WHILE LPAREN expression RPAREN SEMICOLON + | FOR LPAREN SEMICOLON SEMICOLON RPAREN statement + | FOR LPAREN expression SEMICOLON SEMICOLON RPAREN statement + | FOR LPAREN SEMICOLON expression SEMICOLON RPAREN statement + | FOR LPAREN SEMICOLON SEMICOLON expression RPAREN statement + | FOR LPAREN expression SEMICOLON expression SEMICOLON RPAREN statement + | FOR LPAREN SEMICOLON expression SEMICOLON expression RPAREN statement + | FOR LPAREN expression SEMICOLON SEMICOLON expression RPAREN statement + | FOR LPAREN expression SEMICOLON expression SEMICOLON expression RPAREN statement + ; + +jump-statement: + GOTO identifier SEMICOLON + | CONTINUE SEMICOLON + | BREAK SEMICOLON + | RETURN SEMICOLON + | RETURN expression SEMICOLON + ; + +translation-unit: + external-declaration + | translation-unit external-declaration + ; + +external-declaration: + function-definition + | declaration + ; + +function-definition: + declarator compound-statement + | declaration-specifiers declarator compound-statement + | declarator declaration-list compound-statement + | declaration-specifiers declarator declaration-list compound-statement + ; + +preprocessing-file: + /* optional */ + | group + ; + +group: + group-part + | group group-part + ; + +group-part: + new-line + | pp-tokens new-line + | if-section + | control-line + ; + +if-section: + if-group endif-line + | if-group elif-groups endif-line + | if-group else-group endif-line + | if-group elif-groups else-group endif-line + ; + +if-group: + HASH IF constant-expression new-line + | HASH IF constant-expression new-line group + | HASH IFDEF identifier new-line + | HASH IFDEF identifier new-line group + | HASH IFNDEF identifier new-line + | HASH IFNDEF identifier new-line group + ; + +elif-groups: + elif-group + | elif-groups elif-group + ; + +elif-group: + HASH ELIF constant-expression new-line + | HASH ELIF constant-expression new-line group + ; + +else-group: + HASH ELSE new-line + | HASH ELSE new-line group + ; + +endif-line: + HASH ENDIF new-line + ; + +control-line: + HASH INCLUDE pp-tokens new-line + | HASH DEFINE identifier replacement-list new-line + | HASH DEFINE identifier lparen RPAREN replacement-list new-line + | HASH DEFINE identifier lparen identifier-list RPAREN replacement-list new-line + | HASH UNDEF identifier new-line + | HASH LINE pp-tokens new-line + | HASH ERROR new-line + | HASH ERROR pp-tokens new-line + | HASH PRAGMA new-line + | HASH PRAGMA pp-tokens new-line + | HASH new-line + ; + +lparen: + LPAREN /* without preceding white space */ + ; + +replacement-list: + /* optional */ + | pp-tokens + ; + +pp-tokens: + preprocessing-token + | pp-tokens preprocessing-token + ; + +new-line: + NEWLINE + ; |