wine/gecko
0
0
Fork 0
mirror of https://gitlab.winehq.org/wine/wine-gecko.git synced 2024-09-13 09:24:08 -07:00
Code Issues Packages Projects Releases Wiki Activity

Bug 1070258 - IonMonkey: Assert that resume points are dominated by their operands r=nbp

Browse Source
This commit is contained in:
Dan Gohman 2014-10-08 18:21:46 -07:00
parent d7c38b7c9d
commit 630a97bc31
1 changed files with 22 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
js/src/jit/IonAnalysis.cpp
View File

@ -1978,6 +1978,20 @@ jit::AssertGraphCoherency(MIRGraph &graph)
#endif
}
static void
AssertResumePointDominatedByOperands(MResumePoint *resume)
{
#ifdef DEBUG
for (size_t i = 0, e = resume->numOperands(); i < e; ++i) {
MDefinition *op = resume->getOperand(i);
if (op->type() == MIRType_MagicOptimizedArguments)
continue;
MOZ_ASSERT(op->block()->dominates(resume->block()),
"Resume point is not dominated by its operands");
}
#endif
}
void
jit::AssertExtendedGraphCoherency(MIRGraph &graph)
{
@ -2062,7 +2076,15 @@ jit::AssertExtendedGraphCoherency(MIRGraph &graph)
} while (*opIter != ins);
}
}
if (MResumePoint *resume = ins->resumePoint())
AssertResumePointDominatedByOperands(resume);
}
// Verify that the block resume points are dominated by their operands.
if (MResumePoint *resume = block->entryResumePoint())
AssertResumePointDominatedByOperands(resume);
if (MResumePoint *resume = block->outerResumePoint())
AssertResumePointDominatedByOperands(resume);
}
#endif
}