254   Block *aBlock = a->getBlock(), *bBlock = b->getBlock();  in properlyDominatesImpl()  local
255   assert(aBlock && bBlock && "operations must be in a block");  in properlyDominatesImpl()
260     return !hasSSADominance(aBlock);  in properlyDominatesImpl()
263   Region *aRegion = aBlock->getParent();  in properlyDominatesImpl()
279   if (aBlock == bBlock) {  in properlyDominatesImpl()
283     if (hasSSADominance(aBlock)) {  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()
320     return !hasSSADominance(aBlock);  in properlyPostDominates()
323   Region *aRegion = aBlock->getParent();  in properlyPostDominates()
340   if (aBlock == bBlock) {  in properlyPostDominates()
342     if (hasSSADominance(aBlock)) {  in properlyPostDominates()
350   return getDomTree(aRegion).properlyDominates(aBlock, bBlock);  in properlyPostDominates()