// File: 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:
subq $0xa8, %rsp
movq %rdi, 0xa0(%rsp)
movl %esi, 0x9c(%rsp)
movq %rdx, 0x90(%rsp)
cmpq $0x0, 0xa0(%rsp)
jne 0x183298
leaq 0x7ad1(%rip), %rax      # 0x18ad61
movq %rax, 0xa0(%rsp)
movl 0x9c(%rsp), %eax
addl $-0x41, %eax
movl %eax, %ecx
movq %rcx, 0x80(%rsp)
subl $0x1c, %eax
ja 0x183630
movq 0x80(%rsp), %rax
leaq 0x7ca0(%rip), %rcx      # 0x18af64
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq 0x90(%rsp), %rax
movq (%rax), %rax
movq %rax, 0x78(%rsp)
cmpq $0x0, %rax
je 0x1832f2
movq 0x78(%rsp), %rdi
movl $0x8, %esi
callq 0xd8620
jmp 0x183632
movq 0x90(%rsp), %rax
movq (%rax), %rax
movq %rax, 0x70(%rsp)
cmpq $0x0, %rax
je 0x183326
movq 0x70(%rsp), %rdi
callq 0xd4550
movq 0x70(%rsp), %rdi
movl $0x20, %esi
callq 0xd8620
jmp 0x183632
movq 0x90(%rsp), %rax
movq (%rax), %rax
movq %rax, 0x68(%rsp)
cmpq $0x0, %rax
je 0x18335a
movq 0x68(%rsp), %rdi
callq 0xde070
movq 0x68(%rsp), %rdi
movl $0x28, %esi
callq 0xd8620
jmp 0x183632
movq 0x90(%rsp), %rax
cmpq $0x0, (%rax)
je 0x18342b
movl $0x0, 0x8c(%rsp)
movslq 0x8c(%rsp), %rax
movq %rax, 0x60(%rsp)
movq 0x90(%rsp), %rax
movq (%rax), %rdi
callq 0xdd5e0
movq %rax, %rcx
movq 0x60(%rsp), %rax
cmpq %rcx, %rax
jae 0x1833fa
movq 0x90(%rsp), %rax
movq (%rax), %rdi
movslq 0x8c(%rsp), %rsi
callq 0xdaef0
movq (%rax), %rax
movq %rax, 0x58(%rsp)
cmpq $0x0, %rax
je 0x1833e5
movq 0x58(%rsp), %rdi
callq 0xcea00
movq 0x58(%rsp), %rdi
movl $0x28, %esi
callq 0xd8620
jmp 0x1833e7
movl 0x8c(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x8c(%rsp)
jmp 0x18337c
movq 0x90(%rsp), %rax
movq (%rax), %rax
movq %rax, 0x50(%rsp)
cmpq $0x0, %rax
je 0x183429
movq 0x50(%rsp), %rdi
callq 0xd7770
movq 0x50(%rsp), %rdi
movl $0x18, %esi
callq 0xd8620
jmp 0x18342b
jmp 0x183632
movq 0x90(%rsp), %rax
movq (%rax), %rax
movq %rax, 0x48(%rsp)
cmpq $0x0, %rax
je 0x18345f
movq 0x48(%rsp), %rdi
callq 0xdb660
movq 0x48(%rsp), %rdi
movl $0x10, %esi
callq 0xd8620
jmp 0x183632
movq 0x90(%rsp), %rax
movq (%rax), %rax
movq %rax, 0x40(%rsp)
cmpq $0x0, %rax
je 0x183489
movq 0x40(%rsp), %rdi
movl $0x28, %esi
callq 0xd8620
jmp 0x183632
movq 0x90(%rsp), %rax
cmpq $0x0, (%rax)
je 0x1834c3
movq 0x90(%rsp), %rax
movq (%rax), %rax
movq %rax, 0x38(%rsp)
cmpq $0x0, %rax
je 0x1834c1
movq 0x38(%rsp), %rdi
movl $0x68, %esi
callq 0xd8620
jmp 0x1834c3
jmp 0x183632
movq 0x90(%rsp), %rax
cmpq $0x0, (%rax)
je 0x1834fd
movq 0x90(%rsp), %rax
movq (%rax), %rax
movq %rax, 0x30(%rsp)
cmpq $0x0, %rax
je 0x1834fb
movq 0x30(%rsp), %rdi
movl $0x68, %esi
callq 0xd8620
jmp 0x1834fd
jmp 0x183632
movq 0x90(%rsp), %rax
cmpq $0x0, (%rax)
je 0x183537
movq 0x90(%rsp), %rax
movq (%rax), %rax
movq %rax, 0x28(%rsp)
cmpq $0x0, %rax
je 0x183535
movq 0x28(%rsp), %rdi
movl $0x68, %esi
callq 0xd8620
jmp 0x183537
jmp 0x183632
movq 0x90(%rsp), %rax
cmpq $0x0, (%rax)
je 0x183571
movq 0x90(%rsp), %rax
movq (%rax), %rax
movq %rax, 0x20(%rsp)
cmpq $0x0, %rax
je 0x18356f
movq 0x20(%rsp), %rdi
movl $0x68, %esi
callq 0xd8620
jmp 0x183571
jmp 0x183632
movl $0x0, 0x88(%rsp)
movslq 0x88(%rsp), %rax
movq %rax, 0x18(%rsp)
movq 0x90(%rsp), %rax
movq (%rax), %rdi
callq 0xe0fe0
movq %rax, %rcx
movq 0x18(%rsp), %rax
cmpq %rcx, %rax
jae 0x1835ff
movq 0x90(%rsp), %rax
movq (%rax), %rdi
movslq 0x88(%rsp), %rsi
callq 0xce070
movq (%rax), %rax
movq %rax, 0x10(%rsp)
cmpq $0x0, %rax
je 0x1835ea
movq 0x10(%rsp), %rdi
callq 0xdb660
movq 0x10(%rsp), %rdi
movl $0x10, %esi
callq 0xd8620
jmp 0x1835ec
movl 0x88(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x88(%rsp)
jmp 0x183581
movq 0x90(%rsp), %rax
movq (%rax), %rax
movq %rax, 0x8(%rsp)
cmpq $0x0, %rax
je 0x18362e
movq 0x8(%rsp), %rdi
callq 0xe24d0
movq 0x8(%rsp), %rdi
movl $0x18, %esi
callq 0xd8620
jmp 0x183632
jmp 0x183632
addq $0xa8, %rsp
retq
nopw (%rax,%rax)