// File: /workspace/github_cpp_makefile_star2_O3/jstaursky[P]hutch/src/Sleigh/slghsymbol.cc
// Function: DecisionNode::saveXml(std::ostream&) const
void DecisionNode::saveXml(ostream &s) const

{
  s << "<decision";
  s << " number=\"" << dec << num << "\"";
  s << " context=\"";
  if (contextdecision)
    s << "true\"";
  else
    s << "false\"";
  s << " start=\"" << startbit << "\"";
  s << " size=\"" << bitsize << "\"";
  s << ">\n";
  for(int4 i=0;i<list.size();++i) {
    s << "<pair id=\"" << dec << list[i].second->getId() << "\">\n";
    list[i].first->saveXml(s);
    s << "</pair>\n";
  }
  for(int4 i=0;i<children.size();++i)
    children[i]->saveXml(s);
  s << "</decision>\n";
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %rbx
movq %rdi, %r14
leaq 0x160c6(%rip), %rsi     # 0x81728
movl $0x9, %edx
movq %rbx, %rdi
callq 0x40b90
leaq 0x160bc(%rip), %rsi     # 0x81732
movl $0x9, %edx
movq %rbx, %rdi
callq 0x40b90
movq (%rbx), %rax
movq -0x18(%rax), %rax
movl 0x18(%rbx,%rax), %ecx
andl $-0x4b, %ecx
orl $0x2, %ecx
movl %ecx, 0x18(%rbx,%rax)
movl 0x30(%r14), %esi
movq %rbx, %rdi
callq 0x41db0
leaq 0x15f3c(%rip), %rsi     # 0x815e7
movl $0x1, %edx
movq %rax, %rdi
callq 0x40b90
leaq 0x1607d(%rip), %rsi     # 0x8173c
movl $0xa, %edx
movq %rbx, %rdi
callq 0x40b90
cmpb $0x1, 0x34(%r14)
jne 0x6b6e1
leaq 0x15d1b(%rip), %rsi     # 0x813f5
movl $0x5, %edx
jmp 0x6b6ed
leaq 0x150e3(%rip), %rsi     # 0x807cb
movl $0x6, %edx
movq %rbx, %rdi
callq 0x40b90
leaq 0x1604b(%rip), %rsi     # 0x81747
movl $0x8, %edx
movq %rbx, %rdi
callq 0x40b90
movl 0x38(%r14), %esi
movq %rbx, %rdi
callq 0x41db0
leaq 0x15ecb(%rip), %r15     # 0x815e7
movl $0x1, %edx
movq %rax, %rdi
movq %r15, %rsi
callq 0x40b90
leaq 0x15b48(%rip), %rsi     # 0x8127b
movl $0x7, %edx
movq %rbx, %rdi
callq 0x40b90
movl 0x3c(%r14), %esi
movq %rbx, %rdi
callq 0x41db0
movl $0x1, %edx
movq %rax, %rdi
movq %r15, %rsi
callq 0x40b90
leaq 0x16066(%rip), %rsi     # 0x817c9
movl $0x2, %edx
movq %rbx, %rdi
callq 0x40b90
movq 0x8(%r14), %rax
cmpq (%r14), %rax
je 0x6b81a
xorl %ebp, %ebp
leaq 0x15673(%rip), %r12     # 0x80df9
leaq 0x15fce(%rip), %r13     # 0x8175b
xorl %r15d, %r15d
movl $0xa, %edx
movq %rbx, %rdi
leaq 0x15fb1(%rip), %rsi     # 0x81750
callq 0x40b90
movq (%rbx), %rax
movq -0x18(%rax), %rax
movl 0x18(%rbx,%rax), %ecx
andl $-0x4b, %ecx
orl $0x2, %ecx
movl %ecx, 0x18(%rbx,%rax)
movq (%r14), %rax
movq 0x8(%rax,%rbp), %rax
movl 0x84(%rax), %esi
movq %rbx, %rdi
callq 0x3ffc0
movl $0x3, %edx
movq %rax, %rdi
movq %r12, %rsi
callq 0x40b90
movq (%r14), %rax
movq (%rax,%rbp), %rdi
movq (%rdi), %rax
movq %rbx, %rsi
callq *0x68(%rax)
movl $0x8, %edx
movq %rbx, %rdi
movq %r13, %rsi
callq 0x40b90
movq 0x8(%r14), %rax
subq (%r14), %rax
incq %r15
sarq $0x4, %rax
addq $0x10, %rbp
cmpq %r15, %rax
ja 0x6b790
movq 0x18(%r14), %rax
cmpq %rax, 0x20(%r14)
je 0x6b84a
xorl %r15d, %r15d
movq (%rax,%r15,8), %rdi
movq %rbx, %rsi
callq 0x40ae0
incq %r15
movq 0x18(%r14), %rax
movq 0x20(%r14), %rcx
subq %rax, %rcx
sarq $0x3, %rcx
cmpq %r15, %rcx
ja 0x6b827
leaq 0x15f13(%rip), %rsi     # 0x81764
movl $0xc, %edx
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x40b90