[IRTests] Verify PDT instead of DT

[NutshellySima]

Summary

Fix two typos which result in verifying wrong data structures (DT) instead of PDT in DominatorTreeBatchUpdatesTest.

[davide]

This looks correct, but I'll let Kuba comment as he wrote this unittest originally.

[grosser]

Looks good to me as well. Let's see what Kuba says.

[• dberlin]

I can verify this is correct :)

[kuhar]

LGTM.

Do you have committ access?

[NutshellySima]

In D46696#1094566, @kuhar wrote:

LGTM.

Do you have committ access?

No, I don't.

[kuhar]

OK, I'll commit it later.

unittests/IR/DominatorTreeBatchUpdatesTest.cpp

 
 TEST(DominatorTreeBatchUpdates, SingleInsertion) {
   CFGHolder Holder;
   CFGBuilder Builder(Holder.F, {{"A", "B"}}, {{CFGInsert, {"B", "C"}}});
 
   DominatorTree DT(*Holder.F);
   EXPECT_TRUE(DT.verify());
   PostDomTree PDT(*Holder.F);
-  EXPECT_TRUE(DT.verify());
+  EXPECT_TRUE(PDT.verify());
 
   BasicBlock *B = Builder.getOrAddBlock("B");
   BasicBlock *C = Builder.getOrAddBlock("C");
   std::vector<DomUpdate> Updates = {{Insert, B, C}};
 
   ASSERT_TRUE(Builder.applyUpdate());
 
   DT.applyUpdates(Updates);
   EXPECT_TRUE(DT.verify());
   PDT.applyUpdates(Updates);
   EXPECT_TRUE(PDT.verify());
 }
 
 TEST(DominatorTreeBatchUpdates, SingleDeletion) {
   CFGHolder Holder;
   CFGBuilder Builder(Holder.F, {{"A", "B"}, {"B", "C"}},
                      {{CFGDelete, {"B", "C"}}});
 
   DominatorTree DT(*Holder.F);
   EXPECT_TRUE(DT.verify());
   PostDomTree PDT(*Holder.F);
-  EXPECT_TRUE(DT.verify());
+  EXPECT_TRUE(PDT.verify());
 
   BasicBlock *B = Builder.getOrAddBlock("B");
   BasicBlock *C = Builder.getOrAddBlock("C");
   std::vector<DomUpdate> Updates = {{Delete, B, C}};
 
   ASSERT_TRUE(Builder.applyUpdate());
 
   DT.applyUpdates(Updates);