X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=dump-spo2.c;h=93606cd9b9a1f465ff4a8e41ff677409a75718f2;hb=afb45b508e1aa6aa3bc2eba915c547178d4a4c4c;hp=06b3902e3efd22cea75daf343f9906c14892100d;hpb=53fb600bd20576419781bbca4c3d3c6be420a599;p=pspp

diff --git a/dump-spo2.c b/dump-spo2.c
index 06b3902e3e..93606cd9b9 100644
--- a/dump-spo2.c
+++ b/dump-spo2.c
@@ -25,6 +25,9 @@ unsigned int pos;
 #define STR(x) XSTR(x)
 #define WHERE __FILE__":" STR(__LINE__)
 
+static void __attribute__((unused))
+hex_dump(FILE *stream, int ofs, int n);
+
 static uint8_t
 get_byte(void)
 {
@@ -109,7 +112,8 @@ match_u32_assert(uint32_t x, const char *where)
   unsigned int y = get_u32();
   if (x != y)
     {
-      fprintf(stderr, "%s: 0x%x: expected i%u, got i%u\n", where, pos - 4, x, y);
+      fprintf(stderr, "%s: 0x%x: expected i%u, got i%u: ", where, pos - 4, x, y);
+      hex_dump(stderr, pos - 4, 64);
       exit(1);
     }
 }
@@ -121,7 +125,8 @@ match_u16_assert(uint16_t x, const char *where)
   unsigned int y = get_u16();
   if (x != y)
     {
-      fprintf(stderr, "%s: 0x%x: expected u16:%u, got u16:%u\n", where, pos - 2, x, y);
+      fprintf(stderr, "%s: 0x%x: expected u16:%u, got u16:%u: ", where, pos - 2, x, y);
+      hex_dump(stderr, pos - 2, 64);
       exit(1);
     }
 }
@@ -186,7 +191,8 @@ match_byte_assert(uint8_t b, const char *where)
 {
   if (!match_byte(b))
     {
-      fprintf(stderr, "%s: 0x%x: expected %02x, got %02x\n", where, pos, b, data[pos]);
+      fprintf(stderr, "%s: 0x%x: expected %02x, got %02x: ", where, pos, b, data[pos]);
+      hex_dump(stderr, pos, 64);
       exit(1);
     }
 }
@@ -474,8 +480,9 @@ match_zeros_assert(int count, const char *where)
     if (data[pos + i])
       {
         fprintf (stderr,
-                 "%s: %#x: expected %d zeros here but offset %d is %#"PRIx8"\n",
+                 "%s: %#x: expected %d zeros here but offset %d is %#"PRIx8": ",
                  where, pos, count, i, data[pos + i]);
+        hex_dump (stderr, pos, 64);
         exit (1);
       }
   pos += count;
@@ -499,18 +506,20 @@ put_safe(const char *s)
     }
 }
 
