// File: /workspace/github_c_makefile_star2_O0/olcaytaner[P]Isell/vc.c
// Function: ruleset_vc_dimension_discrete_recursive
int ruleset_vc_dimension_discrete_recursive(int* condition_counts, int k, int d)
{
 int i, j, max, current;
 int *left, *right;
 if (k == 1)
  {
   if (condition_counts[0] > -1)
     return (int) (log2(binomdouble(d, condition_counts[0]) + 1) + 1);
   else
     return 1;
  }
 max = 0;
 for (i = 1; i < k; i++)
  {
   left = safemalloc(i * sizeof(int), "ruleset_vc_dimension_discrete_recursive", 8);
   for (j = 0; j < i; j++)
     left[j] = condition_counts[i - 1] - 1;
   right = safemalloc((k - i) * sizeof(int), "ruleset_vc_dimension_discrete_recursive", 11);
   for (j = 0; j < k - i; j++)
     right[j] = condition_counts[i + j] - 1;
   current = ruleset_vc_dimension_discrete_recursive(left, i, d - 1) + ruleset_vc_dimension_discrete_recursive(right, k - i, d - 1);
   if (current > max)
     max = current;
   safe_free(left);
   safe_free(right);
  }
 return max;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x40, %rsp
movq %rdi, -0x10(%rbp)
movl %esi, -0x14(%rbp)
movl %edx, -0x18(%rbp)
cmpl $0x1, -0x14(%rbp)
jne 0xe07f4
movq -0x10(%rbp), %rax
cmpl $-0x1, (%rax)
jle 0xe07e8
movl -0x18(%rbp), %edi
movq -0x10(%rbp), %rax
movl (%rax), %esi
callq 0x52c00
movsd 0x1851(%rip), %xmm1     # 0xe2018
addsd %xmm1, %xmm0
callq 0x52ad0
movsd 0x1840(%rip), %xmm1     # 0xe2018
addsd %xmm1, %xmm0
cvttsd2si %xmm0, %eax
movl %eax, -0x4(%rbp)
jmp 0xe092a
movl $0x1, -0x4(%rbp)
jmp 0xe092a
movl $0x0, -0x24(%rbp)
movl $0x1, -0x1c(%rbp)
movl -0x1c(%rbp), %eax
cmpl -0x14(%rbp), %eax
jge 0xe0924
movslq -0x1c(%rbp), %rdi
shlq $0x2, %rdi
leaq 0xe43a(%rip), %rsi      # 0xeec57
movl $0x8, %edx
callq 0x52d70
movq %rax, -0x30(%rbp)
movl $0x0, -0x20(%rbp)
movl -0x20(%rbp), %eax
cmpl -0x1c(%rbp), %eax
jge 0xe0863
movq -0x10(%rbp), %rax
movl -0x1c(%rbp), %ecx
subl $0x1, %ecx
movslq %ecx, %rcx
movl (%rax,%rcx,4), %edx
subl $0x1, %edx
movq -0x30(%rbp), %rax
movslq -0x20(%rbp), %rcx
movl %edx, (%rax,%rcx,4)
movl -0x20(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x20(%rbp)
jmp 0xe0832
movl -0x14(%rbp), %eax
subl -0x1c(%rbp), %eax
movslq %eax, %rdi
shlq $0x2, %rdi
leaq 0xe3e0(%rip), %rsi      # 0xeec57
movl $0xb, %edx
callq 0x52d70
movq %rax, -0x38(%rbp)
movl $0x0, -0x20(%rbp)
movl -0x20(%rbp), %eax
movl -0x14(%rbp), %ecx
subl -0x1c(%rbp), %ecx
cmpl %ecx, %eax
jge 0xe08c2
movq -0x10(%rbp), %rax
movl -0x1c(%rbp), %ecx
addl -0x20(%rbp), %ecx
movslq %ecx, %rcx
movl (%rax,%rcx,4), %edx
subl $0x1, %edx
movq -0x38(%rbp), %rax
movslq -0x20(%rbp), %rcx
movl %edx, (%rax,%rcx,4)
movl -0x20(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x20(%rbp)
jmp 0xe088c
movq -0x30(%rbp), %rdi
movl -0x1c(%rbp), %esi
movl -0x18(%rbp), %edx
subl $0x1, %edx
callq 0xe0790
movl %eax, -0x3c(%rbp)
movq -0x38(%rbp), %rdi
movl -0x14(%rbp), %esi
subl -0x1c(%rbp), %esi
movl -0x18(%rbp), %edx
subl $0x1, %edx
callq 0xe0790
movl %eax, %ecx
movl -0x3c(%rbp), %eax
addl %ecx, %eax
movl %eax, -0x28(%rbp)
movl -0x28(%rbp), %eax
cmpl -0x24(%rbp), %eax
jle 0xe0904
movl -0x28(%rbp), %eax
movl %eax, -0x24(%rbp)
movq -0x30(%rbp), %rdi
callq 0x52e80
movq -0x38(%rbp), %rdi
callq 0x52e80
movl -0x1c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x1c(%rbp)
jmp 0xe0802
movl -0x24(%rbp), %eax
movl %eax, -0x4(%rbp)
movl -0x4(%rbp), %eax
addq $0x40, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)