Stuff moved from old Matita.

[helm.git] / matita / matita / contribs / assembly / parser / test.c

diff --git a/matita/matita/contribs/assembly/parser/test.c b/matita/matita/contribs/assembly/parser/test.c
new file mode 100755 (executable)
index 0000000..cd8183b
--- /dev/null
+++ b/matita/matita/contribs/assembly/parser/test.c
@@ -0,0 +1,19 @@
+{\r
+       const array[2] of struct { array[2] of byte; word; dword; } n1=[{[0x00,0x01],0x0000,0x00000000},{[0x02,0x03],0x0001,0x00000001}];\r
+\r
+       word n2=n1[0x00].1;\r
+\r
+       byte n3;\r
+\r
+       while(n2)\r
+               {\r
+               dword n1=n1[n2].2;\r
+\r
+               if(n1>0x1234ABCD)\r
+                       { n3=-!~(dw2b(w2dw(b2w(n3)))+0x01-0x02*0x03/0x04>>0x05<<0x06&0x07|0x08^0x09); }\r
+\r
+               n2=n2+0x0001;\r
+               }\r
+\r
+       n3=n1[0x01].0[0x00];\r
+}
\ No newline at end of file