// File: /workspace/github_c_makefile_star2_O0/gplessis[P]dotdeb-redis/deps/lua/src/ldebug.c
// Function: symbexec
static Instruction symbexec (const Proto *pt, int lastpc, int reg) {
  int pc;
  int last;  /* stores position of last instruction that changed `reg' */
  last = pt->sizecode-1;  /* points to final return (a `neutral' instruction) */
  check(precheck(pt));
  for (pc = 0; pc < lastpc; pc++) {
    Instruction i = pt->code[pc];
    OpCode op = GET_OPCODE(i);
    int a = GETARG_A(i);
    int b = 0;
    int c = 0;
    check(op < NUM_OPCODES);
    checkreg(pt, a);
    switch (getOpMode(op)) {
      case iABC: {
        b = GETARG_B(i);
        c = GETARG_C(i);
        check(checkArgMode(pt, b, getBMode(op)));
        check(checkArgMode(pt, c, getCMode(op)));
        break;
      }
      case iABx: {
        b = GETARG_Bx(i);
        if (getBMode(op) == OpArgK) check(b < pt->sizek);
        break;
      }
      case iAsBx: {
        b = GETARG_sBx(i);
        if (getBMode(op) == OpArgR) {
          int dest = pc+1+b;
          check(0 <= dest && dest < pt->sizecode);
          if (dest > 0) {
            int j;
            /* check that it does not jump to a setlist count; this
               is tricky, because the count from a previous setlist may
               have the same value of an invalid setlist; so, we must
               go all the way back to the first of them (if any) */
            for (j = 0; j < dest; j++) {
              Instruction d = pt->code[dest-1-j];
              if (!(GET_OPCODE(d) == OP_SETLIST && GETARG_C(d) == 0)) break;
            }
            /* if 'j' is even, previous value is not a setlist (even if
               it looks like one) */
            check((j&1) == 0);
          }
        }
        break;
      }
    }
    if (testAMode(op)) {
      if (a == reg) last = pc;  /* change register `a' */
    }
    if (testTMode(op)) {
      check(pc+2 < pt->sizecode);  /* check skip */
      check(GET_OPCODE(pt->code[pc+1]) == OP_JMP);
    }
    switch (op) {
      case OP_LOADBOOL: {
        if (c == 1) {  /* does it jump? */
          check(pc+2 < pt->sizecode);  /* check its jump */
          check(GET_OPCODE(pt->code[pc+1]) != OP_SETLIST ||
                GETARG_C(pt->code[pc+1]) != 0);
        }
        break;
      }
      case OP_LOADNIL: {
        if (a <= reg && reg <= b)
          last = pc;  /* set registers from `a' to `b' */
        break;
      }
      case OP_GETUPVAL:
      case OP_SETUPVAL: {
        check(b < pt->nups);
        break;
      }
      case OP_GETGLOBAL:
      case OP_SETGLOBAL: {
        check(ttisstring(&pt->k[b]));
        break;
      }
      case OP_SELF: {
        checkreg(pt, a+1);
        if (reg == a+1) last = pc;
        break;
      }
      case OP_CONCAT: {
        check(b < c);  /* at least two operands */
        break;
      }
      case OP_TFORLOOP: {
        check(c >= 1);  /* at least one result (control variable) */
        checkreg(pt, a+2+c);  /* space for results */
        if (reg >= a+2) last = pc;  /* affect all regs above its base */
        break;
      }
      case OP_FORLOOP:
      case OP_FORPREP:
        checkreg(pt, a+3);
        /* go through */
      case OP_JMP: {
        int dest = pc+1+b;
        /* not full check and jump is forward and do not skip `lastpc'? */
        if (reg != NO_REG && pc < dest && dest <= lastpc)
          pc += b;  /* do the jump */
        break;
      }
      case OP_CALL:
      case OP_TAILCALL: {
        if (b != 0) {
          checkreg(pt, a+b-1);
        }
        c--;  /* c = num. returns */
        if (c == LUA_MULTRET) {
          check(checkopenop(pt, pc));
        }
        else if (c != 0)
          checkreg(pt, a+c-1);
        if (reg >= a) last = pc;  /* affect all registers above base */
        break;
      }
      case OP_RETURN: {
        b--;  /* b = num. returns */
        if (b > 0) checkreg(pt, a+b-1);
        break;
      }
      case OP_SETLIST: {
        if (b > 0) checkreg(pt, a + b);
        if (c == 0) {
          pc++;
          check(pc < pt->sizecode - 1);
        }
        break;
      }
      case OP_CLOSURE: {
        int nup, j;
        check(b < pt->sizep);
        nup = pt->p[b]->nups;
        check(pc + nup < pt->sizecode);
        for (j = 1; j <= nup; j++) {
          OpCode op1 = GET_OPCODE(pt->code[pc + j]);
          check(op1 == OP_GETUPVAL || op1 == OP_MOVE);
        }
        if (reg != NO_REG)  /* tracing? */
          pc += nup;  /* do not 'execute' these pseudo-instructions */
        break;
      }
      case OP_VARARG: {
        check((pt->is_vararg & VARARG_ISVARARG) &&
             !(pt->is_vararg & VARARG_NEEDSARG));
        b--;
        if (b == LUA_MULTRET) check(checkopenop(pt, pc));
        checkreg(pt, a+b-1);
        break;
      }
      default: break;
    }
  }
  return pt->code[last];
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x60, %rsp
movq %rdi, -0x10(%rbp)
movl %esi, -0x14(%rbp)
movl %edx, -0x18(%rbp)
movq -0x10(%rbp), %rax
movl 0x50(%rax), %eax
subl $0x1, %eax
movl %eax, -0x20(%rbp)
movq -0x10(%rbp), %rdi
callq 0xaba0
cmpl $0x0, %eax
jne 0x9939
movl $0x0, -0x4(%rbp)
jmp 0xa091
movl $0x0, -0x1c(%rbp)
movl -0x1c(%rbp), %eax
cmpl -0x14(%rbp), %eax
jge 0xa07f
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rax
movslq -0x1c(%rbp), %rcx
movl (%rax,%rcx,4), %eax
movl %eax, -0x24(%rbp)
movl -0x24(%rbp), %eax
shrl $0x0, %eax
andl $0x3f, %eax
movl %eax, -0x28(%rbp)
movl -0x24(%rbp), %eax
shrl $0x6, %eax
andl $0xff, %eax
movl %eax, -0x2c(%rbp)
movl $0x0, -0x30(%rbp)
movl $0x0, -0x34(%rbp)
cmpl $0x26, -0x28(%rbp)
jb 0x9998
movl $0x0, -0x4(%rbp)
jmp 0xa091
movl -0x2c(%rbp), %eax
movq -0x10(%rbp), %rcx
movzbl 0x73(%rcx), %ecx
cmpl %ecx, %eax
jl 0x99b3
movl $0x0, -0x4(%rbp)
jmp 0xa091
movl -0x28(%rbp), %eax
leaq 0x21f73(%rip), %rcx     # 0x2b930
movzbl (%rax,%rcx), %eax
andl $0x3, %eax
movl %eax, -0x54(%rbp)
je 0x99ea
jmp 0x99cb
movl -0x54(%rbp), %eax
subl $0x1, %eax
je 0x9a71
jmp 0x99d9
movl -0x54(%rbp), %eax
subl $0x2, %eax
je 0x9ab9
jmp 0x9b8f
movl -0x24(%rbp), %eax
shrl $0x17, %eax
andl $0x1ff, %eax            # imm = 0x1FF
movl %eax, -0x30(%rbp)
movl -0x24(%rbp), %eax
shrl $0xe, %eax
andl $0x1ff, %eax            # imm = 0x1FF
movl %eax, -0x34(%rbp)
movq -0x10(%rbp), %rdi
movl -0x30(%rbp), %esi
movl -0x28(%rbp), %eax
movl %eax, %ecx
leaq 0x21f17(%rip), %rax     # 0x2b930
movzbl (%rax,%rcx), %edx
sarl $0x4, %edx
andl $0x3, %edx
callq 0xaca0
cmpl $0x0, %eax
jne 0x9a39
movl $0x0, -0x4(%rbp)
jmp 0xa091
movq -0x10(%rbp), %rdi
movl -0x34(%rbp), %esi
movl -0x28(%rbp), %eax
movl %eax, %ecx
leaq 0x21ee4(%rip), %rax     # 0x2b930
movzbl (%rax,%rcx), %edx
sarl $0x2, %edx
andl $0x3, %edx
callq 0xaca0
cmpl $0x0, %eax
jne 0x9a6c
movl $0x0, -0x4(%rbp)
jmp 0xa091
jmp 0x9b8f
movl -0x24(%rbp), %eax
shrl $0xe, %eax
andl $0x3ffff, %eax          # imm = 0x3FFFF
movl %eax, -0x30(%rbp)
movl -0x28(%rbp), %eax
movl %eax, %ecx
leaq 0x21ea5(%rip), %rax     # 0x2b930
movzbl (%rax,%rcx), %eax
sarl $0x4, %eax
andl $0x3, %eax
cmpl $0x3, %eax
jne 0x9ab4
movl -0x30(%rbp), %eax
movq -0x10(%rbp), %rcx
cmpl 0x4c(%rcx), %eax
jl 0x9ab2
movl $0x0, -0x4(%rbp)
jmp 0xa091
jmp 0x9ab4
jmp 0x9b8f
movl -0x24(%rbp), %eax
shrl $0xe, %eax
andl $0x3ffff, %eax          # imm = 0x3FFFF
subl $0x1ffff, %eax          # imm = 0x1FFFF
movl %eax, -0x30(%rbp)
movl -0x28(%rbp), %eax
movl %eax, %ecx
leaq 0x21e58(%rip), %rax     # 0x2b930
movzbl (%rax,%rcx), %eax
sarl $0x4, %eax
andl $0x3, %eax
cmpl $0x2, %eax
jne 0x9b8d
movl -0x1c(%rbp), %eax
addl $0x1, %eax
addl -0x30(%rbp), %eax
movl %eax, -0x38(%rbp)
xorl %eax, %eax
cmpl -0x38(%rbp), %eax
jg 0x9b0a
movl -0x38(%rbp), %eax
movq -0x10(%rbp), %rcx
cmpl 0x50(%rcx), %eax
jl 0x9b16
movl $0x0, -0x4(%rbp)
jmp 0xa091
cmpl $0x0, -0x38(%rbp)
jle 0x9b8b
movl $0x0, -0x3c(%rbp)
movl -0x3c(%rbp), %eax
cmpl -0x38(%rbp), %eax
jge 0x9b72
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rax
movl -0x38(%rbp), %ecx
subl $0x1, %ecx
subl -0x3c(%rbp), %ecx
movslq %ecx, %rcx
movl (%rax,%rcx,4), %eax
movl %eax, -0x40(%rbp)
movl -0x40(%rbp), %eax
shrl $0x0, %eax
andl $0x3f, %eax
cmpl $0x22, %eax
jne 0x9b63
movl -0x40(%rbp), %eax
shrl $0xe, %eax
andl $0x1ff, %eax            # imm = 0x1FF
cmpl $0x0, %eax
je 0x9b65
jmp 0x9b72
jmp 0x9b67
movl -0x3c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x3c(%rbp)
jmp 0x9b23
movl -0x3c(%rbp), %eax
andl $0x1, %eax
cmpl $0x0, %eax
je 0x9b89
movl $0x0, -0x4(%rbp)
jmp 0xa091
jmp 0x9b8b
jmp 0x9b8d
jmp 0x9b8f
movl -0x28(%rbp), %eax
movl %eax, %ecx
leaq 0x21d95(%rip), %rax     # 0x2b930
movzbl (%rax,%rcx), %eax
andl $0x40, %eax
cmpl $0x0, %eax
je 0x9bb7
movl -0x2c(%rbp), %eax
cmpl -0x18(%rbp), %eax
jne 0x9bb5
movl -0x1c(%rbp), %eax
movl %eax, -0x20(%rbp)
jmp 0x9bb7
movl -0x28(%rbp), %eax
movl %eax, %ecx
leaq 0x21d6d(%rip), %rax     # 0x2b930
movzbl (%rax,%rcx), %eax
andl $0x80, %eax
cmpl $0x0, %eax
je 0x9c19
movl -0x1c(%rbp), %eax
addl $0x2, %eax
movq -0x10(%rbp), %rcx
cmpl 0x50(%rcx), %eax
jl 0x9bec
movl $0x0, -0x4(%rbp)
jmp 0xa091
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rax
movl -0x1c(%rbp), %ecx
addl $0x1, %ecx
movslq %ecx, %rcx
movl (%rax,%rcx,4), %eax
shrl $0x0, %eax
andl $0x3f, %eax
cmpl $0x16, %eax
je 0x9c17
movl $0x0, -0x4(%rbp)
jmp 0xa091
jmp 0x9c19
movl -0x28(%rbp), %eax
addl $-0x2, %eax
movl %eax, %ecx
movq %rcx, -0x60(%rbp)
subl $0x23, %eax
ja 0xa06d
movq -0x60(%rbp), %rax
leaq 0x217df(%rip), %rcx     # 0x2b418
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
cmpl $0x1, -0x34(%rbp)
jne 0x9cb1
movl -0x1c(%rbp), %eax
addl $0x2, %eax
movq -0x10(%rbp), %rcx
cmpl 0x50(%rcx), %eax
jl 0x9c63
movl $0x0, -0x4(%rbp)
jmp 0xa091
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rax
movl -0x1c(%rbp), %ecx
addl $0x1, %ecx
movslq %ecx, %rcx
movl (%rax,%rcx,4), %eax
shrl $0x0, %eax
andl $0x3f, %eax
cmpl $0x22, %eax
jne 0x9caf
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rax
movl -0x1c(%rbp), %ecx
addl $0x1, %ecx
movslq %ecx, %rcx
movl (%rax,%rcx,4), %eax
shrl $0xe, %eax
andl $0x1ff, %eax            # imm = 0x1FF
cmpl $0x0, %eax
jne 0x9caf
movl $0x0, -0x4(%rbp)
jmp 0xa091
jmp 0x9cb1
jmp 0xa06f
movl -0x2c(%rbp), %eax
cmpl -0x18(%rbp), %eax
jg 0x9ccc
movl -0x18(%rbp), %eax
cmpl -0x30(%rbp), %eax
jg 0x9ccc
movl -0x1c(%rbp), %eax
movl %eax, -0x20(%rbp)
jmp 0xa06f
movl -0x30(%rbp), %eax
movq -0x10(%rbp), %rcx
movzbl 0x70(%rcx), %ecx
cmpl %ecx, %eax
jl 0x9cec
movl $0x0, -0x4(%rbp)
jmp 0xa091
jmp 0xa06f
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rax
movslq -0x30(%rbp), %rcx
shlq $0x4, %rcx
addq %rcx, %rax
cmpl $0x4, 0x8(%rax)
je 0x9d16
movl $0x0, -0x4(%rbp)
jmp 0xa091
jmp 0xa06f
movl -0x2c(%rbp), %eax
addl $0x1, %eax
movq -0x10(%rbp), %rcx
movzbl 0x73(%rcx), %ecx
cmpl %ecx, %eax
jl 0x9d39
movl $0x0, -0x4(%rbp)
jmp 0xa091
movl -0x18(%rbp), %eax
movl -0x2c(%rbp), %ecx
addl $0x1, %ecx
cmpl %ecx, %eax
jne 0x9d4c
movl -0x1c(%rbp), %eax
movl %eax, -0x20(%rbp)
jmp 0xa06f
movl -0x30(%rbp), %eax
cmpl -0x34(%rbp), %eax
jl 0x9d65
movl $0x0, -0x4(%rbp)
jmp 0xa091
jmp 0xa06f
cmpl $0x1, -0x34(%rbp)
jge 0x9d7c
movl $0x0, -0x4(%rbp)
jmp 0xa091
movl -0x2c(%rbp), %eax
addl $0x2, %eax
addl -0x34(%rbp), %eax
movq -0x10(%rbp), %rcx
movzbl 0x73(%rcx), %ecx
cmpl %ecx, %eax
jl 0x9d9d
movl $0x0, -0x4(%rbp)
jmp 0xa091
movl -0x18(%rbp), %eax
movl -0x2c(%rbp), %ecx
addl $0x2, %ecx
cmpl %ecx, %eax
jl 0x9db0
movl -0x1c(%rbp), %eax
movl %eax, -0x20(%rbp)
jmp 0xa06f
movl -0x2c(%rbp), %eax
addl $0x3, %eax
movq -0x10(%rbp), %rcx
movzbl 0x73(%rcx), %ecx
cmpl %ecx, %eax
jl 0x9dd3
movl $0x0, -0x4(%rbp)
jmp 0xa091
jmp 0x9dd5
movl -0x1c(%rbp), %eax
addl $0x1, %eax
addl -0x30(%rbp), %eax
movl %eax, -0x44(%rbp)
cmpl $0xff, -0x18(%rbp)
je 0x9e03
movl -0x1c(%rbp), %eax
cmpl -0x44(%rbp), %eax
jge 0x9e03
movl -0x44(%rbp), %eax
cmpl -0x14(%rbp), %eax
jg 0x9e03
movl -0x30(%rbp), %eax
addl -0x1c(%rbp), %eax
movl %eax, -0x1c(%rbp)
jmp 0xa06f
cmpl $0x0, -0x30(%rbp)
je 0x9e31
movl -0x2c(%rbp), %eax
addl -0x30(%rbp), %eax
subl $0x1, %eax
movq -0x10(%rbp), %rcx
movzbl 0x73(%rcx), %ecx
cmpl %ecx, %eax
jl 0x9e2f
movl $0x0, -0x4(%rbp)
jmp 0xa091
jmp 0x9e31
movl -0x34(%rbp), %eax
addl $-0x1, %eax
movl %eax, -0x34(%rbp)
cmpl $-0x1, -0x34(%rbp)
jne 0x9e6c
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rax
movl -0x1c(%rbp), %ecx
addl $0x1, %ecx
movslq %ecx, %rcx
movl (%rax,%rcx,4), %edi
callq 0x9860
cmpl $0x0, %eax
jne 0x9e6a
movl $0x0, -0x4(%rbp)
jmp 0xa091
jmp 0x9e97
cmpl $0x0, -0x34(%rbp)
je 0x9e95
movl -0x2c(%rbp), %eax
addl -0x34(%rbp), %eax
subl $0x1, %eax
movq -0x10(%rbp), %rcx
movzbl 0x73(%rcx), %ecx
cmpl %ecx, %eax
jl 0x9e93
movl $0x0, -0x4(%rbp)
jmp 0xa091
jmp 0x9e95
jmp 0x9e97
movl -0x18(%rbp), %eax
cmpl -0x2c(%rbp), %eax
jl 0x9ea5
movl -0x1c(%rbp), %eax
movl %eax, -0x20(%rbp)
jmp 0xa06f
movl -0x30(%rbp), %eax
addl $-0x1, %eax
movl %eax, -0x30(%rbp)
cmpl $0x0, -0x30(%rbp)
jle 0x9edc
movl -0x2c(%rbp), %eax
addl -0x30(%rbp), %eax
subl $0x1, %eax
movq -0x10(%rbp), %rcx
movzbl 0x73(%rcx), %ecx
cmpl %ecx, %eax
jl 0x9eda
movl $0x0, -0x4(%rbp)
jmp 0xa091
jmp 0x9edc
jmp 0xa06f
cmpl $0x0, -0x30(%rbp)
jle 0x9f07
movl -0x2c(%rbp), %eax
addl -0x30(%rbp), %eax
movq -0x10(%rbp), %rcx
movzbl 0x73(%rcx), %ecx
cmpl %ecx, %eax
jl 0x9f05
movl $0x0, -0x4(%rbp)
jmp 0xa091
jmp 0x9f07
cmpl $0x0, -0x34(%rbp)
jne 0x9f35
movl -0x1c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x1c(%rbp)
movl -0x1c(%rbp), %eax
movq -0x10(%rbp), %rcx
movl 0x50(%rcx), %ecx
subl $0x1, %ecx
cmpl %ecx, %eax
jl 0x9f33
movl $0x0, -0x4(%rbp)
jmp 0xa091
jmp 0x9f35
jmp 0xa06f
movl -0x30(%rbp), %eax
movq -0x10(%rbp), %rcx
cmpl 0x58(%rcx), %eax
jl 0x9f52
movl $0x0, -0x4(%rbp)
jmp 0xa091
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rax
movslq -0x30(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movzbl 0x70(%rax), %eax
movl %eax, -0x48(%rbp)
movl -0x1c(%rbp), %eax
addl -0x48(%rbp), %eax
movq -0x10(%rbp), %rcx
cmpl 0x50(%rcx), %eax
jl 0x9f84
movl $0x0, -0x4(%rbp)
jmp 0xa091
movl $0x1, -0x4c(%rbp)
movl -0x4c(%rbp), %eax
cmpl -0x48(%rbp), %eax
jg 0x9fd5
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rax
movl -0x1c(%rbp), %ecx
addl -0x4c(%rbp), %ecx
movslq %ecx, %rcx
movl (%rax,%rcx,4), %eax
shrl $0x0, %eax
andl $0x3f, %eax
movl %eax, -0x50(%rbp)
cmpl $0x4, -0x50(%rbp)
je 0x9fc8
cmpl $0x0, -0x50(%rbp)
je 0x9fc8
movl $0x0, -0x4(%rbp)
jmp 0xa091
jmp 0x9fca
movl -0x4c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x4c(%rbp)
jmp 0x9f8b
cmpl $0xff, -0x18(%rbp)
je 0x9fe7
movl -0x48(%rbp), %eax
addl -0x1c(%rbp), %eax
movl %eax, -0x1c(%rbp)
jmp 0xa06f
movq -0x10(%rbp), %rax
movzbl 0x72(%rax), %eax
andl $0x2, %eax
cmpl $0x0, %eax
je 0xa00c
movq -0x10(%rbp), %rax
movzbl 0x72(%rax), %eax
andl $0x4, %eax
cmpl $0x0, %eax
je 0xa015
movl $0x0, -0x4(%rbp)
jmp 0xa091
movl -0x30(%rbp), %eax
addl $-0x1, %eax
movl %eax, -0x30(%rbp)
cmpl $-0x1, -0x30(%rbp)
jne 0xa04d
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rax
movl -0x1c(%rbp), %ecx
addl $0x1, %ecx
movslq %ecx, %rcx
movl (%rax,%rcx,4), %edi
callq 0x9860
cmpl $0x0, %eax
jne 0xa04b
movl $0x0, -0x4(%rbp)
jmp 0xa091
jmp 0xa04d
movl -0x2c(%rbp), %eax
addl -0x30(%rbp), %eax
subl $0x1, %eax
movq -0x10(%rbp), %rcx
movzbl 0x73(%rcx), %ecx
cmpl %ecx, %eax
jl 0xa06b
movl $0x0, -0x4(%rbp)
jmp 0xa091
jmp 0xa06f
jmp 0xa06f
jmp 0xa071
movl -0x1c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x1c(%rbp)
jmp 0x9940
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rax
movslq -0x20(%rbp), %rcx
movl (%rax,%rcx,4), %eax
movl %eax, -0x4(%rbp)
movl -0x4(%rbp), %eax
addq $0x60, %rsp
popq %rbp
retq
nopw (%rax,%rax)