| // RUN: mlir-opt -split-input-file -verify-diagnostics %s |
| |
| func.func @invalid_cast(%a: index) { |
| // expected-error @below {{cast incompatible}} |
| %0 = index.casts %a : index to index |
| return |
| } |
| |
| // ----- |
| |
| func.func @invalid_cast(%a: i64) { |
| // expected-error @below {{cast incompatible}} |
| %0 = index.casts %a : i64 to i64 |
| return |
| } |
| |
| // ----- |
| |
| func.func @invalid_cast(%a: index) { |
| // expected-error @below {{cast incompatible}} |
| %0 = index.castu %a : index to index |
| return |
| } |
| |
| // ----- |
| |
| func.func @invalid_cast(%a: i64) { |
| // expected-error @below {{cast incompatible}} |
| %0 = index.castu %a : i64 to i64 |
| return |
| } |
