// File: /workspace/github_cpp_makefile_star2_O1/canzarlab[P]Trajan/src/Geno.h
// Function: IntegerPackingJRF::getBoundsConstraints(double*, double*)
bool getBoundsConstraints(Scalar* cl, Scalar* cu) override
     {
         Vector::MapType cLower = Vector::MapType(cl, _m);
         Vector::MapType cUpper = Vector::MapType(cu, _m);
         cLower.head(_n) = Vector::Zero(_n);
         cUpper.head(_n) = Vector::Zero(_n);
         cUpper.tail(_A.rows()) = _b;
         cLower.tail(_A.rows()) = Vector::Constant(_A.rows(), -INF);
         return true;
     }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq 0x38(%rdi), %rax
testq %rax, %rax
js 0x47d31
movq 0x30(%rdi), %r14
testq %r14, %r14
js 0x47d12
cmpq %r14, %rax
jl 0x47cf3
movq %rdx, %r15
movq %rdi, 0x10(%rsp)
movq %rax, 0x8(%rsp)
movq %r14, %rbp
testb $0x7, %sil
jne 0x47a2e
movl %esi, %ebp
shrl $0x3, %ebp
andl $0x1, %ebp
cmpq %r14, %rbp
cmovgeq %r14, %rbp
movq %rsi, (%rsp)
movq %r14, %r12
subq %rbp, %r12
movq %r12, %rbx
shrq $0x3f, %rbx
addq %r12, %rbx
movq %rbx, %r13
andq $-0x2, %r13
testq %rbp, %rbp
jle 0x47a61
leaq (,%rbp,8), %rdx
movq (%rsp), %rdi
xorl %esi, %esi
callq 0x91c0
addq %rbp, %r13
cmpq $0x2, %r12
jl 0x47a99
movq (%rsp), %rax
leaq (%rax,%rbp,8), %rdi
leaq 0x2(%rbp), %rax
cmpq %rax, %r13
cmovgq %r13, %rax
movq %rbp, %rcx
notq %rcx
addq %rax, %rcx
andq $-0x2, %rcx
leaq 0x10(,%rcx,8), %rdx
xorl %esi, %esi
callq 0x91c0
cmpq %r14, %r13
jge 0x47abe
sarq %rbx
shlq $0x4, %rbx
addq (%rsp), %rbx
leaq (%rbx,%rbp,8), %rdi
subq %r13, %r14
shlq $0x3, %r14
xorl %esi, %esi
movq %r14, %rdx
callq 0x91c0
movq 0x10(%rsp), %rax
movq 0x30(%rax), %r12
testq %r12, %r12
js 0x47d12
cmpq %r12, 0x8(%rsp)
jl 0x47cf3
movq %r12, %rbp
testb $0x7, %r15b
jne 0x47af4
movl %r15d, %ebp
shrl $0x3, %ebp
andl $0x1, %ebp
cmpq %r12, %rbp
cmovgeq %r12, %rbp
movq %r12, %r14
subq %rbp, %r14
movq %r14, %rbx
shrq $0x3f, %rbx
addq %r14, %rbx
movq %rbx, %r13
andq $-0x2, %r13
testq %rbp, %rbp
jle 0x47b22
leaq (,%rbp,8), %rdx
movq %r15, %rdi
xorl %esi, %esi
callq 0x91c0
addq %rbp, %r13
cmpq $0x2, %r14
jl 0x47b56
leaq (%r15,%rbp,8), %rdi
leaq 0x2(%rbp), %rax
cmpq %rax, %r13
cmovgq %r13, %rax
movq %rbp, %rcx
notq %rcx
addq %rax, %rcx
andq $-0x2, %rcx
leaq 0x10(,%rcx,8), %rdx
xorl %esi, %esi
callq 0x91c0
cmpq %r12, %r13
jge 0x47b7a
sarq %rbx
shlq $0x4, %rbx
addq %r15, %rbx
leaq (%rbx,%rbp,8), %rdi
subq %r13, %r12
shlq $0x3, %r12
xorl %esi, %esi
movq %r12, %rdx
callq 0x91c0
testq %r15, %r15
sete %cl
movq 0x10(%rsp), %rbx
movq 0x8(%rbx), %rax
movq 0x10(%rax), %rax
testq %rax, %rax
setns %dl
orb %cl, %dl
je 0x47d50
movq 0x8(%rsp), %r11
movq %r11, %rcx
subq %rax, %rcx
movq %rcx, %rdx
orq %rax, %rdx
movq (%rsp), %r10
js 0x47cf3
movq 0x10(%rbx), %rdx
cmpq 0x8(%rdx), %rax
jne 0x47d6f
leaq (%r15,%rcx,8), %rcx
movq %rax, %rsi
testb $0x7, %cl
jne 0x47bdf
movl %ecx, %esi
shrl $0x3, %esi
andl $0x1, %esi
cmpq %rax, %rsi
cmovgeq %rax, %rsi
movq (%rdx), %rdx
movq %rax, %r8
subq %rsi, %r8
movq %r8, %rdi
shrq $0x3f, %rdi
addq %r8, %rdi
andq $-0x2, %rdi
testq %rsi, %rsi
jle 0x47c12
xorl %r9d, %r9d
movsd (%rdx,%r9,8), %xmm0
movsd %xmm0, (%rcx,%r9,8)
incq %r9
cmpq %r9, %rsi
jne 0x47bfe
addq %rsi, %rdi
cmpq $0x2, %r8
jl 0x47c2c
movups (%rdx,%rsi,8), %xmm0
movaps %xmm0, (%rcx,%rsi,8)
addq $0x2, %rsi
cmpq %rdi, %rsi
jl 0x47c1b
cmpq %rax, %rdi
jge 0x47c43
movsd (%rdx,%rdi,8), %xmm0
movsd %xmm0, (%rcx,%rdi,8)
incq %rdi
cmpq %rdi, %rax
jne 0x47c31
movq 0x8(%rbx), %rax
movq 0x10(%rax), %rax
testq %rax, %rax
js 0x47d12
movq %r11, %rcx
subq %rax, %rcx
movq %rcx, %rdx
orq %rax, %rdx
js 0x47cf3
leaq (%r10,%rcx,8), %rcx
movq %rax, %rdx
testb $0x7, %cl
jne 0x47c81
movl %ecx, %edx
shrl $0x3, %edx
andl $0x1, %edx
cmpq %rax, %rdx
cmovgeq %rax, %rdx
movq %rax, %r8
subq %rdx, %r8
movq %r8, %rsi
shrq $0x3f, %rsi
addq %r8, %rsi
andq $-0x2, %rsi
movabsq $-0x10000000000000, %rdi # imm = 0xFFF0000000000000
testq %rdx, %rdx
jle 0x47cb3
xorl %r9d, %r9d
movq %rdi, (%rcx,%r9,8)
incq %r9
cmpq %r9, %rdx
jne 0x47ca7
addq %rdx, %rsi
cmpq $0x2, %r8
jl 0x47cd0
movaps 0x275cd(%rip), %xmm0    # 0x6f290
movaps %xmm0, (%rcx,%rdx,8)
addq $0x2, %rdx
cmpq %rsi, %rdx
jl 0x47cc3
subq %rax, %rsi
jge 0x47ce2
leaq (%r10,%r11,8), %rax
movq %rdi, (%rax,%rsi,8)
incq %rsi
jne 0x47cd9
movb $0x1, %al
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x14ad1(%rip), %rdi     # 0x5c7cb
leaq 0x149f5(%rip), %rsi     # 0x5c6f6
leaq 0x286d3(%rip), %rcx     # 0x703db
movl $0x93, %edx
callq 0x9200
leaq 0x14823(%rip), %rdi     # 0x5c53c
leaq 0x148b1(%rip), %rsi     # 0x5c5d1
leaq 0x156a5(%rip), %rcx     # 0x5d3cc
movl $0x4a, %edx
callq 0x9200
leaq 0x14e4f(%rip), %rdi     # 0x5cb87
leaq 0x14bc5(%rip), %rsi     # 0x5c904
leaq 0x14e4e(%rip), %rcx     # 0x5cb94
movl $0xa3, %edx
callq 0x9200
leaq 0x14b03(%rip), %rdi     # 0x5c85a
leaq 0x14ba6(%rip), %rsi     # 0x5c904
leaq 0x2874a(%rip), %rcx     # 0x704af
movl $0xaf, %edx
callq 0x9200
leaq 0x167db(%rip), %rdi     # 0x5e551
leaq 0x1683d(%rip), %rsi     # 0x5e5ba
leaq 0x287f5(%rip), %rcx     # 0x70579
movl $0x101, %edx            # imm = 0x101
callq 0x9200