Instead of checking if two ops are in mutually exclusive scf.if branches, check if they are in two mutually exclusive regions as per RegionBranchOpInterface. This commit makes the analysis independent of the SCF dialect and generalizes it to other ops that implement RegionBranchOpInterface. Depends On D114219

Add a helper function to ControlFlowInterfaces for checking if two ops are in mutually exclusive regions according to RegionBranchOpInterface. Utilize this new helper in Linalg ComprehensiveBufferize. This makes the analysis independent of the SCF dialect and generalizes it to other ops that implement RegionBranchOpInterface. Depends On D114219

Instead of checking if two ops are in mutually exclusive scf.if branches, check if they are in two mutually exclusive regions as perAdd a helper function to ControlFlowInterfaces for checking if two ops are in mutually exclusive regions according to RegionBranchOpInterface. This commitUtilize this new helper in Linalg ComprehensiveBufferize. This makes the analysis independent of the SCF dialect and generalizes it to other ops that implement RegionBranchOpInterface. Depends On D114219