NVIDIA · schweitzpgi · Dec 5, 2025 · Dec 5, 2025
diff --git a/lib/Optimizer/CodeGen/CCToLLVM.cpp b/lib/Optimizer/CodeGen/CCToLLVM.cpp
@@ -93,8 +93,15 @@ class CallableClosureOpPattern
     auto one = DenseI64ArrayAttr::get(ctx, ArrayRef<std::int64_t>{1});
     auto extract = rewriter.create<LLVM::ExtractValueOp>(
         loc, structTy.getBody()[1], operands[0], one);
-    auto tupleVal = rewriter.create<LLVM::BitcastOp>(loc, tuplePtrTy, extract);
-    rewriter.replaceOpWithNewOp<LLVM::LoadOp>(callable, tupleTy, tupleVal);
+    if (resTy.size() == 1 && resTy[0] != tupleTy) {
+      auto tupleVal = rewriter.create<LLVM::BitcastOp>(
+          loc, cudaq::opt::factory::getPointerType(resTy[0]), extract);
+      rewriter.replaceOpWithNewOp<LLVM::LoadOp>(callable, tupleVal);
+    } else {
+      auto tupleVal =
+          rewriter.create<LLVM::BitcastOp>(loc, tuplePtrTy, extract);
+      rewriter.replaceOpWithNewOp<LLVM::LoadOp>(callable, tupleTy, tupleVal);
+    }
     return success();
   }
 };

