Skip to content

Commit

Permalink
Separate matchers into their respective classes.
Browse files Browse the repository at this point in the history
  • Loading branch information
rmrf committed Dec 23, 2019
1 parent d4eb3c9 commit 52543e6
Show file tree
Hide file tree
Showing 2 changed files with 169 additions and 171 deletions.
130 changes: 3 additions & 127 deletions src/Matchers.cpp
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,54 +8,12 @@ using namespace sc_ast_matchers;
//
// Helper functions that can be made private to this class.
//

void printTemplateArguments(ModuleDeclarationMatcher::PortType &found_ports) {
// Input ports
for (const auto &i : found_ports) {
llvm::outs() << "name: " << get<0>(i)
<< ", FieldDecl*: " << get<1>(i)->getFieldDecl();
get<1>(i)->getTemplateType()->printTemplateArguments(llvm::outs());
llvm::outs() << "\n";
}
}

auto parseTemplateType(const FieldDecl *fd) {
//}, const ModuleDeclarationMatcher::PortType &found_ports ) {
QualType qual_type{fd->getType()};
const Type *type_ptr{qual_type.getTypePtr()};
auto template_ptr{new FindTemplateTypes()};
template_ptr->Enumerate(type_ptr);
return template_ptr;
}

template <typename NodeType>
auto checkMatch(const std::string &name,
const MatchFinder::MatchResult &result) {
return result.Nodes.getNodeAs<NodeType>(name);
}

// AST matcher to detect instances of sc_modules.
auto makeInstanceInModuleMatcher(const std::string &name) {
auto match_module_instance = fieldDecl(
hasType(cxxRecordDecl(isDerivedFrom(hasName("::sc_core::sc_module")))));
return match_module_instance;
}

// AST matcher to detect field declarations
auto makeFieldMatcher(const std::string &name) {
/* clang-format off */
return cxxRecordDecl(
isExpansionInMainFile(),
isDerivedFrom(
hasName("::sc_core::sc_module")
),
forEach(
fieldDecl(hasType(cxxRecordDecl(hasName(name)))).bind(name)
)
);
/* clang-format on */
}

// End of helper functions

// Register the matchers
Expand All @@ -71,57 +29,17 @@ auto match_module_decls =
),
unless(isDerivedFrom(matchesName("sc_event_queue")))
);

auto match_sc_in_clk = cxxRecordDecl( isDerivedFrom(hasName("sc_module")),
forEach(
fieldDecl(
hasType(
namedDecl(
hasName("sc_in_clk")
)
)
).bind("sc_in_clk")
)
);

auto match_non_sc_types = cxxRecordDecl(
match_module_decls,
forEach(
fieldDecl(
allOf(
unless(hasType(cxxRecordDecl(matchesName("sc*")))),
unless(hasType(namedDecl(hasName("sc_in_clk"))))
)
).bind("other_fields")
)
);

/* clang-format on */

auto match_in_ports = makeFieldMatcher("sc_in");
auto match_out_ports = makeFieldMatcher("sc_out");
auto match_in_out_ports = makeFieldMatcher("sc_inout");
auto match_internal_signal = makeFieldMatcher("sc_signal");

// add all the matchers.
finder.addMatcher(match_module_decls.bind("sc_module"), this);

// add instance matcher
instance_matcher.registerMatchers(finder);

finder.addMatcher(match_sc_in_clk, this);
finder.addMatcher(match_in_ports, this);
finder.addMatcher(match_out_ports, this);
finder.addMatcher(match_in_out_ports, this);
finder.addMatcher(match_internal_signal, this);
finder.addMatcher(match_non_sc_types, this);
}
// add port (field) matcher
port_matcher.registerMatchers(finder);

template <typename T>
void ModuleDeclarationMatcher::insert_port(PortType &port, T *decl) {
auto name{decl->getIdentifier()->getNameStart()};
port.push_back(
std::make_tuple(name, new PortDecl(name, decl, parseTemplateType(decl))));
}

void ModuleDeclarationMatcher::run(const MatchFinder::MatchResult &result) {
Expand All @@ -145,43 +63,6 @@ void ModuleDeclarationMatcher::run(const MatchFinder::MatchResult &result) {
instance_registry.match(*decl, *result.Context);
*/
}

if (auto fd = checkMatch<FieldDecl>("sc_in_clk", result)) {
std::string port_name{fd->getIdentifier()->getNameStart()};
cout << " Found sc_in_clk: " << port_name << endl;

insert_port(clock_ports_, fd);
}

if (auto fd = checkMatch<FieldDecl>("sc_in", result)) {
auto port_name{fd->getIdentifier()->getNameStart()};
cout << " Found sc_in: " << port_name << endl;
insert_port(in_ports_, fd);
}

if (auto fd = checkMatch<FieldDecl>("sc_out", result)) {
auto port_name{fd->getIdentifier()->getNameStart()};
cout << " Found sc_out: " << port_name << endl;
insert_port(out_ports_, fd);
}

if (auto fd = checkMatch<FieldDecl>("sc_inout", result)) {
auto port_name{fd->getIdentifier()->getNameStart()};
cout << " Found sc_inout: " << port_name << endl;
insert_port(inout_ports_, fd);
}

if (auto fd = checkMatch<FieldDecl>("sc_signal", result)) {
auto signal_name{fd->getIdentifier()->getNameStart()};
cout << " Found sc_signal: " << signal_name << endl;
insert_port(signal_fields_, fd);
}

if (auto fd = checkMatch<FieldDecl>("other_fields", result)) {
auto field_name{fd->getIdentifier()->getNameStart()};
cout << " Found others fields: " << field_name << endl;
insert_port(other_fields_, fd);
}
}

void ModuleDeclarationMatcher::pruneMatches() {
Expand Down Expand Up @@ -265,10 +146,5 @@ void ModuleDeclarationMatcher::dump() {

cout << "\n";
cout << "## Printing ports" << endl;
printTemplateArguments(clock_ports_);
printTemplateArguments(in_ports_);
printTemplateArguments(out_ports_);
printTemplateArguments(inout_ports_);
printTemplateArguments(signal_fields_);
printTemplateArguments(other_fields_);
port_matcher.dump();
}
Loading

0 comments on commit 52543e6

Please sign in to comment.