// File: /workspace/github_cpp_makefile_star2_O2/jstaursky[P]hutch/src/build/pcodeparse.cc
// Function: yydestruct(char const*, yysymbol_kind_t, YYSTYPE*)
static void
yydestruct (const char *yymsg,
            yysymbol_kind_t yykind, YYSTYPE *yyvaluep)
{
  YY_USE (yyvaluep);
  if (!yymsg)
    yymsg = "Deleting";
  YY_SYMBOL_PRINT (yymsg, yykind, yyvaluep, yylocationp);

  YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN
  switch (yykind)
    {
    case YYSYMBOL_INTEGER: /* INTEGER  */
#line 90 "parser-tools/pcodeparse.y"
            { delete ((*yyvaluep).i); }
#line 1537 "src/build/pcodeparse.cc"
        break;

    case YYSYMBOL_STRING: /* STRING  */
#line 91 "parser-tools/pcodeparse.y"
            { delete ((*yyvaluep).str); }
#line 1543 "src/build/pcodeparse.cc"
        break;

    case YYSYMBOL_rtlmid: /* rtlmid  */
#line 93 "parser-tools/pcodeparse.y"
            { delete ((*yyvaluep).sem); }
#line 1549 "src/build/pcodeparse.cc"
        break;

    case YYSYMBOL_statement: /* statement  */
#line 94 "parser-tools/pcodeparse.y"
            { if (((*yyvaluep).stmt) != (vector<OpTpl *> *)0) { for(int4 i=0;i<((*yyvaluep).stmt)->size();++i) delete (*((*yyvaluep).stmt))[i]; delete ((*yyvaluep).stmt);} }
#line 1555 "src/build/pcodeparse.cc"
        break;

    case YYSYMBOL_expr: /* expr  */
#line 95 "parser-tools/pcodeparse.y"
            { delete ((*yyvaluep).tree); }
#line 1561 "src/build/pcodeparse.cc"
        break;

    case YYSYMBOL_sizedstar: /* sizedstar  */
#line 97 "parser-tools/pcodeparse.y"
            { delete ((*yyvaluep).starqual); }
#line 1567 "src/build/pcodeparse.cc"
        break;

    case YYSYMBOL_jumpdest: /* jumpdest  */
#line 96 "parser-tools/pcodeparse.y"
            { if (((*yyvaluep).varnode) != (VarnodeTpl *)0) delete ((*yyvaluep).varnode); }
#line 1573 "src/build/pcodeparse.cc"
        break;

    case YYSYMBOL_varnode: /* varnode  */
#line 96 "parser-tools/pcodeparse.y"
            { if (((*yyvaluep).varnode) != (VarnodeTpl *)0) delete ((*yyvaluep).varnode); }
#line 1579 "src/build/pcodeparse.cc"
        break;

    case YYSYMBOL_integervarnode: /* integervarnode  */
#line 96 "parser-tools/pcodeparse.y"
            { if (((*yyvaluep).varnode) != (VarnodeTpl *)0) delete ((*yyvaluep).varnode); }
#line 1585 "src/build/pcodeparse.cc"
        break;

    case YYSYMBOL_lhsvarnode: /* lhsvarnode  */
#line 96 "parser-tools/pcodeparse.y"
            { if (((*yyvaluep).varnode) != (VarnodeTpl *)0) delete ((*yyvaluep).varnode); }
#line 1591 "src/build/pcodeparse.cc"
        break;

    case YYSYMBOL_paramlist: /* paramlist  */
#line 92 "parser-tools/pcodeparse.y"
            { for(int4 i=0;i<((*yyvaluep).param)->size();++i) delete (*((*yyvaluep).param))[i]; delete ((*yyvaluep).param); }
#line 1597 "src/build/pcodeparse.cc"
        break;

      default:
        break;
    }
  YY_IGNORE_MAYBE_UNINITIALIZED_END
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %rbx
leal -0x53(%rdi), %eax
cmpl $0xa, %eax
ja 0x8404b
leaq 0x5d65(%rip), %rcx      # 0x89d94
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq (%rbx), %rdi
testq %rdi, %rdi
je 0x84123
pushq $0x68
jmp 0x8414c
cmpl $0x41, %edi
je 0x84147
cmpl $0x42, %edi
jne 0x84123
movq (%rbx), %rbx
testq %rbx, %rbx
je 0x8406d
movq %rbx, %rdi
callq 0x4e020
pushq $0x20
jmp 0x84141
movq (%rbx), %rbx
testq %rbx, %rbx
je 0x84084
movq %rbx, %rdi
callq 0x501f0
pushq $0x10
jmp 0x84141
xorl %r12d, %r12d
pushq $0x10
popq %r14
movq (%rbx), %r15
movq (%r15), %rax
movq 0x8(%r15), %rcx
subq %rax, %rcx
sarq $0x3, %rcx
cmpq %r12, %rcx
jbe 0x840c9
movq (%rax,%r12,8), %r15
testq %r15, %r15
je 0x840b9
movq %r15, %rdi
callq 0x501f0
movq %r15, %rdi
movq %r14, %rsi
callq 0x4f670
incq %r12
jmp 0x84092
movq %r15, %rdi
callq 0x50240
jmp 0x84157
movq (%rbx), %rdi
pushq $0x28
jmp 0x8414c
movq (%rbx), %r15
testq %r15, %r15
je 0x84123
xorl %r12d, %r12d
pushq $0x28
popq %r14
movq (%r15), %rax
movq 0x8(%r15), %rcx
subq %rax, %rcx
sarq $0x3, %rcx
cmpq %r12, %rcx
jbe 0x8414f
movq (%rax,%r12,8), %r15
testq %r15, %r15
je 0x84110
movq %r15, %rdi
callq 0x4d290
movq %r15, %rdi
movq %r14, %rsi
callq 0x4f670
incq %r12
movq (%rbx), %r15
jmp 0x840ec
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
movq (%rbx), %rbx
testq %rbx, %rbx
je 0x8413f
movq %rbx, %rdi
callq 0x50d60
pushq $0x28
popq %rsi
movq %rbx, %rdi
jmp 0x8415d
movq (%rbx), %rdi
pushq $0x8
popq %rsi
jmp 0x8415d
movq %r15, %rdi
callq 0x51010
pushq $0x18
popq %rsi
movq %r15, %rdi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmp 0x4f670
nop