diff --git a/test/Quake/add_dealloc-0.qke → test/Transforms/add_dealloc-0.qke b/test/Quake/add_dealloc-0.qke → test/Transforms/add_dealloc-0.qke
diff --git a/test/Quake/add_dealloc-1.qke → test/Transforms/add_dealloc-1.qke b/test/Quake/add_dealloc-1.qke → test/Transforms/add_dealloc-1.qke
diff --git a/test/Quake/add_measurements-0.qke → test/Transforms/add_measurements-0.qke b/test/Quake/add_measurements-0.qke → test/Transforms/add_measurements-0.qke
diff --git a/test/Quake/add_measurements-1.qke → test/Transforms/add_measurements-1.qke b/test/Quake/add_measurements-1.qke → test/Transforms/add_measurements-1.qke
diff --git a/test/Quake/adjoint-1.qke → test/Transforms/adjoint-1.qke b/test/Quake/adjoint-1.qke → test/Transforms/adjoint-1.qke
diff --git a/test/Quake/adjoint-2.qke → test/Transforms/adjoint-2.qke b/test/Quake/adjoint-2.qke → test/Transforms/adjoint-2.qke
diff --git a/test/Quake/aggressive_inline_prevented.qke → ...ransforms/aggressive_inline_prevented.qke b/test/Quake/aggressive_inline_prevented.qke → ...ransforms/aggressive_inline_prevented.qke
diff --git a/test/Quake/apply-0.qke → test/Transforms/apply-0.qke b/test/Quake/apply-0.qke → test/Transforms/apply-0.qke
diff --git a/test/Quake/apply-1.qke → test/Transforms/apply-1.qke b/test/Quake/apply-1.qke → test/Transforms/apply-1.qke
diff --git a/test/Quake/apply-2.qke → test/Transforms/apply-2.qke b/test/Quake/apply-2.qke → test/Transforms/apply-2.qke
diff --git a/test/Quake/apply_noise_conversion.qke → test/Transforms/apply_noise_conversion.qke b/test/Quake/apply_noise_conversion.qke → test/Transforms/apply_noise_conversion.qke
diff --git a/test/Quake/arg_subst-1.txt → test/Transforms/arg_subst-1.txt b/test/Quake/arg_subst-1.txt → test/Transforms/arg_subst-1.txt
diff --git a/test/Quake/arg_subst-2.txt → test/Transforms/arg_subst-2.txt b/test/Quake/arg_subst-2.txt → test/Transforms/arg_subst-2.txt
diff --git a/test/Quake/arg_subst-3.txt → test/Transforms/arg_subst-3.txt b/test/Quake/arg_subst-3.txt → test/Transforms/arg_subst-3.txt
diff --git a/test/Quake/arg_subst-4.txt → test/Transforms/arg_subst-4.txt b/test/Quake/arg_subst-4.txt → test/Transforms/arg_subst-4.txt
diff --git a/test/Quake/arg_subst-5.txt → test/Transforms/arg_subst-5.txt b/test/Quake/arg_subst-5.txt → test/Transforms/arg_subst-5.txt
diff --git a/test/Quake/arg_subst-6.txt → test/Transforms/arg_subst-6.txt b/test/Quake/arg_subst-6.txt → test/Transforms/arg_subst-6.txt
diff --git a/test/Quake/arg_subst-7.txt → test/Transforms/arg_subst-7.txt b/test/Quake/arg_subst-7.txt → test/Transforms/arg_subst-7.txt
diff --git a/test/Quake/arg_subst-8.txt → test/Transforms/arg_subst-8.txt b/test/Quake/arg_subst-8.txt → test/Transforms/arg_subst-8.txt
diff --git a/test/Quake/arg_subst.txt → test/Transforms/arg_subst.txt b/test/Quake/arg_subst.txt → test/Transforms/arg_subst.txt
diff --git a/test/Quake/arg_subst_func.qke → test/Transforms/arg_subst_func.qke b/test/Quake/arg_subst_func.qke → test/Transforms/arg_subst_func.qke
diff --git a/test/Quake/basic-sroa.qke → test/Transforms/basic-sroa.qke b/test/Quake/basic-sroa.qke → test/Transforms/basic-sroa.qke
diff --git a/test/Quake/basic.qke → test/Transforms/basic.qke b/test/Quake/basic.qke → test/Transforms/basic.qke
diff --git a/test/Quake/bell.qke → test/Transforms/bell.qke b/test/Quake/bell.qke → test/Transforms/bell.qke
diff --git a/test/Quake/canonical-1.qke → test/Transforms/canonical-1.qke b/test/Quake/canonical-1.qke → test/Transforms/canonical-1.qke
diff --git a/test/Quake/canonical-2.qke → test/Transforms/canonical-2.qke b/test/Quake/canonical-2.qke → test/Transforms/canonical-2.qke
diff --git a/test/Quake/canonical-3.qke → test/Transforms/canonical-3.qke b/test/Quake/canonical-3.qke → test/Transforms/canonical-3.qke
diff --git a/test/Quake/cast.qke → test/Transforms/cast.qke b/test/Quake/cast.qke → test/Transforms/cast.qke
diff --git a/test/Quake/cast_fold.qke → test/Transforms/cast_fold.qke b/test/Quake/cast_fold.qke → test/Transforms/cast_fold.qke
diff --git a/test/Quake/cc_execution_manager.qke → test/Transforms/cc_execution_manager.qke b/test/Quake/cc_execution_manager.qke → test/Transforms/cc_execution_manager.qke
diff --git a/test/Quake/classical_optimization.qke → test/Transforms/classical_optimization.qke b/test/Quake/classical_optimization.qke → test/Transforms/classical_optimization.qke
diff --git a/test/Quake/coalesce.qke → test/Transforms/coalesce.qke b/test/Quake/coalesce.qke → test/Transforms/coalesce.qke
diff --git a/test/Quake/codegen_dialect.qke → test/Transforms/codegen_dialect.qke b/test/Quake/codegen_dialect.qke → test/Transforms/codegen_dialect.qke
diff --git a/test/Quake/combine.qke → test/Transforms/combine.qke b/test/Quake/combine.qke → test/Transforms/combine.qke
diff --git a/test/Quake/combine_measurements.qke → test/Transforms/combine_measurements.qke b/test/Quake/combine_measurements.qke → test/Transforms/combine_measurements.qke
diff --git a/test/Quake/complex.qke → test/Transforms/complex.qke b/test/Quake/complex.qke → test/Transforms/complex.qke
diff --git a/test/Quake/compute_action.qke → test/Transforms/compute_action.qke b/test/Quake/compute_action.qke → test/Transforms/compute_action.qke
diff --git a/test/Quake/compute_ptr.qke → test/Transforms/compute_ptr.qke b/test/Quake/compute_ptr.qke → test/Transforms/compute_ptr.qke
diff --git a/test/Quake/const_prop_complex.qke → test/Transforms/const_prop_complex.qke b/test/Quake/const_prop_complex.qke → test/Transforms/const_prop_complex.qke
diff --git a/test/Quake/control_and_adjoint.qke → test/Transforms/control_and_adjoint.qke b/test/Quake/control_and_adjoint.qke → test/Transforms/control_and_adjoint.qke
diff --git a/test/Quake/control_flow.qke → test/Transforms/control_flow.qke b/test/Quake/control_flow.qke → test/Transforms/control_flow.qke
diff --git a/test/Quake/control_on_adjoint.qke → test/Transforms/control_on_adjoint.qke b/test/Quake/control_on_adjoint.qke → test/Transforms/control_on_adjoint.qke
diff --git a/test/Quake/cse.qke → test/Transforms/cse.qke b/test/Quake/cse.qke → test/Transforms/cse.qke
diff --git a/test/Quake/custom_pass.qke → test/Transforms/custom_pass.qke b/test/Quake/custom_pass.qke → test/Transforms/custom_pass.qke
diff --git a/test/Quake/delete_states.qke → test/Transforms/delete_states.qke b/test/Quake/delete_states.qke → test/Transforms/delete_states.qke
diff --git a/test/Quake/dep_analysis.qke → test/Transforms/dep_analysis.qke b/test/Quake/dep_analysis.qke → test/Transforms/dep_analysis.qke
diff --git a/test/Quake/dep_analysis_bug_classical.qke → ...Transforms/dep_analysis_bug_classical.qke b/test/Quake/dep_analysis_bug_classical.qke → ...Transforms/dep_analysis_bug_classical.qke
diff --git a/...ake/dep_analysis_bug_lifting_schedule.qke → ...rms/dep_analysis_bug_lifting_schedule.qke b/...ake/dep_analysis_bug_lifting_schedule.qke → ...rms/dep_analysis_bug_lifting_schedule.qke
diff --git a/test/Quake/dep_analysis_bug_lowering.qke → .../Transforms/dep_analysis_bug_lowering.qke b/test/Quake/dep_analysis_bug_lowering.qke → .../Transforms/dep_analysis_bug_lowering.qke
diff --git a/test/Quake/dep_analysis_classical.qke → test/Transforms/dep_analysis_classical.qke b/test/Quake/dep_analysis_classical.qke → test/Transforms/dep_analysis_classical.qke
diff --git a/test/Quake/dep_analysis_lifting.qke → test/Transforms/dep_analysis_lifting.qke b/test/Quake/dep_analysis_lifting.qke → test/Transforms/dep_analysis_lifting.qke
diff --git a/test/Quake/deuteron.qke → test/Transforms/deuteron.qke b/test/Quake/deuteron.qke → test/Transforms/deuteron.qke
diff --git a/test/Quake/device_call.qke → test/Transforms/device_call.qke b/test/Quake/device_call.qke → test/Transforms/device_call.qke
diff --git a/test/Quake/dsr.qke → test/Transforms/dsr.qke b/test/Quake/dsr.qke → test/Transforms/dsr.qke
diff --git a/test/Quake/dummy.qke → test/Transforms/dummy.qke b/test/Quake/dummy.qke → test/Transforms/dummy.qke
diff --git a/test/Quake/erase_vcc.qke → test/Transforms/erase_vcc.qke b/test/Quake/erase_vcc.qke → test/Transforms/erase_vcc.qke
diff --git a/test/Quake/exp_pauli-1.qke → test/Transforms/exp_pauli-1.qke b/test/Quake/exp_pauli-1.qke → test/Transforms/exp_pauli-1.qke
diff --git a/test/Quake/expand_veqs.qke → test/Transforms/expand_veqs.qke b/test/Quake/expand_veqs.qke → test/Transforms/expand_veqs.qke
diff --git a/test/Quake/inline.qke → test/Transforms/inline.qke b/test/Quake/inline.qke → test/Transforms/inline.qke
diff --git a/test/Quake/inline_simplify.qke → test/Transforms/inline_simplify.qke b/test/Quake/inline_simplify.qke → test/Transforms/inline_simplify.qke
diff --git a/test/Quake/invalid.qke → test/Transforms/invalid.qke b/test/Quake/invalid.qke → test/Transforms/invalid.qke
diff --git a/test/Quake/kernel_exec-1.qke → test/Transforms/kernel_exec-1.qke b/test/Quake/kernel_exec-1.qke → test/Transforms/kernel_exec-1.qke
diff --git a/test/Quake/kernel_exec-2.qke → test/Transforms/kernel_exec-2.qke b/test/Quake/kernel_exec-2.qke → test/Transforms/kernel_exec-2.qke
diff --git a/test/Quake/lambda_kernel_exec.qke → test/Transforms/lambda_kernel_exec.qke b/test/Quake/lambda_kernel_exec.qke → test/Transforms/lambda_kernel_exec.qke
diff --git a/test/Quake/lambda_variable-1.qke → test/Transforms/lambda_variable-1.qke b/test/Quake/lambda_variable-1.qke → test/Transforms/lambda_variable-1.qke
diff --git a/test/Quake/lambda_variable-2.qke → test/Transforms/lambda_variable-2.qke b/test/Quake/lambda_variable-2.qke → test/Transforms/lambda_variable-2.qke
diff --git a/test/Quake/lift_array.qke → test/Transforms/lift_array.qke b/test/Quake/lift_array.qke → test/Transforms/lift_array.qke
diff --git a/test/Quake/linear_control.qke → test/Transforms/linear_control.qke b/test/Quake/linear_control.qke → test/Transforms/linear_control.qke
diff --git a/test/Quake/loop.qke → test/Transforms/loop.qke b/test/Quake/loop.qke → test/Transforms/loop.qke
diff --git a/test/Quake/loop_peeling.qke → test/Transforms/loop_peeling.qke b/test/Quake/loop_peeling.qke → test/Transforms/loop_peeling.qke
diff --git a/test/Quake/memtoreg-1.qke → test/Transforms/memtoreg-1.qke b/test/Quake/memtoreg-1.qke → test/Transforms/memtoreg-1.qke
diff --git a/test/Quake/memtoreg-2.qke → test/Transforms/memtoreg-2.qke b/test/Quake/memtoreg-2.qke → test/Transforms/memtoreg-2.qke
diff --git a/test/Quake/memtoreg-3.qke → test/Transforms/memtoreg-3.qke b/test/Quake/memtoreg-3.qke → test/Transforms/memtoreg-3.qke
diff --git a/test/Quake/memtoreg-4.qke → test/Transforms/memtoreg-4.qke b/test/Quake/memtoreg-4.qke → test/Transforms/memtoreg-4.qke
diff --git a/test/Quake/memtoreg-5.qke → test/Transforms/memtoreg-5.qke b/test/Quake/memtoreg-5.qke → test/Transforms/memtoreg-5.qke
diff --git a/test/Quake/memtoreg-6.qke → test/Transforms/memtoreg-6.qke b/test/Quake/memtoreg-6.qke → test/Transforms/memtoreg-6.qke
diff --git a/test/Quake/memtoreg-7.qke → test/Transforms/memtoreg-7.qke b/test/Quake/memtoreg-7.qke → test/Transforms/memtoreg-7.qke
diff --git a/test/Quake/merge_rotation.qke → test/Transforms/merge_rotation.qke b/test/Quake/merge_rotation.qke → test/Transforms/merge_rotation.qke
diff --git a/test/Quake/mz.qke → test/Transforms/mz.qke b/test/Quake/mz.qke → test/Transforms/mz.qke
diff --git a/test/Quake/nullwire.qke → test/Transforms/nullwire.qke b/test/Quake/nullwire.qke → test/Transforms/nullwire.qke
diff --git a/test/Quake/observeAnsatz.qke → test/Transforms/observeAnsatz.qke b/test/Quake/observeAnsatz.qke → test/Transforms/observeAnsatz.qke
diff --git a/test/Quake/phase_folding.qke → test/Transforms/phase_folding.qke b/test/Quake/phase_folding.qke → test/Transforms/phase_folding.qke
diff --git a/test/Quake/pruned_control.qke → test/Transforms/pruned_control.qke b/test/Quake/pruned_control.qke → test/Transforms/pruned_control.qke
diff --git a/test/Quake/qir_api_branching.qke → test/Transforms/qir_api_branching.qke b/test/Quake/qir_api_branching.qke → test/Transforms/qir_api_branching.qke
diff --git a/test/Quake/qpe.qke → test/Transforms/qpe.qke b/test/Quake/qpe.qke → test/Transforms/qpe.qke
diff --git a/test/Quake/quake-errors.qke → test/Transforms/quake-errors.qke b/test/Quake/quake-errors.qke → test/Transforms/quake-errors.qke
diff --git a/test/Quake/quake_simplify.qke → test/Transforms/quake_simplify.qke b/test/Quake/quake_simplify.qke → test/Transforms/quake_simplify.qke
diff --git a/test/Quake/quake_to_cc.qke → test/Transforms/quake_to_cc.qke b/test/Quake/quake_to_cc.qke → test/Transforms/quake_to_cc.qke
diff --git a/test/Quake/regtomem.qke → test/Transforms/regtomem.qke b/test/Quake/regtomem.qke → test/Transforms/regtomem.qke
diff --git a/test/Quake/reify_span-0.qke → test/Transforms/reify_span-0.qke b/test/Quake/reify_span-0.qke → test/Transforms/reify_span-0.qke
diff --git a/test/Quake/reify_span-0.txt → test/Transforms/reify_span-0.txt b/test/Quake/reify_span-0.txt → test/Transforms/reify_span-0.txt
diff --git a/test/Quake/reify_span-1.qke → test/Transforms/reify_span-1.qke b/test/Quake/reify_span-1.qke → test/Transforms/reify_span-1.qke
diff --git a/test/Quake/reify_span-2.qke → test/Transforms/reify_span-2.qke b/test/Quake/reify_span-2.qke → test/Transforms/reify_span-2.qke
diff --git a/test/Quake/replace_state_with_kernel.qke → .../Transforms/replace_state_with_kernel.qke b/test/Quake/replace_state_with_kernel.qke → .../Transforms/replace_state_with_kernel.qke
diff --git a/test/Quake/resource_count_preprocess.qke → .../Transforms/resource_count_preprocess.qke b/test/Quake/resource_count_preprocess.qke → .../Transforms/resource_count_preprocess.qke
diff --git a/test/Quake/return_vector.qke → test/Transforms/return_vector.qke b/test/Quake/return_vector.qke → test/Transforms/return_vector.qke
diff --git a/test/Quake/roundtrip-ops.qke → test/Transforms/roundtrip-ops.qke b/test/Quake/roundtrip-ops.qke → test/Transforms/roundtrip-ops.qke
diff --git a/test/Quake/sfp.qke → test/Transforms/sfp.qke b/test/Quake/sfp.qke → test/Transforms/sfp.qke
diff --git a/test/Quake/sroa.qke → test/Transforms/sroa.qke b/test/Quake/sroa.qke → test/Transforms/sroa.qke
diff --git a/test/Quake/stack.qke → test/Transforms/stack.qke b/test/Quake/stack.qke → test/Transforms/stack.qke
diff --git a/test/Quake/state_prep.qke → test/Transforms/state_prep.qke b/test/Quake/state_prep.qke → test/Transforms/state_prep.qke
diff --git a/test/Quake/to_cfg.qke → test/Transforms/to_cfg.qke b/test/Quake/to_cfg.qke → test/Transforms/to_cfg.qke
diff --git a/test/Quake/unroll_loop_with_break.qke → test/Transforms/unroll_loop_with_break.qke b/test/Quake/unroll_loop_with_break.qke → test/Transforms/unroll_loop_with_break.qke
diff --git a/test/Quake/vector.qke → test/Transforms/vector.qke b/test/Quake/vector.qke → test/Transforms/vector.qke
diff --git a/test/Quake/wire_sink.qke → test/Transforms/wire_sink.qke b/test/Quake/wire_sink.qke → test/Transforms/wire_sink.qke
diff --git a/test/Quake/wires_to_wireset.qke → test/Transforms/wires_to_wireset.qke b/test/Quake/wires_to_wireset.qke → test/Transforms/wires_to_wireset.qke
diff --git a/test/Quake/wireset_codegen.qke → test/Transforms/wireset_codegen.qke b/test/Quake/wireset_codegen.qke → test/Transforms/wireset_codegen.qke
diff --git a/test/Quake/write_after_write_elimination.qke → ...nsforms/write_after_write_elimination.qke b/test/Quake/write_after_write_elimination.qke → ...nsforms/write_after_write_elimination.qke
diff --git a/test/Translate/callable_closure.qke b/test/Translate/callable_closure.qke
@@ -0,0 +1,105 @@
+// ========================================================================== //
+// Copyright (c) 2022 - 2025 NVIDIA Corporation & Affiliates.                 //
+// All rights reserved.                                                       //
+//                                                                            //
+// This source code and the accompanying materials are made available under   //
+// the terms of the Apache License 2.0 which accompanies this distribution.   //
+// ========================================================================== //
+
+// RUN: cudaq-translate --convert-to=qir %s | FileCheck %s
+
+module attributes {cc.python_uniqued = "kernel0..0x7c72351ce620", llvm.data_layout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128", quake.mangled_name_map = {__nvqpp__mlirgen__kernel0..0x7c72351ce620 = "__nvqpp__mlirgen__kernel0..0x7c72351ce620_PyKernelEntryPointRewrite"}} {
+  func.func @__nvqpp__mlirgen__kernel0..0x7c72351ce620(%arg0: i64 {quake.pylifted}) attributes {"cudaq-entrypoint", "cudaq-kernel"} {
+    %c0_i64 = arith.constant 0 : i64
+    %c1_i64 = arith.constant 1 : i64
+    %c4_i64 = arith.constant 4 : i64
+    %0 = cc.alloca i64
+    cc.store %c4_i64, %0 : !cc.ptr<i64>
+    %1 = cc.instantiate_callable @__nvqpp__callable.thunk.lambda.0(%0) : (!cc.ptr<i64>) -> !cc.callable<() -> ()>
+    %2 = cc.callable_closure %1 : (!cc.callable<() -> ()>) -> !cc.ptr<i64>
+    %3 = cc.load %2 : !cc.ptr<i64>
+    %4 = quake.alloca !quake.veq<?>[%3 : i64]
+    %5 = quake.veq_size %4 : (!quake.veq<?>) -> i64
+    %6 = cc.loop while ((%arg1 = %c0_i64) -> (i64)) {
+      %7 = arith.cmpi slt, %arg1, %5 : i64
+      cc.condition %7(%arg1 : i64)
+    } do {
+    ^bb0(%arg1: i64):
+      %7 = quake.extract_ref %4[%arg1] : (!quake.veq<?>, i64) -> !quake.ref
+      quake.x %7 : (!quake.ref) -> ()
+      cc.continue %arg1 : i64
+    } step {
+    ^bb0(%arg1: i64):
+      %7 = arith.addi %arg1, %c1_i64 : i64
+      cc.continue %7 : i64
+    } {invariant}
+    quake.dealloc %4 : !quake.veq<?>
+    return
+  }
+  func.func private @__nvqpp__callable.thunk.lambda.0(%arg0: !cc.callable<() -> ()>) attributes {"cudaq-kernel"} {
+    %c0_i64 = arith.constant 0 : i64
+    %c1_i64 = arith.constant 1 : i64
+    %0 = cc.callable_closure %arg0 : (!cc.callable<() -> ()>) -> !cc.ptr<i64>
+    %1 = cc.load %0 : !cc.ptr<i64>
+    %2 = quake.alloca !quake.veq<?>[%1 : i64]
+    %3 = quake.veq_size %2 : (!quake.veq<?>) -> i64
+    %4 = cc.loop while ((%arg1 = %c0_i64) -> (i64)) {
+      %5 = arith.cmpi slt, %arg1, %3 : i64
+      cc.condition %5(%arg1 : i64)
+    } do {
+    ^bb0(%arg1: i64):
+      %5 = quake.extract_ref %2[%arg1] : (!quake.veq<?>, i64) -> !quake.ref
+      quake.x %5 : (!quake.ref) -> ()
+      cc.continue %arg1 : i64
+    } step {
+    ^bb0(%arg1: i64):
+      %5 = arith.addi %arg1, %c1_i64 : i64
+      cc.continue %5 : i64
+    } {invariant}
+    quake.dealloc %2 : !quake.veq<?>
+    return
+  }
+}
+
+// CHECK-LABEL: define void @__nvqpp__mlirgen__kernel0..0x7c72351ce620(i64 
+// CHECK-SAME:    %[[VAL_0:.*]]) local_unnamed_addr {
+// CHECK:         %[[VAL_1:.*]] = tail call %[[VAL_2:.*]]* @__quantum__rt__qubit_allocate_array(i64 4)
+// CHECK:         %[[VAL_3:.*]] = tail call i64 @__quantum__rt__array_get_size_1d(%[[VAL_2]]* %[[VAL_1]])
+// CHECK:         %[[VAL_4:.*]] = icmp sgt i64 %[[VAL_3]], 0
+// CHECK:         br i1 %[[VAL_4]], label %[[VAL_5:.*]], label %[[VAL_6:.*]]
+// CHECK:         ; preds = %[[VAL_7:.*]], %[[VAL_5]]
+// CHECK:         %[[VAL_8:.*]] = phi i64 [ %[[VAL_9:.*]], %[[VAL_5]] ], [ 0, %[[VAL_7]] ]
+// CHECK:         %[[VAL_10:.*]] = tail call %[[VAL_11:.*]]** @__quantum__rt__array_get_element_ptr_1d(%[[VAL_2]]* %[[VAL_1]], i64 %[[VAL_8]])
+// CHECK:         %[[VAL_12:.*]] = load %[[VAL_11]]*, %[[VAL_11]]** %[[VAL_10]], align 8
+// CHECK:         tail call void @__quantum__qis__x(%[[VAL_11]]* %[[VAL_12]])
+// CHECK:         %[[VAL_9]] = add nuw nsw i64 %[[VAL_8]], 1
+// CHECK:         %[[VAL_13:.*]] = icmp eq i64 %[[VAL_9]], %[[VAL_3]]
+// CHECK:         br i1 %[[VAL_13]], label %[[VAL_6]], label %[[VAL_5]]
+// CHECK:         ; preds = %[[VAL_5]], %[[VAL_7]]
+// CHECK:         tail call void @__quantum__rt__qubit_release_array(%[[VAL_2]]* %[[VAL_1]])
+// CHECK:         ret void
+// CHECK:       }
+
+// CHECK-LABEL: define void @__nvqpp__callable.thunk.lambda.0({ i8*, i8* } 
+// CHECK-SAME:    %[[VAL_0:.*]]) local_unnamed_addr {
+// CHECK:         %[[VAL_1:.*]] = extractvalue { i8*, i8* } %[[VAL_0]], 1
+// CHECK:         %[[VAL_2:.*]] = bitcast i8* %[[VAL_1]] to i64**
+// CHECK:         %[[VAL_3:.*]] = load i64*, i64** %[[VAL_2]], align 8
+// CHECK:         %[[VAL_4:.*]] = load i64, i64* %[[VAL_3]], align 8
+// CHECK:         %[[VAL_5:.*]] = tail call %[[VAL_6:.*]]* @__quantum__rt__qubit_allocate_array(i64 %[[VAL_4]])
+// CHECK:         %[[VAL_7:.*]] = tail call i64 @__quantum__rt__array_get_size_1d(%[[VAL_6]]* %[[VAL_5]])
+// CHECK:         %[[VAL_8:.*]] = icmp sgt i64 %[[VAL_7]], 0
+// CHECK:         br i1 %[[VAL_8]], label %[[VAL_9:.*]], label %[[VAL_10:.*]]
+// CHECK:         ; preds = %[[VAL_11:.*]], %[[VAL_9]]
+// CHECK:         %[[VAL_12:.*]] = phi i64 [ %[[VAL_13:.*]], %[[VAL_9]] ], [ 0, %[[VAL_11]] ]
+// CHECK:         %[[VAL_14:.*]] = tail call %[[VAL_15:.*]]** @__quantum__rt__array_get_element_ptr_1d(%[[VAL_6]]* %[[VAL_5]], i64 %[[VAL_12]])
+// CHECK:         %[[VAL_16:.*]] = load %[[VAL_15]]*, %[[VAL_15]]** %[[VAL_14]], align 8
+// CHECK:         tail call void @__quantum__qis__x(%[[VAL_15]]* %[[VAL_16]])
+// CHECK:         %[[VAL_13]] = add nuw nsw i64 %[[VAL_12]], 1
+// CHECK:         %[[VAL_17:.*]] = icmp eq i64 %[[VAL_13]], %[[VAL_7]]
+// CHECK:         br i1 %[[VAL_17]], label %[[VAL_10]], label %[[VAL_9]]
+// CHECK:         ; preds = %[[VAL_9]], %[[VAL_11]]
+// CHECK:         tail call void @__quantum__rt__qubit_release_array(%[[VAL_6]]* %[[VAL_5]])
+// CHECK:         ret void
+// CHECK:       }
+