// File: /workspace/github_cpp_makefile_star2_O1/jstaursky[P]hutch/src/Sleigh/sleighbase.cc
// Function: SleighBase::saveXml(std::ostream&) const
void SleighBase::saveXml(ostream &s) const

{
  s << "<sleigh";
  a_v_i(s,"version",SLA_FORMAT_VERSION);
  a_v_b(s,"bigendian",isBigEndian());
  a_v_i(s,"align",alignment);
  a_v_u(s,"uniqbase",getUniqueBase());
  if (maxdelayslotbytes > 0)
    a_v_u(s,"maxdelay",maxdelayslotbytes);
  if (unique_allocatemask != 0)
    a_v_u(s,"uniqmask",unique_allocatemask);
  if (numSections != 0)
    a_v_u(s,"numsections",numSections);
  s << ">\n";

  s << "<spaces";
  a_v(s,"defaultspace",getDefaultSpace()->getName());
  s << ">\n";
  for(int4 i=0;i<numSpaces();++i) {
    AddrSpace *spc = getSpace(i);
    if (spc == (AddrSpace *)0) continue;
    if ((spc->getType()==IPTR_CONSTANT) || 
	(spc->getType()==IPTR_FSPEC)||
	(spc->getType()==IPTR_IOP)||
	(spc->getType()==IPTR_JOIN))
      continue;
    spc->saveXml(s);
  }
  s << "</spaces>\n";
  symtab.saveXml(s);
  s << "</sleigh>\n";
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %rsi, %rbx
movq %rdi, %r14
leaq 0x26972(%rip), %rsi     # 0x805df
movl $0x7, %edx
movq %rbx, %rdi
callq 0x40b80
leaq 0x18(%rsp), %r13
movq %r13, -0x10(%r13)
leaq 0x2695d(%rip), %rsi     # 0x805e7
leaq 0x2695d(%rip), %rdx     # 0x805ee
leaq 0x8(%rsp), %rdi
callq 0x3f8a0
leaq 0x7(%rsp), %rsi
movb $0x20, (%rsi)
movl $0x1, %edx
movq %rbx, %rdi
callq 0x40b80
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq %rax, %rdi
callq 0x40b80
movq %rax, %r15
leaq 0x27a8c(%rip), %rsi     # 0x81758
movl $0x2, %edx
movq %rax, %rdi
callq 0x40b80
movq (%r15), %rax
movq -0x18(%rax), %rax
movl 0x18(%r15,%rax), %ecx
andl $-0x4b, %ecx
orl $0x2, %ecx
movl %ecx, 0x18(%r15,%rax)
movl $0x2, %esi
movq %r15, %rdi
callq 0x406f0
leaq 0x278e3(%rip), %rsi     # 0x815e7
movl $0x1, %edx
movq %rax, %rdi
callq 0x40b80
movq 0x8(%rsp), %rdi
cmpq %r13, %rdi
je 0x59d28
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x40870
leaq 0x8(%rsp), %rdi
movq %r13, (%rdi)
leaq 0x259f5(%rip), %rsi     # 0x7f72c
leaq 0x259f7(%rip), %rdx     # 0x7f735
callq 0x3f8a0
movb 0x120(%r14), %bpl
leaq 0x7(%rsp), %rsi
movb $0x20, (%rsi)
movl $0x1, %edx
movq %rbx, %rdi
callq 0x40b80
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq %rax, %rdi
callq 0x40b80
leaq 0x279e0(%rip), %rsi     # 0x81758
movl $0x2, %edx
movq %rax, %rdi
callq 0x40b80
leaq 0x25402(%rip), %rax     # 0x7f18e
leaq 0x25400(%rip), %rsi     # 0x7f193
testb %bpl, %bpl
cmovneq %rax, %rsi
movzbl %bpl, %edx
xorq $0x5, %rdx
movq %rbx, %rdi
callq 0x40b80
leaq 0x27836(%rip), %rsi     # 0x815e7
movl $0x1, %edx
movq %rbx, %rdi
callq 0x40b80
movq 0x8(%rsp), %rdi
cmpq %r13, %rdi
je 0x59dd5
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x40870
leaq 0x8(%rsp), %rdi
movq %r13, (%rdi)
leaq 0x2680b(%rip), %rsi     # 0x805ef
leaq 0x26809(%rip), %rdx     # 0x805f4
callq 0x3f8a0
movslq 0x128(%r14), %r15
leaq 0x7(%rsp), %rsi
movb $0x20, (%rsi)
movl $0x1, %edx
movq %rbx, %rdi
callq 0x40b80
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq %rax, %rdi
callq 0x40b80
movq %rax, %r12
leaq 0x27930(%rip), %rsi     # 0x81758
movl $0x2, %edx
movq %rax, %rdi
callq 0x40b80
movq (%r12), %rax
movq -0x18(%rax), %rax
movl 0x18(%r12,%rax), %ecx
andl $-0x4b, %ecx
orl $0x2, %ecx
movl %ecx, 0x18(%r12,%rax)
movq %r12, %rdi
movq %r15, %rsi
callq 0x406f0
leaq 0x27788(%rip), %rsi     # 0x815e7
movl $0x1, %edx
movq %rax, %rdi
callq 0x40b80
movq 0x8(%rsp), %rdi
cmpq %r13, %rdi
je 0x59e83
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x40870
leaq 0x8(%rsp), %rdi
movq %r13, (%rdi)
leaq 0x26763(%rip), %rsi     # 0x805f5
leaq 0x26764(%rip), %rdx     # 0x805fd
callq 0x3f8a0
movl 0x124(%r14), %r15d
leaq 0x7(%rsp), %rsi
movb $0x20, (%rsi)
movl $0x1, %edx
movq %rbx, %rdi
callq 0x40b80
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq %rax, %rdi
callq 0x40b80
movq %rax, %r12
leaq 0x271dc(%rip), %rsi     # 0x810b2
movl $0x4, %edx
movq %rax, %rdi
callq 0x40b80
movq (%r12), %rax
movq -0x18(%rax), %rax
movl 0x18(%r12,%rax), %ecx
andl $-0x4b, %ecx
orl $0x8, %ecx
movl %ecx, 0x18(%r12,%rax)
movq %r12, %rdi
movq %r15, %rsi
callq 0x3ffb0
leaq 0x276da(%rip), %rsi     # 0x815e7
movl $0x1, %edx
movq %rax, %rdi
callq 0x40b80
movq 0x8(%rsp), %rdi
cmpq %r13, %rdi
je 0x59f31
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x40870
cmpl $0x0, 0x1d0(%r14)
je 0x59fed
leaq 0x8(%rsp), %rdi
movq %r13, (%rdi)
leaq 0x266b0(%rip), %rsi     # 0x805fe
leaq 0x266b1(%rip), %rdx     # 0x80606
callq 0x3f8a0
movl 0x1d0(%r14), %r15d
leaq 0x7(%rsp), %rsi
movb $0x20, (%rsi)
movl $0x1, %edx
movq %rbx, %rdi
callq 0x40b80
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq %rax, %rdi
callq 0x40b80
movq %rax, %r12
leaq 0x27120(%rip), %rsi     # 0x810b2
movl $0x4, %edx
movq %rax, %rdi
callq 0x40b80
movq (%r12), %rax
movq -0x18(%rax), %rax
movl 0x18(%r12,%rax), %ecx
andl $-0x4b, %ecx
orl $0x8, %ecx
movl %ecx, 0x18(%r12,%rax)
movq %r12, %rdi
movq %r15, %rsi
callq 0x3ffb0
leaq 0x2761e(%rip), %rsi     # 0x815e7
movl $0x1, %edx
movq %rax, %rdi
callq 0x40b80
movq 0x8(%rsp), %rdi
cmpq %r13, %rdi
je 0x59fed
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x40870
cmpl $0x0, 0x1d4(%r14)
je 0x5a0a9
leaq 0x8(%rsp), %rdi
movq %r13, (%rdi)
leaq 0x265fd(%rip), %rsi     # 0x80607
leaq 0x265fe(%rip), %rdx     # 0x8060f
callq 0x3f8a0
movl 0x1d4(%r14), %r15d
leaq 0x7(%rsp), %rsi
movb $0x20, (%rsi)
movl $0x1, %edx
movq %rbx, %rdi
callq 0x40b80
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq %rax, %rdi
callq 0x40b80
movq %rax, %r12
leaq 0x27064(%rip), %rsi     # 0x810b2
movl $0x4, %edx
movq %rax, %rdi
callq 0x40b80
movq (%r12), %rax
movq -0x18(%rax), %rax
movl 0x18(%r12,%rax), %ecx
andl $-0x4b, %ecx
orl $0x8, %ecx
movl %ecx, 0x18(%r12,%rax)
movq %r12, %rdi
movq %r15, %rsi
callq 0x3ffb0
leaq 0x27562(%rip), %rsi     # 0x815e7
movl $0x1, %edx
movq %rax, %rdi
callq 0x40b80
movq 0x8(%rsp), %rdi
cmpq %r13, %rdi
je 0x5a0a9
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x40870
cmpl $0x0, 0x1d8(%r14)
je 0x5a165
leaq 0x8(%rsp), %rdi
movq %r13, (%rdi)
leaq 0x2654a(%rip), %rsi     # 0x80610
leaq 0x2654e(%rip), %rdx     # 0x8061b
callq 0x3f8a0
movl 0x1d8(%r14), %r15d
leaq 0x7(%rsp), %rsi
movb $0x20, (%rsi)
movl $0x1, %edx
movq %rbx, %rdi
callq 0x40b80
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq %rax, %rdi
callq 0x40b80
movq %rax, %r12
leaq 0x26fa8(%rip), %rsi     # 0x810b2
movl $0x4, %edx
movq %rax, %rdi
callq 0x40b80
movq (%r12), %rax
movq -0x18(%rax), %rax
movl 0x18(%r12,%rax), %ecx
andl $-0x4b, %ecx
orl $0x8, %ecx
movl %ecx, 0x18(%r12,%rax)
movq %r12, %rdi
movq %r15, %rsi
callq 0x3ffb0
leaq 0x274a6(%rip), %rsi     # 0x815e7
movl $0x1, %edx
movq %rax, %rdi
callq 0x40b80
movq 0x8(%rsp), %rdi
cmpq %r13, %rdi
je 0x5a165
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x40870
leaq 0x2765d(%rip), %rsi     # 0x817c9
movl $0x2, %edx
movq %rbx, %rdi
callq 0x40b80
leaq 0x2649c(%rip), %rsi     # 0x8061c
movl $0x7, %edx
movq %rbx, %rdi
callq 0x40b80
leaq 0x8(%rsp), %rdi
movq %r13, (%rdi)
leaq 0x2591e(%rip), %rsi     # 0x7faba
leaq 0x25923(%rip), %rdx     # 0x7fac6
callq 0x3f8a0
movq 0xa0(%r14), %r15
leaq 0x7(%rsp), %rsi
movb $0x20, (%rsi)
movl $0x1, %edx
movq %rbx, %rdi
callq 0x40b80
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq %rax, %rdi
callq 0x40b80
leaq 0x2757b(%rip), %rsi     # 0x81758
movl $0x2, %edx
movq %rax, %rdi
callq 0x40b80
movq 0x38(%r15), %rsi
movq %rbx, %rdi
callq 0x3f3d0
leaq 0x273ea(%rip), %rsi     # 0x815e7
movl $0x1, %edx
movq %rbx, %rdi
callq 0x40b80
movq 0x8(%rsp), %rdi
cmpq %r13, %rdi
je 0x5a221
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x40870
leaq 0x275a1(%rip), %rsi     # 0x817c9
movl $0x2, %edx
movq %rbx, %rdi
callq 0x40b80
movq 0x8(%r14), %rax
movq 0x10(%r14), %rcx
subq %rax, %rcx
shrq $0x3, %rcx
testl %ecx, %ecx
jle 0x5a28d
xorl %r15d, %r15d
movl $0x71, %ebp
movq (%rax,%r15,8), %rdi
testq %rdi, %rdi
je 0x5a266
movl 0x8(%rdi), %eax
cmpl $0x6, %eax
ja 0x5a282
btl %eax, %ebp
jae 0x5a282
incq %r15
movq 0x8(%r14), %rax
movq 0x10(%r14), %rcx
subq %rax, %rcx
shrq $0x3, %rcx
movslq %ecx, %rcx
cmpq %rcx, %r15
jl 0x5a250
jmp 0x5a28d
movq (%rdi), %rax
movq %rbx, %rsi
callq *0x60(%rax)
jmp 0x5a266
leaq 0x26390(%rip), %rsi     # 0x80624
movl $0xa, %edx
movq %rbx, %rdi
callq 0x40b80
addq $0x198, %r14            # imm = 0x198
movq %r14, %rdi
movq %rbx, %rsi
callq 0x42120
leaq 0x26375(%rip), %rsi     # 0x8062f
movl $0xa, %edx
movq %rbx, %rdi
callq 0x40b80
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x5a2e4
jmp 0x5a2e4
jmp 0x5a2e4
jmp 0x5a2e4
jmp 0x5a2e4
jmp 0x5a2e4
jmp 0x5a2e4
movq %rax, %rbx
jmp 0x5a311
jmp 0x5a2f7
jmp 0x5a2f7
jmp 0x5a2f7
jmp 0x5a2f7
jmp 0x5a2f7
jmp 0x5a2f7
jmp 0x5a2f7
movq %rax, %rbx
movq 0x8(%rsp), %rdi
cmpq %r13, %rdi
je 0x5a311
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x40870
movq %rbx, %rdi
callq 0x41f00
nop