rose: allow lits that squash to share fragments

This commit is contained in:
Justin Viiret 2017-03-29 13:10:07 +11:00 committed by Matthew Barr
parent 18f843bcc1
commit 5fe524fbb3

View File

@ -4699,14 +4699,6 @@ void groupByFragment(RoseBuildImpl &build) {
continue; continue;
} }
// Combining fragments that squash their groups is unsafe.
if (info.squash_group) {
lit_to_frag.emplace(lit_id, frag_id);
fragments.emplace_back(frag_id, groups);
frag_id++;
continue;
}
DEBUG_PRINTF("fragment candidate: lit_id=%u %s\n", lit_id, DEBUG_PRINTF("fragment candidate: lit_id=%u %s\n", lit_id,
dumpString(lit.s).c_str()); dumpString(lit.s).c_str());
auto &fi = frag_info[getFragment(lit)]; auto &fi = frag_info[getFragment(lit)];