X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2Fmatita%2Fcontribs%2Fassembly%2Fparser%2Ftest.c;fp=matita%2Fmatita%2Fcontribs%2Fassembly%2Fparser%2Ftest.c;h=cd8183bf24ced76deab4a8613e1cbfac22d573c8;hb=2c01ff6094173915e7023076ea48b5804dca7778;hp=0000000000000000000000000000000000000000;hpb=a050e3f80d7ea084ce0184279af98e8251c7d2a6;p=helm.git

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