github_mirrors/vectorscan
3
0
Fork 1
mirror of https://github.com/VectorCamp/vectorscan.git synced 2025-06-28 16:41:01 +03:00
Code Issues Packages Projects Releases Wiki Activity

tighten ghost vertex checks

Browse Source
This commit is contained in:
Justin Viiret 2016-06-20 10:37:22 +10:00 committed by Matthew Barr
parent 0749f7c06d
commit 1e5fcd5e80
1 changed files with 11 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
src/rose/rose_build_role_aliasing.cpp
View File

@ -380,15 +380,19 @@ bool sameGhostProperties(const RoseBuildImpl &build, RoseVertex a,
ghost_b.push_back(e.first);
}
}
if (!ghost_a.empty() || !ghost_a.empty()) {
DEBUG_PRINTF("ghost map targets\n");
if (build.g[a].literals != build.g[b].literals) {
DEBUG_PRINTF("diff literals\n");
return false;
}
if (ghost_a.empty() && ghost_b.empty()) {
return true;
}
return true;
if (ghost_a.empty() || ghost_b.empty()) {
DEBUG_PRINTF("only one is a ghost vertex\n");
return false;
}
// Both are ghost vertices: it is only safe to merge them if their literals
// are the same.
return build.g[a].literals == build.g[b].literals;
}
static