mono_opcode_name (int opcode)
{
  const char * D.2465;
  short int D.2466;
  sizetype D.2467;

  D.2466 = opidx[opcode];
  D.2467 = (sizetype) D.2466;
  D.2465 = &opstr + D.2467;
  return D.2465;
}


mono_opcode_value (const mono_byte * * ip, const mono_byte * end)
{
  MonoOpcodeEnum D.2471;
  unsigned char D.2472;
  int D.2477;
  int D.2478;
  int D.2484;
  MonoOpcodeEnum res;
  const mono_byte * p;

  p = *ip;
  if (p >= end) goto <D.2469>; else goto <D.2470>;
  <D.2469>:
  D.2471 = 4294967295;
  return D.2471;
  <D.2470>:
  D.2472 = *p;
  if (D.2472 == 254) goto <D.2473>; else goto <D.2474>;
  <D.2473>:
  p = p + 1;
  if (p >= end) goto <D.2475>; else goto <D.2476>;
  <D.2475>:
  D.2471 = 4294967295;
  return D.2471;
  <D.2476>:
  D.2472 = *p;
  D.2477 = (int) D.2472;
  D.2478 = D.2477 + 256;
  res = (MonoOpcodeEnum) D.2478;
  goto <D.2479>;
  <D.2474>:
  D.2472 = *p;
  if (D.2472 == 240) goto <D.2480>; else goto <D.2481>;
  <D.2480>:
  p = p + 1;
  if (p >= end) goto <D.2482>; else goto <D.2483>;
  <D.2482>:
  D.2471 = 4294967295;
  return D.2471;
  <D.2483>:
  D.2472 = *p;
  D.2477 = (int) D.2472;
  D.2484 = D.2477 + 293;
  res = (MonoOpcodeEnum) D.2484;
  goto <D.2485>;
  <D.2481>:
  D.2472 = *p;
  res = (MonoOpcodeEnum) D.2472;
  <D.2485>:
  <D.2479>:
  *ip = p;
  D.2471 = res;
  return D.2471;
}