NVIDIA / NVIDIA/cuda-quantum

Compiler fails to synthesize nested vector parameters

Open
#2,001 3 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

NVQC stale-notified
Dominant language
C++
Stars
1.1k
Forks
456
Avg merge
1d 22h
Merged PRs (30d)
165

Description

Required prerequisites
  • Consult the security policy. If reporting a security vulnerability, do not report the bug using this form. Use the process described in the policy to report the issue.
  • Make sure you've read the documentation. Your issue may be addressed there.
  • Search the issue tracker to verify that this hasn't already been reported. +1 or comment there if it has.
  • If possible, make a PR with a failing test to give us a starting point to work on!
Describe the bug

https://nvidia.github.io/cuda-quantum/latest/using/backends/platform.html#supported-kernel-arguments says that nested vectors (at least singly nested vectors like vector<vector<int>>) should be supported, but that only works in Remote MQPU library mode. Compiling with --enable-mlir causes the run to fail with an error message: error: 'func.func' op synthesis: unsupported argument type.

Note that running on NVQC implicitly enables MLIR mode, so this bug means that nested vector parameters do not work with NVQC.

Steps to reproduce the bug

This can already be seen with an example in the repo:

$ nvq++ --enable-mlir --target remote-mqpu --remote-mqpu-url localhost:3030 targettests/Remote-Sim/nested_vectors.cpp
$ ./a.out
loc("nested_vectors.cpp":17:3): error: 'func.func' op synthesis: unsupported argument type
terminate called after throwing an instance of 'std::runtime_error'
  what():  Could not successfully apply quake-synth.
Aborted
Expected behavior

The above example should run without issues, similar to when running without --enable-mlir.

Is this a regression? If it is, put the last known working version (or commit) here.

Not a regression

Environment
  • CUDA Quantum version: 14db4d548 (just prior to 0.8.0 release)
  • Python version: N/A
  • C++ compiler: N/A
  • Operating system: N/A
Suggestions

No response

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Start with targettests/Remote-Sim/nested_vectors.cpp and reproduce the failure using the provided nvq++ command with --enable-mlir. Compare MLIR mode with the working non-MLIR invocation, then verify that the nested-vector example runs successfully without the unsupported argument type error.

Written by the indexing model from the issue text.

Assessment

Tech stack
cpp
Domain
compilers
Issue type
Bug
Difficulty
4/5
Estimated time
3-5 days
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
42/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.