// File: jstaursky[P]hutch/src/Sleigh/float.cc
// Function: FloatFormat::saveXml(std::ostream&) const
void FloatFormat::saveXml(ostream &s) const

{
  s << "<floatformat";
  a_v_i(s,"size",size);
  a_v_i(s,"signpos",signbit_pos);
  a_v_i(s,"fracpos",frac_pos);
  a_v_i(s,"fracsize",frac_size);
  a_v_i(s,"exppos",exp_pos);
  a_v_i(s,"expsize",exp_size);
  a_v_i(s,"bias",bias);
  a_v_b(s,"jbitimplied",jbitimplied);
  s << "/>\n";
}

// Assembly:
subq $0x1e8, %rsp            # imm = 0x1E8
movq %rdi, 0x1e0(%rsp)
movq %rsi, 0x1d8(%rsp)
movq 0x1e0(%rsp), %rax
movq %rax, 0x70(%rsp)
movq 0x1d8(%rsp), %rdi
leaq 0x9dc6d(%rip), %rsi     # 0x187190
callq 0xd8300
movq 0x1d8(%rsp), %rax
movq %rax, 0x78(%rsp)
leaq 0x1b7(%rsp), %rdi
movq %rdi, 0x80(%rsp)
callq 0xe0c80
movq 0x80(%rsp), %rdx
leaq 0xa4454(%rip), %rsi     # 0x18d9ad
leaq 0x1b8(%rsp), %rdi
callq 0xe00a0
jmp 0xe9568
movq 0x78(%rsp), %rdi
movq 0x70(%rsp), %rax
movslq (%rax), %rdx
leaq 0x1b8(%rsp), %rsi
callq 0xde2b0
jmp 0xe9584
leaq 0x1b8(%rsp), %rdi
callq 0xd4550
leaq 0x1b7(%rsp), %rdi
callq 0xd8ec0
movq 0x1d8(%rsp), %rax
movq %rax, 0x60(%rsp)
leaq 0x17f(%rsp), %rdi
movq %rdi, 0x68(%rsp)
callq 0xe0c80
movq 0x68(%rsp), %rdx
leaq 0x9dbd4(%rip), %rsi     # 0x18719d
leaq 0x180(%rsp), %rdi
callq 0xe00a0
jmp 0xe95d8
movq 0x60(%rsp), %rdi
movq 0x70(%rsp), %rax
movslq 0x4(%rax), %rdx
leaq 0x180(%rsp), %rsi
callq 0xde2b0
jmp 0xe95f5
leaq 0x180(%rsp), %rdi
callq 0xd4550
leaq 0x17f(%rsp), %rdi
callq 0xd8ec0
movq 0x1d8(%rsp), %rax
movq %rax, 0x50(%rsp)
leaq 0x157(%rsp), %rdi
movq %rdi, 0x58(%rsp)
callq 0xe0c80
movq 0x58(%rsp), %rdx
leaq 0x9db6b(%rip), %rsi     # 0x1871a5
leaq 0x158(%rsp), %rdi
callq 0xe00a0
jmp 0xe9649
movq 0x50(%rsp), %rdi
movq 0x70(%rsp), %rax
movslq 0x8(%rax), %rdx
leaq 0x158(%rsp), %rsi
callq 0xde2b0
jmp 0xe9666
leaq 0x158(%rsp), %rdi
callq 0xd4550
leaq 0x157(%rsp), %rdi
callq 0xd8ec0
movq 0x1d8(%rsp), %rax
movq %rax, 0x40(%rsp)
leaq 0x12f(%rsp), %rdi
movq %rdi, 0x48(%rsp)
callq 0xe0c80
movq 0x48(%rsp), %rdx
leaq 0x9db02(%rip), %rsi     # 0x1871ad
leaq 0x130(%rsp), %rdi
callq 0xe00a0
jmp 0xe96ba
movq 0x40(%rsp), %rdi
movq 0x70(%rsp), %rax
movslq 0xc(%rax), %rdx
leaq 0x130(%rsp), %rsi
callq 0xde2b0
jmp 0xe96d7
leaq 0x130(%rsp), %rdi
callq 0xd4550
leaq 0x12f(%rsp), %rdi
callq 0xd8ec0
movq 0x1d8(%rsp), %rax
movq %rax, 0x30(%rsp)
leaq 0x107(%rsp), %rdi
movq %rdi, 0x38(%rsp)
callq 0xe0c80
movq 0x38(%rsp), %rdx
leaq 0x9da9a(%rip), %rsi     # 0x1871b6
leaq 0x108(%rsp), %rdi
callq 0xe00a0
jmp 0xe972b
movq 0x30(%rsp), %rdi
movq 0x70(%rsp), %rax
movslq 0x10(%rax), %rdx
leaq 0x108(%rsp), %rsi
callq 0xde2b0
jmp 0xe9748
leaq 0x108(%rsp), %rdi
callq 0xd4550
leaq 0x107(%rsp), %rdi
callq 0xd8ec0
movq 0x1d8(%rsp), %rax
movq %rax, 0x20(%rsp)
leaq 0xdf(%rsp), %rdi
movq %rdi, 0x28(%rsp)
callq 0xe0c80
movq 0x28(%rsp), %rdx
leaq 0x9da30(%rip), %rsi     # 0x1871bd
leaq 0xe0(%rsp), %rdi
callq 0xe00a0
jmp 0xe979c
movq 0x20(%rsp), %rdi
movq 0x70(%rsp), %rax
movslq 0x14(%rax), %rdx
leaq 0xe0(%rsp), %rsi
callq 0xde2b0
jmp 0xe97b9
leaq 0xe0(%rsp), %rdi
callq 0xd4550
leaq 0xdf(%rsp), %rdi
callq 0xd8ec0
movq 0x1d8(%rsp), %rax
movq %rax, 0x10(%rsp)
leaq 0xb7(%rsp), %rdi
movq %rdi, 0x18(%rsp)
callq 0xe0c80
movq 0x18(%rsp), %rdx
leaq 0x9d9c7(%rip), %rsi     # 0x1871c5
leaq 0xb8(%rsp), %rdi
callq 0xe00a0
jmp 0xe980d
movq 0x10(%rsp), %rdi
movq 0x70(%rsp), %rax
movslq 0x18(%rax), %rdx
leaq 0xb8(%rsp), %rsi
callq 0xde2b0
jmp 0xe982a
leaq 0xb8(%rsp), %rdi
callq 0xd4550
leaq 0xb7(%rsp), %rdi
callq 0xd8ec0
movq 0x1d8(%rsp), %rax
movq %rax, (%rsp)
leaq 0x8f(%rsp), %rdi
movq %rdi, 0x8(%rsp)
callq 0xe0c80
movq 0x8(%rsp), %rdx
leaq 0x9d95c(%rip), %rsi     # 0x1871ca
leaq 0x90(%rsp), %rdi
callq 0xe00a0
jmp 0xe987d
movq (%rsp), %rdi
movq 0x70(%rsp), %rax
movzbl 0x20(%rax), %edx
andl $0x1, %edx
leaq 0x90(%rsp), %rsi
callq 0xd0a30
jmp 0xe989c
leaq 0x90(%rsp), %rdi
callq 0xd4550
leaq 0x8f(%rsp), %rdi
callq 0xd8ec0
movq 0x1d8(%rsp), %rdi
leaq 0x9ef58(%rip), %rsi     # 0x18881d
callq 0xd8300
addq $0x1e8, %rsp            # imm = 0x1E8
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x1a8(%rsp)
movl %eax, 0x1a4(%rsp)
jmp 0xe9909
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x1a8(%rsp)
movl %eax, 0x1a4(%rsp)
leaq 0x1b8(%rsp), %rdi
callq 0xd4550
leaq 0x1b7(%rsp), %rdi
callq 0xd8ec0
jmp 0xe9b12
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x1a8(%rsp)
movl %eax, 0x1a4(%rsp)
jmp 0xe9952
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x1a8(%rsp)
movl %eax, 0x1a4(%rsp)
leaq 0x180(%rsp), %rdi
callq 0xd4550
leaq 0x17f(%rsp), %rdi
callq 0xd8ec0
jmp 0xe9b12
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x1a8(%rsp)
movl %eax, 0x1a4(%rsp)
jmp 0xe999b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x1a8(%rsp)
movl %eax, 0x1a4(%rsp)
leaq 0x158(%rsp), %rdi
callq 0xd4550
leaq 0x157(%rsp), %rdi
callq 0xd8ec0
jmp 0xe9b12
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x1a8(%rsp)
movl %eax, 0x1a4(%rsp)
jmp 0xe99e4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x1a8(%rsp)
movl %eax, 0x1a4(%rsp)
leaq 0x130(%rsp), %rdi
callq 0xd4550
leaq 0x12f(%rsp), %rdi
callq 0xd8ec0
jmp 0xe9b12
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x1a8(%rsp)
movl %eax, 0x1a4(%rsp)
jmp 0xe9a2d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x1a8(%rsp)
movl %eax, 0x1a4(%rsp)
leaq 0x108(%rsp), %rdi
callq 0xd4550
leaq 0x107(%rsp), %rdi
callq 0xd8ec0
jmp 0xe9b12
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x1a8(%rsp)
movl %eax, 0x1a4(%rsp)
jmp 0xe9a76
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x1a8(%rsp)
movl %eax, 0x1a4(%rsp)
leaq 0xe0(%rsp), %rdi
callq 0xd4550
leaq 0xdf(%rsp), %rdi
callq 0xd8ec0
jmp 0xe9b12
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x1a8(%rsp)
movl %eax, 0x1a4(%rsp)
jmp 0xe9abf
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x1a8(%rsp)
movl %eax, 0x1a4(%rsp)
leaq 0xb8(%rsp), %rdi
callq 0xd4550
leaq 0xb7(%rsp), %rdi
callq 0xd8ec0
jmp 0xe9b12
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x1a8(%rsp)
movl %eax, 0x1a4(%rsp)
jmp 0xe9b05
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x1a8(%rsp)
movl %eax, 0x1a4(%rsp)
leaq 0x90(%rsp), %rdi
callq 0xd4550
leaq 0x8f(%rsp), %rdi
callq 0xd8ec0
movq 0x1a8(%rsp), %rdi
callq 0xe0be0
nop