1 files changed, 52 insertions, 0 deletions
diff --git a/examples/double_for_loop.gsa b/examples/double_for_loop.gsa
new file mode 100644
index 0000000..f035e8a
--- /dev/null
+++ b/examples/double_for_loop.gsa
@@ -0,0 +1,52 @@
+f(x16, x8) {
+   46:	nop
+   45:	nop
+   44:	x36 = 0
+   43:	nop
+   42:	nop
+   41:	x34 = μ(x38, x36)
+     nop
+   40:	x140 = x34
+   39:	x156 = x140 >>x 1
+   38:	x148 = x156 * 2 + 0 (int)
+   37:	x132 = x140 - x148
+   36:	if (x132 !=u 0) goto 34 else goto 35
+   35:	goto 29
+   34:	x108 = long32signed(x34)
+   33:	x124 = x108
+   32:	x116 = int32[x8 + x124 * 4 + 0]
+   31:	int32[x16 + x108 * 4 + 0] = x116
+   30:	nop
+   29:	nop
+   28:	x38 = x34 + 1 (int)
+   27:	if (x38 <s 1000) goto 2 else goto 26
+   26:	x157 = η(((¬(x132 !=u 0) ∨ (x132 !=u 0)) ∧ ¬(x38 <s 1000)), x34)
+     nop
+   25:	x28 = 0
+   24:	nop
+   23:	nop
+   22:	x26 = μ(x28, x30)
+     nop
+   21:	x84 = x26
+   20:	x100 = x84 >>x 1
+   19:	x92 = x100 * 2 + 0 (int)
+   18:	x76 = x84 - x92
+   17:	if (x76 ==u 0) goto 15 else goto 16
+   16:	goto 10
+   15:	x52 = long32signed(x26)
+   14:	x68 = x52
+   13:	x60 = int32[x8 + x68 * 4 + 0]
+   12:	int32[x16 + x52 * 4 + 0] = x60
+   11:	nop
+   10:	nop
+    9:	x30 = x26 + 1 (int)
+    8:	if (x30 <s 1000) goto 4 else goto 7
+    7:	x158 = η(((¬(x76 ==u 0) ∨ (x76 ==u 0)) ∧ ¬(x30 <s 1000)), x26)
+     nop
+    6:	x44 = int32[x16 + 400]
+    5:	return x44
+    4:	nop
+    3:	goto 22
+    2:	nop
+    1:	goto 41
+}