11 lines · plain
1// RUN: mlir-opt -convert-to-emitc %s -split-input-file -verify-diagnostics2 3func.func @block_args(%arg0: i1, %arg1: index, %arg2: index) -> index {4 // expected-error @+1 {{type mismatch for bb argument #0 of successor #0}}5 cf.cond_br %arg0, ^bb1(%arg1: index), ^bb2(%arg2: index)6^bb1(%0: index):7 return %0 : index8^bb2(%1: index):9 return %1 : index10}11