summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-07-31 23:30:18 +0200
committerClifford Wolf <clifford@clifford.at>2014-07-31 23:30:18 +0200
commit32a1cc3efdad7953af1805b245f2a0292698633a (patch)
tree3d80e27faca013b5af666b31170403d0c6cfd4e2
parent62c8a7152551519d6e876319b1068a1987a14f3c (diff)
Renamed modwalker.h to modtools.h
-rw-r--r--kernel/modtools.h (renamed from kernel/modwalker.h)4
-rw-r--r--passes/memory/memory_share.cc11
-rw-r--r--passes/sat/share.cc11
3 files changed, 14 insertions, 12 deletions
diff --git a/kernel/modwalker.h b/kernel/modtools.h
index 09f815b8..06e96246 100644
--- a/kernel/modwalker.h
+++ b/kernel/modtools.h
@@ -17,8 +17,8 @@
*
*/
-#ifndef MODWALKER_H
-#define MODWALKER_H
+#ifndef MODTOOLS_H
+#define MODTOOLS_H
#include "kernel/sigtools.h"
#include "kernel/celltypes.h"
diff --git a/passes/memory/memory_share.cc b/passes/memory/memory_share.cc
index b6e7cc83..fde6ea00 100644
--- a/passes/memory/memory_share.cc
+++ b/passes/memory/memory_share.cc
@@ -17,13 +17,12 @@
*
*/
-#include "kernel/rtlil.h"
+#include "kernel/yosys.h"
#include "kernel/satgen.h"
#include "kernel/sigtools.h"
-#include "kernel/modwalker.h"
-#include "kernel/register.h"
-#include "kernel/log.h"
-#include <algorithm>
+#include "kernel/modtools.h"
+
+PRIVATE_NAMESPACE_BEGIN
static bool memcells_cmp(RTLIL::Cell *a, RTLIL::Cell *b)
{
@@ -742,3 +741,5 @@ struct MemorySharePass : public Pass {
}
} MemorySharePass;
+PRIVATE_NAMESPACE_END
+
diff --git a/passes/sat/share.cc b/passes/sat/share.cc
index 1041227e..ea7a9f63 100644
--- a/passes/sat/share.cc
+++ b/passes/sat/share.cc
@@ -17,13 +17,12 @@
*
*/
-#include "kernel/rtlil.h"
+#include "kernel/yosys.h"
#include "kernel/satgen.h"
#include "kernel/sigtools.h"
-#include "kernel/modwalker.h"
-#include "kernel/register.h"
-#include "kernel/log.h"
-#include <algorithm>
+#include "kernel/modtools.h"
+
+PRIVATE_NAMESPACE_BEGIN
struct ShareWorkerConfig
{
@@ -967,3 +966,5 @@ struct SharePass : public Pass {
}
} SharePass;
+PRIVATE_NAMESPACE_END
+