#### Premature whatever

Here's a program for part of a baby prime factoring QC algorithm:

https://qiskit.org/textbook/ch-algorithms/shor.html#3.-Qiskit-Implementation

which is not QIR. I would just like to see that (or an even simpler example) implemented in any way possible on any actual quantum computer. That should be a landmark to use for reference. Much more useful as a metric than the 1000 in IBM's upcoming 1000 qbits, a 1000 which still means nothing if it can't solve a definite baby factoring problem, which is the current target usage.

Could QIR be useful today as a theoretical mathematical tool, something like a Turing machine description? - but I thought we already had that for QR |0>. <=quantum emoji.

Note that no actual deterministic computer *implementation* resembles a Turing machines much at all, although all deterministic computer implementations are bound to the same *behavioral rules* that Turing machines are.

So the question is - as far as implementation goes - is QIR premature specialization? We don't know what we don't know yet.