[Mlir-commits] [mlir] [mlir][Interfaces] Simplify and improve errors of `RegionBranchOpInterface` verifier (PR #174805)
lonely eagle
llvmlistbot at llvm.org
Wed Jan 7 09:50:47 PST 2026
================
@@ -588,8 +590,9 @@ func.func @while_cross_region_type_mismatch() {
func.func @while_cross_region_type_mismatch() {
%true = arith.constant true
- // expected-error at +1 {{along control flow edge from Operation scf.condition to Region #1: source type #0 'i1' should match input type #0 'i32'}}
+ // expected-error at +1 {{op along control flow edge from Operation scf.condition to Region #1: successor operand type #0 'i1' should match successor input type #0 'i32'}}
----------------
linuxlonelyeagle wrote:
"An extra string 'op' seems to have been checked here.
https://github.com/llvm/llvm-project/pull/174805
More information about the Mlir-commits
mailing list