matitaB/matita/contribs/assembly/parser/test.c

   1 {\r
   2         const array[2] of struct { array[2] of byte; word; dword; } n1=[{[0x00,0x01],0x0000,0x00000000},{[0x02,0x03],0x0001,0x00000001}];\r
   3 \r
   4         word n2=n1[0x00].1;\r
   5 \r
   6         byte n3;\r
   7 \r
   8         while(n2)\r
   9                 {\r
  10                 dword n1=n1[n2].2;\r
  11 \r
  12                 if(n1>0x1234ABCD)\r
  13                         { n3=-!~(dw2b(w2dw(b2w(n3)))+0x01-0x02*0x03/0x04>>0x05<<0x06&0x07|0x08^0x09); }\r
  14 \r
  15                 n2=n2+0x0001;\r
  16                 }\r
  17 \r
  18         n3=n1[0x01].0[0x00];\r
  19 }