Fix a copy and paste bug in gradient method service registry lookup (backward looked for forward impl...)

Signed-off-by: Thien Nguyen <nguyentm@ornl.gov>

Signed-off-by: Alex McCaskey <mccaskeyaj@ornl.gov>

As the first prototype, I only expose a single flag to enable validation if NISQ kernel execution.

If enabled, kernel execution (NISQ) will be accompanied by Pauli-randomized mirror circuits to determine if the backend can produce the expected readout.

Signed-off-by: Thien Nguyen <nguyentm@ornl.gov>

Signed-off-by: Thien Nguyen <nguyentm@ornl.gov>

Adding mechanism to link runtime mz and if statement in NISQ mode: using a pointer-based lookup map.

applyifelse in NISQ mode to construct IfStmt circuit and collect the body by executing the body callable.

Signed-off-by: Thien Nguyen <nguyentm@ornl.gov>

Using an Accelerator is the least invasive way to do this, hence requires the least code changes.

Usage: -qrt ftqc -qpu tracer

Users can also provide custom measure probability to control measure emulation (default => return 0)

Signed-off-by: Thien Nguyen <nguyentm@ornl.gov>

Signed-off-by: Thien Nguyen <nguyentm@ornl.gov>

Signed-off-by: Alex McCaskey <mccaskeyaj@ornl.gov>

Signed-off-by: Alex McCaskey <mccaskeyaj@ornl.gov>

Make FTQC tests executed as well

Signed-off-by: Thien Nguyen <nguyentm@ornl.gov>

Signed-off-by: Thien Nguyen <nguyentm@ornl.gov>

Signed-off-by: Alex McCaskey <mccaskeyaj@ornl.gov>

This allows passing a qreg slice directly to broadcast instructions.

Refactor the PyXASM token collector impl.

Signed-off-by: Thien Nguyen <nguyentm@ornl.gov>

Signed-off-by: Thien Nguyen <nguyentm@ornl.gov>

update to support qubit kernel arguments and qreg extract_qubits and extract_range. enabled quantum gate broadcasting on qreg. update qft and iqft to use qreg instead of start stop index. update qpe_callable_kernel to demonstrate new features.

Signed-off-by: Alex McCaskey <mccaskeyaj@ornl.gov>

Signed-off-by: Thien Nguyen <nguyentm@ornl.gov>

Signed-off-by: Alex McCaskey <mccaskeyaj@ornl.gov>

Unlike C++, in Python, we need to know which variables have been declared in the function scope (including func. args) so that we can add *auto * when seeing assigment expressions.

Hence, the syntax handler will cache the map of kernel signatures. Just reuse the appendKernel util to cache kernel signature along the kernel name.

Signed-off-by: Thien Nguyen <nguyentm@ornl.gov>

add a quantum::set_qrt function rather than setting the static var directly.

Signed-off-by: Thien Nguyen <nguyentm@ornl.gov>

Signed-off-by: Thien Nguyen <nguyentm@ornl.gov>

testing a way to persist bitstring

Signed-off-by: Thien Nguyen <nguyentm@ornl.gov>

We want the runtime mz to return a boolean in FTQC. For NISQ, the boolean return is just a dummy one.

Whenever we need to use the return value of the Measure (e.g. assignment or conditional), it's parsed as a classical instruction.

Hence, we just need to do token replacement in that code path.

Also, fixing the `else` path of the token collector to prevent it from combining the next line (could be a quantum instruction) into the `else` line.

Signed-off-by: Thien Nguyen <nguyentm@ornl.gov>

Basic functionality implemented.

Signed-off-by: Thien Nguyen <nguyentm@ornl.gov>

Signed-off-by: Thien Nguyen <nguyentm@ornl.gov>

Signed-off-by: Alex McCaskey <mccaskeyaj@ornl.gov>

Signed-off-by: Alex McCaskey <mccaskeyaj@ornl.gov>

Signed-off-by: Alex McCaskey <mccaskeyaj@ornl.gov>

Signed-off-by: Alex McCaskey <mccaskeyaj@ornl.gov>

Included ability to pass qubit map from CLI

Signed-off-by: Thien Nguyen <nguyentm@ornl.gov>

Signed-off-by: Thien Nguyen <nguyentm@ornl.gov>

Signed-off-by: Thien Nguyen <nguyentm@ornl.gov>

Signed-off-by: Thien Nguyen <nguyentm@ornl.gov>

Signed-off-by: Alex McCaskey <mccaskeyaj@ornl.gov>

Signed-off-by: Alex McCaskey <mccaskeyaj@ornl.gov>

Also, added an option to print out optimization Stats.

Tested with a few prototypical circuits.

Signed-off-by: Thien Nguyen <nguyentm@ornl.gov>

Signed-off-by: Thien Nguyen <nguyentm@ornl.gov>

Boilerplate to enable us to collect data about optimization runs.

Signed-off-by: Thien Nguyen <nguyentm@ornl.gov>

Signed-off-by: Alex McCaskey <mccaskeyaj@ornl.gov>

qrt mode is now default, update token collector infrastructure to be more robust. using custom single-line xasm parser and staq openqasm xacc compiler

Signed-off-by: Alex McCaskey <mccaskeyaj@ornl.gov>

adding ability to run ir transformations programmatically with qcor api, added examples in examples/qrt/circuit_opt

Signed-off-by: Alex McCaskey <mccaskeyaj@ornl.gov>