254   Block *aBlock = a->getBlock(), *bBlock = b->getBlock();  in properlyDominatesImpl()  local
255   assert(aBlock && bBlock && "operations must be in a block");  in properlyDominatesImpl()
264   if (aRegion != bBlock->getParent()) {  in properlyDominatesImpl()
270     bBlock = b->getBlock();  in properlyDominatesImpl()
271     assert(bBlock->getParent() == aRegion);  in properlyDominatesImpl()
279   if (aBlock == bBlock) {  in properlyDominatesImpl()
291   return getDomTree(aRegion).properlyDominates(aBlock, bBlock);  in properlyDominatesImpl()
314   auto *aBlock = a->getBlock(), *bBlock = b->getBlock();  in properlyPostDominates()  local
315   assert(aBlock && bBlock && "operations must be in a block");  in properlyPostDominates()
324   if (aRegion != bBlock->getParent()) {  in properlyPostDominates()
330     bBlock = b->getBlock();  in properlyPostDominates()
331     assert(bBlock->getParent() == aRegion);  in properlyPostDominates()
340   if (aBlock == bBlock) {  in properlyPostDominates()
350   return getDomTree(aRegion).properlyDominates(aBlock, bBlock);  in properlyPostDominates()