#include "kernel/register.h"
#include "kernel/bitpattern.h"
#include "kernel/log.h"
#include <sstream>
#include <stdlib.h>
#include <stdio.h>
#include <set>
Go to the source code of this file.
Definition at line 31 of file proc_rmdead.cc.
35 for (
size_t i = 0; i < sw->
cases.size(); i++)
39 for (
size_t j = 0; j < sw->
cases[i]->compare.size(); j++) {
44 sw->
cases[i]->compare.erase(sw->
cases[i]->compare.begin() + (j--));
48 if (sw->
cases[i]->compare.size() == 0) {
55 sw->
cases[i]->compare.clear();
58 for (
auto switch_it : sw->
cases[i]->switches)
RTLIL_ATTRIBUTE_MEMBERS std::vector< RTLIL::CaseRule * > cases
USING_YOSYS_NAMESPACE PRIVATE_NAMESPACE_BEGIN void proc_rmdead(RTLIL::SwitchRule *sw, int &counter)
int GetSize(RTLIL::Wire *wire)
bool is_fully_const() const