Skip to content

Commit

Permalink
Merge branch 'main' into no-mqt
Browse files Browse the repository at this point in the history
  • Loading branch information
@evmckinney9
evmckinney9 authored Nov 26, 2023
2 parents 7fe4ecd + 035ec84 commit 800f53f
Show file tree
Hide file tree
Showing 17 changed files with 1,486 additions and 33 deletions.
41 changes: 41 additions & 0 deletions src/transpile_benchy/interfaces/hardcoded/ae_n16.qasm
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,41 @@
OPENQASM 2.0;
include "qelib1.inc";
gate ccircuit_798 q0,q1 { p(0) q0; p(0) q1; cx q0,q1; u(-0.9272952180016122,0,0) q1; cx q0,q1; u(0.9272952180016122,0,0) q1; }
gate ccircuit_807 q0,q1 { p(0) q0; p(0) q1; cx q0,q1; u(-1.8545904360032244,0,0) q1; cx q0,q1; u(1.8545904360032244,0,0) q1; }
gate ccircuit_816 q0,q1 { p(0) q0; p(0) q1; cx q0,q1; u(-3.7091808720064487,0,0) q1; cx q0,q1; u(3.7091808720064487,0,0) q1; }
gate ccircuit_825 q0,q1 { p(0) q0; p(0) q1; cx q0,q1; u(-7.4183617440128975,0,0) q1; cx q0,q1; u(7.4183617440128975,0,0) q1; }
gate ccircuit_834 q0,q1 { p(0) q0; p(0) q1; cx q0,q1; u(-14.836723488025795,0,0) q1; cx q0,q1; u(14.836723488025795,0,0) q1; }
gate ccircuit_843 q0,q1 { p(0) q0; p(0) q1; cx q0,q1; u(-29.67344697605159,0,0) q1; cx q0,q1; u(29.67344697605159,0,0) q1; }
gate ccircuit_852 q0,q1 { p(0) q0; p(0) q1; cx q0,q1; u(-59.34689395210318,0,0) q1; cx q0,q1; u(59.34689395210318,0,0) q1; }
gate ccircuit_861 q0,q1 { p(0) q0; p(0) q1; cx q0,q1; u(-118.69378790420636,0,0) q1; cx q0,q1; u(118.69378790420636,0,0) q1; }
gate ccircuit_870 q0,q1 { p(0) q0; p(0) q1; cx q0,q1; u(-237.38757580841272,0,0) q1; cx q0,q1; u(237.38757580841272,0,0) q1; }
gate ccircuit_879 q0,q1 { p(0) q0; p(0) q1; cx q0,q1; u(-474.77515161682544,0,0) q1; cx q0,q1; u(474.77515161682544,0,0) q1; }
gate ccircuit_888 q0,q1 { p(0) q0; p(0) q1; cx q0,q1; u(-949.5503032336509,0,0) q1; cx q0,q1; u(949.5503032336509,0,0) q1; }
gate ccircuit_897 q0,q1 { p(0) q0; p(0) q1; cx q0,q1; u(-1899.1006064673018,0,0) q1; cx q0,q1; u(1899.1006064673018,0,0) q1; }
gate ccircuit_906 q0,q1 { p(0) q0; p(0) q1; cx q0,q1; u(-3798.2012129346035,0,0) q1; cx q0,q1; u(3798.2012129346035,0,0) q1; }
gate ccircuit_915 q0,q1 { p(0) q0; p(0) q1; cx q0,q1; u(-7596.402425869207,0,0) q1; cx q0,q1; u(7596.402425869207,0,0) q1; }
gate ccircuit_924 q0,q1 { p(0) q0; p(0) q1; cx q0,q1; u(-15192.804851738414,0,0) q1; cx q0,q1; u(15192.804851738414,0,0) q1; }
gate gate_IQFT_dg q0,q1,q2,q3,q4,q5,q6,q7,q8,q9,q10,q11,q12,q13,q14 { h q0; cp(-pi/2) q1,q0; h q1; cp(-pi/4) q2,q0; cp(-pi/2) q2,q1; h q2; cp(-pi/8) q3,q0; cp(-pi/4) q3,q1; cp(-pi/2) q3,q2; h q3; cp(-pi/16) q4,q0; cp(-pi/8) q4,q1; cp(-pi/4) q4,q2; cp(-pi/2) q4,q3; h q4; cp(-pi/32) q5,q0; cp(-pi/16) q5,q1; cp(-pi/8) q5,q2; cp(-pi/4) q5,q3; cp(-pi/2) q5,q4; h q5; cp(-pi/64) q6,q0; cp(-pi/32) q6,q1; cp(-pi/16) q6,q2; cp(-pi/8) q6,q3; cp(-pi/4) q6,q4; cp(-pi/2) q6,q5; h q6; cp(-pi/128) q7,q0; cp(-pi/64) q7,q1; cp(-pi/32) q7,q2; cp(-pi/16) q7,q3; cp(-pi/8) q7,q4; cp(-pi/4) q7,q5; cp(-pi/2) q7,q6; h q7; cp(-pi/256) q8,q0; cp(-pi/128) q8,q1; cp(-pi/64) q8,q2; cp(-pi/32) q8,q3; cp(-pi/16) q8,q4; cp(-pi/8) q8,q5; cp(-pi/4) q8,q6; cp(-pi/2) q8,q7; h q8; cp(-pi/512) q9,q0; cp(-pi/256) q9,q1; cp(-pi/128) q9,q2; cp(-pi/64) q9,q3; cp(-pi/32) q9,q4; cp(-pi/16) q9,q5; cp(-pi/8) q9,q6; cp(-pi/4) q9,q7; cp(-pi/2) q9,q8; h q9; cp(-pi/1024) q10,q0; cp(-pi/512) q10,q1; cp(-pi/256) q10,q2; cp(-pi/128) q10,q3; cp(-pi/64) q10,q4; cp(-pi/32) q10,q5; cp(-pi/16) q10,q6; cp(-pi/8) q10,q7; cp(-pi/4) q10,q8; cp(-pi/2) q10,q9; h q10; cp(-pi/2048) q11,q0; cp(-pi/1024) q11,q1; cp(-pi/512) q11,q2; cp(-pi/256) q11,q3; cp(-pi/128) q11,q4; cp(-pi/64) q11,q5; cp(-pi/32) q11,q6; cp(-pi/16) q11,q7; cp(-pi/8) q11,q8; cp(-pi/4) q11,q9; cp(-pi/2) q11,q10; h q11; cp(-pi/4096) q12,q0; cp(-pi/2048) q12,q1; cp(-pi/1024) q12,q2; cp(-pi/512) q12,q3; cp(-pi/256) q12,q4; cp(-pi/128) q12,q5; cp(-pi/64) q12,q6; cp(-pi/32) q12,q7; cp(-pi/16) q12,q8; cp(-pi/8) q12,q9; cp(-pi/4) q12,q10; cp(-pi/2) q12,q11; h q12; cp(-pi/8192) q13,q0; cp(-pi/4096) q13,q1; cp(-pi/2048) q13,q2; cp(-pi/1024) q13,q3; cp(-pi/512) q13,q4; cp(-pi/256) q13,q5; cp(-pi/128) q13,q6; cp(-pi/64) q13,q7; cp(-pi/32) q13,q8; cp(-pi/16) q13,q9; cp(-pi/8) q13,q10; cp(-pi/4) q13,q11; cp(-pi/2) q13,q12; h q13; cp(-pi/16384) q14,q0; cp(-pi/8192) q14,q1; cp(-pi/4096) q14,q2; cp(-pi/2048) q14,q3; cp(-pi/1024) q14,q4; cp(-pi/512) q14,q5; cp(-pi/256) q14,q6; cp(-pi/128) q14,q7; cp(-pi/64) q14,q8; cp(-pi/32) q14,q9; cp(-pi/16) q14,q10; cp(-pi/8) q14,q11; cp(-pi/4) q14,q12; cp(-pi/2) q14,q13; h q14; }
gate gate_QPE q0,q1,q2,q3,q4,q5,q6,q7,q8,q9,q10,q11,q12,q13,q14,q15 { h q0; h q1; h q2; h q3; h q4; h q5; h q6; h q7; h q8; h q9; h q10; h q11; h q12; h q13; h q14; ccircuit_798 q0,q15; ccircuit_807 q1,q15; ccircuit_816 q2,q15; ccircuit_825 q3,q15; ccircuit_834 q4,q15; ccircuit_843 q5,q15; ccircuit_852 q6,q15; ccircuit_861 q7,q15; ccircuit_870 q8,q15; ccircuit_879 q9,q15; ccircuit_888 q10,q15; ccircuit_897 q11,q15; ccircuit_906 q12,q15; ccircuit_915 q13,q15; ccircuit_924 q14,q15; gate_IQFT_dg q14,q13,q12,q11,q10,q9,q8,q7,q6,q5,q4,q3,q2,q1,q0; }
qreg eval[15];
qreg q[1];
creg meas[16];
ry(0.9272952180016122) q[0];
gate_QPE eval[0],eval[1],eval[2],eval[3],eval[4],eval[5],eval[6],eval[7],eval[8],eval[9],eval[10],eval[11],eval[12],eval[13],eval[14],q[0];
barrier eval[0],eval[1],eval[2],eval[3],eval[4],eval[5],eval[6],eval[7],eval[8],eval[9],eval[10],eval[11],eval[12],eval[13],eval[14],q[0];
measure eval[0] -> meas[0];
measure eval[1] -> meas[1];
measure eval[2] -> meas[2];
measure eval[3] -> meas[3];
measure eval[4] -> meas[4];
measure eval[5] -> meas[5];
measure eval[6] -> meas[6];
measure eval[7] -> meas[7];
measure eval[8] -> meas[8];
measure eval[9] -> meas[9];
measure eval[10] -> meas[10];
measure eval[11] -> meas[11];
measure eval[12] -> meas[12];
measure eval[13] -> meas[13];
measure eval[14] -> meas[14];
measure q[0] -> meas[15];
31 changes: 31 additions & 0 deletions src/transpile_benchy/interfaces/hardcoded/bigadder_n18.qasm
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,31 @@
OPENQASM 2.0;
include "qelib1.inc";
gate majority q0,q1,q2 { cx q2,q1; cx q2,q0; ccx q0,q1,q2; }
gate unmaj q0,q1,q2 { ccx q0,q1,q2; cx q2,q0; cx q0,q1; }
gate add4 q0,q1,q2,q3,q4,q5,q6,q7,q8,q9 { majority q8,q4,q0; majority q0,q5,q1; majority q1,q6,q2; majority q2,q7,q3; cx q3,q9; unmaj q2,q7,q3; unmaj q1,q6,q2; unmaj q0,q5,q1; unmaj q8,q4,q0; }
qreg carry[2];
qreg a[8];
qreg b[8];
creg ans[8];
creg carryout[1];
x a[0];
x b[0];
x b[1];
x b[2];
x b[3];
x b[4];
x b[5];
x b[6];
x b[7];
x b[6];
add4 a[0],a[1],a[2],a[3],b[0],b[1],b[2],b[3],carry[0],carry[1];
add4 a[4],a[5],a[6],a[7],b[4],b[5],b[6],b[7],carry[1],carry[0];
measure b[0] -> ans[0];
measure b[1] -> ans[1];
measure b[2] -> ans[2];
measure b[3] -> ans[3];
measure b[4] -> ans[4];
measure b[5] -> ans[5];
measure b[6] -> ans[6];
measure b[7] -> ans[7];
measure carry[0] -> carryout[0];
43 changes: 43 additions & 0 deletions src/transpile_benchy/interfaces/hardcoded/knn_n25.qasm
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,43 @@
OPENQASM 2.0;
include "qelib1.inc";
qreg q0[25];
creg c0[1];
ry(0.93346815) q0[1];
ry(0.82988213) q0[2];
ry(1.181111) q0[3];
ry(1.802503) q0[4];
ry(2.969805) q0[5];
ry(1.5765553) q0[6];
ry(1.8340893) q0[7];
ry(2.741925) q0[8];
ry(1.5106361) q0[9];
ry(0.76354036) q0[10];
ry(0.15484631) q0[11];
ry(1.9311432) q0[12];
ry(0.69057517) q0[13];
ry(0.74294505) q0[14];
ry(0.79338648) q0[15];
ry(1.9075145) q0[16];
ry(2.5852457) q0[17];
ry(1.5388629) q0[18];
ry(0.8484669) q0[19];
ry(1.9789905) q0[20];
ry(1.177473) q0[21];
ry(0.46112786) q0[22];
ry(0.17065064) q0[23];
ry(1.8262873) q0[24];
h q0[0];
cswap q0[0],q0[1],q0[13];
cswap q0[0],q0[2],q0[14];
cswap q0[0],q0[3],q0[15];
cswap q0[0],q0[4],q0[16];
cswap q0[0],q0[5],q0[17];
cswap q0[0],q0[6],q0[18];
cswap q0[0],q0[7],q0[19];
cswap q0[0],q0[8],q0[20];
cswap q0[0],q0[9],q0[21];
cswap q0[0],q0[10],q0[22];
cswap q0[0],q0[11],q0[23];
cswap q0[0],q0[12],q0[24];
h q0[0];
measure q0[0] -> c0[0];
77 changes: 77 additions & 0 deletions src/transpile_benchy/interfaces/hardcoded/multiplier_n15.qasm
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,77 @@
OPENQASM 2.0;
include "qelib1.inc";
qreg q[15];
creg m_result[3];
x q[13];
x q[12];
x q[10];
x q[9];
ccx q[12],q[9],q[1];
ccx q[12],q[10],q[4];
ccx q[12],q[11],q[7];
ccx q[1],q[2],q[3];
cx q[1],q[2];
ccx q[0],q[2],q[3];
ccx q[4],q[5],q[6];
cx q[4],q[5];
ccx q[3],q[5],q[6];
cx q[7],q[8];
cx q[6],q[8];
ccx q[3],q[5],q[6];
cx q[4],q[5];
ccx q[4],q[5],q[6];
cx q[4],q[5];
cx q[3],q[5];
ccx q[0],q[2],q[3];
cx q[1],q[2];
ccx q[1],q[2],q[3];
cx q[1],q[2];
cx q[0],q[2];
ccx q[12],q[9],q[1];
ccx q[12],q[10],q[4];
ccx q[12],q[11],q[7];
ccx q[13],q[9],q[4];
ccx q[13],q[10],q[7];
ccx q[1],q[2],q[3];
cx q[1],q[2];
ccx q[0],q[2],q[3];
ccx q[4],q[5],q[6];
cx q[4],q[5];
ccx q[3],q[5],q[6];
cx q[7],q[8];
cx q[6],q[8];
ccx q[3],q[5],q[6];
cx q[4],q[5];
ccx q[4],q[5],q[6];
cx q[4],q[5];
cx q[3],q[5];
ccx q[0],q[2],q[3];
cx q[1],q[2];
ccx q[1],q[2],q[3];
cx q[1],q[2];
cx q[0],q[2];
ccx q[13],q[9],q[4];
ccx q[13],q[10],q[7];
ccx q[14],q[9],q[7];
ccx q[1],q[2],q[3];
cx q[1],q[2];
ccx q[0],q[2],q[3];
ccx q[4],q[5],q[6];
cx q[4],q[5];
ccx q[3],q[5],q[6];
cx q[7],q[8];
cx q[6],q[8];
ccx q[3],q[5],q[6];
cx q[4],q[5];
ccx q[4],q[5],q[6];
cx q[4],q[5];
cx q[3],q[5];
ccx q[0],q[2],q[3];
cx q[1],q[2];
ccx q[1],q[2],q[3];
cx q[1],q[2];
cx q[0],q[2];
ccx q[14],q[9],q[7];
measure q[2] -> m_result[0];
measure q[5] -> m_result[1];
measure q[8] -> m_result[2];
66 changes: 66 additions & 0 deletions src/transpile_benchy/interfaces/hardcoded/qec9xz_n17.qasm
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,66 @@
OPENQASM 2.0;
include "qelib1.inc";
qreg q0[9];
qreg q1[8];
creg c0[8];
h q0[0];
cx q0[0],q0[3];
cx q0[0],q0[6];
h q0[0];
h q0[3];
h q0[6];
cx q0[0],q0[1];
cx q0[0],q0[2];
cx q0[3],q0[4];
cx q0[3],q0[5];
cx q0[6],q0[7];
cx q0[6],q0[8];
cx q0[0],q1[0];
cx q0[1],q1[0];
cx q0[1],q1[1];
cx q0[2],q1[1];
cx q0[3],q1[2];
cx q0[4],q1[2];
cx q0[4],q1[3];
cx q0[5],q1[3];
cx q0[6],q1[4];
cx q0[7],q1[4];
cx q0[7],q1[5];
cx q0[8],q1[5];
measure q1[0] -> c0[0];
measure q1[1] -> c0[1];
measure q1[2] -> c0[2];
measure q1[3] -> c0[3];
measure q1[4] -> c0[4];
measure q1[5] -> c0[5];
h q0[0];
h q0[1];
h q0[2];
h q0[3];
h q0[4];
h q0[5];
h q0[6];
h q0[7];
h q0[8];
cx q0[0],q1[6];
cx q0[3],q1[7];
cx q0[1],q1[6];
cx q0[4],q1[7];
cx q0[2],q1[6];
cx q0[5],q1[7];
cx q0[3],q1[6];
cx q0[6],q1[7];
cx q0[4],q1[6];
cx q0[7],q1[7];
cx q0[5],q1[6];
cx q0[8],q1[7];
measure q1[6] -> c0[6];
measure q1[7] -> c0[7];
h q0[0];
h q0[1];
h q0[2];
h q0[3];
h q0[4];
h q0[5];
h q0[6];
h q0[7];
Loading

0 comments on commit 800f53f

Please sign in to comment.