From 0d7fd2585e8daec77870f19264644a204e0a8ed4 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Sat, 13 Feb 2016 16:52:16 +0100 Subject: Added "int ceil_log2(int)" function --- passes/fsm/fsm_recode.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'passes/fsm/fsm_recode.cc') diff --git a/passes/fsm/fsm_recode.cc b/passes/fsm/fsm_recode.cc index aa1e99be..a4b45295 100644 --- a/passes/fsm/fsm_recode.cc +++ b/passes/fsm/fsm_recode.cc @@ -85,7 +85,7 @@ static void fsm_recode(RTLIL::Cell *cell, RTLIL::Module *module, FILE *fm_set_fs fsm_data.state_bits = fsm_data.state_table.size(); } else if (encoding == "binary") { - int new_num_state_bits = ceil(log2(fsm_data.state_table.size())); + int new_num_state_bits = ceil_log2(fsm_data.state_table.size()); if (fsm_data.state_bits == new_num_state_bits) { log(" existing encoding is already a packed binary encoding.\n"); return; -- cgit v1.2.3