7ad9e9dcf5
When emitting bytecode, clients can specify a target dialect version to emit in `BytecodeWriterConfig`. This exposes a target dialect version to the DialectBytecodeWriter, which can be queried by name and used to back-deploy attributes, types, and properties.
11 lines
408 B
MLIR
11 lines
408 B
MLIR
// RUN: mlir-opt %s --test-bytecode-roundtrip="test-dialect-version=1.2 test-kind=6" -verify-diagnostics | FileCheck %s
|
|
|
|
module {
|
|
"test.versionedA"() <{dims = 123 : i64, modifier = false}> : () -> ()
|
|
}
|
|
|
|
// COM: the property downgrader is executed twice: first for IR numbering and then for emission.
|
|
// CHECK: downgrading op...
|
|
// CHECK: downgrading op properties...
|
|
// CHECK: downgrading op properties...
|