1*ddf87d6cSJeff Niu// RUN: mlir-opt -split-input-file -verify-diagnostics %s 2*ddf87d6cSJeff Niu 3*ddf87d6cSJeff Niufunc.func @invalid_cast(%a: index) { 4*ddf87d6cSJeff Niu // expected-error @below {{cast incompatible}} 5*ddf87d6cSJeff Niu %0 = index.casts %a : index to index 6*ddf87d6cSJeff Niu return 7*ddf87d6cSJeff Niu} 8*ddf87d6cSJeff Niu 9*ddf87d6cSJeff Niu// ----- 10*ddf87d6cSJeff Niu 11*ddf87d6cSJeff Niufunc.func @invalid_cast(%a: i64) { 12*ddf87d6cSJeff Niu // expected-error @below {{cast incompatible}} 13*ddf87d6cSJeff Niu %0 = index.casts %a : i64 to i64 14*ddf87d6cSJeff Niu return 15*ddf87d6cSJeff Niu} 16*ddf87d6cSJeff Niu 17*ddf87d6cSJeff Niu// ----- 18*ddf87d6cSJeff Niu 19*ddf87d6cSJeff Niufunc.func @invalid_cast(%a: index) { 20*ddf87d6cSJeff Niu // expected-error @below {{cast incompatible}} 21*ddf87d6cSJeff Niu %0 = index.castu %a : index to index 22*ddf87d6cSJeff Niu return 23*ddf87d6cSJeff Niu} 24*ddf87d6cSJeff Niu 25*ddf87d6cSJeff Niu// ----- 26*ddf87d6cSJeff Niu 27*ddf87d6cSJeff Niufunc.func @invalid_cast(%a: i64) { 28*ddf87d6cSJeff Niu // expected-error @below {{cast incompatible}} 29*ddf87d6cSJeff Niu %0 = index.castu %a : i64 to i64 30*ddf87d6cSJeff Niu return 31*ddf87d6cSJeff Niu} 32