// Teleportation of |1>, corrected on what was measured: written to QIR under
// the adaptive profile, every shot reads 1 on c[2]. jeff writes no branch.
OPENQASM 3.0;
include "stdgates.inc";
qubit[3] q;
bit[3] c;
x q[0];
h q[1];
cx q[1], q[2];
cx q[0], q[1];
h q[0];
c[0] = measure q[0];
c[1] = measure q[1];
if (c[1]) {
  x q[2];
}
if (c[0] == 1) {
  z q[2];
}
c[2] = measure q[2];