proc_rmdead.cc File Reference

#include "kernel/register.h"
#include "kernel/bitpattern.h"
#include "kernel/log.h"
#include <sstream>
#include <stdlib.h>
#include <stdio.h>
#include <set>

Include dependency graph for proc_rmdead.cc:

Go to the source code of this file.

Data Structures
struct	ProcRmdeadPass

Functions
USING_YOSYS_NAMESPACE PRIVATE_NAMESPACE_BEGIN void	proc_rmdead (RTLIL::SwitchRule *sw, int &counter)

Variables
ProcRmdeadPass	ProcRmdeadPass

Function Documentation

USING_YOSYS_NAMESPACE PRIVATE_NAMESPACE_BEGIN void proc_rmdead	(	RTLIL::SwitchRule *	sw,
		int &	counter
	)

Definition at line 31 of file proc_rmdead.cc.

{
    BitPatternPool pool(sw->signal);

    for (size_t i = 0; i < sw->cases.size(); i++)
    {
        bool is_default = GetSize(sw->cases[i]->compare) == 0 && (!pool.empty() || GetSize(sw->signal) == 0);

        for (size_t j = 0; j < sw->cases[i]->compare.size(); j++) {
            RTLIL::SigSpec sig = sw->cases[i]->compare[j];
            if (!sig.is_fully_const())
                continue;
            if (!pool.take(sig))
                sw->cases[i]->compare.erase(sw->cases[i]->compare.begin() + (j--));
        }

        if (!is_default) {
            if (sw->cases[i]->compare.size() == 0) {
                delete sw->cases[i];
                sw->cases.erase(sw->cases.begin() + (i--));
                counter++;
                continue;
            }
            if (pool.empty())
                sw->cases[i]->compare.clear();
        }

        for (auto switch_it : sw->cases[i]->switches)
            proc_rmdead(switch_it, counter);

        if (is_default)
            pool.take_all();
    }
}

Here is the call graph for this function:

Here is the caller graph for this function:

Variable Documentation

ProcRmdeadPass ProcRmdeadPass