// File: /workspace/github_cpp_makefile_star2_O2/jstaursky[P]hutch/src/Sleigh/float.cc
// Function: FloatFormat::restoreXml(Element const*)
void FloatFormat::restoreXml(const Element *el)

{
  {
    istringstream s(el->getAttributeValue("size"));
    s.unsetf(ios::dec | ios::hex | ios::oct);
    s >> size;
  }
  {
    istringstream s(el->getAttributeValue("signpos"));
    s.unsetf(ios::dec | ios::hex | ios::oct);
    s >> signbit_pos;
  }
  {
    istringstream s(el->getAttributeValue("fracpos"));
    s.unsetf(ios::dec | ios::hex | ios::oct);
    s >> frac_pos;
  }
  {
    istringstream s(el->getAttributeValue("fracsize"));
    s.unsetf(ios::dec | ios::hex | ios::oct);
    s >> frac_size;
  }
  {
    istringstream s(el->getAttributeValue("exppos"));
    s.unsetf(ios::dec | ios::hex | ios::oct);
    s >> exp_pos;
  }
  {
    istringstream s(el->getAttributeValue("expsize"));
    s.unsetf(ios::dec | ios::hex | ios::oct);
    s >> exp_size;
  }
  {
    istringstream s(el->getAttributeValue("bias"));
    s.unsetf(ios::dec | ios::hex | ios::oct);
    s >> bias;
  }
  jbitimplied = xml_readbool(el->getAttributeValue("jbitimplied"));
  maxexponent = (1<<exp_size)-1;
}

// Assembly:
pushq %r14
pushq %rbx
subq $0x1a8, %rsp            # imm = 0x1A8
movq %rsi, %r14
movq %rdi, %rbx
leaq 0x382ac(%rip), %rsi     # 0x8c76d
leaq 0x8(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x515e0
leaq 0x8(%rsp), %rsi
movq %r14, %rdi
callq 0x50230
leaq 0x28(%rsp), %rdi
pushq $0x8
popq %rdx
movq %rax, %rsi
callq 0x51500
leaq 0x8(%rsp), %rdi
callq 0x4e020
leaq 0x28(%rsp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
andl $-0x4b, 0x40(%rsp,%rax)
movq %rbx, %rsi
callq 0x4e750
leaq 0x28(%rsp), %rdi
callq 0x4e070
leaq 0x31c34(%rip), %rsi     # 0x86155
leaq 0x8(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x515e0
leaq 0x8(%rsp), %rsi
movq %r14, %rdi
callq 0x50230
leaq 0x28(%rsp), %rdi
pushq $0x8
popq %rdx
movq %rax, %rsi
callq 0x51500
leaq 0x8(%rsp), %rdi
callq 0x4e020
leaq 0x28(%rsp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
andl $-0x4b, 0x40(%rsp,%rax)
leaq 0x4(%rbx), %rsi
callq 0x4e750
leaq 0x28(%rsp), %rdi
callq 0x4e070
leaq 0x31bdb(%rip), %rsi     # 0x8615d
leaq 0x8(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x515e0
leaq 0x8(%rsp), %rsi
movq %r14, %rdi
callq 0x50230
leaq 0x28(%rsp), %rdi
pushq $0x8
popq %rdx
movq %rax, %rsi
callq 0x51500
leaq 0x8(%rsp), %rdi
callq 0x4e020
leaq 0x28(%rsp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
andl $-0x4b, 0x40(%rsp,%rax)
leaq 0x8(%rbx), %rsi
callq 0x4e750
leaq 0x28(%rsp), %rdi
callq 0x4e070
leaq 0x31b82(%rip), %rsi     # 0x86165
leaq 0x8(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x515e0
leaq 0x8(%rsp), %rsi
movq %r14, %rdi
callq 0x50230
leaq 0x28(%rsp), %rdi
pushq $0x8
popq %rdx
movq %rax, %rsi
callq 0x51500
leaq 0x8(%rsp), %rdi
callq 0x4e020
leaq 0x28(%rsp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
andl $-0x4b, 0x40(%rsp,%rax)
leaq 0xc(%rbx), %rsi
callq 0x4e750
leaq 0x28(%rsp), %rdi
callq 0x4e070
leaq 0x31b2a(%rip), %rsi     # 0x8616e
leaq 0x8(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x515e0
leaq 0x8(%rsp), %rsi
movq %r14, %rdi
callq 0x50230
leaq 0x28(%rsp), %rdi
pushq $0x8
popq %rdx
movq %rax, %rsi
callq 0x51500
leaq 0x8(%rsp), %rdi
callq 0x4e020
leaq 0x28(%rsp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
andl $-0x4b, 0x40(%rsp,%rax)
leaq 0x10(%rbx), %rsi
callq 0x4e750
leaq 0x28(%rsp), %rdi
callq 0x4e070
leaq 0x31ad0(%rip), %rsi     # 0x86175
leaq 0x8(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x515e0
leaq 0x8(%rsp), %rsi
movq %r14, %rdi
callq 0x50230
leaq 0x28(%rsp), %rdi
pushq $0x8
popq %rdx
movq %rax, %rsi
callq 0x51500
leaq 0x8(%rsp), %rdi
callq 0x4e020
leaq 0x28(%rsp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
andl $-0x4b, 0x40(%rsp,%rax)
leaq 0x14(%rbx), %rsi
callq 0x4e750
leaq 0x28(%rsp), %rdi
callq 0x4e070
leaq 0x31a77(%rip), %rsi     # 0x8617d
leaq 0x8(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x515e0
leaq 0x8(%rsp), %rsi
movq %r14, %rdi
callq 0x50230
leaq 0x28(%rsp), %rdi
pushq $0x8
popq %rdx
movq %rax, %rsi
callq 0x51500
leaq 0x8(%rsp), %rdi
callq 0x4e020
leaq 0x28(%rsp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
andl $-0x4b, 0x40(%rsp,%rax)
leaq 0x18(%rbx), %rsi
callq 0x4e750
leaq 0x28(%rsp), %rdi
callq 0x4e070
leaq 0x31a1b(%rip), %rsi     # 0x86182
leaq 0x28(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x515e0
leaq 0x28(%rsp), %rsi
movq %r14, %rdi
callq 0x50230
movq %rax, %rdi
callq 0x4fb70
movb %al, 0x20(%rbx)
leaq 0x28(%rsp), %rdi
callq 0x4e020
movb 0x14(%rbx), %cl
pushq $-0x1
popq %rax
shll %cl, %eax
notl %eax
movl %eax, 0x1c(%rbx)
addq $0x1a8, %rsp            # imm = 0x1A8
popq %rbx
popq %r14
retq
movq %rax, %rbx
leaq 0x28(%rsp), %rdi
jmp 0x547fc
jmp 0x547e3
jmp 0x547d4
jmp 0x547e3
jmp 0x547d4
jmp 0x547e3
jmp 0x547d4
jmp 0x547e3
jmp 0x547d4
jmp 0x547e3
jmp 0x547d4
jmp 0x547e3
jmp 0x547d4
jmp 0x547e3
movq %rax, %rbx
leaq 0x28(%rsp), %rdi
callq 0x4e070
jmp 0x54801
movq %rax, %rbx
jmp 0x54801
jmp 0x547f4
jmp 0x547f4
jmp 0x547f4
jmp 0x547f4
jmp 0x547f4
jmp 0x547f4
movq %rax, %rbx
leaq 0x8(%rsp), %rdi
callq 0x4e020
movq %rbx, %rdi
callq 0x518c0