diff options
| author | Clifford Wolf <clifford@clifford.at> | 2016-09-19 01:30:07 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2016-09-19 01:30:07 +0200 |
| commit | aaa99c35bdcde8bec9d44ca23814f323a4e09c75 (patch) | |
| tree | c579f3d437d2a6239ba2a31d3ff7f908e8c045bd /frontends/ast/genrtlil.cc | |
| parent | d009cdd6eef5a24a11584a543bab8543f3940f6c (diff) | |
| download | yosys-aaa99c35bdcde8bec9d44ca23814f323a4e09c75.tar.gz yosys-aaa99c35bdcde8bec9d44ca23814f323a4e09c75.tar.bz2 yosys-aaa99c35bdcde8bec9d44ca23814f323a4e09c75.zip | |
Added $past, $stable, $rose, $fell SVA functions
Diffstat (limited to 'frontends/ast/genrtlil.cc')
| -rw-r--r-- | frontends/ast/genrtlil.cc | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/frontends/ast/genrtlil.cc b/frontends/ast/genrtlil.cc index d00738ecd..3c57162aa 100644 --- a/frontends/ast/genrtlil.cc +++ b/frontends/ast/genrtlil.cc @@ -765,6 +765,16 @@ void AstNode::detectSignWidthWorker(int &width_hint, bool &sign_hint, bool *foun } break; } + if (str == "\\$past") { + if (GetSize(children) > 0) { + sub_width_hint = 0; + sub_sign_hint = true; + children.at(0)->detectSignWidthWorker(sub_width_hint, sub_sign_hint); + width_hint = max(width_hint, sub_width_hint); + sign_hint = false; + } + break; + } /* fall through */ // everything should have been handled above -> print error if not. |