Teleport

[wongey]

It should be noted that at this point, qiree runs teleport correctly with llvm-16 and eclipse-xacc using BOTH the aer simulator and honeywell:H1-1E, which validates that XACC (via staq) can work with Honeywell on the teleport experiment.

However, the current version of the qiree does NOT run teleport correctly, but the team plans to resolve this issue with some transpilation techniques.

TODOs (transferred from private repo):

• Translate if statements without else to xacc: visit each block and check that else are empty and check which measurement is the conditional for.
• Check ifstmt translation to vendors (yes it does!).
• Verify teleport results from "successful" trial (yes!).
• New QIS/RT implementation for writing out pytkt code for execution on Honeywell?

[sethrj]

First step is preprocessing the QIR using the LLVM IR functions:

• Eliminate empty blocks
• Verify that the only terminators are br and ret
• Verify that the condition for each br is the output of the last __quantum__qis__read_result__body call
• Verify that the "true" branch has an unconditional br
• Verify that that the "false" branch is the same as the destination of that br
• Inject begin_if at the end of the conditional block, and end_if instructions at the end of the "true" block

Next step:

• Add begin_if/end_if runtime functions to the quantum interface
• Add an xacc::ir::asComposite(provider->createInstruction("ifstmt" ... to XaccQuantum
• Activate the "if" statement during the scope of the block

[sethrj]

Performing LLVM transformation passes looks like a no-go without some serious digging or help from Anthony...