+static void parse_flexible(void);
+
 static void
 parse_DspString(void)
 {
+  printf("%#x: DspString(", pos);
   if (match_byte(2))
     {
-      printf("DspString(%f, \"", get_double());
+      printf("%f, \"", get_double());
       printf("%s\")\n", get_string1());
     }
   else
     {
       match_byte_assert(1);
-      printf ("DspString(");
       parse_format();
       printf(" \"");
       match_byte_assert(0);
@@ -533,10 +542,29 @@ match_DspSimpleText(void)
 {                               /* 03 80 */
   match_byte_assert(3);
   match_byte_assert(0x80);
+  match_byte_assert(0);
+  if (match_byte(0))
+    {
+      match_zeros_assert(3);
+      if (!match_byte(0x10))
+        match_byte_assert(0);
+      match_zeros_assert(4);
+    }
+}
+
+static void
+parse_weirdness(void)
+{
+  match_byte_assert(1);
+  get_u32();
+  match_zeros_assert(12);
+  pos++;                        /* 90 or BC */
+  if (!match_byte(2))
+    match_byte_assert(1);
   match_zeros_assert(5);
-  if (!match_byte(0x10))
-    match_byte_assert(0);
-  match_zeros_assert(4);
+  pos++;
+  match_zeros_assert(3);
+  puts(get_padded_string(32));
 }
 
 static void
@@ -545,21 +573,69 @@ match_NavTreeViewItem(void)
   match_byte_assert(7);
   match_byte_assert(0x80);
   match_zeros_assert(1);
-  if (!match_byte(0) && !match_byte(7))
+  if (!match_byte(0) && !match_byte(7) && !match_byte(2))
     match_byte_assert(8);
   match_zeros_assert(3);
   pos++;
   match_byte_assert(0);
   match_byte_assert(1);
-  match_zeros_assert(3);
-  if (!match_byte(0))
-    match_byte_assert(1);
-  match_zeros_assert(5);
-  match_byte_assert(1);
-  match_zeros_assert(5);
-
-  put_safe(get_string1());
-  putc('\n', stdout);
+  match_byte_assert(0);
+  if (match_byte(0))
+    {
+      match_byte_assert(0);
+      if (!match_byte(1))
+        match_byte_assert(0);
+      match_zeros_assert(5);
+      if (!match_byte(0))
+        match_byte_assert(1);
+      match_zeros_assert(5);
+      get_string1();
+      if (match_byte(1))
+        {
+          if (data[pos] == 1)
+            {
+              parse_weirdness();
+              match_byte_assert(0);
+              pos++;
+              match_zeros_assert(11);
+              match_byte_assert(1);
+              match_zeros_assert(3);
+              get_string4();
+              match_byte_assert(0);
+              if (match_byte(0))
+                {
+                  match_zeros_assert(2);
+                  if (match_u32(8500))
+                    match_u32_assert(11000);
+                  else
+                    {
+                      match_u32_assert(11000);
+                      match_u32_assert(8500);
+                    }
+                  pos += 32;
+                  get_string1();
+                  if (!match_byte(0))
+                    match_byte_assert(1);
+                  pos++;
+                  pos++;
+                  pos++;
+                  pos++;
+                  get_string4();                /* page title */
+                  match_byte_assert(1);
+                  match_byte_assert(1);
+                  match_zeros_assert(3);
+                  get_string4();                /* page number */
+                  match_byte_assert(0);
+                  pos += 2;
+                  match_u16_assert(2);
+                }
+              parse_flexible();
+            }
+        }
+      else
+        match_zeros_assert(3);
+    }
+  //fprintf(stderr, "%#x ", pos - 16);
 }
 
 static void
@@ -582,8 +658,6 @@ match_DspNumber(void)
   parse_DspNumber();
 }
 
-static void parse_flexible(void);
-
 static void
 parse_DspCell(void)
 {
@@ -600,6 +674,21 @@ match_DspCell(void)
   parse_DspCell();
 }
 
+static void
+parse_NavLog(void)
+{
+  match_byte_assert(2);
+  pos += 32;
+}
+
+static void
+match_NavLog(void)
+{                               /* 09 80 */
+  match_byte_assert(9);
+  match_byte_assert(0x80);
+  parse_NavLog();
+}
+
 static void
 parse_PMModelItemInfo(void)
 {                               /* 54 80 */
@@ -631,9 +720,128 @@ match_PMPivotItemTree(void)
   match_PMModelItemInfo();
 }
 
