QIR specification update 1

microsoft / qsharp-language

Official repository for design of the quantum programming language Q# and its core libraries

MIT License

233 stars 54 forks source link

QIR specification update 1 #67

Closed bettinaheim closed 3 years ago

bettinaheim commented 3 years ago

This is the work in progress to update the QIR specification to

simplify how tuples, user defined types and arrays are represented in QIR, and to
add the distinction between reference and access counting and detail the corresponding runtime functions and how to use them

IrinaYatsenko commented 3 years ago

In the generated code from https://github.com/microsoft/qsharp-compiler/commit/d78fef5c0a9f4bccb72256ad9e346cda32a670cd I'm also seeing array_get_size_1d instead of array_get_length. I'm fine with adding a specialized call to get length of 1d arrays (though, I have to admit, I don't see much value in it), but shouldn't the naming be consistent with the corresponding method for multi-dim arrays?