Compiler fails to synthesize nested vector parameters
Nobody has claimed this yet.
- 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
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- 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