#include <config.h>
#include <glib.h>
#include <stdio.h>
+#ifdef HAVE_WCHAR_H
#include <wchar.h>
+#endif
#include "meta.h"
#include "get.h"
#include "dump.h"
#include "dis-cil.h"
-
-enum {
- InlineBrTarget,
- InlineField,
- InlineI,
- InlineI8,
- InlineMethod,
- InlineNone,
- InlineR,
- InlineSig,
- InlineString,
- InlineSwitch,
- InlineTok,
- InlineType,
- InlineVar,
- ShortInlineBrTarget,
- ShortInlineI,
- ShortInlineR,
- ShortInlineVar
-};
-
-#define OPDEF(a,b,c,d,e,f,g,h,i,j) \
- { b, e, g, h, i },
-
-typedef struct {
- char *name;
- int argument;
-
- /*
- * we are not really using any of the following:
- */
- int bytes;
- unsigned char o1, o2;
-} opcode_t;
-
-static opcode_t opcodes [300] = {
-#include "mono/cil/opcode.def"
-};
+#include "mono/metadata/opcodes.h"
/*
* Strings on the US heap are encoded using UTF-16. Poor man's
indent[indent_level*2] = 0;
void
-dissasemble_cil (MonoMetadata *m, MonoMethodHeader *mh)
+dissasemble_cil (MonoImage *m, MonoMethodHeader *mh)
{
const unsigned char *start = mh->code;
int size = mh->code_size;
const unsigned char *end = start + size;
const unsigned char *ptr = start;
- opcode_t *entry;
+ const MonoOpcode *entry;
char indent[1024];
int i, indent_level = 0;
- char *clause_names[] = {"catch", "filter", "finally", "fault"};
+ const char *clause_names[] = {"catch", "filter", "finally", "fault"};
indent [0] = 0;
+#ifdef DEBUG
+ for (i = 0; i < mh->num_clauses; ++i) {
+#define clause mh->clauses [i]
+ g_print ("out clause %d: from %d len=%d, handler at %d, %d\n",
+ clause.flags, clause.try_offset, clause.try_len, clause.handler_offset, clause.handler_len);
+#undef clause
+ }
+#endif
while (ptr < end){
- /* first pass to get the end clauses */
- for (i = 0; i < mh->num_clauses; ++i) {
- if (!mh->clauses[i].flags && ptr == start + mh->clauses[i].try_offset + mh->clauses[i].try_len) {
- CODE_UNINDENT;
- fprintf (output, "\t%s} // end .try %d\n", indent, i);
- }
- if (ptr == start + mh->clauses[i].handler_offset + mh->clauses[i].handler_len) {
- CODE_UNINDENT;
- fprintf (output, "\t%s} // end handler %d\n", indent, i);
- }
- }
- for (i = 0; i < mh->num_clauses; ++i) {
- if (!mh->clauses[i].flags && ptr == start + mh->clauses[i].try_offset) {
+ for (i = mh->num_clauses - 1; i >= 0 ; --i) {
+ if ((mh->clauses[i].flags == 0 || mh->clauses[i].flags == 2) && ptr == start + mh->clauses[i].try_offset) {
fprintf (output, "\t%s.try { // %d\n", indent, i);
CODE_INDENT;
}
}
}
fprintf (output, "\t%sIL_%04x: ", indent, (int) (ptr - start));
+ i = *ptr;
if (*ptr == 0xfe){
ptr++;
- entry = &opcodes [*ptr + 256];
- } else
- entry = &opcodes [*ptr];
+ i = *ptr + 256;
+ }
+ entry = &mono_opcodes [i];
- fprintf (output, "%s ", entry->name);
+ fprintf (output, "%s ", mono_opcode_names [i]);
ptr++;
switch (entry->argument){
- case InlineBrTarget: {
- gint target = *(gint32 *) ptr;
- fprintf (output, "IL_%04x", ((int) (ptr - start)) + 4 + target);
+ case MonoInlineBrTarget: {
+ gint target = read32 (ptr);
+ fprintf (output, "IL_%04x\n", ((int) (ptr - start)) + 4 + target);
ptr += 4;
break;
}
- case InlineField: {
- guint32 token = *(guint32 *) ptr;
+ case MonoInlineField: {
+ guint32 token = read32 (ptr);
char *s;
s = get_field (m, token);
break;
}
- case InlineI: {
- int value = *(int *) ptr;
+ case MonoInlineI: {
+ int value = read32 (ptr);
fprintf (output, "%d", value);
ptr += 4;
break;
}
- case InlineI8: {
- gint64 top = *(guint64 *) ptr;
+ case MonoInlineI8: {
+ gint64 top = read64 (ptr);
- fprintf (output, "%lld", (long long) top);
+ fprintf (output, "0x%llx", (long long) top);
ptr += 8;
break;
}
- case InlineMethod: {
- guint32 token = *(guint32 *) ptr;
+ case MonoInlineMethod: {
+ guint32 token = read32 (ptr);
char *s;
s = get_method (m, token);
break;
}
- case InlineNone:
+ case MonoInlineNone:
break;
- case InlineR: {
- double r = *(double *) ptr;
+ case MonoInlineR: {
+ double r;
+ readr8 (ptr, &r);
fprintf (output, "%g", r);
ptr += 8;
break;
}
- case InlineSig: {
- guint32 token = *(guint32 *) ptr;
+ case MonoInlineSig: {
+ guint32 token = read32 (ptr);
fprintf (output, "signature-0x%08x", token);
ptr += 4;
break;
}
- case InlineString: {
- guint32 token = *(guint32 *) ptr;
+ case MonoInlineString: {
+ guint32 token = read32 (ptr);
char *s = get_encoded_user_string (
mono_metadata_user_string (m, token & 0xffffff));
break;
}
- case InlineSwitch: {
+ case MonoInlineSwitch: {
guint32 count = read32 (ptr);
const unsigned char *endswitch;
- guint32 i;
+ guint32 n;
ptr += 4;
endswitch = ptr + sizeof (guint32) * count;
fprintf (output, "(\n");
CODE_INDENT;
- for (i = 0; i < count; i++){
+ for (n = 0; n < count; n++){
fprintf (output, "\t%sIL_%04x%s", indent,
endswitch-start+read32 (ptr),
- i == count - 1 ? ")" : ",\n");
+ n == count - 1 ? ")" : ",\n");
ptr += 4;
}
CODE_UNINDENT;
break;
}
- case InlineTok: {
- guint32 token = *(guint32 *) ptr;
+ case MonoInlineTok: {
+ guint32 token = read32 (ptr);
char *s;
s = get_token (m, token);
break;
}
- case InlineType: {
- guint32 token = *(guint32 *) ptr;
+ case MonoInlineType: {
+ guint32 token = read32 (ptr);
char *s = get_token_type (m, token);
fprintf (output, "%s", s);
g_free (s);
break;
}
- case InlineVar: {
- gint16 var_idx = *(gint16 *) ptr;
+ case MonoInlineVar: {
+ guint16 var_idx = read16 (ptr);
- fprintf (output, "variable-%d\n", var_idx);
+ fprintf (output, "%d\n", var_idx);
ptr += 2;
break;
}
- case ShortInlineBrTarget: {
+ case MonoShortInlineBrTarget: {
signed char x = *ptr;
- fprintf (output, "IL_%04x", ptr - start + 1 + x);
+ fprintf (output, "IL_%04x\n", ptr - start + 1 + x);
ptr++;
break;
}
- case ShortInlineI: {
+ case MonoShortInlineI: {
char x = *ptr;
fprintf (output, "0x%02x", x);
break;
}
- case ShortInlineR: {
- float f = *(float *) ptr;
+ case MonoShortInlineR: {
+ float f;
+ readr4 (ptr, &f);
fprintf (output, "%g", (double) f);
ptr += 4;
break;
}
- case ShortInlineVar: {
- signed char x = *ptr;
+ case MonoShortInlineVar: {
+ unsigned char x = *ptr;
- fprintf (output, "V_%d", (int) x);
+ fprintf (output, "%d", (int) x);
ptr++;
break;
}
}
fprintf (output, "\n");
+ for (i = 0; i < mh->num_clauses; ++i) {
+ if ((mh->clauses[i].flags == 0 || mh->clauses[i].flags == 2) && ptr == start + mh->clauses[i].try_offset + mh->clauses[i].try_len) {
+ CODE_UNINDENT;
+ fprintf (output, "\t%s} // end .try %d\n", indent, i);
+ }
+ if (ptr == start + mh->clauses[i].handler_offset + mh->clauses[i].handler_len) {
+ CODE_UNINDENT;
+ fprintf (output, "\t%s} // end handler %d\n", indent, i);
+ }
+ }
}
}