type = load(id)
if type == nullptr then
  throw NoClassDefFoundError
end
acc = type

if vs == null then
  throw NullPointerException
end
if acc < 0 || acc >= len(vs) then
  throw ArrayIndexOutOfBoundsException
end
if op == ldarr.8 then
  acc = i8toi32(vs[acc])
else if op == ldarru.8 then
  acc = u8toi32(vs[acc])
else if op == ldarr.16 then
  acc = i16toi32(vs[acc])
else if op == ldarru.16 then
  acc = u16toi32(vs[acc])
else
  acc = vs[acc]
end

if vs1 == null then
  throw NullPointerException
end
if vs2 < 0 || vs2 >= len(vs1) then
  throw ArrayIndexOutOfBoundsException
end
if op == starr.obj && !has_type(acc, component_type(vs1))
  throw ArrayStoreException
end
if op == starr.8 then
  vs1[vs2] = truncateto8(acc)
else if op == starr.16 then
  vs1[vs2] = truncateto16(acc)
else
  vs1[vs2] = acc
end

if vs == null then
  throw NullPointerException
end
field = resolve(field_id)
if op == ldobj and size(field) < 32 then
  acc = extendto32(vs.get(field))
else
  acc = vs.get(field)
end

if vs == null then
  throw NullPointerException
end
field = resolve(field_id)
if op == stobj and size(field) < 32 then
  vs.set(field, truncate(field, acc))
else
  vs.set(field, acc)
end

if v2 == null then
  throw NullPointerException
end
field = resolve(field_id)
if op == ldobj and size(field) < 32 then
  v1 = extendto32(v2.get(field))
else
  v1 = v2.get(field)
end

if v2 == null then
  throw NullPointerException
end
field = resolve(field_id)
if op == stobj and size(field) < 32 then
  v2.set(field, truncate(field, v1))
else
  v2.set(field, v1)
end

field, type = resolve(field_id)
if not initialized(type)
  initialize(type)
end
if op == ldstatic and size(field) < 32 then
  acc = extendto32(get_static(field))
else
  acc = get_static(field)
end

field, type = resolve(field_id)
if not initialized(type)
  initialize(type)
end
if op == ststatic and size(field) < 32 then
  set_static(field, truncate(field, acc))
else
  set_static(field, acc)
end

arr = load(id)
if arr == nullptr then
   throw OutOfMemoryError
end
v = arr

if acc < vs then
  acc = -1
else if acc == vs then
  acc = 0
else
  acc = 1
end

if isnan(acc) or isnan(vs) then
  switch (op)
  case fcmpg:
  case fcmpg.64:
    acc = 1
  case fcmpl:
  case fcmpl.64:
    acc = -1
  else
    if acc < vs then
      acc = -1
    else if acc == vs then
      acc = 0
    else
      acc = 1
    end
  end
end

switch (op)
case fneg:
case fneg.64:
  acc = -acc

switch (op)
case neg:
case neg.64:
  acc = -acc
case not:
case not.64:
  acc = ~acc

switch (op)
case add2:
  acc = (acc + vs) % 2^32
case add2.64:
  acc = (acc + vs) % 2^64
case sub2:
  acc = (acc - vs) % 2^32
case sub2.64:
  acc = (acc - vs) % 2^64
case mul2:
  acc = (acc * vs) % 2^32
case mul2.64:
  acc = (acc * vs) % 2^64
case and2:
  acc = acc & vs
case and2.64:
  acc = acc & vs
case or2:
  acc = acc | vs
case or2.64:
  acc = acc | vs
case xor2:
  acc = acc ^ vs
case xor2.64:
  acc = acc ^ vs
case shl2:
  acc = (acc << (vs & 0x1f)) % 2^32
case shl2.64:
  acc = (acc << (vs & 0x3f)) % 2^64
case shr2:
  acc = acc >> (vs & 0x1f)
case shr2.64:
  acc = acc >> (vs & 0x3f)
case ashr2:
  acc = (acc < 0) ? ~(~acc >> vs & 0x1f) : acc >> vs & 0x1f
case ashr2.64:
  acc = (acc < 0) ? ~(~acc >> vs & 0x3f) : acc >> vs & 0x3f

switch (op)
case add2:
  vd = (acc + vs) % 2^32
case add2.64:
  vd = (acc + vs) % 2^64
case sub2:
  vd = (acc - vs) % 2^32
case sub2.64:
  vd = (acc - vs) % 2^64
case mul2:
  vd = (acc * vs) % 2^32
case mul2.64:
  acc = (acc * vs) % 2^64
case and2:
  vd = acc & vs
case and2.64:
  vd = acc & vs
case or2:
  vd = acc | vs
case or2.64:
  vd = acc | vs
case xor2:
  vd = acc ^ vs
