Skip to content

Commit

Permalink
Revert post-phase checks
Browse files Browse the repository at this point in the history
  • Loading branch information
jakobbotsch committed Mar 23, 2023
1 parent ce62726 commit 298c2d1
Show file tree
Hide file tree
Showing 2 changed files with 0 additions and 30 deletions.
28 changes: 0 additions & 28 deletions src/coreclr/jit/fgdiagnostic.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -2820,34 +2820,6 @@ void Compiler::fgDebugCheckBBlist(bool checkBBNum /* = false */, bool checkBBRef
assert(block->bbNext == nullptr || (block->bbNum + 1 == block->bbNext->bbNum));
}

for (Statement* stmt : block->Statements())
{
struct Visit : GenTreeVisitor<Visit>
{
enum
{
DoPreOrder = true,
};

Visit(Compiler* comp) : GenTreeVisitor(comp)
{
}

fgWalkResult PreOrderVisit(GenTree** use, GenTree* user)
{
if ((*use)->OperIs(GT_ASG))
{
assert(!(*use)->gtGetOp1()->OperIs(GT_COMMA));
}

return WALK_CONTINUE;
}
};

Visit v(this);
v.WalkTree(stmt->GetRootNodePointer(), nullptr);
}

// If the block is a BBJ_COND, a BBJ_SWITCH or a
// lowered GT_SWITCH_TABLE node then make sure it
// ends with a conditional jump or a GT_SWITCH
Expand Down
2 changes: 0 additions & 2 deletions src/coreclr/jit/rationalize.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -552,8 +552,6 @@ Compiler::fgWalkResult Rationalizer::RewriteNode(GenTree** useEdge, Compiler::Ge

case GT_COMMA:
{
assert(use.IsDummyUse() || !use.User()->OperIs(GT_ASG) || (node == use.User()->gtGetOp2()));

GenTree* op1 = node->gtGetOp1();
bool isClosed = false;
unsigned sideEffects = 0;
Expand Down

0 comments on commit 298c2d1

Please sign in to comment.