proc_init.cc File Reference

#include "kernel/register.h"
#include "kernel/sigtools.h"
#include "kernel/log.h"
#include <stdlib.h>
#include <stdio.h>

Include dependency graph for proc_init.cc:

Go to the source code of this file.

Data Structures
struct	ProcInitPass

Functions
USING_YOSYS_NAMESPACE PRIVATE_NAMESPACE_BEGIN void	proc_get_const (RTLIL::SigSpec &sig, RTLIL::CaseRule &rule)
void	proc_init (RTLIL::Module *mod, RTLIL::Process *proc)

Variables
ProcInitPass	ProcInitPass

Function Documentation

USING_YOSYS_NAMESPACE PRIVATE_NAMESPACE_BEGIN void proc_get_const	(	RTLIL::SigSpec &	sig,
		RTLIL::CaseRule &	rule
	)

Definition at line 29 of file proc_init.cc.

{
    log_assert(rule.compare.size() == 0);

    while (1) {
        RTLIL::SigSpec tmp = sig;
        for (auto &it : rule.actions)
            tmp.replace(it.first, it.second);
        if (tmp == sig)
            break;
        sig = tmp;
    }
}

Here is the call graph for this function:

Here is the caller graph for this function:

void proc_init	(	RTLIL::Module *	mod,
		RTLIL::Process *	proc
	)

Definition at line 43 of file proc_init.cc.

{
    bool found_init = false;

    for (auto &sync : proc->syncs)
        if (sync->type == RTLIL::SyncType::STi)
        {
            found_init = true;
            log("Found init rule in `%s.%s'.\n", mod->name.c_str(), proc->name.c_str());

            for (auto &action : sync->actions)
            {
                RTLIL::SigSpec lhs = action.first;
                RTLIL::SigSpec rhs = action.second;

                proc_get_const(rhs, proc->root_case);

                if (!rhs.is_fully_const())
                    log_cmd_error("Failed to get a constant init value for %s: %s\n", log_signal(lhs), log_signal(rhs));

                int offset = 0;
                for (auto &lhs_c : lhs.chunks()) {
                    if (lhs_c.wire != NULL) {
                        RTLIL::SigSpec value = rhs.extract(offset, lhs_c.width);
                        if (value.size() != lhs_c.wire->width)
                            log_cmd_error("Init value is not for the entire wire: %s = %s\n", log_signal(lhs_c), log_signal(value));
                        log("  Setting init value: %s = %s\n", log_signal(lhs_c.wire), log_signal(value));
                        lhs_c.wire->attributes["\\init"] = value.as_const();
                    }
                    offset += lhs_c.width;
                }
            }
        }

    if (found_init) {
        std::vector<RTLIL::SyncRule*> new_syncs;
        for (auto &sync : proc->syncs)
            if (sync->type == RTLIL::SyncType::STi)
                delete sync;
            else
                new_syncs.push_back(sync);
        proc->syncs.swap(new_syncs);
    }
}

Here is the call graph for this function:

Here is the caller graph for this function:

Variable Documentation

ProcInitPass ProcInitPass