Spec missing the default quantum instruction set

The Quantum Instruction Set (QIS) section under Instruction Set at https://github.com/qir-alliance/qir-spec/blob/main/specification/under_development/Instruction_Set.md#quantum-instruction-set-qis says:

> The table below lists known quantum instructions along with their signatures and a description of their functionality.

but the said table is missing. Also, the page at https://github.com/qir-alliance/qir-spec/blob/main/specification/under_development/quantum_instruction_sets/Default_QIS.md is empty.

It seems the table was deleted and the page emptied in the commit at https://github.com/qir-alliance/qir-spec/pull/12/commits/476f858faf533bfc2ec68b764a9f441a59fa7cd1?short_path=5ee03c7#diff-5ee03c796bb4786fedaefd1a730bf06a50b28f9dbfe7de3bf48de9978877aca4 during #12 

If it's intentional, we should update the wording on the linked page and delete the Default QIR page; if not, we should restore the following table or add an updated variant:


| Operation Name | LLVM Function Declaration  | Description | Matrix |
|----------------|----------------------------|-------------|--------|
| CCx, CCNOT, Toffoli | `__quantum__qis__ccx__body (%Qubit* control1, %Qubit* control1, %Qubit* target)` | Toffoli or doubly-controlled X | ![latex](https://render.githubusercontent.com/render/math?math=%5Cdisplaystyle+%5Cbegin%7Bbmatrix%7D+1+%26+0+%26+0+%26+0+%26+0+%26+0+%26+0+%26+0+%5C%5C+0+%26+1+%26+0+%26+0+%26+0+%26+0+%26+0+%26+0+%5C%5C+0+%26+0+%26+1+%26+0+%26+0+%26+0+%26+0+%26+0+%5C%5C+0+%26+0+%26+0+%26+1+%26+0+%26+0+%26+0+%26+0+%5C%5C+0+%26+0+%26+0+%26+0+%26+1+%26+0+%26+0+%26+0+%5C%5C+0+%26+0+%26+0+%26+0+%26+0+%26+1+%26+0+%26+0+%5C%5C+0+%26+0+%26+0+%26+0+%26+0+%26+0+%26+0+%26+1+%5C%5C+0+%26+0+%26+0+%26+0+%26+0+%26+0+%26+1+%26+0+%5C%5C+%5Cend%7Bbmatrix%7D) |
| Cx, CNOT | `__quantum__qis__cx__body (%Qubit* control, %Qubit* target)` | CNOT or singly-controlled X | ![latex](https://render.githubusercontent.com/render/math?math=%5Cdisplaystyle+%5Cbegin%7Bbmatrix%7D+1+%26+0+%26+0+%26+0+%5C%5C+0+%26+1+%26+0+%26+0+%5C%5C+0+%26+0+%26+0+%26+1+%5C%5C+0+%26+0+%26+1+%26+0+%5C%5C+%5Cend%7Bbmatrix%7D) |
| Cz | `__quantum__qis__cz__body (%Qubit* control, %Qubit* target)` | Singly-controlled Z | ![latex](https://render.githubusercontent.com/render/math?math=%5Cdisplaystyle+%5Cbegin%7Bbmatrix%7D+1+%26+0+%26+0+%26+0+%5C%5C+0+%26+1+%26+0+%26+0+%5C%5C+0+%26+0+%26+1+%26+0+%5C%5C+0+%26+0+%26+0+%26+-1+%5C%5C+%5Cend%7Bbmatrix%7D) |
| H | `__quantum__qis__h__body (%Qubit* target)` | Hadamard | ![latex](https://render.githubusercontent.com/render/math?math=%5Cdisplaystyle+%5Cfrac%7B1%7D%7B%5Csqrt%7B2%7D%7D%5Cbegin%7Bbmatrix%7D+1+%26+1+%5C%5C+1+%26+-1+%5C%5C+%5Cend%7Bbmatrix%7D) |
| Mz or Measure | `__quantum__qis__mz__body (%Qubit* target, %Result* result)` | Measure a qubit along the the Pauli Z axis |
| Reset | `__quantum__qis__reset__body (%Qubit* target)` | Prepare a qubit in the \|0⟩ state |
| Rx | `__quantum__qis__rx__body (%Qubit* target, double theta)` | Rotate a qubit around the Pauli X axis | ![latex](https://render.githubusercontent.com/render/math?math=%5Cdisplaystyle+%5Cbegin%7Bbmatrix%7D+%5Ccos+%5Cfrac+%7B%5Ctheta%7D+%7B2%7D+%26+-i%5Csin+%5Cfrac+%7B%5Ctheta%7D+%7B2%7D+%5C%5C+-i%5Csin+%5Cfrac+%7B%5Ctheta%7D+%7B2%7D+%26+%5Ccos+%5Cfrac+%7B%5Ctheta%7D+%7B2%7D+%5C%5C+%5Cend%7Bbmatrix%7D) |
| Ry | `__quantum__qis__ry__body (%Qubit* target, double theta)` | Rotate a qubit around the Pauli Y axis | ![latex](https://render.githubusercontent.com/render/math?math=%5Cdisplaystyle+%5Cbegin%7Bbmatrix%7D+%5Ccos+%5Cfrac+%7B%5Ctheta%7D+%7B2%7D+%26+-%5Csin+%5Cfrac+%7B%5Ctheta%7D+%7B2%7D+%5C%5C+%5Csin+%5Cfrac+%7B%5Ctheta%7D+%7B2%7D+%26+%5Ccos+%5Cfrac+%7B%5Ctheta%7D+%7B2%7D+%5C%5C+%5Cend%7Bbmatrix%7D) |
| Rz | `__quantum__qis__rz__body (%Qubit* target, double theta)` | Rotate a qubit around the Pauli Z axis | ![latex](https://render.githubusercontent.com/render/math?math=%5Cdisplaystyle+%5Cbegin%7Bbmatrix%7D+e%5E%7B-i+%5Ctheta%2F2%7D+%26+0+%5C%5C+0+%26+e%5E%7Bi+%5Ctheta%2F2%7D+%5C%5C+%5Cend%7Bbmatrix%7D) | |
| S | `__quantum__qis__s__body (%Qubit* target)` | S (phase gate)  | ![latex](https://render.githubusercontent.com/render/math?math=%5Cdisplaystyle+%5Cbegin%7Bbmatrix%7D+1+%26+0+%5C%5C+0+%26+i+%5C%5C+%5Cend%7Bbmatrix%7D) |
| S&dagger; | `__quantum__qis__s_adj (%Qubit* target)` | The adjoint of S | ![latex](https://render.githubusercontent.com/render/math?math=%5Cdisplaystyle+%5Cbegin%7Bbmatrix%7D+1+%26+0+%5C%5C+0+%26+-i+%5C%5C+%5Cend%7Bbmatrix%7D) |
| T | `__quantum__qis__t__body (%Qubit* target)` | T | ![latex](https://render.githubusercontent.com/render/math?math=%5Cdisplaystyle+%5Cbegin%7Bbmatrix%7D+1+%26+0+%5C%5C+0+%26+e%5E%7Bi%5Cpi%2F4%7D+%5C%5C+%5Cend%7Bbmatrix%7D) |
| T&dagger; | `__quantum__qis__t__adj (%Qubit* target)` | The adjoint of T operation | ![latex](https://render.githubusercontent.com/render/math?math=%5Cdisplaystyle+%5Cbegin%7Bbmatrix%7D+1+%26+0+%5C%5C+0+%26+e%5E%7B-i%5Cpi%2F4%7D+%5C%5C+%5Cend%7Bbmatrix%7D) |
| X | `__quantum__qis__x__body (%Qubit* target)` | Pauli X | ![latex](https://render.githubusercontent.com/render/math?math=%5Cdisplaystyle+%5Cbegin%7Bbmatrix%7D+0+%26+1+%5C%5C+1+%26+0+%5C%5C+%5Cend%7Bbmatrix%7D) |
| Y | `__quantum__qis__y__body (%Qubit* target)` | Pauli Y | ![latex](https://render.githubusercontent.com/render/math?math=%5Cdisplaystyle+%5Cbegin%7Bbmatrix%7D+0+%26+-i+%5C%5C+i+%26+0+%5C%5C+%5Cend%7Bbmatrix%7D) |
| Z | `__quantum__qis__z__body (%Qubit* target)` | Pauli Z | ![latex](https://render.githubusercontent.com/render/math?math=%5Cdisplaystyle+%5Cbegin%7Bbmatrix%7D+1+%26+0+%5C%5C+0+%26+-1+%5C%5C+%5Cend%7Bbmatrix%7D) |

Operation Name	LLVM Function Declaration	Description	Matrix
CCx, CCNOT, Toffoli	`__quantum__qis__ccx__body (%Qubit* control1, %Qubit* control1, %Qubit* target)`	Toffoli or doubly-controlled X	$\displaystyle \begin{bmatrix} 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 \\ 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 \\ \end{bmatrix}$
Cx, CNOT	`__quantum__qis__cx__body (%Qubit* control, %Qubit* target)`	CNOT or singly-controlled X	$\displaystyle \begin{bmatrix} 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 0 & 1 \\ 0 & 0 & 1 & 0 \\ \end{bmatrix}$
Cz	`__quantum__qis__cz__body (%Qubit* control, %Qubit* target)`	Singly-controlled Z	$\displaystyle \begin{bmatrix} 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & -1 \\ \end{bmatrix}$
H	`__quantum__qis__h__body (%Qubit* target)`	Hadamard	$\displaystyle \frac{1}{\sqrt{2}}\begin{bmatrix} 1 & 1 \\ 1 & -1 \\ \end{bmatrix}$
Mz or Measure	`__quantum__qis__mz__body (%Qubit* target, %Result* result)`	Measure a qubit along the the Pauli Z axis
Reset	`__quantum__qis__reset__body (%Qubit* target)`	Prepare a qubit in the \|0⟩ state
Rx	`__quantum__qis__rx__body (%Qubit* target, double theta)`	Rotate a qubit around the Pauli X axis	$\displaystyle \begin{bmatrix} \cos \frac {\theta} {2} & -i\sin \frac {\theta} {2} \\ -i\sin \frac {\theta} {2} & \cos \frac {\theta} {2} \\ \end{bmatrix}$
Ry	`__quantum__qis__ry__body (%Qubit* target, double theta)`	Rotate a qubit around the Pauli Y axis	$\displaystyle \begin{bmatrix} \cos \frac {\theta} {2} & -\sin \frac {\theta} {2} \\ \sin \frac {\theta} {2} & \cos \frac {\theta} {2} \\ \end{bmatrix}$
Rz	`__quantum__qis__rz__body (%Qubit* target, double theta)`	Rotate a qubit around the Pauli Z axis	$\displaystyle \begin{bmatrix} e^{-i \theta/2} & 0 \\ 0 & e^{i \theta/2} \\ \end{bmatrix}$
S	`__quantum__qis__s__body (%Qubit* target)`	S (phase gate)	$\displaystyle \begin{bmatrix} 1 & 0 \\ 0 & i \\ \end{bmatrix}$
S†	`__quantum__qis__s_adj (%Qubit* target)`	The adjoint of S	$\displaystyle \begin{bmatrix} 1 & 0 \\ 0 & -i \\ \end{bmatrix}$
T	`__quantum__qis__t__body (%Qubit* target)`	T	$\displaystyle \begin{bmatrix} 1 & 0 \\ 0 & e^{i\pi/4} \\ \end{bmatrix}$
T†	`__quantum__qis__t__adj (%Qubit* target)`	The adjoint of T operation	$\displaystyle \begin{bmatrix} 1 & 0 \\ 0 & e^{-i\pi/4} \\ \end{bmatrix}$
X	`__quantum__qis__x__body (%Qubit* target)`	Pauli X	$\displaystyle \begin{bmatrix} 0 & 1 \\ 1 & 0 \\ \end{bmatrix}$
Y	`__quantum__qis__y__body (%Qubit* target)`	Pauli Y	$\displaystyle \begin{bmatrix} 0 & -i \\ i & 0 \\ \end{bmatrix}$
Z	`__quantum__qis__z__body (%Qubit* target)`	Pauli Z	$\displaystyle \begin{bmatrix} 1 & 0 \\ 0 & -1 \\ \end{bmatrix}$

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Spec missing the default quantum instruction set #46

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Spec missing the default quantum instruction set #46

Description

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions