circuit-static-collapsed

| ψ 0 ⟩ | ψ 1 ⟩ | ψ 2 ⟩ | ψ 3 ⟩ | ψ 4 ⟩ | ψ 5 ⟩ | ψ 6 ⟩ | ψ 7 ⟩ | ψ 8 ⟩ | ψ 9 ⟩ | ψ 10 ⟩ | ψ 11 ⟩ | ψ 12 ⟩ | ψ 13 ⟩ | ψ 14 ⟩ | ψ 15 ⟩ | ψ 16 ⟩ | ψ 17 ⟩ | ψ 18 ⟩ | ψ 19 ⟩ | ψ 20 ⟩ | ψ 21 ⟩ | ψ 22 ⟩ | ψ 23 ⟩ | ψ 24 ⟩ | ψ 25 ⟩ | ψ 26 ⟩ | ψ 27 ⟩ | ψ 28 ⟩ | ψ 29 ⟩ | ψ 30 ⟩ | ψ 31 ⟩ | ψ 32 ⟩ | ψ 33 ⟩ conditionals.qs:4:5 ResultComparisonToLiteral(qs[0]); ResultComparisonToLiteral conditionals.qs:5:5 ResultComparisonToLiteralZero(qs[1]); ResultComparisonToLiteralZero conditionals.qs:6:5 ElseBlockOnly(qs[2]); ElseBlockOnly conditionals.qs:7:5 ResultComparisonToResult(qs[3], qs[4]); ResultComparisonToResult conditionals.qs:8:5 ResultComparisonEmptyBlock(qs[5], qs[6]); ResultComparisonEmptyBlock conditionals.qs:9:5 IfElse(qs[7], qs[8]); IfElse conditionals.qs:10:5 SequentialIfs(qs[9], qs[10], qs[11]); SequentialIfs conditionals.qs:11:5 NestedIfs(qs[12], qs[13], qs[14]); NestedIfs conditionals.qs:12:5 MultiplePossibleFloatValuesInUnitaryArg(qs[15], qs[16]); MultiplePossibleFloatValuesInUnitaryArg conditionals.qs:13:5 CustomIntrinsicVariableArg(qs[17]); CustomIntrinsicVariableArg conditionals.qs:14:5 BranchOnDynamicDouble(qs[18], qs[19]); BranchOnDynamicDouble conditionals.qs:15:5 BranchOnDynamicBool(qs[20], qs[21]); BranchOnDynamicBool conditionals.qs:16:5 NestedCallablesInBranch(qs[22], qs[23]); NestedCallablesInBranch conditionals.qs:17:5 ConditionalInLoop(qs[24], qs[25]); ConditionalInLoop conditionals.qs:18:5 NestedConditionalsInCallable(qs[26], qs[27], qs[28]); NestedConditionalsInCallable conditionals.qs:19:5 MeasurementInConditional(qs[29], qs[30], qs[31]); MeasurementInConditional conditionals.qs:20:5 BranchDueToBinOpShortCircuit(qs[32], qs[33]); BranchDueToBinOpShortCircuit conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ Main

circuit-static-expanded

