mono_opcode_name (int opcode)
{
  const char * D.2959;
  short int D.2960;
  sizetype D.2961;

  D.2960 = opidx[opcode];
  D.2961 = (sizetype) D.2960;
  D.2959 = &opstr + D.2961;
  return D.2959;
}


mono_opcode_value (const mono_byte * * ip, const mono_byte * end)
{
  MonoOpcodeEnum D.2965;
  unsigned char D.2966;
  int D.2971;
  int D.2972;
  int D.2978;
  MonoOpcodeEnum res;
  const mono_byte * p;

  p = *ip;
  if (p >= end) goto <D.2963>; else goto <D.2964>;
  <D.2963>:
  D.2965 = 4294967295;
  return D.2965;
  <D.2964>:
  D.2966 = *p;
  if (D.2966 == 254) goto <D.2967>; else goto <D.2968>;
  <D.2967>:
  p = p + 1;
  if (p >= end) goto <D.2969>; else goto <D.2970>;
  <D.2969>:
  D.2965 = 4294967295;
  return D.2965;
  <D.2970>:
  D.2966 = *p;
  D.2971 = (int) D.2966;
  D.2972 = D.2971 + 256;
  res = (MonoOpcodeEnum) D.2972;
  goto <D.2973>;
  <D.2968>:
  D.2966 = *p;
  if (D.2966 == 240) goto <D.2974>; else goto <D.2975>;
  <D.2974>:
  p = p + 1;
  if (p >= end) goto <D.2976>; else goto <D.2977>;
  <D.2976>:
  D.2965 = 4294967295;
  return D.2965;
  <D.2977>:
  D.2966 = *p;
  D.2971 = (int) D.2966;
  D.2978 = D.2971 + 293;
  res = (MonoOpcodeEnum) D.2978;
  goto <D.2979>;
  <D.2975>:
  D.2966 = *p;
  res = (MonoOpcodeEnum) D.2966;
  <D.2979>:
  <D.2973>:
  *ip = p;
  D.2965 = res;
  return D.2965;
}