summaryrefslogtreecommitdiff
path: root/kernel/rtlil.h
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2015-04-29 07:28:15 +0200
committerClifford Wolf <clifford@clifford.at>2015-04-29 07:28:15 +0200
commitf483dce7c231f83937b5944ed0166a70594a0e8b (patch)
treef9a2dc487da84ba9fcd53d8c56991b1dbe2dd7de /kernel/rtlil.h
parent9d067fecea8d17dc3e800d09973f5ddaae41774b (diff)
Added $eq/$neq -> $logic_not/$reduce_bool optimization
Diffstat (limited to 'kernel/rtlil.h')
-rw-r--r--kernel/rtlil.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/kernel/rtlil.h b/kernel/rtlil.h
index 956b303f..e9deb1d5 100644
--- a/kernel/rtlil.h
+++ b/kernel/rtlil.h
@@ -692,6 +692,7 @@ public:
bool is_chunk() const;
bool is_fully_const() const;
+ bool is_fully_zero() const;
bool is_fully_def() const;
bool is_fully_undef() const;
bool has_const() const;