Provide the temp kernel to the pass manager call for kernel printing

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>

OpenQASM3 compiler update

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>

When porting  QCOR_EXPECT_TRUE to region-based construct, I realized there is another directive which hasn't been handled: early return.

Adding a test for early returns.

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

Rewrite using an if block.

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

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

Also, rename the loop control tracking var name to reflect that it supports all loop types.

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

All the loop constructs have now been converted to Affine/SCF

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

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

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

The string literal SSA var need to be overridden in the tracking map to ensure the subsequent print is referring to an *in-scope* var.

e.g., multiple scoped regions referring to the same string literal for printing.

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

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

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

- Simplify the structure: the loop handler detect if it contains break/continue to set up the structure (conditional body). i.e., no need to move code after the body is constructed.

- Properly handle loop continuation directive, i.e., a true break point and ready for continue implementation.

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

- Moving control directive handling to a separate cpp file for maintainability.

- Use outlining technique to wrap breakable loop body in a scf::if block

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

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

In case users write CPhase in a loop (rather than compute the total angle), this pass will consolidate the angle automatically.

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: Thien Nguyen <nguyentm@ornl.gov>

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

i.e., if the loop is unrolled to the parent scope -> merge extract.

But if the extract is in a conditional block => keep it.

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

Adapted from a sub-set of MLIR Operation verify.

Hence, in quantum instruction handler, we can detect if the previous qubit SSA value is not suitable for use-def tracking -> requires a re-extract.

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

- Fixed a code path whereby the extracted qubit doesn't follow the qreg%index convention.

- Properly handle measure SSA value chain (terminating the SSA use-def chain)

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

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

Support MLIR codegen with scf.if

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

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

Added a helper to check the ANTLR4 node type rather than text (not reliable)

Clean-up for merging before supporting MLIR Regions-based break/continue.

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

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