+static void
+parse_NavHead(void)
+{
+  match_byte_assert(2);
+  match_zeros_assert(24);
+  match_byte_assert(1);
+  match_zeros_assert(3);
+  if (!match_byte(1))
+    match_byte_assert(0);
+  match_zeros_assert(3);
+  match_DspSimpleText();
+  parse_flexible();
+}
+
+static void
+parse_NavOleItem(void)
+{
+  match_byte_assert(0);
+  match_byte_assert(1);
+  match_zeros_assert(2);
+  pos++;
+  match_zeros_assert(9);
+  match_byte_assert(1);
+  match_zeros_assert(10);
+  match_byte_assert(1);
+  match_zeros_assert(5);
+  get_string1();
+  match_byte_assert(1);
+  parse_weirdness();
+  match_byte_assert(0);
+  pos++;
+  match_zeros_assert(11);
+  match_byte_assert(1);
+  match_zeros_assert(3);
+  get_string4();
+  match_byte_assert(0);
+}
+
+static void
+match_NavOleItem(void)
+{                               /* 0e 80 or 12 80*/
+  if (!match_byte(0x12))
+    match_byte_assert(0x0e);
+  match_byte_assert(0x80);
+  parse_NavOleItem();
+}
+
+static void
+parse_NavTitle(void)
+{
+  match_byte_assert(2);
+  match_zeros_assert(8);
+  match_u32_assert(24);
+  get_u32();
+  pos++;
+  if (!match_byte(3))
+    match_byte_assert(4);
+  match_zeros_assert(2);
+  get_u32();
+  match_u32_assert(2);
+  if (!match_u32(2))
+    match_u32_assert(1);
+}
+
+static void
+parse_NavNote(void)
+{
+  match_byte_assert(2);
+  match_zeros_assert(8);
+  match_u32_assert(24);
+  if (!match_u32(0) && !match_u32(0xffffff4b))
+    match_u32_assert(-40);
+  pos += 8;
+  match_u32_assert(2);
+  if (!match_u32(2))
+    match_u32_assert(1);
+}
+
+static void
+parse_PTPivotController(void)
+{
+  match_byte_assert(2);
+  pos += 8;
+  match_u32_assert(100);
+  match_u32_assert(100);
+  match_u32_assert(100);
+  match_u32_assert(100);
+}
+
+static void
+parse_PVPivotView(void)
+{
+  match_byte_assert(5);
+  match_zeros_assert(4);
+}
+
+static void
+parse_NDimensional__DspCell(void)
+{
+  match_byte_assert(0);
+  match_u32_assert(1);
+}
+
+static void
+parse_IndexedCollection(void)
+{
+  match_byte_assert(0);
+  if (match_byte(0))
+    {
+      match_zeros_assert(12);
+    }
+  else
+    {
+      get_u32();
+      match_u16_assert(1);
+    }
+}
+
 static void
 parse_flexible(void)
 {
+  int start = pos;
   if (data[pos] == 0xff && data[pos + 1] == 0xff)
     {
       match_u16_assert(0xffff);
@@ -645,43 +853,257 @@ parse_flexible(void)
         parse_DspNumber();
       else if (!strcmp(heading, "DspString"))
         parse_DspString();
+      else if (!strcmp(heading, "NavHead"))
+        parse_NavHead();
+      else if (!strcmp(heading, "IndexedCollection"))
+        parse_IndexedCollection();
+      else if (!strcmp(heading, "NavOleItem"))
+        parse_NavOleItem();
+      else if (!strcmp(heading, "NavTitle"))
+        parse_NavTitle();
+      else if (!strcmp(heading, "NavNote"))
+        parse_NavNote();
+      else if (!strcmp(heading, "PTPivotController"))
+        parse_PTPivotController();
+      else if (!strcmp(heading, "PVPivotView"))
+        parse_PVPivotView();
+      else if (!strcmp(heading, "PMPivotModel"))
+        match_byte_assert(3);
+      else if (!strcmp(heading, "NDimensional__DspCell"))
+        parse_NDimensional__DspCell();
+      else if (!strcmp(heading, "PMPivotItemTree"))
+        match_byte_assert(0);
+      else if (!strcmp(heading, "PMModelItemInfo"))
+        parse_PMModelItemInfo();
+      else if (!strcmp(heading, "AbstractTreeBranch"))
+        match_byte_assert(0);
       else
-        assert(0);
-    }
-  else if (data[pos] == 0x2a && data[pos + 1] == 0x80)
-    match_DspNumber();
-  else if (data[pos] == 0x27 && data[pos + 1] == 0x80)
-    match_DspCell();
-  else if (data[pos] == 0x5 && data[pos + 1] == 0x80)
-    match_DspString();
-  else if ((data[pos] == 0x3c || data[pos] == 0x39)
-            && data[pos + 1] == 0x80)
-    {
-      /* 3c 80 */
-      /* 39 80 */
-      pos += 2;
-      parse_format();
+        {
+          fprintf(stderr, "don't know %s at offset 0x%x: ", heading, start);
+          hex_dump(stderr, pos, 64);
+          assert(0);
+        }
+    }
+  else if (data[pos + 1] == 0x80)
+    {
+      if (data[pos] == 0x2a && data[pos + 1] == 0x80)
+        match_DspNumber();
+      else if (data[pos] == 0x27 && data[pos + 1] == 0x80)
+        match_DspCell();
+      else if (data[pos] == 0x5 && data[pos + 1] == 0x80)
+        match_DspString();
+      else if (data[pos] == 0x7 && data[pos + 1] == 0x80)
+        match_NavTreeViewItem();
+      else if (data[pos] == 0x3 && data[pos + 1] == 0x80)
+        match_DspSimpleText();
+      else if ((data[pos] == 0x3c || data[pos] == 0x39)
+               && data[pos + 1] == 0x80)
+        {
+          /* 3c 80 */
+          /* 39 80 */
+          pos += 2;
+          parse_format();
 /*      match_byte_assert(0x01);
-      match_byte_assert(0x02);
-      match_byte_assert(0x0d); */
+        match_byte_assert(0x02);
+        match_byte_assert(0x0d); */
+        }
+      else if (data[pos] == 0x15 && data[pos + 1] == 0x80)
+        {
+          /* 15 80 */
+          pos += 2;
+          if (match_byte(2))
+            {
+              printf ("15 80(%f", get_double());
+              printf (" %s)\n", get_string1());
+              if (match_byte(1))
+                {
+                  match_byte_assert(0);
+                  get_string1();
+                  if (!match_byte(2) && !match_byte(3))
+                    match_byte_assert(0);
+                  match_zeros_assert(3);
+                  get_string1();
+                  match_byte_assert(0);
+                  match_byte_assert(1);
+                  match_zeros_assert(3);
+                  match_byte_assert(1);
+                  match_byte_assert(0);
+                }
+            }
+          else
+            {
+              match_byte_assert(0);
+              if (match_u32(0xc))
+                match_u16_assert(1);
+              else
+                match_zeros_assert(13);
+            }
+        }
+      else if (data[pos] == 0x9 && data[pos + 1] == 0x80)
+        {
+          match_NavLog();
+        }
+      else if (data[pos] == 0xe || data[pos] == 0x12)
+        match_NavOleItem();
+      else if (data[pos] == 0x11 || data[pos] == 0x13)
+        {
+          pos += 2;
+          match_byte_assert(0);
+          if (match_u32(0xc) || match_u32(0xd))
+            match_u16_assert(1);
+          else
+            match_zeros_assert(13);
+        }
+      else if (data[pos] == 0x29 ||
+               data[pos] == 0x2b ||
+               data[pos] == 0x2d ||
+               data[pos] == 0x31 ||
+               data[pos] == 0x32 ||
+               data[pos] == 0x4a ||
+               data[pos] == 0x4c ||
+               data[pos] == 0x4f ||
+               data[pos] == 0x4d ||
+               data[pos] == 0x50 ||
+               data[pos] == 0x36 ||
+               data[pos] == 0x52 ||
+               data[pos] == 0x53 ||
+               data[pos] == 0x54 ||
+               data[pos] == 0x55 ||
+               data[pos] == 0x57 ||
+               data[pos] == 0x56 ||
+               data[pos] == 0x58 ||
+               data[pos] == 0x5c ||
+               data[pos] == 0x5b ||
+               data[pos] == 0x5e ||
+               data[pos] == 0x62 ||
+               data[pos] == 0x64 ||
+               data[pos] == 0x4e ||
+               data[pos] == 0x51 ||
+               data[pos] == 0x59 ||
+               data[pos] == 0x5a ||
+               data[pos] == 0x5d ||
+               data[pos] == 0x66 ||
+               data[pos] == 0x60 ||
+               data[pos] == 0x68 ||
+               data[pos] == 0x48 ||
+               data[pos] == 0x6a ||
+               data[pos] == 0x37)
+        {
+          pos += 2;
+          match_byte_assert(0);
+        }
+      else if (data[pos] == 0x2c ||
+               data[pos] == 0x2e ||
+               data[pos] == 0x30 ||
+               data[pos] == 0x34 ||
+               data[pos] == 0x3d ||
+               data[pos] == 0x40 ||
+               data[pos] == 0x3f ||
+               data[pos] == 0x42 ||
+               data[pos] == 0x43 ||
+               data[pos] == 0x44 ||
+               data[pos] == 0x49 ||
+               data[pos] == 0x3e ||
+               data[pos] == 0x46)
+        {
+          pos += 2;
+          parse_format();
+        }
+      else
+        {
+#if 0
+          fprintf (stderr, "bad record 0x%02x at offset %x: ",
+                   data[pos], pos);
+#endif
+          hex_dump (stderr, pos, 64);
+          assert(0);
+        }
+    }
+  else if (match_byte(0xa)) 
+    {
+      match_byte_assert(0);
+      if (match_u16(0x0e74))
+        match_byte_assert(0);
+      else
+        {
+          match_zeros_assert(4);
+          assert(pos == n);
+          exit (0);
+        }
+    }
+  else if (match_byte(1))
+    {
+      match_byte_assert(0);
+      get_string1();
+      if (!match_byte(2))
+        match_byte_assert(0);
+      match_zeros_assert(3);
+      get_string1();
+      if (match_byte(0x08))
+        {
+          match_byte_assert(0);
+          match_u16_assert(0x0e74);
+          match_byte_assert(0);
+        }
+      else if (match_byte(3))
+        {
+          match_byte_assert(0);
+          if (match_u16(0x0e74))
+            match_byte_assert(0);
+          else
+            {
+              match_zeros_assert(6);
+              if (!match_byte(0xe) && !match_byte(0x11))
+                match_byte_assert(0);
+              match_byte_assert(0);
+              if (!match_u16(0x0e74))
+                match_u16_assert(0);
+              match_byte_assert(0);
+            }
+        }
+      else
+        {
+          match_byte_assert(0);
+          match_byte_assert(1);
+          match_zeros_assert(3);
+          match_byte_assert(1);
+          match_byte_assert(0);
+        }
+    }
+  else if (match_byte(7) || match_byte(4) || match_byte(5) || match_byte(6) || match_byte(8) || match_byte(9) || match_byte(0xb) || match_byte(0xc))
+    {
+      match_byte_assert(0);
+      if (!match_u16(0x0e74))
+        match_byte_assert(0);
+      match_byte_assert(0);
     }
-  else if (data[pos] == 0x15 && data[pos + 1] == 0x80)
+  else if (match_byte(2) || match_byte(3))
     {
-      /* 15 80 */
-      data += 2;
-      match_byte_assert(2);
-      printf ("15 80(%f", get_double());
-      printf (" %s)\n", get_string1());
+      match_byte_assert(0);
+      if (!match_u16(0x0e74))
+        {
+          match_zeros_assert(6);
+          if (match_byte(0))
+            match_zeros_assert(4);
+          else
+            {
+              pos++;
+              match_byte(0);
+              match_u16_assert(0x0e74);
+            }
+        }
+      //match_byte_assert(0);
     }
   else
     {
-      fprintf (stderr, "bad data cell 0x%02x at offset %x\n",
-               data[pos], pos);
+      //fprintf (stderr, "bad record start at offset %x: ", pos);
       hex_dump (stderr, pos, 64);
       assert(0);
     }
 }
 
