// File: /workspace/github_cpp_makefile_star2_O3/jstaursky[P]hutch/src/Sleigh/slghsymbol.cc
// Function: ContextSymbol::restoreXml(Element const*, SleighBase*)
void ContextSymbol::restoreXml(const Element *el,SleighBase *trans)

{
  ValueSymbol::restoreXml(el,trans);
  {
    uintm id;
    istringstream s(el->getAttributeValue("varnode"));
    s.unsetf(ios::dec | ios::hex | ios::oct);
    s >> id;
    vn = (VarnodeSymbol *)trans->findSymbol(id);
  }
  {  
    istringstream s(el->getAttributeValue("low"));
    s.unsetf(ios::dec | ios::hex | ios::oct);
    s >> low;
  }
  {  
    istringstream s(el->getAttributeValue("high"));
    s.unsetf(ios::dec | ios::hex | ios::oct);
    s >> high;
  }
  flow = true;
  for(int4 i=el->getNumAttributes()-1;i>=0;--i) {
    if (el->getAttributeName(i)=="flow") {
      flow = xml_readbool(el->getAttributeValue(i));
      break;
    }
  }
}

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x1b0, %rsp            # imm = 0x1B0
movq %rdx, %r15
movq %rsi, %r14
movq %rdi, %rbx
movq 0x78(%rsi), %rax
movq (%rax), %rdi
movq %rdx, %rsi
callq 0x407d0
movq %rax, 0x30(%rbx)
incl 0x8(%rax)
leaq 0x18(%rsp), %r12
movq %r12, -0x10(%r12)
leaq 0x19db1(%rip), %rsi     # 0x812f5
leaq 0x19db1(%rip), %rdx     # 0x812fc
leaq 0x8(%rsp), %rdi
callq 0x3f8a0
leaq 0x8(%rsp), %rsi
movq %r14, %rdi
callq 0x40f80
leaq 0x30(%rsp), %rdi
movq %rax, %rsi
movl $0x8, %edx
callq 0x41c90
movq 0x8(%rsp), %rdi
cmpq %r12, %rdi
je 0x6758b
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x40880
leaq 0x30(%rsp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
andl $-0x4b, 0x48(%rsp,%rax)
leaq 0x2c(%rsp), %rsi
callq 0x41ec0
movl 0x2c(%rsp), %eax
movq 0x198(%r15), %rcx
movq (%rcx,%rax,8), %rax
movq %rax, 0x38(%rbx)
movq 0x3b750(%rip), %rsi     # 0xa2d10
leaq 0x30(%rsp), %rdi
callq 0x41450
leaq 0xa8(%rsp), %rdi
callq 0x3f730
leaq 0x8(%rsp), %rdi
movq %r12, (%rdi)
leaq 0x19ce9(%rip), %rsi     # 0x812cf
leaq 0x19ce5(%rip), %rdx     # 0x812d2
callq 0x3f8a0
leaq 0x8(%rsp), %rsi
movq %r14, %rdi
callq 0x40f80
leaq 0x30(%rsp), %rdi
movq %rax, %rsi
movl $0x8, %edx
callq 0x41c90
movq 0x8(%rsp), %rdi
cmpq %r12, %rdi
je 0x67628
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x40880
leaq 0x30(%rsp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
andl $-0x4b, 0x48(%rsp,%rax)
leaq 0x40(%rbx), %rsi
callq 0x41ec0
movq 0x3b6c7(%rip), %rsi     # 0xa2d10
leaq 0x30(%rsp), %rdi
callq 0x41450
leaq 0xa8(%rsp), %rdi
callq 0x3f730
leaq 0x8(%rsp), %rdi
movq %r12, (%rdi)
leaq 0x19c8e(%rip), %rsi     # 0x812fd
leaq 0x19c8b(%rip), %rdx     # 0x81301
callq 0x3f8a0
leaq 0x8(%rsp), %rsi
movq %r14, %rdi
callq 0x40f80
leaq 0x30(%rsp), %rdi
movq %rax, %rsi
movl $0x8, %edx
callq 0x41c90
movq 0x8(%rsp), %rdi
cmpq %r12, %rdi
je 0x676b1
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x40880
leaq 0x30(%rsp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
andl $-0x4b, 0x48(%rsp,%rax)
leaq 0x44(%rbx), %rsi
callq 0x41ec0
movq 0x3b63e(%rip), %rsi     # 0xa2d10
leaq 0x30(%rsp), %rdi
callq 0x41450
leaq 0xa8(%rsp), %rdi
callq 0x3f730
movb $0x1, 0x48(%rbx)
movq 0x48(%r14), %r12
subq 0x40(%r14), %r12
movabsq $0x1fffffffe0, %rdi     # imm = 0x1FFFFFFFE0
andq %r12, %rdi
shrq $0x5, %r12
incl %r12d
addq $-0x20, %rdi
leaq 0x19bba(%rip), %r15     # 0x812ce
decl %r12d
testl %r12d, %r12d
jle 0x6775d
leaq -0x20(%rdi), %r13
addq 0x40(%r14), %rdi
movq %r15, %rsi
callq 0x3f590
movq %r13, %rdi
testl %eax, %eax
jne 0x67714
movq 0x58(%r14), %rax
cmpq $0x0, 0x28(%rax,%r13)
je 0x67758
movq 0x20(%rax,%r13), %rax
movzbl (%rax), %ecx
movb $0x1, %al
cmpl $0x31, %ecx
je 0x6775a
cmpl $0x74, %ecx
je 0x6775a
cmpl $0x79, %ecx
je 0x6775a
xorl %eax, %eax
movb %al, 0x48(%rbx)
addq $0x1b0, %rsp            # imm = 0x1B0
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
jmp 0x67776
jmp 0x67799
jmp 0x67776
jmp 0x67799
movq %rax, %rbx
movq 0x3b590(%rip), %rsi     # 0xa2d10
leaq 0x30(%rsp), %rdi
callq 0x41450
leaq 0xa8(%rsp), %rdi
callq 0x3f730
jmp 0x677bc
movq %rax, %rbx
jmp 0x677bc
jmp 0x677a2
jmp 0x677a2
movq %rax, %rbx
movq 0x8(%rsp), %rdi
cmpq %r12, %rdi
je 0x677bc
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x40880
movq %rbx, %rdi
callq 0x41f10