From 1c553e488b50bdce920b7586dddac60fa7fbb055 Mon Sep 17 00:00:00 2001
From: miha-q <>
Date: Fri, 2 Aug 2024 18:39:33 -0400
Subject: [PATCH] Fri Aug  2 06:39:33 PM EDT 2024

---
 examples/ghz.txt |  7 ++++-
 src/gui.html     | 72 ++++++++++++++++++++++++------------------------
 2 files changed, 42 insertions(+), 37 deletions(-)

diff --git a/examples/ghz.txt b/examples/ghz.txt
index 1b3d772..1736457 100644
--- a/examples/ghz.txt
+++ b/examples/ghz.txt
@@ -1,4 +1,9 @@
-qreg q[2];
+qreg q[3];
 h q[0];
 cx q[0], q[1];
+sdg q[1];
+sdg q[2];
+h q[0];
+h q[1];
+h q[2];
 sample q;
\ No newline at end of file
diff --git a/src/gui.html b/src/gui.html
index b0ac8d3..4011569 100644
--- a/src/gui.html
+++ b/src/gui.html
@@ -141,41 +141,45 @@
 	<script>
 		$ = x => { return document.querySelectorAll(x); };
 		IstinaEditor.init();
-		function overline(instr, pos)
+		function overline(instr, pos, compare)
 		{
+			var r;
 			switch (instr)
 			{
 				case "CX":
 					switch (pos)
 					{
-						case "10": return "<span style='text-decoration:overline;'>C</span>X"; break;
-						case "01": return "C<span style='text-decoration:overline;'>X</span>"; break;
+						case "10": r = "<span style='text-decoration:overline;'>C</span>X"; break;
+						case "01": r = "C<span style='text-decoration:overline;'>X</span>"; break;
 					}
 				break;
 				case "SW":
 					switch (pos)
 					{
-						case "10": return "<span style='text-decoration:overline;'>S</span>W"; break;
-						case "01": return "S<span style='text-decoration:overline;'>W</span>"; break;
+						case "10": r = "<span style='text-decoration:overline;'>S</span>W"; break;
+						case "01": r = "S<span style='text-decoration:overline;'>W</span>"; break;
 					}
 				break;
 				case "CCX":
 					switch (pos)
 					{
-						case "100": return "<span style='text-decoration:overline;'>C</span>CX"; break;
-						case "010": return "C<span style='text-decoration:overline;'>C</span>X"; break;
-						case "001": return "CC<span style='text-decoration:overline;'>X</span>"; break;
+						case "100": r = "<span style='text-decoration:overline;'>C</span>CX"; break;
+						case "010": r = "C<span style='text-decoration:overline;'>C</span>X"; break;
+						case "001": r = "CC<span style='text-decoration:overline;'>X</span>"; break;
 					}
 				break;
 				case "CSW":
 					switch (pos)
 					{
-						case "100": return "<span style='text-decoration:overline;'>C</span>SW"; break;
-						case "010": return "C<span style='text-decoration:overline;'>S</span>W"; break;
-						case "001": return "CS<span style='text-decoration:overline;'>W</span>"; break;
+						case "100": r = "<span style='text-decoration:overline;'>C</span>SW"; break;
+						case "010": r = "C<span style='text-decoration:overline;'>S</span>W"; break;
+						case "001": r = "CS<span style='text-decoration:overline;'>W</span>"; break;
 					}
 				break;
 			}
+			if (compare == undefined) return r;
+			compare = compare.replace(/[\"]/g, "'").trim();
+			return compare == r;
 		}
 
 		var INSTRUCTIONS =
@@ -245,7 +249,6 @@
 					{
 						var instr = ProgramTrack.STATE[j][i].trim();
 						if (instr.length == 0) continue;
-						console.log(instr);
 						if (j > maxQ) maxQ = j;
 						switch (instr)
 						{
@@ -267,17 +270,17 @@
 									ret += ifblk + "measure q[" + j + "] -> c[" + num + "];\n";
 								}
 						}
-						if (instr == overline("CX", "10")) { if (cx[1] != -1) { cx[0] = 1; } cx[1] = j; }
-						if (instr == overline("CX", "01")) { if (cx[2] != -1) { cx[0] = 1; } cx[2] = j; }
-						if (instr == overline("SW", "10")) { if (sw[1] != -1) { sw[0] = 1; } sw[1] = j; }
-						if (instr == overline("SW", "01")) { if (sw[2] != -1) { sw[0] = 1; } sw[2] = j; }
+						if (overline("CX", "10", instr)) { if (cx[1] != -1) { cx[0] = 1; } cx[1] = j; }
+						if (overline("CX", "01", instr)) { if (cx[2] != -1) { cx[0] = 1; } cx[2] = j; }
+						if (overline("SW", "10", instr)) { if (sw[1] != -1) { sw[0] = 1; } sw[1] = j; }
+						if (overline("SW", "01", instr)) { if (sw[2] != -1) { sw[0] = 1; } sw[2] = j; }
 
-						if (instr == overline("CCX", "100")) { if (ccx[1] != -1) { ccx[0] = 1; } ccx[1] = j; }
-						if (instr == overline("CCX", "010")) { if (ccx[2] != -1) { ccx[0] = 1; } ccx[2] = j; }
-						if (instr == overline("CCX", "001")) { if (ccx[3] != -1) { ccx[0] = 1; } ccx[3] = j; }
-						if (instr == overline("CSW", "100")) { if (csw[1] != -1) { csw[0] = 1; } csw[1] = j; }
-						if (instr == overline("CSW", "010")) { if (csw[2] != -1) { csw[0] = 1; } csw[2] = j; }
-						if (instr == overline("CSW", "001")) { if (csw[3] != -1) { csw[0] = 1; } csw[3] = j; }
+						if (overline("CCX", "100", instr)) { if (ccx[1] != -1) { ccx[0] = 1; } ccx[1] = j; }
+						if (overline("CCX", "010", instr)) { if (ccx[2] != -1) { ccx[0] = 1; } ccx[2] = j; }
+						if (overline("CCX", "001", instr)) { if (ccx[3] != -1) { ccx[0] = 1; } ccx[3] = j; }
+						if (overline("CSW", "100", instr)) { if (csw[1] != -1) { csw[0] = 1; } csw[1] = j; }
+						if (overline("CSW", "010", instr)) { if (csw[2] != -1) { csw[0] = 1; } csw[2] = j; }
+						if (overline("CSW", "001", instr)) { if (csw[3] != -1) { csw[0] = 1; } csw[3] = j; }
 					}
 
 					if (cx[0]) { ret = "Duplicate `CX` at column " + (i + 1) + "."; break; }
@@ -332,20 +335,17 @@
 						var s = e.getAttribute("pidx").split(",");
 						s[0] = parseInt(s[0]);
 						s[1] = parseInt(s[1]);
-						var state = ProgramTrack.STATE[s[0]][s[1]].replace(/[\"]/g, "'");
-						switch (state)
-						{
-							case overline("CX", "10"):  ProgramTrack.STATE[s[0]][s[1]] = overline("CX", "01"); break;
-							case overline("CX", "01"):  ProgramTrack.STATE[s[0]][s[1]] = overline("CX", "10"); break;
-							case overline("SW", "10"):  ProgramTrack.STATE[s[0]][s[1]] = overline("SW", "01"); break;
-							case overline("SW", "01"):  ProgramTrack.STATE[s[0]][s[1]] = overline("SW", "10"); break;
-							case overline("CCX", "100"):  ProgramTrack.STATE[s[0]][s[1]] = overline("CCX", "010"); break;
-							case overline("CCX", "010"):  ProgramTrack.STATE[s[0]][s[1]] = overline("CCX", "001"); break;
-							case overline("CCX", "001"):  ProgramTrack.STATE[s[0]][s[1]] = overline("CCX", "100"); break;
-							case overline("CSW", "100"):  ProgramTrack.STATE[s[0]][s[1]] = overline("CSW", "010"); break;
-							case overline("CSW", "010"):  ProgramTrack.STATE[s[0]][s[1]] = overline("CSW", "001"); break;
-							case overline("CSW", "001"):  ProgramTrack.STATE[s[0]][s[1]] = overline("CSW", "100"); break;
-						}
+						var state = ProgramTrack.STATE[s[0]][s[1]];
+						if (overline("CX", "10", state)) ProgramTrack.STATE[s[0]][s[1]] = overline("CX", "01");
+						if (overline("CX", "01", state)) ProgramTrack.STATE[s[0]][s[1]] = overline("CX", "10");
+						if (overline("SW", "10", state)) ProgramTrack.STATE[s[0]][s[1]] = overline("SW", "01");
+						if (overline("SW", "01", state)) ProgramTrack.STATE[s[0]][s[1]] = overline("SW", "10");
+						if (overline("CCX", "100", state)) ProgramTrack.STATE[s[0]][s[1]] = overline("CCX", "010");
+						if (overline("CCX", "010", state)) ProgramTrack.STATE[s[0]][s[1]] = overline("CCX", "001");
+						if (overline("CCX", "001", state)) ProgramTrack.STATE[s[0]][s[1]] = overline("CCX", "100");
+						if (overline("CSW", "100", state)) ProgramTrack.STATE[s[0]][s[1]] = overline("CSW", "010");
+						if (overline("CSW", "010", state)) ProgramTrack.STATE[s[0]][s[1]] = overline("CSW", "001");
+						if (overline("CSW", "001", state)) ProgramTrack.STATE[s[0]][s[1]] = overline("CSW", "100");
 						var instr = ProgramTrack.STATE[s[0]][s[1]].split("<")[0];
 						switch (instr)
 						{
-- 
2.39.5