The following assert in mlir/lib/Analysis/DataFlow/DenseAnalysis.cpp causes mlir-sycl/test/Transforms/constant-propagation.mlir to fail. It is temporarily commented out in #10895. This issue should add the assert back after investigation.
// assert(op == branch || toBlock->getParent() != op->getBlock()->getParent());