+
+
 int
 main(int argc, char *argv[])
 {
@@ -723,7 +1145,7 @@ main(int argc, char *argv[])
       exit(1);
     }
   n = s.st_size;
-  data = malloc(n);
+  data = malloc(n + 256);
   if (!data)
     {
       perror("malloc");
@@ -734,6 +1156,8 @@ main(int argc, char *argv[])
       perror("read");
       exit(1);
     }
+  for (int i = 0; i < 256; i++)
+    data[n + i] = i % 2 ? 0xaa : 0x55;
   close(fd);
 
   setvbuf (stdout, NULL, _IOLBF, 0);
@@ -756,39 +1180,66 @@ main(int argc, char *argv[])
 
   parse_heading("NavTreeViewItem");
   match_byte_assert(0);
-  match_u32_assert(0);
+  if (!match_u32(1))
+    match_u32_assert(0);
   match_byte_assert(2);
   match_byte_assert(0);
   match_byte_assert(1);
   match_zeros_assert(9);
   match_u32_assert(1);
-  assert (pos == 0xb0);
 
-  pos += 0x28;
-  match_zeros_assert(5);
-  if (match_u32(8500))
-    match_u32_assert(11000);
-  else
+  match_u32_assert(0);
+  match_u32_assert(0x18);
+  if (!match_u32(0))
+    match_u32_assert(0xffffffd8);
+  match_u32_assert(0xffffffde);
+  match_u32_assert(0x18);
+  if (!match_u32(0))
+    match_u32_assert(0xffffffd8);
+  match_u32_assert(0x28);
+  match_u32_assert(0x28);
+  pos += 8;
+  if (data[pos] == 0)
     {
-      match_u32_assert(11000);
-      match_u32_assert(8500);
+      match_zeros_assert(5);
+
+      if (match_u32(8500))
+        match_u32_assert(11000);
+      else
+        {
+          match_u32_assert(11000);
+          match_u32_assert(8500);
+        }
+      pos += 32;
+      get_string1();
+      if (!match_byte(0))
+        match_byte_assert(1);
+      pos++;
+      pos++;
+      pos++;
+      pos++;
+      get_string4();                /* page title */
+      match_byte_assert(1);
+      match_byte_assert(1);
+      match_zeros_assert(3);
+      get_string4();                /* page number */
+      match_byte_assert(0);
+      pos += 2;
+      match_u16_assert(2);
     }
