- Added function printTypeOfAny function to c_runtime for GDB debuggi…

…ng of MetaModelica code - Simply use the command "out printTypeOfAny(exp)" (or printAny()) in GDB to print the data structure's type or value - Fixed a problem with mmc_mk_rcon on 64-bit architectures git-svn-id: https://openmodelica.org/svn/OpenModelica/trunk@5747 f25d12d1-65f4-0310-ae8a-bbce733d8d8e
OpenModelica · Jun 29, 2010 · 747e7d3 · 747e7d3
1 parent 8c29228
commit 747e7d3
Show file tree

Hide file tree

Showing 2 changed files with 90 additions and 3 deletions.
diff --git a/c_runtime/meta_modelica.c b/c_runtime/meta_modelica.c
@@ -36,7 +36,7 @@ const struct mmc_header mmc_prim_nil = { MMC_NILHDR };
 
 union mmc_double_as_words {
     double d;
-    mmc_uint_t data[2];
+    mmc_uint_t data[MMC_SIZE_DBL/MMC_SIZE_INT];
 };
 
 void *mmc_alloc_bytes(unsigned nbytes)
@@ -59,14 +59,16 @@ void mmc_prim_set_real(struct mmc_real *p, double d)
   union mmc_double_as_words u;
   u.d = d;
   p->data[0] = u.data[0];
-  p->data[1] = u.data[1];
+  if (MMC_SIZE_DBL/MMC_SIZE_INT > 1)
+    p->data[1] = u.data[1];
 }
 
 double mmc_prim_get_real(void *p)
 {
     union mmc_double_as_words u;
     u.data[0] = MMC_REALDATA(p)[0];
-    u.data[1] = MMC_REALDATA(p)[1];
+    if (MMC_SIZE_DBL/MMC_SIZE_INT > 1)
+      u.data[1] = MMC_REALDATA(p)[1];
     return u.d;
 }
 
@@ -465,3 +467,87 @@ void printAny(void* any) /* For debugging */
   EXIT(1);
 }
 
+void printTypeOfAny(void* any) /* for debugging */
+{
+  mmc_uint_t hdr;
+  int numslots;
+  unsigned ctor;
+  int i;
+  void *data;
+  struct record_description *desc;
+
+  if ((0 == ((mmc_sint_t)any & 1))) {
+    fprintf(stderr, "Integer");
+    return;
+  }
+
+  hdr = MMC_GETHDR(any);
+
+  if (hdr == MMC_NILHDR) {
+    fprintf(stderr, "list<Any>");
+    return;
+  }
+
+  if (hdr == MMC_REALHDR) {
+    fprintf(stderr, "Real");
+    return;
+  }
+
+  if (MMC_HDRISSTRING(hdr)) {
+    fprintf(stderr, "String");
+    return;
+  }
+
+  numslots = MMC_HDRSLOTS(hdr);
+  ctor = 255 & (hdr >> 2);
+
+  if (numslots>0 && ctor == MMC_ARRAY_TAG) { /* MetaModelica-style array */
+    fprintf(stderr, "meta_array<");
+    data = MMC_FETCH(MMC_OFFSET(MMC_UNTAGPTR(any),1));
+    printTypeOfAny(data);
+    fprintf(stderr, ">");
+    return;
+  }
+  if (numslots>0 && ctor > 1) { /* RECORD */
+    desc = MMC_FETCH(MMC_OFFSET(MMC_UNTAGPTR(any),1));
+    fprintf(stderr, "%s(", desc->name);
+    for (i=2; i<=numslots; i++) {
+      data = MMC_FETCH(MMC_OFFSET(MMC_UNTAGPTR(any),i));
+      fprintf(stderr, "%s = ", desc->fieldNames[i-2]);
+      printTypeOfAny(data);
+      if (i!=numslots)
+        fprintf(stderr, ", ");
+    }
+    fprintf(stderr, ")");
+    return;
+  }
+
+  if (numslots>0 && ctor == 0) { /* TUPLE */
+    fprintf(stderr, "tuple<");
+    printTypeOfAny(MMC_FETCH(MMC_OFFSET(MMC_UNTAGPTR(any),1)));
+    fprintf(stderr, ">");
+    return;
+  }
+
+  if (numslots==0 && ctor==1) /* NONE() */ {
+    fprintf(stderr, "Option<Any>");
+    return;
+  }
+
+  if (numslots==1 && ctor==1) /* SOME(x) */ {
+    fprintf(stderr, "Option<");
+    printTypeOfAny(MMC_FETCH(MMC_OFFSET(MMC_UNTAGPTR(any),1)));
+    fprintf(stderr, ">");
+    return;
+  }
+
+  if (numslots==2 && ctor==1) { /* CONS-PAIR */
+    fprintf(stderr, "list<");
+    printTypeOfAny(MMC_CAR(any));
+    fprintf(stderr, ">");
+    return;
+  }
+
+  fprintf(stderr, "%s:%d: %d slots; ctor %d - FAILED to detect the type\n", __FILE__, __LINE__, numslots, ctor);
+  EXIT(1);
+}
diff --git a/c_runtime/meta_modelica.h b/c_runtime/meta_modelica.h
@@ -150,6 +150,7 @@ typedef modelica_boolean mmc__uniontype__metarecord__typedef__equal_rettype;
 mmc__uniontype__metarecord__typedef__equal_rettype mmc__uniontype__metarecord__typedef__equal(void*,int,int,modelica_string_t);
 
 void printAny(void*); /* For debugging */
+void printTypeOfAny(void*); /* For debugging */
 
 /*
  * Generated (Meta)Records should access a static, constant value of