case xor2.64:
  vd = acc ^ vs
case shl2:
  vd = (acc << (vs & 0x1f)) % 2^32
case shl2.64:
  vd = (acc << (vs & 0x3f)) % 2^64
case shr2:
  vd = acc >> (vs & 0x1f)
case shr2.64:
  vd = acc >> (vs & 0x3f)
case ashr2:
  vd = (acc < 0) ? ~(~acc >> vs & 0x1f) : acc >> vs & 0x1f
case ashr2.64:
  vd = (acc < 0) ? ~(~acc >> vs & 0x3f) : acc >> vs & 0x3f

switch (op)
case fadd2:
case fadd2.64:
  acc = acc + vs
case fsub2:
case fsub2.64:
  acc = acc - vs
case fmul2:
case fmul2.64:
  acc = acc * vs
case fdiv2:
case fdiv2.64:
  acc = acc / vs
case fmod2:
case fmod2.64:
  acc = acc % vs

switch (op)
case fadd2:
case fadd2.64:
  vd = acc + vs
case fsub2:
case fsub2.64:
  vd = acc - vs
case fmul2:
case fmul2.64:
  vd = acc * vs
case fdiv2:
case fdiv2.64:
  vd = acc / vs
case fmod2:
case fmod2.64:
  vd = acc % vs

if vs == 0 then
  throw ArithmeticException
end
switch (op)
case div:
  if acc == INT32_MIN and vs == -1 then
    acc = INT32_MIN
  else
    acc = acc / vs
  end
case div.64:
  if acc == INT64_MIN and vs == -1 then
    acc = INT64_MIN
  else
    acc = acc / vs
  end
case divu:
case divu.64:
  acc = acc / vs
case mod:
  if acc == INT32_MIN and vs == -1 then
    acc = 0
  else
    acc = acc % vs
  end
case mod.64:
  if acc == INT64_MIN and vs == -1 then
    acc = 0
  else
    acc = acc % vs
  end
case modu:
case modu.64:
  acc = acc % vs

if vs == 0 then
  throw ArithmeticException
end
switch (op)
case div:
  if acc == INT32_MIN and vs == -1 then
    vd = INT32_MIN
  else
    vd = acc / vs
  end
case div.64:
  if acc == INT64_MIN and vs == -1 then
    vd = INT64_MIN
  else
    vd = acc / vs
  end
case divu:
case divu.64:
  vd = acc / vs
case mod:
  if acc == INT32_MIN and vs == -1 then
    vd = 0
  else
    vd = acc % vs
  end
case mod.64:
  if acc == INT64_MIN and vs == -1 then
    vd = 0
  else
    vd = acc % vs
  end
case modu:
case modu.64:
  vd = acc % vs

switch (op)
case addi:
  acc = (acc + imm) % 2^32
case subi:
  acc = (acc - imm) % 2^32
case muli:
  acc = (acc * imm) % 2^32
case andi:
  acc = acc & imm
case ori:
  acc = acc | imm
case xori:
  acc = acc ^ imm
case shli:
  acc = (acc << (imm & 0x1f)) % 2^32
case shri:
  acc = acc >> (imm & 0x1f)
case ashri:
  acc = (acc < 0) ? ~(~acc >> imm & 0x1f) : acc >> imm & 0x1f

switch (op)
case addi:
  v1 = (v2 + imm) % 2^32
case subi:
  v1 = (v2 - imm) % 2^32
case muli:
  v1 = (v2 * imm) % 2^32
case andi:
  v1 = v2 & imm
case ori:
  v1 = v2 | imm
case xori:
  v1 = v2 ^ imm
case shli:
  v1 = (v2 << (imm & 0x1f)) % 2^32
case shri:
  v1 = v2 >> (imm & 0x1f)
case ashri:
  v1 = (v2 < 0) ? ~(~v2 >> imm & 0x1f) : v2 >> imm & 0x1f

if imm == 0 then
  throw ArithmeticException
end
switch(op)
case divi:
  if acc == INT32_MIN and imm == -1 then
    acc = INT32_MIN
  else
    acc = acc / imm
  end
case modi:
  if acc == INT32_MIN and imm == -1 then
    acc = 0
  else
    acc = acc % imm
  end

if imm == 0 then
  throw ArithmeticException
end
switch(op)
case divi:
  if v1 == INT32_MIN and imm == -1 then
    v1 = INT32_MIN
  else
    v1 = v2 / imm
  end
case modi:
  if v1 == INT32_MIN and imm == -1 then
    v1 = 0
  else
    v1 = v2 % imm
  end

switch (op)
case add:
  acc = (vs1 + vs2) % 2^32
case sub:
  acc = (vs1 - vs2) % 2^32