| ψ 0 ⟩ | ψ 1 ⟩ | ψ 2 ⟩ | ψ 3 ⟩ | ψ 4 ⟩ | ψ 5 ⟩ | ψ 6 ⟩ | ψ 7 ⟩ | ψ 8 ⟩ | ψ 9 ⟩ | ψ 10 ⟩ | ψ 11 ⟩ | ψ 12 ⟩ | ψ 13 ⟩ | ψ 14 ⟩ | ψ 15 ⟩ | ψ 16 ⟩ | ψ 17 ⟩ | ψ 18 ⟩ | ψ 19 ⟩ | ψ 20 ⟩ | ψ 21 ⟩ | ψ 22 ⟩ | ψ 23 ⟩ | ψ 24 ⟩ | ψ 25 ⟩ | ψ 26 ⟩ | ψ 27 ⟩ | ψ 28 ⟩ | ψ 29 ⟩ | ψ 30 ⟩ | ψ 31 ⟩ | ψ 32 ⟩ | ψ 33 ⟩ conditionals.qs:26:5 H(q); H conditionals.qs:27:14 let r1 = M(q); c 0 conditionals.qs:29:9 X(q); conditionals.qs:28:5 if (r1 == One) { if : c 0 = |1〉 conditionals.qs:4:5 ResultComparisonToLiteral(qs[0]); ResultComparisonToLiteral conditionals.qs:37:5 H(q); H conditionals.qs:38:14 let r1 = M(q); c 1 conditionals.qs:40:9 X(q); conditionals.qs:39:5 if (r1 == Zero) { if : c 1 = |0〉 conditionals.qs:5:5 ResultComparisonToLiteralZero(qs[1]); ResultComparisonToLiteralZero conditionals.qs:46:5 H(q); H conditionals.qs:47:14 let r1 = M(q); c 2 conditionals.qs:49:9 X(q); conditionals.qs:48:5 if (r1 == Zero) {} else { if : c 2 = |1〉 conditionals.qs:6:5 ElseBlockOnly(qs[2]); ElseBlockOnly conditionals.qs:55:5 H(q1); H conditionals.qs:56:5 H(q2); H conditionals.qs:57:14 let r1 = M(q1); conditionals.qs:58:14 let r2 = M(q2); c 3 c 4 conditionals.qs:60:9 X(q1); conditionals.qs:59:5 if (r1 == r2) { if : c 3 c 4 = |00〉 or c 3 c 4 = |11〉 conditionals.qs:7:5 ResultComparisonToResult(qs[3], qs[4]); ResultComparisonToResult conditionals.qs:66:5 H(q1); H conditionals.qs:67:5 H(q2); H conditionals.qs:68:14 let r1 = M(q1); conditionals.qs:69:14 let r2 = M(q2); conditionals.qs:8:5 ResultComparisonEmptyBlock(qs[5], qs[6]); ResultComparisonEmptyBlock conditionals.qs:78:5 H(q0); H conditionals.qs:79:13 let r = M(q0); c 7 conditionals.qs:81:9 X(q1); conditionals.qs:80:5 if r == One { if : c 7 = |1〉 c 7 conditionals.qs:83:9 Y(q1); Y conditionals.qs:80:5 if r == One { if : c 7 = |0〉 conditionals.qs:85:14 let r1 = M(q1); conditionals.qs:9:5 IfElse(qs[7], qs[8]); IfElse conditionals.qs:90:5 H(q0); H conditionals.qs:91:5 H(q1); H conditionals.qs:92:14 let r0 = M(q0); conditionals.qs:93:14 let r1 = M(q1); c 9 conditionals.qs:95:9 X(q2); conditionals.qs:94:5 if r0 == One { if : c 9 = |1〉 c 9 conditionals.qs:97:9 Z(q2); Z conditionals.qs:94:5 if r0 == One { if : c 9 = |0〉 c 10 conditionals.qs:100:9 X(q2); conditionals.qs:99:5 if r1 == One { if : c 10 = |1〉 c 10 conditionals.qs:102:9 Y(q2); Y conditionals.qs:99:5 if r1 == One { if : c 10 = |0〉 conditionals.qs:104:14 let r2 = M(q2); conditionals.qs:10:5 SequentialIfs(qs[9], qs[10], qs[11]); SequentialIfs conditionals.qs:109:5 H(q0); H conditionals.qs:110:5 H(q1); H conditionals.qs:111:14 let r0 = M(q0); conditionals.qs:112:14 let r1 = M(q1); c 12 c 12 c 13 conditionals.qs:115:13 X(q2); conditionals.qs:114:9 if r1 == One { if : c 13 = |1〉 c 12 c 13 conditionals.qs:117:13 Y(q2); Y conditionals.qs:114:9 if r1 == One { if : c 13 = |0〉 conditionals.qs:113:5 if r0 == One { if : c 12 = |1〉 c 12 conditionals.qs:120:9 Z(q2); Z conditionals.qs:113:5 if r0 == One { if : c 12 = |0〉 conditionals.qs:122:14 let r2 = M(q2); conditionals.qs:11:5 NestedIfs(qs[12], qs[13], qs[14]); NestedIfs conditionals.qs:127:5 H(q0); H conditionals.qs:128:13 let r = M(q0); c 15 Error loading qsharp-library-source:Std/Intrinsic.qs:511 Rx f ( c 15 ) conditionals.qs:133:5 Rx(theta, q1); using : c 15 conditionals.qs:134:14 let r1 = M(q1); conditionals.qs:12:5 MultiplePossibleFloatValuesInUnitaryArg(qs[15], qs[16]); MultiplePossibleFloatValuesInUnitaryArg conditionals.qs:147:5 H(q); H conditionals.qs:148:9 if (M(q) == One) { c 17 conditionals.qs:151:5 foo(q, x); foo f ( c 17 ) conditionals.qs:151:5 foo(q, x); using : c 17 conditionals.qs:13:5 CustomIntrinsicVariableArg(qs[17]); CustomIntrinsicVariableArg conditionals.qs:155:5 H(q0); H conditionals.qs:156:13 let r = M(q0); c 18 Error loading qsharp-library-source:Std/Intrinsic.qs:511 Rx f ( c 18 ) conditionals.qs:166:5 Rx(theta, q1); using : c 18 conditionals.qs:167:14 let r1 = M(q1); conditionals.qs:14:5 BranchOnDynamicDouble(qs[18], qs[19]); BranchOnDynamicDouble conditionals.qs:172:5 H(q0); H conditionals.qs:173:13 let r = M(q0); c 20 conditionals.qs:184:9 X(q1); conditionals.qs:183:5 if cond { if : f ( c 20 ) conditionals.qs:186:14 let r1 = M(q1); conditionals.qs:15:5 BranchOnDynamicBool(qs[20], qs[21]); BranchOnDynamicBool conditionals.qs:195:5 X(q); conditionals.qs:196:5 Y(q); Y conditionals.qs:191:5 Bar(q); Bar conditionals.qs:200:5 Foo(q); Foo conditionals.qs:201:5 H(q1); H conditionals.qs:202:9 if (M(q1) == One) { c 22 conditionals.qs:195:5 X(q); conditionals.qs:196:5 Y(q); Y conditionals.qs:191:5 Bar(q); Bar conditionals.qs:203:9 Foo(q); Foo conditionals.qs:202:5 if (M(q1) == One) { if : c 22 = |1〉 conditionals.qs:16:5 NestedCallablesInBranch(qs[22], qs[23]); NestedCallablesInBranch conditionals.qs:208:20 let results = [MResetZ(q1), MResetZ(q1)]; conditionals.qs:208:20 let results = [MResetZ(q1), MResetZ(q1)]; |0⟩ conditionals.qs:208:33 let results = [MResetZ(q1), MResetZ(q1)]; conditionals.qs:208:33 let results = [MResetZ(q1), MResetZ(q1)]; |0⟩ c 23 conditionals.qs:212:13 X(q0); conditionals.qs:211:9 if results[j] == One { if : c 23 = |1〉 conditionals.qs:210:19 for j in 0..1 { (1) c 24 conditionals.qs:212:13 X(q0); conditionals.qs:211:9 if results[j] == One { if : c 24 = |1〉 conditionals.qs:210:19 for j in 0..1 { (2) conditionals.qs:210:5 for j in 0..1 { loop : 0..1 conditionals.qs:222:5 H(q); H conditionals.qs:217:9 Baz(q0); Baz conditionals.qs:216:19 for j in 0..1 { (1) conditionals.qs:222:5 H(q); H conditionals.qs:217:9 Baz(q0); Baz conditionals.qs:216:19 for j in 0..1 { (2) conditionals.qs:216:5 for j in 0..1 { loop : 0..1 conditionals.qs:17:5 ConditionalInLoop(qs[24], qs[25]); ConditionalInLoop conditionals.qs:226:14 let r0 = MResetZ(q0); conditionals.qs:227:14 let r1 = MResetZ(q1); conditionals.qs:226:14 let r0 = MResetZ(q0); |0⟩ conditionals.qs:227:14 let r1 = MResetZ(q1); |0⟩ c 25 c 25 c 26 conditionals.qs:234:13 X(q); conditionals.qs:233:9 if r1 == One { if : c 26 = |1〉 c 25 c 26 conditionals.qs:236:13 Z(q); Z conditionals.qs:233:9 if r1 == One { if : c 26 = |0〉 conditionals.qs:232:5 if r0 == One {} else { if : c 25 = |0〉 conditionals.qs:228:5 Quux(q, r0, r1); Quux conditionals.qs:18:5 NestedConditionalsInCallable(qs[26], qs[27], qs[28]); NestedConditionalsInCallable conditionals.qs:242:5 H(q1); H conditionals.qs:243:14 let r1 = M(q1); c 27 conditionals.qs:246:9 H(q0); H conditionals.qs:247:18 let r0 = M(q2); conditionals.qs:245:5 if r1 == One { if : c 27 = |1〉 conditionals.qs:19:5 MeasurementInConditional(qs[29], qs[30], qs[31]); MeasurementInConditional conditionals.qs:252:5 H(q0); H conditionals.qs:253:5 H(q1); H conditionals.qs:254:15 let r = { M(q0) == Zero } and { M(q1) == Zero }; c 29 conditionals.qs:254:37 let r = { M(q0) == Zero } and { M(q1) == Zero }; conditionals.qs:254:35 let r = { M(q0) == Zero } and { M(q1) == Zero }; if : c 29 = |0〉 conditionals.qs:255:16 let r1 = { M(q0) == Zero } or { M(q1) == Zero }; c 31 conditionals.qs:255:37 let r1 = { M(q0) == Zero } or { M(q1) == Zero }; conditionals.qs:255:35 let r1 = { M(q0) == Zero } or { M(q1) == Zero }; if : c 31 = |1〉 conditionals.qs:20:5 BranchDueToBinOpShortCircuit(qs[32], qs[33]); BranchDueToBinOpShortCircuit conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ conditionals.qs:22:5 ResetAll(qs); |0⟩ Main

circuit-eval-collapsed

Error generating circuit: QdkDiagnostics: runtime error: cannot compare measurement results

help: comparing measurement results is not supported when performing circuit synthesis or base profile QIR generation at conditionals.qs:28:9

circuit-eval-expanded

Error generating circuit: QdkDiagnostics: runtime error: cannot compare measurement results

help: comparing measurement results is not supported when performing circuit synthesis or base profile QIR generation at conditionals.qs:28:9