-  pos = 0x105;
-  match_string1_assert("(Continued)");
-  match_byte_assert(1);
-  match_byte_assert(1);
-  match_zeros_assert(3);
-  get_string4();                /* page title */
-  match_byte_assert(1);
-  match_byte_assert(1);
-  match_zeros_assert(3);
-  get_string4();                /* page number */
-  match_byte_assert(0);
-  pos += 2;
-  match_u16_assert(2);
 
+  if (data[pos + 9] != 'L')
+    exit(0);
   parse_heading("NavLog");
-  pos = 0x36b;
+  parse_NavLog();
+  for (;;)
+    {
+      if (data[pos] == 0)
+        pos++;
+      else
+        parse_flexible();
+    }
+  exit(0);
   puts(get_padded_string(32));
   if (!match_u32(80))
     match_u32_assert(132);
@@ -799,12 +1250,7 @@ main(int argc, char *argv[])
   match_byte_assert(0);
 
   parse_heading("NavHead");
-  match_byte_assert(2);
-  match_zeros_assert(24);
-  match_u32_assert(1);
-  match_u32_assert(0);
-  match_DspSimpleText();
-  match_DspString();
+  parse_NavHead();
   match_NavTreeViewItem();
   match_zeros_assert(3);
 
@@ -868,6 +1314,7 @@ main(int argc, char *argv[])
   match_zeros_assert(3);
   match_byte_assert(1);
   match_byte_assert(0);
+  match_zeros_assert(7);
 
   while (data[pos] != 1)
     {