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

{
  fix.space = trans->getSpaceByName(el->getAttributeValue("space"));
  {
    istringstream s(el->getAttributeValue("offset"));
    s.unsetf(ios::dec | ios::hex | ios::oct);
    s >> fix.offset;
  }
  {
    istringstream s(el->getAttributeValue("size"));
    s.unsetf(ios::dec | ios::hex | ios::oct);
    s >> fix.size;
  }
				// PatternlessSymbol does not need restoring
}

// Assembly:
subq $0x438, %rsp            # imm = 0x438
movq %rdi, 0x430(%rsp)
movq %rsi, 0x428(%rsp)
movq %rdx, 0x420(%rsp)
movq 0x430(%rsp), %rax
movq %rax, 0x78(%rsp)
movq 0x420(%rsp), %rax
movq %rax, 0x80(%rsp)
movq 0x428(%rsp), %rax
movq %rax, 0x88(%rsp)
leaq 0x3ff(%rsp), %rdi
movq %rdi, 0x90(%rsp)
callq 0xe0c80
movq 0x90(%rsp), %rdx
leaq 0x461b9(%rip), %rsi     # 0x187b19
leaq 0x400(%rsp), %rdi
callq 0xe00a0
jmp 0x14196f
movq 0x88(%rsp), %rdi
leaq 0x400(%rsp), %rsi
callq 0xdb6f0
movq %rax, 0x70(%rsp)
jmp 0x14198b
movq 0x70(%rsp), %rsi
movq 0x80(%rsp), %rdi
callq 0xe10d0
movq %rax, 0x68(%rsp)
jmp 0x1419a4
movq 0x78(%rsp), %rax
movq 0x68(%rsp), %rcx
movq %rcx, 0x38(%rax)
leaq 0x400(%rsp), %rdi
callq 0xd4550
leaq 0x3ff(%rsp), %rdi
callq 0xd8ec0
movq 0x428(%rsp), %rax
movq %rax, 0x58(%rsp)
leaq 0x247(%rsp), %rdi
movq %rdi, 0x60(%rsp)
callq 0xe0c80
movq 0x60(%rsp), %rdx
leaq 0x46323(%rip), %rsi     # 0x187d1a
leaq 0x248(%rsp), %rdi
callq 0xe00a0
jmp 0x141a06
movq 0x58(%rsp), %rdi
leaq 0x248(%rsp), %rsi
callq 0xdb6f0
movq %rax, 0x50(%rsp)
jmp 0x141a1f
movq 0x50(%rsp), %rsi
leaq 0x268(%rsp), %rdi
movl $0x8, %edx
callq 0xdfcc0
jmp 0x141a38
leaq 0x248(%rsp), %rdi
callq 0xd4550
leaq 0x247(%rsp), %rdi
callq 0xd8ec0
movq 0x268(%rsp), %rax
movq -0x18(%rax), %rax
leaq 0x268(%rsp,%rax), %rax
movq %rax, 0x40(%rsp)
movl $0x2, %edi
movl $0x8, %esi
callq 0xe0e70
movl %eax, 0x4c(%rsp)
jmp 0x141a80
movl 0x4c(%rsp), %edi
movl $0x40, %esi
callq 0xe0e70
movl %eax, 0x3c(%rsp)
jmp 0x141a94
movl 0x3c(%rsp), %esi
movq 0x40(%rsp), %rdi
callq 0xda6e0
jmp 0x141aa4
movq 0x78(%rsp), %rsi
addq $0x40, %rsi
leaq 0x268(%rsp), %rdi
callq 0xdcd70
jmp 0x141abc
leaq 0x268(%rsp), %rdi
callq 0xd25a0
movq 0x428(%rsp), %rax
movq %rax, 0x28(%rsp)
leaq 0x9f(%rsp), %rdi
movq %rdi, 0x30(%rsp)
callq 0xe0c80
movq 0x30(%rsp), %rdx
leaq 0x4beb9(%rip), %rsi     # 0x18d9ad
leaq 0xa0(%rsp), %rdi
callq 0xe00a0
jmp 0x141b03
movq 0x28(%rsp), %rdi
leaq 0xa0(%rsp), %rsi
callq 0xdb6f0
movq %rax, 0x20(%rsp)
jmp 0x141b1c
movq 0x20(%rsp), %rsi
leaq 0xc0(%rsp), %rdi
movl $0x8, %edx
callq 0xdfcc0
jmp 0x141b35
leaq 0xa0(%rsp), %rdi
callq 0xd4550
leaq 0x9f(%rsp), %rdi
callq 0xd8ec0
movq 0xc0(%rsp), %rax
movq -0x18(%rax), %rax
leaq 0xc0(%rsp,%rax), %rax
movq %rax, 0x10(%rsp)
movl $0x2, %edi
movl $0x8, %esi
callq 0xe0e70
movl %eax, 0x1c(%rsp)
jmp 0x141b7d
movl 0x1c(%rsp), %edi
movl $0x40, %esi
callq 0xe0e70
movl %eax, 0xc(%rsp)
jmp 0x141b91
movl 0xc(%rsp), %esi
movq 0x10(%rsp), %rdi
callq 0xda6e0
jmp 0x141ba1
movq 0x78(%rsp), %rsi
addq $0x48, %rsi
leaq 0xc0(%rsp), %rdi
callq 0xceae0
jmp 0x141bb9
leaq 0xc0(%rsp), %rdi
callq 0xd25a0
addq $0x438, %rsp            # imm = 0x438
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x3f0(%rsp)
movl %eax, 0x3ec(%rsp)
jmp 0x141c05
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x3f0(%rsp)
movl %eax, 0x3ec(%rsp)
leaq 0x400(%rsp), %rdi
callq 0xd4550
leaq 0x3ff(%rsp), %rdi
callq 0xd8ec0
jmp 0x141cea
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x3f0(%rsp)
movl %eax, 0x3ec(%rsp)
jmp 0x141c4e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x3f0(%rsp)
movl %eax, 0x3ec(%rsp)
leaq 0x248(%rsp), %rdi
callq 0xd4550
leaq 0x247(%rsp), %rdi
callq 0xd8ec0
jmp 0x141cea
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x3f0(%rsp)
movl %eax, 0x3ec(%rsp)
leaq 0x268(%rsp), %rdi
callq 0xd25a0
jmp 0x141cea
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x3f0(%rsp)
movl %eax, 0x3ec(%rsp)
jmp 0x141cba
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x3f0(%rsp)
movl %eax, 0x3ec(%rsp)
leaq 0xa0(%rsp), %rdi
callq 0xd4550
leaq 0x9f(%rsp), %rdi
callq 0xd8ec0
jmp 0x141cea
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x3f0(%rsp)
movl %eax, 0x3ec(%rsp)
leaq 0xc0(%rsp), %rdi
callq 0xd25a0
movq 0x3f0(%rsp), %rdi
callq 0xe0be0
nopw (%rax,%rax)