1*7ad9e9dcSMatteo Franciolini// RUN: mlir-opt %s --test-bytecode-roundtrip="test-dialect-version=1.2" -verify-diagnostics | FileCheck %s --check-prefix=VERSION_1_2 2*7ad9e9dcSMatteo Franciolini// RUN: mlir-opt %s --test-bytecode-roundtrip="test-dialect-version=2.0" -verify-diagnostics | FileCheck %s --check-prefix=VERSION_2_0 3bff6a429SMatteo Franciolini 4bff6a429SMatteo Franciolinifunc.func @base_test(%arg0 : i32) -> f32 { 5bff6a429SMatteo Franciolini %0 = "test.addi"(%arg0, %arg0) : (i32, i32) -> i32 6bff6a429SMatteo Franciolini %1 = "test.cast"(%0) : (i32) -> f32 7bff6a429SMatteo Franciolini return %1 : f32 8bff6a429SMatteo Franciolini} 9bff6a429SMatteo Franciolini 10bff6a429SMatteo Franciolini// VERSION_1_2: Overriding IntegerType encoding... 11bff6a429SMatteo Franciolini// VERSION_1_2: Overriding parsing of IntegerType encoding... 12bff6a429SMatteo Franciolini 13bff6a429SMatteo Franciolini// VERSION_2_0-NOT: Overriding IntegerType encoding... 14bff6a429SMatteo Franciolini// VERSION_2_0-NOT: Overriding parsing of IntegerType encoding... 15