Problem Statement
Once #1091 is merged, it adds the conversion between the mqtref dialect and the llvm dialect that adheres to the QIR base profile specification. Currently, the tests only verify the conversion between the dialects within MLIR.
The translation to LLVM IR and MLIR has to be done manually with the mlir-translate tool and the output is not checked.
Proposed Solution
Update the tests so that a .ll file can directly be translated to the MLIR environment and back and be used for the input/output of tests.
Problem Statement
Once #1091 is merged, it adds the conversion between the
mqtrefdialect and thellvmdialect that adheres to the QIR base profile specification. Currently, the tests only verify the conversion between the dialects within MLIR.The translation to LLVM IR and MLIR has to be done manually with the
mlir-translatetool and the output is not checked.Proposed Solution
Update the tests so that a
.llfile can directly be translated to the MLIR environment and back and be used for the input/output of tests.