Skip to content

H
hdl4se

饶先宏 / hdl4se

通知 12
Star 1
Fork 0
H
hdl4se

体验新版 GitCode，发现更多精彩内容 >>

提交 b3cbda49 编写于 作者: 饶先宏's avatar 饶先宏
浏览文件
操作

202106291746

上级 836b7294
隐藏空白更改
内联 并排
Showing with 303 addition and 0 deletion
parser/verilog_parser.y
浏览文件 @ b3cbda49
......@@ -41,6 +41,7 @@
* verilog_parser.y
修改记录：
202105280612: rxh, initial version
202106291739: rxh, 表达式运算符优先级的语法实现，规范中没有给出运算符优先级的语法表达
*/
#include <stdio.h>
......@@ -201,6 +202,7 @@
lsb_constant_expression
dimension_constant_expression
expression expression_option
logical_or_expression logical_xor_expression logical_and_expression
primary conditional_expression base_expression
module_instance
ordered_parameter_assignment named_parameter_assignment
......@@ -3983,6 +3985,306 @@ dimension_constant_expression :
}
;
unary_expression :
primary {
$$ = $1;
}
| unary_operator attribute_instance_list unary_expression {
/*规范中是unary_operator attribute_instance_list primary, 似乎有点不大对啊 */
$$ = verilogparseCreateUnopExpr(
$1,//int op,
$3,//HOBJECT expr,
$2 //IDListVarPtr attributes
);
}
;
pow_expression :
unary_expression {
$$ = $1;
}
| pow_expression POW attribute_instance_list unary_expression {
$$ = verilogparseCreateBinopExpr(
OP_B_OR, //int op,
$1, //HOBJECT expr0,
$4, //HOBJECT expr1,
$3 //IDListVarPtr attributes
);
}
;
multiplicative_expression :
pow_expression {
$$ = $1;
}
| multiplicative_expression '*' attribute_instance_list pow_expression {
$$ = verilogparseCreateBinopExpr(
OP_B_OR, //int op,
$1, //HOBJECT expr0,
$4, //HOBJECT expr1,
$3 //IDListVarPtr attributes
);
}
| multiplicative_expression '/' attribute_instance_list pow_expression {
$$ = verilogparseCreateBinopExpr(
OP_B_NOR, //int op,
$1, //HOBJECT expr0,
$4, //HOBJECT expr1,
$3 //IDListVarPtr attributes
);
}
| multiplicative_expression '%' attribute_instance_list pow_expression {
$$ = verilogparseCreateBinopExpr(
OP_B_NOR, //int op,
$1, //HOBJECT expr0,
$4, //HOBJECT expr1,
$3 //IDListVarPtr attributes
);
}
;
additive_expression :
multiplicative_expression {
$$ = $1;
}
| additive_expression '+' attribute_instance_list multiplicative_expression {
$$ = verilogparseCreateBinopExpr(
OP_B_OR, //int op,
$1, //HOBJECT expr0,
$4, //HOBJECT expr1,
$3 //IDListVarPtr attributes
);
}
| additive_expression '-' attribute_instance_list multiplicative_expression {
$$ = verilogparseCreateBinopExpr(
OP_B_NOR, //int op,
$1, //HOBJECT expr0,
$4, //HOBJECT expr1,
$3 //IDListVarPtr attributes
);
}
;
shift_expression :
additive_expression {
$$ = $1;
}
| shift_expression LSL attribute_instance_list additive_expression {
$$ = verilogparseCreateBinopExpr(
OP_B_OR, //int op,
$1, //HOBJECT expr0,
$4, //HOBJECT expr1,
$3 //IDListVarPtr attributes
);
}
| shift_expression LSR attribute_instance_list additive_expression {
$$ = verilogparseCreateBinopExpr(
OP_B_NOR, //int op,
$1, //HOBJECT expr0,
$4, //HOBJECT expr1,
$3 //IDListVarPtr attributes
);
}
| shift_expression ASL attribute_instance_list additive_expression {
$$ = verilogparseCreateBinopExpr(
OP_B_NOR, //int op,
$1, //HOBJECT expr0,
$4, //HOBJECT expr1,
$3 //IDListVarPtr attributes
);
}
| shift_expression ASR attribute_instance_list additive_expression {
$$ = verilogparseCreateBinopExpr(
OP_B_NOR, //int op,
$1, //HOBJECT expr0,
$4, //HOBJECT expr1,
$3 //IDListVarPtr attributes
);
}
;
relational_expression :
shift_expression {
$$ = $1;
}
| relational_expression '>' attribute_instance_list shift_expression {
$$ = verilogparseCreateBinopExpr(
OP_B_OR, //int op,
$1, //HOBJECT expr0,
$4, //HOBJECT expr1,
$3 //IDListVarPtr attributes
);
}
| relational_expression '<' attribute_instance_list shift_expression {
$$ = verilogparseCreateBinopExpr(
OP_B_NOR, //int op,
$1, //HOBJECT expr0,
$4, //HOBJECT expr1,
$3 //IDListVarPtr attributes
);
}
| relational_expression GTE attribute_instance_list shift_expression {
$$ = verilogparseCreateBinopExpr(
OP_B_NOR, //int op,
$1, //HOBJECT expr0,
$4, //HOBJECT expr1,
$3 //IDListVarPtr attributes
);
}
| relational_expression LTE attribute_instance_list shift_expression {
$$ = verilogparseCreateBinopExpr(
OP_B_NOR, //int op,
$1, //HOBJECT expr0,
$4, //HOBJECT expr1,
$3 //IDListVarPtr attributes
);
}
;
equality_expression :
relational_expression {
$$ = $1;
}
| equality_expression L_EQ attribute_instance_list relational_expression {
$$ = verilogparseCreateBinopExpr(
OP_B_OR, //int op,
$1, //HOBJECT expr0,
$4, //HOBJECT expr1,
$3 //IDListVarPtr attributes
);
}
| equality_expression C_EQ attribute_instance_list relational_expression {
$$ = verilogparseCreateBinopExpr(
OP_B_NOR, //int op,
$1, //HOBJECT expr0,
$4, //HOBJECT expr1,
$3 //IDListVarPtr attributes
);
}
| equality_expression L_NEQ attribute_instance_list relational_expression {
$$ = verilogparseCreateBinopExpr(
OP_B_NOR, //int op,
$1, //HOBJECT expr0,
$4, //HOBJECT expr1,
$3 //IDListVarPtr attributes
);
}
| equality_expression C_NEQ attribute_instance_list relational_expression {
$$ = verilogparseCreateBinopExpr(
OP_B_NOR, //int op,
$1, //HOBJECT expr0,
$4, //HOBJECT expr1,
$3 //IDListVarPtr attributes
);
}
;
and_expression :
equality_expression {
$$ = $1;
}
| and_expression '&' attribute_instance_list equality_expression {
$$ = verilogparseCreateBinopExpr(
OP_B_OR, //int op,
$1, //HOBJECT expr0,
$4, //HOBJECT expr1,
$3 //IDListVarPtr attributes
);
}
| and_expression B_NAND attribute_instance_list equality_expression {
$$ = verilogparseCreateBinopExpr(
OP_B_NOR, //int op,
$1, //HOBJECT expr0,
$4, //HOBJECT expr1,
$3 //IDListVarPtr attributes
);
}
;
exclusive_or_expression :
and_expression {
$$ = $1;
}
| exclusive_or_expression '^' attribute_instance_list and_expression {
$$ = verilogparseCreateBinopExpr(
OP_B_OR, //int op,
$1, //HOBJECT expr0,
$4, //HOBJECT expr1,
$3 //IDListVarPtr attributes
);
}
| exclusive_or_expression B_EQU attribute_instance_list and_expression {
$$ = verilogparseCreateBinopExpr(
OP_B_NOR, //int op,
$1, //HOBJECT expr0,
$4, //HOBJECT expr1,
$3 //IDListVarPtr attributes
);
}
;
inclusive_or_expression :
exclusive_or_expression {
$$ = $1;
}
| inclusive_or_expression '|' attribute_instance_list exclusive_or_expression {
$$ = verilogparseCreateBinopExpr(
OP_B_OR, //int op,
$1, //HOBJECT expr0,
$4, //HOBJECT expr1,
$3 //IDListVarPtr attributes
);
}
| inclusive_or_expression B_NOR attribute_instance_list exclusive_or_expression {
$$ = verilogparseCreateBinopExpr(
OP_B_NOR, //int op,
$1, //HOBJECT expr0,
$4, //HOBJECT expr1,
$3 //IDListVarPtr attributes
);
}
;
logical_and_expression :
inclusive_or_expression {
$$ = $1;
}
| logical_and_expression L_AND attribute_instance_list inclusive_or_expression {
$$ = verilogparseCreateBinopExpr(
OP_L_AND, //int op,
$1, //HOBJECT expr0,
$4, //HOBJECT expr1,
$3 //IDListVarPtr attributes
);
}
;
logical_or_expression :
logical_and_expression {
$$ = $1;
}
| logical_or_expression L_OR attribute_instance_list logical_and_expression {
$$ = verilogparseCreateBinopExpr(
OP_L_OR, //int op,
$1, //HOBJECT expr0,
$4, //HOBJECT expr1,
$3 //IDListVarPtr attributes
);
}
;
expression :
logical_or_expression {
$$ = $1;
}
| contitional_expression {
$$ = $1;
}
;
/*
expression :
primary {
$$ = $1;
......@@ -4006,6 +4308,7 @@ expression :
$$ = $1;
}
;
*/
/*
expression1 ::= expression
......
Markdown is supported
0% 或 .
You are about to add 0 people to the discussion. Proceed with caution.
先完成此消息的编辑！
想要评论请 注册 或