case mul:
  acc = (vs1 * vs2) % 2^32
case and:
  acc = vs1 & vs2
case or:
  acc = vs1 | vs2
case xor:
  acc = vs1 ^ vs2
case shl:
  acc = (vs1 << (vs2 & 0x1f)) % 2^32
case shr:
  acc = vs1 >> (vs2 & 0x1f)
case ashr:
  acc = (vs1 < 0) ? ~(~vs1 >> vs2 & 0x1f) : vs1 >> vs2 & 0x1f

switch (op)
case add:
  v1 = (v1 + v2) % 2^32
case sub:
  v1 = (v1 - v2) % 2^32
case mul:
  v1 = (v1 * v2) % 2^32
case and:
  v1 = v1 & v2
case or:
  v1 = v1 | v2
case xor:
  v1 = v1 ^ v2
case shl:
  v1 = (v1 << (v2 & 0x1f)) % 2^32
case shr:
  v1 = v1 >> (v2 & 0x1f)
case ashr:
  v1 = (v1 < 0) ? ~(~v1 >> v2 & 0x1f) : v1 >> v2 & 0x1f

if vs2 == 0 then
  throw ArithmeticException
end
switch(op)
case div:
  if vs1 == INT32_MIN and vs2 == -1 then
    acc = INT32_MIN
  else
    acc = vs1 / vs2
  end
case mod:
  if vs1 == INT32_MIN and vs2 == -1 then
    acc = 0
  else
    acc = vs1 % vs2
  end

if v2 == 0 then
  throw ArithmeticException
end
switch(op)
case div:
  if v1 == INT32_MIN and v2 == -1 then
    v1 = INT32_MIN
  else
    v1 = v1 / v2
  end
case mod:
  if v1 == INT32_MIN and v2 == -1 then
    v1 = 0
  else
    v1 = v1 % v2
  end

switch (cc)
case eq:
  if acc == vs then
    pc += imm
  end
case ne:
  if acc != vs then
    pc += imm
end

switch (cc)
case eq:
  if acc == null then
    pc += imm
  end
case ne:
  if acc != null then
    pc += imm
end

switch (cc)
case eq:
  if acc == 0 then
    pc += imm
  end
case ne:
  if acc != 0 then
    pc += imm
  end
case lt:
  if acc < 0 then
    pc += imm
  end
case gt:
  if acc > 0 then
    pc += imm
  end
case le:
  if acc <= 0 then
    pc += imm
  end
case ge:
  if acc >= 0 then
    pc += imm
  end

diff = signed_cmp(acc, vs)
switch (cc)
case eq:
  if diff == 0 then
    pc += imm
  end
case ne:
  if diff != 0 then
    pc += imm
  end
case lt:
  if diff < 0 then
    pc += imm
  end
case gt:
  if diff > 0 then
    pc += imm
  end
case le:
  if diff <= 0 then
    pc += imm
  end
case ge:
  if diff >= 0 then
    pc += imm
  end

if vs == null then
  throw NullPointerException
end
throw vs

if not initialized(type)
  initialize(type)
end
acc = call(method, args)

args = []
for (i = 0; i < 4; ++i)
  if (i < imm) then
    args[i] = regs[i]
  else if (i == imm) then
    args[i] = acc
  else
    args[i] = regs[i - 1]
  end
end
method = resolve(method_id)
acc = call(method, args)

if args[0] == null then
  throw NullPointerException
end
method = resolve(method_id)
if is_abstract(method) then
  throw AbstractMethodError
end
acc = call(method, args)

args = []
for (i = 0; i < 4; ++i)
  if (i < imm) then
    args[i] = regs[i]
  else if (i == imm) then
    args[i] = acc
  else
    args[i] = regs[i - 1]
  end
end
if args[0] == null then
  throw NullPointerException
end
method = resolve(method_id)
if is_abstract(method) then
  throw AbstractMethodError
end
acc = call(method, args)

if x == null
      then
  throw NullPointerException
end
acc = len(vs)

if v2 < 0 then
  throw NegativeArraySizeException
end
type = resolve(type_id)
v1 = new_array(v2, type)
if not initialized(type)
  initialize(type)
end
if v1 == null then
  throw OutOfMemoryError
end

type
      = resolve(type_id)
if not initialized(type)
  initialize(type)
end
v = new_instance(type)
if v == null then
  throw OutOfMemoryError
end

init, type = resolve(method_id)
if not initialized(type)
  initialize(type)
end
acc = new_instance(type)
if acc == null then
  throw OutOfMemoryError
end
init(acc, args)

type =
      resolve(type_id)
if acc != null and !has_type(acc, type) then
  throw ClassCastException
end

      type = resolve(type_id)
if acc == null or !has_type(acc, type) then
  acc = 0
else
  acc = 1
end