1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
|
/* $Id$
*
* SimplifyExpressions: simplify nested expressions to simple expressions.
*
* Copyright (C) 2009 FAUmachine Team <info@faumachine.org>.
* This program is free software. You can redistribute it and/or modify it
* under the terms of the GNU General Public License, either version 2 of
* the License, or (at your option) any later version. See COPYING.
*/
#ifndef __SIMPLIFY_EXPRESSION_HPP_INCLUDED
#define __SIMPLIFY_EXPRESSION_HPP_INCLUDED
#include "frontend/visitor/TopDownVisitor.hpp"
#include <list>
namespace ast {
/** Simplify nested Expressions to simple Expressions
* Dependencies:
* TransformSigAssign
*/
class SimplifyExpressions : public TopDownVisitor {
public:
/** c'tor */
SimplifyExpressions() : simpleSeqs(std::list<SeqStat*>()),
repexp(NULL) {}
private:
/** Visit a Process node.
* @param node Process node that get's visited.
*/
virtual void visit(Process &node);
/** Visit a VarAssignStat
* @param node VarAssignStat node that get's visited.
*/
virtual void visit(VarAssignStat &node);
/** Visit a SigAssignStat
* @param node SigAssignStat node that get's visited.
*/
virtual void visit(SigAssignStat &node);
/** Visit a CondalSigAssign node.
* @param node CondalSigAssign node that get's visited.
*/
virtual void visit(CondalSigAssign &node);
/** Visit a FunctionCall.
* @param node FunctionCall node that get's visited.
*/
virtual void visit(FunctionCall &node);
/** replace Expression with current replacement Expression,
* if set.
* @param e Expression to be eventually replaced.
*/
void setNode(Expression *&e);
/** generate a temporary variable.
* @param type type of the temporary.
* @param name name (prefix) of the variable
* @param suffix suffix of the variable (optional).
* @return name referring to the generated variable.
*/
SimpleName *genTemporary(
SubtypeIndication *type,
std::string name,
const char *suffix);
/** List with simplified sequential statements to add before node.
* This list will get added before the currently traversed sequential
* statement.
*/
std::list<SeqStat *> simpleSeqs;
/** simplifed Expression to replace the currently traversed
* Expression.
*/
Expression *repexp;
};
} /* namespace ast */
#endif /* __SIMPLIFY_EXPRESSION_HPP_INCLUDED */
|
