| // RUN: not mlir-opt %s -split-input-file --test-bytecode-roundtrip="test-kind=5" 2>&1 | FileCheck %s |
| |
| // CHECK-NOT: failed to read bytecode |
| func.func @base_test(%arg0 : i32) -> f32 { |
| %0 = "test.addi"(%arg0, %arg0) : (i32, i32) -> i32 |
| %1 = "test.cast"(%0) : (i32) -> f32 |
| return %1 : f32 |
| } |
| |
| // ----- |
| |
| // CHECK-LABEL: error: unknown attribute code: 99 |
| // CHECK: failed to read bytecode |
| func.func @base_test(%arg0 : !test.i32) -> f32 { |
| %0 = "test.addi"(%arg0, %arg0) : (!test.i32, !test.i32) -> !test.i32 |
| %1 = "test.cast"(%0) : (!test.i32) -> f32 |
| return %1 : f32 |
| } |