// RUN: mlir-opt -convert-arith-to-emitc %s -split-input-file -verify-diagnostics
func.func @bool(%arg0: i1, %arg1: i1) {
// expected-error@+1 {{failed to legalize operation 'arith.addi'}}
%0 = arith.addi %arg0, %arg1 : i1
return
}
// -----
func.func @vector(%arg0: vector<4xi32>, %arg1: vector<4xi32>) {
// expected-error@+1 {{failed to legalize operation 'arith.addi'}}
%0 = arith.addi %arg0, %arg1 : vector<4xi32>
return
}