// File: /workspace/github_cpp_makefile_star2_O2/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
callq 0x516a0
leaq 0x173dc(%rip), %rsi     # 0x882c5
leaq 0x10(%rsp), %rdi
leaq 0xb(%rsp), %rdx
callq 0x515e0
leaq 0x10(%rsp), %rsi
movq %r14, %rdi
callq 0x50230
leaq 0x30(%rsp), %rdi
pushq $0x8
popq %rdx
movq %rax, %rsi
callq 0x51500
leaq 0x10(%rsp), %rdi
callq 0x4e020
leaq 0x30(%rsp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
andl $-0x4b, 0x48(%rsp,%rax)
leaq 0xc(%rsp), %rsi
callq 0x51830
leaq 0xc(%rsp), %r12
movl (%r12), %eax
movq 0x198(%r15), %rcx
movq (%rcx,%rax,8), %rax
movq %rax, 0x38(%rbx)
leaq 0x30(%rsp), %rdi
callq 0x4e070
leaq 0x1733c(%rip), %rsi     # 0x8829f
leaq 0x10(%rsp), %rdi
movq %r12, %rdx
callq 0x515e0
leaq 0x10(%rsp), %rsi
movq %r14, %rdi
callq 0x50230
leaq 0x30(%rsp), %rdi
pushq $0x8
popq %rdx
movq %rax, %rsi
callq 0x51500
leaq 0x10(%rsp), %rdi
callq 0x4e020
leaq 0x30(%rsp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
andl $-0x4b, 0x48(%rsp,%rax)
leaq 0x40(%rbx), %rsi
callq 0x51830
leaq 0x30(%rsp), %rdi
callq 0x4e070
leaq 0x1730b(%rip), %rsi     # 0x882cd
leaq 0x10(%rsp), %rdi
leaq 0xc(%rsp), %rdx
callq 0x515e0
leaq 0x10(%rsp), %rsi
movq %r14, %rdi
callq 0x50230
leaq 0x30(%rsp), %rdi
pushq $0x8
popq %rdx
movq %rax, %rsi
callq 0x51500
leaq 0x10(%rsp), %rdi
callq 0x4e020
leaq 0x30(%rsp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
andl $-0x4b, 0x48(%rsp,%rax)
leaq 0x44(%rbx), %rsi
callq 0x51830
leaq 0x30(%rsp), %rdi
callq 0x4e070
movb $0x1, 0x48(%rbx)
movq 0x48(%r14), %r13
subq 0x40(%r14), %r13
movabsq $0x1fffffffe0, %r15     # imm = 0x1FFFFFFFE0
andq %r13, %r15
shrq $0x5, %r13
incl %r13d
leaq 0x1725b(%rip), %r12     # 0x8829e
decl %r13d
testl %r13d, %r13d
jle 0x71076
movq 0x40(%r14), %rax
leaq (%rax,%r15), %rdi
addq $-0x20, %rdi
addq $-0x20, %r15
movq %r12, %rsi
callq 0x520f0
testb %al, %al
je 0x71043
addq 0x58(%r14), %r15
movq %r15, %rdi
callq 0x4fb70
movb %al, 0x48(%rbx)
addq $0x1b0, %rsp            # imm = 0x1B0
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
jmp 0x7108f
jmp 0x7109e
jmp 0x7108f
jmp 0x7109e
movq %rax, %rbx
leaq 0x30(%rsp), %rdi
callq 0x4e070
jmp 0x710b4
movq %rax, %rbx
jmp 0x710b4
jmp 0x710a7
jmp 0x710a7
movq %rax, %rbx
leaq 0x10(%rsp), %rdi
callq 0x4e020
movq %rbx, %rdi
callq 0x518c0