32 lines · plain
1// RUN: mlir-opt -split-input-file -verify-diagnostics %s2 3func.func @invalid_cast(%a: index) {4 // expected-error @below {{cast incompatible}}5 %0 = index.casts %a : index to index6 return7}8 9// -----10 11func.func @invalid_cast(%a: i64) {12 // expected-error @below {{cast incompatible}}13 %0 = index.casts %a : i64 to i6414 return15}16 17// -----18 19func.func @invalid_cast(%a: index) {20 // expected-error @below {{cast incompatible}}21 %0 = index.castu %a : index to index22 return23}24 25// -----26 27func.func @invalid_cast(%a: i64) {28 // expected-error @below {{cast incompatible}}29 %0 = index.castu %a : i64 to i6430 return31}32