// File: /workspace/github_cpp_makefile_star2_O1/canzarlab[P]Trajan/src/Geno.h
// Function: IntegerPackingJRF::functionValueConstraints(double const*, double*)
bool functionValueConstraints(const Scalar* variablesPtr,
                                   Scalar* constraintValuesPtr) override
     {
          Vector::ConstMapType x = Vector::ConstMapType(variablesPtr, _n);
          Vector::MapType constraintValues = Vector::MapType(constraintValuesPtr, _m);
          Vector t = Vector::Ones(_n);
          constraintValues.head(_n) = x.cwiseProduct(x-t);
          constraintValues.tail(_A.rows()) = _A * x;
          return true;
      }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x48, %rsp
movq 0x30(%rdi), %rbp
testq %rbp, %rbp
js 0x48026
movq %rdi, %r15
movq 0x38(%rdi), %r13
testq %r13, %r13
js 0x4803d
movq %rdx, %rbx
movq %rsi, %r14
leaq 0x28(%rsp), %rsi
movq %rbp, (%rsi)
movabsq $0x3ff0000000000000, %rax # imm = 0x3FF0000000000000
movq %rax, 0x10(%rsi)
leaq 0x8(%rsp), %r12
movq %r12, %rdi
callq 0x377fc
movq 0x8(%r12), %rcx
cmpq %rcx, %rbp
jne 0x4805c
movq 0x30(%r15), %rax
testq %rbx, %rbx
sete %dl
testq %rax, %rax
setns %sil
orb %dl, %sil
je 0x47fc9
cmpq %r13, %rax
ja 0x47fe8
cmpq %rcx, %rax
jne 0x48007
movq %rax, %rsi
testb $0x7, %bl
jne 0x47e33
movl %ebx, %esi
shrl $0x3, %esi
andl $0x1, %esi
cmpq %rax, %rsi
cmovgeq %rax, %rsi
movq 0x8(%rsp), %rcx
movq %rax, %rdi
subq %rsi, %rdi
movq %rdi, %rdx
shrq $0x3f, %rdx
addq %rdi, %rdx
andq $-0x2, %rdx
testq %rsi, %rsi
jle 0x47e76
xorl %r8d, %r8d
movsd (%r14,%r8,8), %xmm0
movapd %xmm0, %xmm1
subsd (%rcx,%r8,8), %xmm1
mulsd %xmm0, %xmm1
movsd %xmm1, (%rbx,%r8,8)
incq %r8
cmpq %r8, %rsi
jne 0x47e54
addq %rsi, %rdx
cmpq $0x2, %rdi
jl 0x47ea4
movupd (%r14,%rsi,8), %xmm0
movupd (%rcx,%rsi,8), %xmm1
movapd %xmm0, %xmm2
subpd %xmm1, %xmm2
mulpd %xmm0, %xmm2
movapd %xmm2, (%rbx,%rsi,8)
addq $0x2, %rsi
cmpq %rdx, %rsi
jl 0x47e7f
cmpq %rax, %rdx
jge 0x47ec9
movsd (%r14,%rdx,8), %xmm0
movapd %xmm0, %xmm1
subsd (%rcx,%rdx,8), %xmm1
mulsd %xmm0, %xmm1
movsd %xmm1, (%rbx,%rdx,8)
incq %rdx
cmpq %rdx, %rax
jne 0x47ea9
movq 0x8(%r15), %rax
movq %rax, 0x28(%rsp)
movq %r14, 0x30(%rsp)
movq %rbp, 0x38(%rsp)
cmpq %rbp, 0x8(%rax)
jne 0x4807b
testq %rbx, %rbx
sete %cl
movq 0x10(%rax), %r14
testq %r14, %r14
setns %al
orb %cl, %al
je 0x47fc9
subq %r14, %r13
movq %r13, %rax
orq %r14, %rax
js 0x47fe8
leaq 0x18(%rsp), %rdi
leaq 0x28(%rsp), %rsi
callq 0x37438
cmpq 0x20(%rsp), %r14
jne 0x48007
leaq (%rbx,%r13,8), %rax
movq %r14, %rcx
testb $0x7, %al
jne 0x47f41
movl %eax, %ecx
shrl $0x3, %ecx
andl $0x1, %ecx
cmpq %r14, %rcx
cmovgeq %r14, %rcx
movq 0x18(%rsp), %rdi
movq %r14, %rsi
subq %rcx, %rsi
movq %rsi, %rdx
shrq $0x3f, %rdx
addq %rsi, %rdx
andq $-0x2, %rdx
testq %rcx, %rcx
jle 0x47f76
xorl %r8d, %r8d
movsd (%rdi,%r8,8), %xmm0
movsd %xmm0, (%rax,%r8,8)
incq %r8
cmpq %r8, %rcx
jne 0x47f62
addq %rcx, %rdx
cmpq $0x2, %rsi
jl 0x47f92
movupd (%rdi,%rcx,8), %xmm0
movapd %xmm0, (%rax,%rcx,8)
addq $0x2, %rcx
cmpq %rdx, %rcx
jl 0x47f7f
cmpq %r14, %rdx
jge 0x47fa9
movsd (%rdi,%rdx,8), %xmm0
movsd %xmm0, (%rax,%rdx,8)
incq %rdx
cmpq %rdx, %r14
jne 0x47f97
callq 0x93c0
movq 0x8(%rsp), %rdi
callq 0x93c0
movb $0x1, %al
addq $0x48, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x1488a(%rip), %rdi     # 0x5c85a
leaq 0x1492d(%rip), %rsi     # 0x5c904
leaq 0x284d1(%rip), %rcx     # 0x704af
movl $0xaf, %edx
callq 0x9200
leaq 0x147dc(%rip), %rdi     # 0x5c7cb
leaq 0x14700(%rip), %rsi     # 0x5c6f6
leaq 0x283de(%rip), %rcx     # 0x703db
movl $0x93, %edx
callq 0x9200
leaq 0x16543(%rip), %rdi     # 0x5e551
leaq 0x165a5(%rip), %rsi     # 0x5e5ba
leaq 0x2855d(%rip), %rcx     # 0x70579
movl $0x101, %edx            # imm = 0x101
callq 0x9200
leaq 0x14b5a(%rip), %rdi     # 0x5cb87
leaq 0x148d0(%rip), %rsi     # 0x5c904
leaq 0x15703(%rip), %rcx     # 0x5d73e
jmp 0x48052
leaq 0x14b43(%rip), %rdi     # 0x5cb87
leaq 0x148b9(%rip), %rsi     # 0x5c904
leaq 0x14b42(%rip), %rcx     # 0x5cb94
movl $0xa3, %edx
callq 0x9200
leaq 0x15e8b(%rip), %rdi     # 0x5deee
leaq 0x15ebd(%rip), %rsi     # 0x5df27
leaq 0x285bd(%rip), %rcx     # 0x7062e
movl $0x6e, %edx
callq 0x9200
leaq 0x168a6(%rip), %rdi     # 0x5e928
leaq 0x1692b(%rip), %rsi     # 0x5e9b4
leaq 0x27493(%rip), %rcx     # 0x6f523
movl $0x61, %edx
callq 0x9200
movq %rax, %rbx
movq 0x8(%rsp), %rdi
callq 0x93c0
movq %rbx, %rdi
callq 0x9670
nop