使用Lex和Yacc开发C语言的编译器

最新推荐文章于 2022-02-24 16:53:30 发布

judyge

最新推荐文章于 2022-02-24 16:53:30 发布

阅读量1.4k

点赞数

(1) 从网站：http://www.lysator.liu.se/c/ 下载C语言的语法文件：
The ANSI C grammar ( Yacc and Lex )
(2) 编译词法文件：

> lex c.l

(3) 编译语法文件：

> yacc -dv c . y

说明：-d：产生头文件y.yab.h，-v：产生分析表y.output。针对else产生的移进规约冲突，采用了yacc的默认动作“移进”解决。
(4) 编译语法分析器：

> cc lex . yy . c y . tab . c -ll

(5) 测试：
编写测试程序test.c

#include " stdio.h "

int main() {

int a = 0;

for(; a < 10; a++){

printf("hello from sun! ");

}

运行：

> . / a. out < test.c

结果如下：

" stdio.h "

int () {

int = ;

for(; < ; ++){

int("hello from sun hong hao! ");

}

发现c.y文件中没有语义动作。只是进行了词法扫描一下，所以得到结果就是上面的样子了。

(5) 贴一下y.out里的规则：

0 $ accept : translation_unit $ end

1 primary_expression : IDENTIFIER

2 | CONSTANT

3 | STRING_LITERAL

4 | ' ( ' expression ' ) '

5 postfix_expression : primary_expression

6 | postfix_expression '[' expression ']'

7 | postfix_expression ' ( ' ' ) '

8 | postfix_expression ' ( ' argument_expression_list ' ) '

9 | postfix_expression ' . ' IDENTIFIER

10 | postfix_expression PTR_OP IDENTIFIER

11 | postfix_expression INC_OP

12 | postfix_expression DEC_OP

13 argument_expression_list : assignment_expression

14 | argument_expression_list ' , ' assignment_expression

15 unary_expression : postfix_expression

16 | INC_OP unary_expression

17 | DEC_OP unary_expression

18 | unary_operator cast_expression

19 | SIZEOF unary_expression

20 | SIZEOF ' ( ' type_name ' ) '

21 unary_operator : '&'

22 | '*'

23 | ' + '

24 | '-'

25 | '~'

26 | '!'

27 cast_expression : unary_expression

28 | ' ( ' type_name ' ) ' cast_expression

29 multiplicative_expression : cast_expression

30 | multiplicative_expression '*' cast_expression

31 | multiplicative_expression ' / ' cast_expression

32 | multiplicative_expression '%' cast_expression

33 additive_expression : multiplicative_expression

34 | additive_expression ' + ' multiplicative_expression

35 | additive_expression '-' multiplicative_expression

36 shift_expression : additive_expression

37 | shift_expression LEFT_OP additive_expression

38 | shift_expression RIGHT_OP additive_expression

39 relational_expression : shift_expression

40 | relational_expression ' < ' shift_expression

41 | relational_expression ' > ' shift_expression

42 | relational_expression LE_OP shift_expression

43 | relational_expression GE_OP shift_expression

44 equality_expression : relational_expression

45 | equality_expression EQ_OP relational_expression

46 | equality_expression NE_OP relational_expression

47 and_expression : equality_expression

48 | and_expression '&' equality_expression

49 exclusive_or_expression : and_expression

50 | exclusive_or_expression '^' and_expression

51 inclusive_or_expression : exclusive_or_expression

52 | inclusive_or_expression '|' exclusive_or_expression

53 logical_and_expression : inclusive_or_expression

54 | logical_and_expression AND_OP inclusive_or_expression

55 logical_or_expression : logical_and_expression

56 | logical_or_expression OR_OP logical_and_expression

57 conditional_expression : logical_or_expression

58 | logical_or_expression '?' expression ':' conditional_expression

59 assignment_expression : conditional_expression

60 | unary_expression assignment_operator assignment_expression

61 assignment_operator : ' = '

62 | MUL_ASSIGN

63 | DIV_ASSIGN

64 | MOD_ASSIGN

65 | ADD_ASSIGN

66 | SUB_ASSIGN

67 | LEFT_ASSIGN

68 | RIGHT_ASSIGN

69 | AND_ASSIGN

70 | XOR_ASSIGN

71 | OR_ASSIGN

72 expression : assignment_expression

73 | expression ' , ' assignment_expression

74 constant_expression : conditional_expression

75 declaration : declaration_specifiers ' ; '

76 | declaration_specifiers init_declarator_list ' ; '

77 declaration_specifiers : storage_class_specifier

78 | storage_class_specifier declaration_specifiers

79 | type_specifier

80 | type_specifier declaration_specifiers

81 | type_qualifier

82 | type_qualifier declaration_specifiers

83 init_declarator_list : init_declarator

84 | init_declarator_list ' , ' init_declarator

85 init_declarator : declarator

86 | declarator ' = ' initializer

87 storage_class_specifier : TYPEDEF

88 | EXTERN

89 | STATIC

90 | AUTO

91 | REGISTER

92 type_specifier : VOID

93 | CHAR

94 | SHORT

95 | INT

96 | LONG

97 | FLOAT

98 | DOUBLE

99 | SIGNED

100 | UNSIGNED

101 | struct_or_union_specifier

102 | enum_specifier

103 | TYPE_NAME

104 struct_or_union_specifier : struct_or_union IDENTIFIER '{' struct_declaration_list '}'

105 | struct_or_union '{' struct_declaration_list '}'

106 | struct_or_union IDENTIFIER

107 struct_or_union : STRUCT

108 | UNION

109 struct_declaration_list : struct_declaration

110 | struct_declaration_list struct_declaration

111 struct_declaration : specifier_qualifier_list struct_declarator_list ' ; '

112 specifier_qualifier_list : type_specifier specifier_qualifier_list

113 | type_specifier

114 | type_qualifier specifier_qualifier_list

115 | type_qualifier

116 struct_declarator_list : struct_declarator

117 | struct_declarator_list ' , ' struct_declarator

118 struct_declarator : declarator

119 | ':' constant_expression

120 | declarator ':' constant_expression

121 enum_specifier : ENUM '{' enumerator_list '}'

122 | ENUM IDENTIFIER '{' enumerator_list '}'

123 | ENUM IDENTIFIER

124 enumerator_list : enumerator

125 | enumerator_list ' , ' enumerator

126 enumerator : IDENTIFIER

127 | IDENTIFIER ' = ' constant_expression

128 type_qualifier : CONST

129 | VOLATILE

130 declarator : pointer direct_declarator

131 | direct_declarator

132 direct_declarator : IDENTIFIER

133 | ' ( ' declarator ' ) '

134 | direct_declarator '[' constant_expression ']'

135 | direct_declarator '[' ']'

136 | direct_declarator ' ( ' parameter_type_list ' ) '

137 | direct_declarator ' ( ' identifier_list ' ) '

138 | direct_declarator ' ( ' ' ) '

139 pointer : '*'

140 | '*' type_qualifier_list

141 | '*' pointer

142 | '*' type_qualifier_list pointer

143 type_qualifier_list : type_qualifier

144 | type_qualifier_list type_qualifier

145 parameter_type_list : parameter_list

146 | parameter_list ' , ' ELLIPSIS

147 parameter_list : parameter_declaration

148 | parameter_list ' , ' parameter_declaration

149 parameter_declaration : declaration_specifiers declarator

150 | declaration_specifiers abstract_declarator

151 | declaration_specifiers

152 identifier_list : IDENTIFIER

153 | identifier_list ' , ' IDENTIFIER

154 type_name : specifier_qualifier_list

155 | specifier_qualifier_list abstract_declarator

156 abstract_declarator : pointer

157 | direct_abstract_declarator

158 | pointer direct_abstract_declarator

159 direct_abstract_declarator : ' ( ' abstract_declarator ' ) '

160 | '[' ']'

161 | '[' constant_expression ']'

162 | direct_abstract_declarator '[' ']'

163 | direct_abstract_declarator '[' constant_expression ']'

164 | ' ( ' ' ) '

165 | ' ( ' parameter_type_list ' ) '

166 | direct_abstract_declarator ' ( ' ' ) '

167 | direct_abstract_declarator ' ( ' parameter_type_list ' ) '

168 initializer : assignment_expression

169 | '{' initializer_list '}'

170 | '{' initializer_list ' , ' '}'

171 initializer_list : initializer

172 | initializer_list ' , ' initializer

173 statement : labeled_statement

174 | compound_statement

175 | expression_statement

176 | selection_statement

177 | iteration_statement

178 | jump_statement

179 labeled_statement : IDENTIFIER ':' statement

180 | CASE constant_expression ':' statement

181 | DEFAULT ':' statement

182 compound_statement : '{' '}'

183 | '{' statement_list '}'

184 | '{' declaration_list '}'

185 | '{' declaration_list statement_list '}'

186 declaration_list : declaration

187 | declaration_list declaration

188 statement_list : statement

189 | statement_list statement

190 expression_statement : ' ; '

191 | expression ' ; '

192 selection_statement : IF ' ( ' expression ' ) ' statement

193 | IF ' ( ' expression ' ) ' statement ELSE statement

194 | SWITCH ' ( ' expression ' ) ' statement

195 iteration_statement : WHILE ' ( ' expression ' ) ' statement

196 | DO statement WHILE ' ( ' expression ' ) ' ' ; '

197 | FOR ' ( ' expression_statement expression_statement ' ) ' statement

198 | FOR ' ( ' expression_statement expression_statement expression ' ) ' statement

199 jump_statement : GOTO IDENTIFIER ' ; '

200 | CONTINUE ' ; '

201 | BREAK ' ; '

202 | RETURN ' ; '

203 | RETURN expression ' ; '

204 translation_unit : external_declaration

205 | translation_unit external_declaration

206 external_declaration : function_definition

207 | declaration

208 function_definition : declaration_specifiers declarator declaration_list compound_statement

209 | declaration_specifiers declarator compound_statement

210 | declarator declaration_list compound_statement

211 | declarator compound_statement