aboutsummaryrefslogtreecommitdiffstats
path: root/passes/fsm
diff options
context:
space:
mode:
authorEddie Hung <eddieh@ece.ubc.ca>2019-02-19 12:36:10 -0800
committerEddie Hung <eddieh@ece.ubc.ca>2019-02-19 12:36:10 -0800
commit92b60d5e42c57e2c268ef13bcc3138a5399501b8 (patch)
tree0b17c32535dd5138af9e34e00414fc10cb3d84f7 /passes/fsm
parent8886fa5506b227229398e5ac884203e799bce22c (diff)
parent2a8e5bf9535a25bba9c9c11fc7e40d5a08958d4c (diff)
downloadyosys-92b60d5e42c57e2c268ef13bcc3138a5399501b8.tar.gz
yosys-92b60d5e42c57e2c268ef13bcc3138a5399501b8.tar.bz2
yosys-92b60d5e42c57e2c268ef13bcc3138a5399501b8.zip
Merge branch 'master' into read_aiger
Diffstat (limited to 'passes/fsm')
-rw-r--r--passes/fsm/fsm_opt.cc3
1 files changed, 2 insertions, 1 deletions
diff --git a/passes/fsm/fsm_opt.cc b/passes/fsm/fsm_opt.cc
index 3a6ac2746..048daee55 100644
--- a/passes/fsm/fsm_opt.cc
+++ b/passes/fsm/fsm_opt.cc
@@ -72,7 +72,8 @@ struct FsmOpt
new_transition_table.swap(fsm_data.transition_table);
new_state_table.swap(fsm_data.state_table);
- fsm_data.reset_state = old_to_new_state.at(fsm_data.reset_state);
+ if (fsm_data.reset_state != -1)
+ fsm_data.reset_state = old_to_new_state.at(fsm_data.reset_state);
}
}