// File: /workspace/github_cpp_makefile_star2_O3/DoubleString[P]RtConverter/src/Rnxobs/RnxobsFile_sat.cpp
// Function: bamboo::RnxobsFile_sat::RnxobsFile_sat(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>)
RnxobsFile_sat::RnxobsFile_sat(string name) :
		Rnxobs() {
	this->staname = name;
	intv = 1.0;
	ver = 2.0;
	x = y = z = e = n = h = 0.0;
	nprn = fact1 = fact2 = nsys = 0;
//	memset(this->usetype,0,sizeof(char) * MAXSYS * MAXFREQ);
//	memset(this->tstore,0,sizeof(int) * MAXSYS * MAXFREQ);

	memset(this->usetype,0,sizeof(char) * MAXSAT * MAXFREQ);
	memset(this->tstore,0,sizeof(int) * MAXSAT * MAXFREQ);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rsi, %r14
movq %rdi, %rbx
leaq 0x5fb0(%rdi), %r15
leaq 0x5fc0(%rdi), %rax
movq %rax, 0x5fb0(%rdi)
xorl %r13d, %r13d
movq %r13, 0x5fb8(%rdi)
movb %r13b, 0x5fc0(%rdi)
leaq 0x5fe0(%rdi), %rax
movq %rax, 0x5fd0(%rdi)
movq %r13, 0x5fd8(%rdi)
movb %r13b, 0x5fe0(%rdi)
leaq 0x6000(%rdi), %rax
movq %rax, 0x5ff0(%rdi)
movq %r13, 0x5ff8(%rdi)
movb %r13b, 0x6000(%rdi)
movl %r13d, 0x680c(%rdi)
movl %r13d, 0x6010(%rdi)
movq %r13, 0x3fc8(%rdi)
movb %r13b, 0x6810(%rdi)
movabsq $0x4000e147ae147ae1, %rax # imm = 0x4000E147AE147AE1
movq %rax, 0x6818(%rdi)
addq $0x6014, %rdi           # imm = 0x6014
movl $0x7f8, %edx            # imm = 0x7F8
xorl %esi, %esi
callq 0x8390
leaq 0x8(%rbx), %rdi
movl $0x1fe0, %edx           # imm = 0x1FE0
xorl %esi, %esi
callq 0x8390
leaq 0x3fd0(%rbx), %r12
leaq 0x6820(%rbx), %rdi
movl $0x400, %edx            # imm = 0x400
xorl %esi, %esi
callq 0x8390
movl $0x1fe0, %edx           # imm = 0x1FE0
movq %r12, %rdi
xorl %esi, %esi
callq 0x8390
leaq 0x6a437(%rip), %rax     # 0x8d608
movq %rax, (%rbx)
leaq 0x6c40(%rbx), %rax
movq %rax, -0x40(%rbp)
movq %rax, 0x6c30(%rbx)
movq %r13, 0x6c38(%rbx)
movb %r13b, 0x6c40(%rbx)
leaq 0x6c60(%rbx), %rax
movq %rax, -0x38(%rbp)
movq %rax, 0x6c50(%rbx)
movq %r13, 0x6c58(%rbx)
movb %r13b, 0x6c60(%rbx)
leaq 0x6c80(%rbx), %rax
movq %rax, -0x30(%rbp)
movq %rax, 0x6c70(%rbx)
movq %r13, 0x6c78(%rbx)
movb %r13b, 0x6c80(%rbx)
movl $0x6d00, %eax           # imm = 0x6D00
leaq (%rbx,%rax), %rcx
movq %rcx, -0x10(%rbx,%rax)
movq $0x0, -0x8(%rbx,%rax)
movb $0x0, (%rbx,%rax)
addq $0x20, %rax
cmpq $0x98c0, %rax           # imm = 0x98C0
jne 0x23239
movl $0x98c0, %eax           # imm = 0x98C0
leaq (%rbx,%rax), %rcx
movq %rcx, -0x10(%rbx,%rax)
movq $0x0, -0x8(%rbx,%rax)
movb $0x0, (%rbx,%rax)
addq $0x20, %rax
cmpq $0xae00, %rax           # imm = 0xAE00
jne 0x23260
leaq 0xb820(%rbx), %r12
movq %r12, %rdi
callq 0x8700
leaq 0xba38(%rbx), %r13
movq %r13, 0xba28(%rbx)
movq $0x0, 0xba30(%rbx)
movb $0x0, 0xba38(%rbx)
movq %r15, %rdi
movq %r14, %rsi
callq 0x8380
movabsq $0x3ff0000000000000, %rax # imm = 0x3FF0000000000000
movq %rax, 0x6cc0(%rbx)
movabsq $0x4000000000000000, %rax # imm = 0x4000000000000000
movq %rax, 0x6c20(%rbx)
leaq 0xae20(%rbx), %r14
movl $0x0, 0x6cd0(%rbx)
movq $0x0, 0x6cc8(%rbx)
leaq 0xb024(%rbx), %rdi
movl $0x7f8, %edx            # imm = 0x7F8
xorl %esi, %esi
callq 0x8390
xorps %xmm0, %xmm0
movups %xmm0, 0x6c90(%rbx)
movups %xmm0, 0x6ca0(%rbx)
movups %xmm0, 0x6cb0(%rbx)
movl $0x202, %edx            # imm = 0x202
movq %r14, %rdi
xorl %esi, %esi
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x8390
movq %rax, %r14
movq 0xba28(%rbx), %rdi
cmpq %r13, %rdi
je 0x23356
callq 0x85d0
movq %r12, %rdi
callq 0x81a0
jmp 0x23363
movq %rax, %r14
leaq 0xade0(%rbx), %r15
xorl %r12d, %r12d
movq 0xadd0(%rbx,%r12), %rdi
leaq (%r15,%r12), %rax
cmpq %rdi, %rax
je 0x23383
callq 0x85d0
addq $-0x20, %r12
cmpq $-0x1540, %r12          # imm = 0xEAC0
jne 0x2336d
leaq 0x98a0(%rbx), %r15
xorl %r12d, %r12d
movq 0x9890(%rbx,%r12), %rdi
leaq (%r15,%r12), %rax
cmpq %rdi, %rax
je 0x233b0
callq 0x85d0
addq $-0x20, %r12
cmpq $-0x2bc0, %r12          # imm = 0xD440
jne 0x2339a
movq 0x6c70(%rbx), %rdi
cmpq -0x30(%rbp), %rdi
je 0x233cf
callq 0x85d0
movq 0x6c50(%rbx), %rdi
cmpq -0x38(%rbp), %rdi
je 0x233e1
callq 0x85d0
movq 0x6c30(%rbx), %rdi
cmpq -0x40(%rbp), %rdi
je 0x233f3
callq 0x85d0
movq %rbx, %rdi
callq 0x23036
movq %r14, %rdi
callq 0x8b30
nop