Bugfix in fsm_map for FSMs without reset state

cliffordwolf · cliffordwolf · commit d9d38eeedba7 · 2016-10-25T23:21:37.000+02:00
diff --git a/passes/fsm/fsm_map.cc b/passes/fsm/fsm_map.cc
@@ -272,7 +272,8 @@ static void map_fsm(RTLIL::Cell *fsm_cell, RTLIL::Module *module)
 		}
 		else
 		{
-			RTLIL::SigSpec sig_a, sig_b, sig_s;
+			RTLIL::SigSpec sig_a(RTLIL::State::Sx, next_state_wire->width);
+			RTLIL::SigSpec sig_b, sig_s;
 			int reset_state = fsm_data.reset_state;
 			if (reset_state < 0)
 				reset_state = 0;

Original file line number	Diff line number	Diff line change
`@@ -272,7 +272,8 @@ static void map_fsm(RTLIL::Cell fsm_cell, RTLIL::Module module)`
`272`	`272`	`}`
`273`	`273`	`else`
`274`	`274`	`{`
`275`		`- RTLIL::SigSpec sig_a, sig_b, sig_s;`
	`275`	`+ RTLIL::SigSpec sig_a(RTLIL::State::Sx, next_state_wire->width);`
	`276`	`+ RTLIL::SigSpec sig_b, sig_s;`
`276`	`277`	`int reset_state = fsm_data.reset_state;`
`277`	`278`	`if (reset_state < 0)`
`278`	`279`	`reset_state = 0;`