diff options
| author | Zachary Snow <zach@zachjs.com> | 2021-02-12 14:25:34 -0500 |
|---|---|---|
| committer | Zachary Snow <zach@zachjs.com> | 2021-02-12 14:43:42 -0500 |
| commit | 8de2e863af4233aca0a0ca0eef4477d216f7a227 (patch) | |
| tree | 4854ab4fb9acbee14151db50dd09795825954bbd /frontends/ast/ast.h | |
| parent | 9f7cd10c9887df7a8fb8e0d587955d5a03b60c52 (diff) | |
| download | yosys-8de2e863af4233aca0a0ca0eef4477d216f7a227.tar.gz yosys-8de2e863af4233aca0a0ca0eef4477d216f7a227.tar.bz2 yosys-8de2e863af4233aca0a0ca0eef4477d216f7a227.zip | |
verilog: support recursive functions using ternary expressions
This adds a mechanism for marking certain portions of elaboration as
occurring within unevaluated ternary branches. To enable elaboration of
the overall ternary, this also adds width detection for these
unelaborated function calls.
Diffstat (limited to 'frontends/ast/ast.h')
| -rw-r--r-- | frontends/ast/ast.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/frontends/ast/ast.h b/frontends/ast/ast.h index d8818df31..8cc7b474f 100644 --- a/frontends/ast/ast.h +++ b/frontends/ast/ast.h @@ -270,6 +270,9 @@ namespace AST bool is_simple_const_expr(); std::string process_format_str(const std::string &sformat, int next_arg, int stage, int width_hint, bool sign_hint); + bool is_recursive_function() const; + std::pair<AstNode*, AstNode*> get_tern_choice(); + // create a human-readable text representation of the AST (for debugging) void dumpAst(FILE *f, std::string indent) const; void dumpVlog(FILE *f, std::string indent) const; |