int **local_search(int **population, int ***utilization, int **H, int **V,
                   int number_of_individuals, int h_size, int v_size) {
  int iterator_individual = 0;
  int physical_position = 0;
  int physical_position2 = 0;
  int iterator_position = 0;
  int iterator_virtual = 0;
  int iterator_virtual2 = 0;
  int iterator_physical = 0;
  int option = 0;
  float val_rand;
  int option_to_execute;
  val_rand = drand48() * 1.0;
  if (val_rand > 0 && val_rand <= 0.5)
    option_to_execute = 0;
  else
    option_to_execute = 3;
  while (option < 2) {
    if (val_rand > 0 && val_rand <= 0.5) {
      option_to_execute++;
      option++;
    } else if (val_rand > 0.5 && val_rand < 1.0) {
      option_to_execute--;
      option++;
    }
    if (option_to_execute == 1) {
      for (iterator_individual = 0; iterator_individual < number_of_individuals;
           iterator_individual++) {
        for (iterator_virtual = 0; iterator_virtual < v_size;
             iterator_virtual++) {
          physical_position = population[iterator_individual][iterator_virtual];
          if (physical_position > 0) {
            for (iterator_virtual2 = 0; iterator_virtual2 < v_size;
                 iterator_virtual2++) {
              physical_position2 =
                  population[iterator_individual][iterator_virtual2];
              if (physical_position2 > 0) {
                if (physical_position != physical_position2) {
                  if (utilization[iterator_individual][physical_position - 1]
                                 [0] +
                              V[iterator_virtual2][0] <
                          H[physical_position - 1][0] &&
                      utilization[iterator_individual][physical_position - 1]
                                 [1] +
                              V[iterator_virtual2][1] <
                          H[physical_position - 1][1] &&
                      utilization[iterator_individual][physical_position - 1]
                                 [2] +
                              V[iterator_virtual2][2] <
                          H[physical_position - 1][2]) {
                    utilization[iterator_individual][physical_position2 - 1]
                               [0] -= V[iterator_virtual2][0];
                    utilization[iterator_individual][physical_position2 - 1]
                               [1] -= V[iterator_virtual2][1];
                    utilization[iterator_individual][physical_position2 - 1]
                               [2] -= V[iterator_virtual2][2];
                    utilization[iterator_individual][physical_position - 1]
                               [0] += V[iterator_virtual2][0];
                    utilization[iterator_individual][physical_position - 1]
                               [1] += V[iterator_virtual2][1];
                    utilization[iterator_individual][physical_position - 1]
                               [2] += V[iterator_virtual2][2];
                    population[iterator_individual][iterator_virtual2] =
                        population[iterator_individual][iterator_virtual];
                  }
                }
              }
            }
          }
        }
      }
    }
    if (option_to_execute == 2) {
      for (iterator_individual = 0; iterator_individual < number_of_individuals;
           iterator_individual++) {
        for (iterator_virtual = 0; iterator_virtual < v_size;
             iterator_virtual++) {
          physical_position = population[iterator_individual][iterator_virtual];
          if (physical_position == 0) {
            for (iterator_virtual2 = 0; iterator_virtual2 < v_size;
                 iterator_virtual2++) {
              physical_position2 =
                  population[iterator_individual][iterator_virtual2];
              if (physical_position2 > 0) {
                if (utilization[iterator_individual][physical_position2 - 1]
                               [0] +
                            V[iterator_virtual][0] <
                        H[physical_position2 - 1][0] &&
                    utilization[iterator_individual][physical_position2 - 1]
                               [1] +
                            V[iterator_virtual][1] <
                        H[physical_position2 - 1][1] &&
                    utilization[iterator_individual][physical_position2 - 1]
                               [2] +
                            V[iterator_virtual][2] <
                        H[physical_position2 - 1][2]) {
                  utilization[iterator_individual][physical_position2 - 1][0] +=
                      V[iterator_virtual][0];
                  utilization[iterator_individual][physical_position2 - 1][1] +=
                      V[iterator_virtual][1];
                  utilization[iterator_individual][physical_position2 - 1][2] +=
                      V[iterator_virtual][2];
                  population[iterator_individual][iterator_virtual] =
                      population[iterator_individual][iterator_virtual2];
                  iterator_virtual2 = v_size;
                }
              }
            }
          }
        }
      }
    }
  }
  return population;
}


x86 assembly (clang, -O0):
<local_search>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    0x10(%rbp),%eax
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8d,-0x24(%rbp)
mov    %r9d,-0x28(%rbp)
movl   $0x0,-0x2c(%rbp)
movl   $0x0,-0x30(%rbp)
movl   $0x0,-0x34(%rbp)
movl   $0x0,-0x38(%rbp)
movl   $0x0,-0x3c(%rbp)
movl   $0x0,-0x40(%rbp)
movl   $0x0,-0x44(%rbp)
movl   $0x0,-0x48(%rbp)
mov    $0x0,%al
call   1030 <drand48@plt>
cvtsi2sd %eax,%xmm0
movsd  0xe82(%rip),%xmm1
mulsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x4c(%rbp)
movss  -0x4c(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomiss %xmm1,%xmm0
jbe    11c3 <local_search+0xb3>
movss  -0x4c(%rbp),%xmm0
cvtss2sd %xmm0,%xmm1
movsd  0xe5b(%rip),%xmm0
ucomisd %xmm1,%xmm0
jb     11c3 <local_search+0xb3>
movl   $0x0,-0x50(%rbp)
jmp    11ca <local_search+0xba>
movl   $0x3,-0x50(%rbp)
jmp    11cf <local_search+0xbf>
cmpl   $0x2,-0x48(%rbp)
jge    179a <local_search+0x68a>
movss  -0x4c(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomiss %xmm1,%xmm0
jbe    121c <local_search+0x10c>
movss  -0x4c(%rbp),%xmm0
cvtss2sd %xmm0,%xmm1
movsd  0xe0d(%rip),%xmm0
ucomisd %xmm1,%xmm0
jb     121c <local_search+0x10c>
mov    -0x50(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x50(%rbp)
mov    -0x48(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x48(%rbp)
jmp    1269 <local_search+0x159>
movss  -0x4c(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xddb(%rip),%xmm1
ucomisd %xmm1,%xmm0
jbe    1264 <local_search+0x154>
movss  -0x4c(%rbp),%xmm0
cvtss2sd %xmm0,%xmm1
movsd  0xdb8(%rip),%xmm0
ucomisd %xmm1,%xmm0
jbe    1264 <local_search+0x154>
mov    -0x50(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x50(%rbp)
mov    -0x48(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x48(%rbp)
jmp    1269 <local_search+0x159>
cmpl   $0x1,-0x50(%rbp)
jne    154b <local_search+0x43b>
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x24(%rbp),%eax
jge    1546 <local_search+0x436>
movl   $0x0,-0x3c(%rbp)
mov    -0x3c(%rbp),%eax
cmp    0x10(%rbp),%eax
jge    1533 <local_search+0x423>
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x3c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x30(%rbp)
cmpl   $0x0,-0x30(%rbp)
jle    1520 <local_search+0x410>
movl   $0x0,-0x40(%rbp)
mov    -0x40(%rbp),%eax
cmp    0x10(%rbp),%eax
jge    151b <local_search+0x40b>
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x40(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x34(%rbp)
cmpl   $0x0,-0x34(%rbp)
jle    1508 <local_search+0x3f8>
mov    -0x30(%rbp),%eax
cmp    -0x34(%rbp),%eax
je     1503 <local_search+0x3f3>
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x30(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
mov    (%rax),%eax
mov    -0x20(%rbp),%rcx
movslq -0x40(%rbp),%rdx
mov    (%rcx,%rdx,8),%rcx
add    (%rcx),%eax
mov    -0x18(%rbp),%rcx
mov    -0x30(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
mov    (%rcx,%rdx,8),%rcx
cmp    (%rcx),%eax
jge    14fe <local_search+0x3ee>
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x30(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
mov    0x4(%rax),%eax
mov    -0x20(%rbp),%rcx
movslq -0x40(%rbp),%rdx
mov    (%rcx,%rdx,8),%rcx
add    0x4(%rcx),%eax
mov    -0x18(%rbp),%rcx
mov    -0x30(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
mov    (%rcx,%rdx,8),%rcx
cmp    0x4(%rcx),%eax
jge    14fe <local_search+0x3ee>
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x30(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
mov    0x8(%rax),%eax
mov    -0x20(%rbp),%rcx
movslq -0x40(%rbp),%rdx
mov    (%rcx,%rdx,8),%rcx
add    0x8(%rcx),%eax
mov    -0x18(%rbp),%rcx
mov    -0x30(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
mov    (%rcx,%rdx,8),%rcx
cmp    0x8(%rcx),%eax
jge    14fe <local_search+0x3ee>
mov    -0x20(%rbp),%rax
movslq -0x40(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    (%rax),%edx
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x34(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
mov    (%rax),%ecx
sub    %edx,%ecx
mov    %ecx,(%rax)
mov    -0x20(%rbp),%rax
movslq -0x40(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    0x4(%rax),%edx
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x34(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
mov    0x4(%rax),%ecx
sub    %edx,%ecx
mov    %ecx,0x4(%rax)
mov    -0x20(%rbp),%rax
movslq -0x40(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    0x8(%rax),%edx
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x34(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
mov    0x8(%rax),%ecx
sub    %edx,%ecx
mov    %ecx,0x8(%rax)
mov    -0x20(%rbp),%rax
movslq -0x40(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    (%rax),%ecx
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rdx
mov    (%rax,%rdx,8),%rax
mov    -0x30(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
mov    (%rax,%rdx,8),%rax
add    (%rax),%ecx
mov    %ecx,(%rax)
mov    -0x20(%rbp),%rax
movslq -0x40(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    0x4(%rax),%ecx
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rdx
mov    (%rax,%rdx,8),%rax
mov    -0x30(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
mov    (%rax,%rdx,8),%rax
add    0x4(%rax),%ecx
mov    %ecx,0x4(%rax)
mov    -0x20(%rbp),%rax
movslq -0x40(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    0x8(%rax),%ecx
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rdx
mov    (%rax,%rdx,8),%rax
mov    -0x30(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
mov    (%rax,%rdx,8),%rax
add    0x8(%rax),%ecx
mov    %ecx,0x8(%rax)
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x3c(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x40(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    1503 <local_search+0x3f3>
jmp    1508 <local_search+0x3f8>
jmp    150d <local_search+0x3fd>
mov    -0x40(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x40(%rbp)
jmp    12c0 <local_search+0x1b0>
jmp    1520 <local_search+0x410>
jmp    1525 <local_search+0x415>
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    128d <local_search+0x17d>
jmp    1538 <local_search+0x428>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    127a <local_search+0x16a>
jmp    154b <local_search+0x43b>
cmpl   $0x2,-0x50(%rbp)
jne    1795 <local_search+0x685>
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x24(%rbp),%eax
jge    1790 <local_search+0x680>
movl   $0x0,-0x3c(%rbp)
mov    -0x3c(%rbp),%eax
cmp    0x10(%rbp),%eax
jge    177d <local_search+0x66d>
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x3c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x30(%rbp)
cmpl   $0x0,-0x30(%rbp)
jne    176a <local_search+0x65a>
movl   $0x0,-0x40(%rbp)
mov    -0x40(%rbp),%eax
cmp    0x10(%rbp),%eax
jge    1765 <local_search+0x655>
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x40(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x34(%rbp)
cmpl   $0x0,-0x34(%rbp)
jle    1752 <local_search+0x642>
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x34(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
mov    (%rax),%eax
mov    -0x20(%rbp),%rcx
movslq -0x3c(%rbp),%rdx
mov    (%rcx,%rdx,8),%rcx
add    (%rcx),%eax
mov    -0x18(%rbp),%rcx
mov    -0x34(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
mov    (%rcx,%rdx,8),%rcx
cmp    (%rcx),%eax
jge    174d <local_search+0x63d>
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x34(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
mov    0x4(%rax),%eax
mov    -0x20(%rbp),%rcx
movslq -0x3c(%rbp),%rdx
mov    (%rcx,%rdx,8),%rcx
add    0x4(%rcx),%eax
mov    -0x18(%rbp),%rcx
mov    -0x34(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
mov    (%rcx,%rdx,8),%rcx
cmp    0x4(%rcx),%eax
jge    174d <local_search+0x63d>
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x34(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
mov    0x8(%rax),%eax
mov    -0x20(%rbp),%rcx
movslq -0x3c(%rbp),%rdx
mov    (%rcx,%rdx,8),%rcx
add    0x8(%rcx),%eax
mov    -0x18(%rbp),%rcx
mov    -0x34(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
mov    (%rcx,%rdx,8),%rcx
cmp    0x8(%rcx),%eax
jge    174d <local_search+0x63d>
mov    -0x20(%rbp),%rax
movslq -0x3c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    (%rax),%ecx
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rdx
mov    (%rax,%rdx,8),%rax
mov    -0x34(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
mov    (%rax,%rdx,8),%rax
add    (%rax),%ecx
mov    %ecx,(%rax)
mov    -0x20(%rbp),%rax
movslq -0x3c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    0x4(%rax),%ecx
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rdx
mov    (%rax,%rdx,8),%rax
mov    -0x34(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
mov    (%rax,%rdx,8),%rax
add    0x4(%rax),%ecx
mov    %ecx,0x4(%rax)
mov    -0x20(%rbp),%rax
movslq -0x3c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    0x8(%rax),%ecx
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rdx
mov    (%rax,%rdx,8),%rax
mov    -0x34(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
mov    (%rax,%rdx,8),%rax
add    0x8(%rax),%ecx
mov    %ecx,0x8(%rax)
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x40(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x3c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    0x10(%rbp),%eax
mov    %eax,-0x40(%rbp)
jmp    1752 <local_search+0x642>
jmp    1757 <local_search+0x647>
mov    -0x40(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x40(%rbp)
jmp    15a2 <local_search+0x492>
jmp    176a <local_search+0x65a>
jmp    176f <local_search+0x65f>
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    156f <local_search+0x45f>
jmp    1782 <local_search+0x672>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    155c <local_search+0x44c>
jmp    1795 <local_search+0x685>
jmp    11cf <local_search+0xbf>
mov    -0x8(%rbp),%rax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<local_search>:
push   %rax
xor    %eax,%eax
call   1030 <drand48@plt>

LLVM IR (-O0):
define i32** @local_search(i32** %0, i32*** %1, i32** %2, i32** %3, i32 %4, i32 %5, i32 %6) {
%8 = alloca i32**
%9 = alloca i32***
%10 = alloca i32**
%11 = alloca i32**
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
%15 = alloca i32
%16 = alloca i32
%17 = alloca i32
%18 = alloca i32
%19 = alloca i32
%20 = alloca i32
%21 = alloca i32
%22 = alloca i32
%23 = alloca float
%24 = alloca i32
store i32** %0, i32*** %8
store i32*** %1, i32**** %9
store i32** %2, i32*** %10
store i32** %3, i32*** %11
store i32 %4, i32* %12
store i32 %5, i32* %13
store i32 %6, i32* %14
store i32 0, i32* %15
store i32 0, i32* %16
store i32 0, i32* %17
store i32 0, i32* %18
store i32 0, i32* %19
store i32 0, i32* %20
store i32 0, i32* %21
store i32 0, i32* %22
%25 = call i32 (...) @drand48()
%26 = sitofp i32 %25 to double
%27 = fmul double %26, 1.000000e+00
%28 = fptrunc double %27 to float
store float %28, float* %23
%29 = load float, float* %23
%30 = fcmp ogt float %29, 0.000000e+00
br i1 %30, label %31, label %36
31: ; preds = %7
%32 = load float, float* %23
%33 = fpext float %32 to double
%34 = fcmp ole double %33, 5.000000e-01
br i1 %34, label %35, label %36
35: ; preds = %31
store i32 0, i32* %24
br label %37
36: ; preds = %31, %7
store i32 3, i32* %24
br label %37
37: ; preds = %36, %35
br label %38
38: ; preds = %583, %37
%39 = load i32, i32* %22
%40 = icmp slt i32 %39, 2
br i1 %40, label %41, label %584
41: ; preds = %38
%42 = load float, float* %23
%43 = fcmp ogt float %42, 0.000000e+00
br i1 %43, label %44, label %53
44: ; preds = %41
%45 = load float, float* %23
%46 = fpext float %45 to double
%47 = fcmp ole double %46, 5.000000e-01
br i1 %47, label %48, label %53
48: ; preds = %44
%49 = load i32, i32* %24
%50 = add nsw i32 %49, 1
store i32 %50, i32* %24
%51 = load i32, i32* %22
%52 = add nsw i32 %51, 1
store i32 %52, i32* %22
br label %67
53: ; preds = %44, %41
%54 = load float, float* %23
%55 = fpext float %54 to double
%56 = fcmp ogt double %55, 5.000000e-01
br i1 %56, label %57, label %66
57: ; preds = %53
%58 = load float, float* %23
%59 = fpext float %58 to double
%60 = fcmp olt double %59, 1.000000e+00
br i1 %60, label %61, label %66
61: ; preds = %57
%62 = load i32, i32* %24
%63 = add nsw i32 %62, -1
store i32 %63, i32* %24
%64 = load i32, i32* %22
%65 = add nsw i32 %64, 1
store i32 %65, i32* %22
br label %66
66: ; preds = %61, %57, %53
br label %67
67: ; preds = %66, %48
%68 = load i32, i32* %24
%69 = icmp eq i32 %68, 1
br i1 %69, label %70, label %357
70: ; preds = %67
store i32 0, i32* %15
br label %71
71: ; preds = %353, %70
%72 = load i32, i32* %15
%73 = load i32, i32* %12
%74 = icmp slt i32 %72, %73
br i1 %74, label %75, label %356
75: ; preds = %71
store i32 0, i32* %19
br label %76
76: ; preds = %349, %75
%77 = load i32, i32* %19
%78 = load i32, i32* %14
%79 = icmp slt i32 %77, %78
br i1 %79, label %80, label %352
80: ; preds = %76
%81 = load i32**, i32*** %8
%82 = load i32, i32* %15
%83 = sext i32 %82 to i64
%84 = getelementptr inbounds i32*, i32** %81, i64 %83
%85 = load i32*, i32** %84
%86 = load i32, i32* %19
%87 = sext i32 %86 to i64
%88 = getelementptr inbounds i32, i32* %85, i64 %87
%89 = load i32, i32* %88
store i32 %89, i32* %16
%90 = load i32, i32* %16
%91 = icmp sgt i32 %90, 0
br i1 %91, label %92, label %348
92: ; preds = %80
store i32 0, i32* %20
br label %93
93: ; preds = %344, %92
%94 = load i32, i32* %20
%95 = load i32, i32* %14
%96 = icmp slt i32 %94, %95
br i1 %96, label %97, label %347
97: ; preds = %93
%98 = load i32**, i32*** %8
%99 = load i32, i32* %15
%100 = sext i32 %99 to i64
%101 = getelementptr inbounds i32*, i32** %98, i64 %100
%102 = load i32*, i32** %101
%103 = load i32, i32* %20
%104 = sext i32 %103 to i64
%105 = getelementptr inbounds i32, i32* %102, i64 %104
%106 = load i32, i32* %105
store i32 %106, i32* %17
%107 = load i32, i32* %17
%108 = icmp sgt i32 %107, 0
br i1 %108, label %109, label %343
109: ; preds = %97
%110 = load i32, i32* %16
%111 = load i32, i32* %17
%112 = icmp ne i32 %110, %111
br i1 %112, label %113, label %342
113: ; preds = %109
%114 = load i32***, i32**** %9
%115 = load i32, i32* %15
%116 = sext i32 %115 to i64
%117 = getelementptr inbounds i32**, i32*** %114, i64 %116
%118 = load i32**, i32*** %117
%119 = load i32, i32* %16
%120 = sub nsw i32 %119, 1
%121 = sext i32 %120 to i64
%122 = getelementptr inbounds i32*, i32** %118, i64 %121
%123 = load i32*, i32** %122
%124 = getelementptr inbounds i32, i32* %123, i64 0
%125 = load i32, i32* %124
%126 = load i32**, i32*** %11
%127 = load i32, i32* %20
%128 = sext i32 %127 to i64
%129 = getelementptr inbounds i32*, i32** %126, i64 %128
%130 = load i32*, i32** %129
%131 = getelementptr inbounds i32, i32* %130, i64 0
%132 = load i32, i32* %131
%133 = add nsw i32 %125, %132
%134 = load i32**, i32*** %10
%135 = load i32, i32* %16
%136 = sub nsw i32 %135, 1
%137 = sext i32 %136 to i64
%138 = getelementptr inbounds i32*, i32** %134, i64 %137
%139 = load i32*, i32** %138
%140 = getelementptr inbounds i32, i32* %139, i64 0
%141 = load i32, i32* %140
%142 = icmp slt i32 %133, %141
br i1 %142, label %143, label %341
143: ; preds = %113
%144 = load i32***, i32**** %9
%145 = load i32, i32* %15
%146 = sext i32 %145 to i64
%147 = getelementptr inbounds i32**, i32*** %144, i64 %146
%148 = load i32**, i32*** %147
%149 = load i32, i32* %16
%150 = sub nsw i32 %149, 1
%151 = sext i32 %150 to i64
%152 = getelementptr inbounds i32*, i32** %148, i64 %151
%153 = load i32*, i32** %152
%154 = getelementptr inbounds i32, i32* %153, i64 1
%155 = load i32, i32* %154
%156 = load i32**, i32*** %11
%157 = load i32, i32* %20
%158 = sext i32 %157 to i64
%159 = getelementptr inbounds i32*, i32** %156, i64 %158
%160 = load i32*, i32** %159
%161 = getelementptr inbounds i32, i32* %160, i64 1
%162 = load i32, i32* %161
%163 = add nsw i32 %155, %162
%164 = load i32**, i32*** %10
%165 = load i32, i32* %16
%166 = sub nsw i32 %165, 1
%167 = sext i32 %166 to i64
%168 = getelementptr inbounds i32*, i32** %164, i64 %167
%169 = load i32*, i32** %168
%170 = getelementptr inbounds i32, i32* %169, i64 1
%171 = load i32, i32* %170
%172 = icmp slt i32 %163, %171
br i1 %172, label %173, label %341
173: ; preds = %143
%174 = load i32***, i32**** %9
%175 = load i32, i32* %15
%176 = sext i32 %175 to i64
%177 = getelementptr inbounds i32**, i32*** %174, i64 %176
%178 = load i32**, i32*** %177
%179 = load i32, i32* %16
%180 = sub nsw i32 %179, 1
%181 = sext i32 %180 to i64
%182 = getelementptr inbounds i32*, i32** %178, i64 %181
%183 = load i32*, i32** %182
%184 = getelementptr inbounds i32, i32* %183, i64 2
%185 = load i32, i32* %184
%186 = load i32**, i32*** %11
%187 = load i32, i32* %20
%188 = sext i32 %187 to i64
%189 = getelementptr inbounds i32*, i32** %186, i64 %188
%190 = load i32*, i32** %189
%191 = getelementptr inbounds i32, i32* %190, i64 2
%192 = load i32, i32* %191
%193 = add nsw i32 %185, %192
%194 = load i32**, i32*** %10
%195 = load i32, i32* %16
%196 = sub nsw i32 %195, 1
%197 = sext i32 %196 to i64
%198 = getelementptr inbounds i32*, i32** %194, i64 %197
%199 = load i32*, i32** %198
%200 = getelementptr inbounds i32, i32* %199, i64 2
%201 = load i32, i32* %200
%202 = icmp slt i32 %193, %201
br i1 %202, label %203, label %341
203: ; preds = %173
%204 = load i32**, i32*** %11
%205 = load i32, i32* %20
%206 = sext i32 %205 to i64
%207 = getelementptr inbounds i32*, i32** %204, i64 %206
%208 = load i32*, i32** %207
%209 = getelementptr inbounds i32, i32* %208, i64 0
%210 = load i32, i32* %209
%211 = load i32***, i32**** %9
%212 = load i32, i32* %15
%213 = sext i32 %212 to i64
%214 = getelementptr inbounds i32**, i32*** %211, i64 %213
%215 = load i32**, i32*** %214
%216 = load i32, i32* %17
%217 = sub nsw i32 %216, 1
%218 = sext i32 %217 to i64
%219 = getelementptr inbounds i32*, i32** %215, i64 %218
%220 = load i32*, i32** %219
%221 = getelementptr inbounds i32, i32* %220, i64 0
%222 = load i32, i32* %221
%223 = sub nsw i32 %222, %210
store i32 %223, i32* %221
%224 = load i32**, i32*** %11
%225 = load i32, i32* %20
%226 = sext i32 %225 to i64
%227 = getelementptr inbounds i32*, i32** %224, i64 %226
%228 = load i32*, i32** %227
%229 = getelementptr inbounds i32, i32* %228, i64 1
%230 = load i32, i32* %229
%231 = load i32***, i32**** %9
%232 = load i32, i32* %15
%233 = sext i32 %232 to i64
%234 = getelementptr inbounds i32**, i32*** %231, i64 %233
%235 = load i32**, i32*** %234
%236 = load i32, i32* %17
%237 = sub nsw i32 %236, 1
%238 = sext i32 %237 to i64
%239 = getelementptr inbounds i32*, i32** %235, i64 %238
%240 = load i32*, i32** %239
%241 = getelementptr inbounds i32, i32* %240, i64 1
%242 = load i32, i32* %241
%243 = sub nsw i32 %242, %230
store i32 %243, i32* %241
%244 = load i32**, i32*** %11
%245 = load i32, i32* %20
%246 = sext i32 %245 to i64
%247 = getelementptr inbounds i32*, i32** %244, i64 %246
%248 = load i32*, i32** %247
%249 = getelementptr inbounds i32, i32* %248, i64 2
%250 = load i32, i32* %249
%251 = load i32***, i32**** %9
%252 = load i32, i32* %15
%253 = sext i32 %252 to i64
%254 = getelementptr inbounds i32**, i32*** %251, i64 %253
%255 = load i32**, i32*** %254
%256 = load i32, i32* %17
%257 = sub nsw i32 %256, 1
%258 = sext i32 %257 to i64
%259 = getelementptr inbounds i32*, i32** %255, i64 %258
%260 = load i32*, i32** %259
%261 = getelementptr inbounds i32, i32* %260, i64 2
%262 = load i32, i32* %261
%263 = sub nsw i32 %262, %250
store i32 %263, i32* %261
%264 = load i32**, i32*** %11
%265 = load i32, i32* %20
%266 = sext i32 %265 to i64
%267 = getelementptr inbounds i32*, i32** %264, i64 %266
%268 = load i32*, i32** %267
%269 = getelementptr inbounds i32, i32* %268, i64 0
%270 = load i32, i32* %269
%271 = load i32***, i32**** %9
%272 = load i32, i32* %15
%273 = sext i32 %272 to i64
%274 = getelementptr inbounds i32**, i32*** %271, i64 %273
%275 = load i32**, i32*** %274
%276 = load i32, i32* %16
%277 = sub nsw i32 %276, 1
%278 = sext i32 %277 to i64
%279 = getelementptr inbounds i32*, i32** %275, i64 %278
%280 = load i32*, i32** %279
%281 = getelementptr inbounds i32, i32* %280, i64 0
%282 = load i32, i32* %281
%283 = add nsw i32 %282, %270
store i32 %283, i32* %281
%284 = load i32**, i32*** %11
%285 = load i32, i32* %20
%286 = sext i32 %285 to i64
%287 = getelementptr inbounds i32*, i32** %284, i64 %286
%288 = load i32*, i32** %287
%289 = getelementptr inbounds i32, i32* %288, i64 1
%290 = load i32, i32* %289
%291 = load i32***, i32**** %9
%292 = load i32, i32* %15
%293 = sext i32 %292 to i64
%294 = getelementptr inbounds i32**, i32*** %291, i64 %293
%295 = load i32**, i32*** %294
%296 = load i32, i32* %16
%297 = sub nsw i32 %296, 1
%298 = sext i32 %297 to i64
%299 = getelementptr inbounds i32*, i32** %295, i64 %298
%300 = load i32*, i32** %299
%301 = getelementptr inbounds i32, i32* %300, i64 1
%302 = load i32, i32* %301
%303 = add nsw i32 %302, %290
store i32 %303, i32* %301
%304 = load i32**, i32*** %11
%305 = load i32, i32* %20
%306 = sext i32 %305 to i64
%307 = getelementptr inbounds i32*, i32** %304, i64 %306
%308 = load i32*, i32** %307
%309 = getelementptr inbounds i32, i32* %308, i64 2
%310 = load i32, i32* %309
%311 = load i32***, i32**** %9
%312 = load i32, i32* %15
%313 = sext i32 %312 to i64
%314 = getelementptr inbounds i32**, i32*** %311, i64 %313
%315 = load i32**, i32*** %314
%316 = load i32, i32* %16
%317 = sub nsw i32 %316, 1
%318 = sext i32 %317 to i64
%319 = getelementptr inbounds i32*, i32** %315, i64 %318
%320 = load i32*, i32** %319
%321 = getelementptr inbounds i32, i32* %320, i64 2
%322 = load i32, i32* %321
%323 = add nsw i32 %322, %310
store i32 %323, i32* %321
%324 = load i32**, i32*** %8
%325 = load i32, i32* %15
%326 = sext i32 %325 to i64
%327 = getelementptr inbounds i32*, i32** %324, i64 %326
%328 = load i32*, i32** %327
%329 = load i32, i32* %19
%330 = sext i32 %329 to i64
%331 = getelementptr inbounds i32, i32* %328, i64 %330
%332 = load i32, i32* %331
%333 = load i32**, i32*** %8
%334 = load i32, i32* %15
%335 = sext i32 %334 to i64
%336 = getelementptr inbounds i32*, i32** %333, i64 %335
%337 = load i32*, i32** %336
%338 = load i32, i32* %20
%339 = sext i32 %338 to i64
%340 = getelementptr inbounds i32, i32* %337, i64 %339
store i32 %332, i32* %340
br label %341
341: ; preds = %203, %173, %143, %113
br label %342
342: ; preds = %341, %109
br label %343
343: ; preds = %342, %97
br label %344
344: ; preds = %343
%345 = load i32, i32* %20
%346 = add nsw i32 %345, 1
store i32 %346, i32* %20
br label %93
347: ; preds = %93
br label %348
348: ; preds = %347, %80
br label %349
349: ; preds = %348
%350 = load i32, i32* %19
%351 = add nsw i32 %350, 1
store i32 %351, i32* %19
br label %76
352: ; preds = %76
br label %353
353: ; preds = %352
%354 = load i32, i32* %15
%355 = add nsw i32 %354, 1
store i32 %355, i32* %15
br label %71
356: ; preds = %71
br label %357
357: ; preds = %356, %67
%358 = load i32, i32* %24
%359 = icmp eq i32 %358, 2
br i1 %359, label %360, label %583
360: ; preds = %357
store i32 0, i32* %15
br label %361
361: ; preds = %579, %360
%362 = load i32, i32* %15
%363 = load i32, i32* %12
%364 = icmp slt i32 %362, %363
br i1 %364, label %365, label %582
365: ; preds = %361
store i32 0, i32* %19
br label %366
366: ; preds = %575, %365
%367 = load i32, i32* %19
%368 = load i32, i32* %14
%369 = icmp slt i32 %367, %368
br i1 %369, label %370, label %578
370: ; preds = %366
%371 = load i32**, i32*** %8
%372 = load i32, i32* %15
%373 = sext i32 %372 to i64
%374 = getelementptr inbounds i32*, i32** %371, i64 %373
%375 = load i32*, i32** %374
%376 = load i32, i32* %19
%377 = sext i32 %376 to i64
%378 = getelementptr inbounds i32, i32* %375, i64 %377
%379 = load i32, i32* %378
store i32 %379, i32* %16
%380 = load i32, i32* %16
%381 = icmp eq i32 %380, 0
br i1 %381, label %382, label %574
382: ; preds = %370
store i32 0, i32* %20
br label %383
383: ; preds = %570, %382
%384 = load i32, i32* %20
%385 = load i32, i32* %14
%386 = icmp slt i32 %384, %385
br i1 %386, label %387, label %573
387: ; preds = %383
%388 = load i32**, i32*** %8
%389 = load i32, i32* %15
%390 = sext i32 %389 to i64
%391 = getelementptr inbounds i32*, i32** %388, i64 %390
%392 = load i32*, i32** %391
%393 = load i32, i32* %20
%394 = sext i32 %393 to i64
%395 = getelementptr inbounds i32, i32* %392, i64 %394
%396 = load i32, i32* %395
store i32 %396, i32* %17
%397 = load i32, i32* %17
%398 = icmp sgt i32 %397, 0
br i1 %398, label %399, label %569
399: ; preds = %387
%400 = load i32***, i32**** %9
%401 = load i32, i32* %15
%402 = sext i32 %401 to i64
%403 = getelementptr inbounds i32**, i32*** %400, i64 %402
%404 = load i32**, i32*** %403
%405 = load i32, i32* %17
%406 = sub nsw i32 %405, 1
%407 = sext i32 %406 to i64
%408 = getelementptr inbounds i32*, i32** %404, i64 %407
%409 = load i32*, i32** %408
%410 = getelementptr inbounds i32, i32* %409, i64 0
%411 = load i32, i32* %410
%412 = load i32**, i32*** %11
%413 = load i32, i32* %19
%414 = sext i32 %413 to i64
%415 = getelementptr inbounds i32*, i32** %412, i64 %414
%416 = load i32*, i32** %415
%417 = getelementptr inbounds i32, i32* %416, i64 0
%418 = load i32, i32* %417
%419 = add nsw i32 %411, %418
%420 = load i32**, i32*** %10
%421 = load i32, i32* %17
%422 = sub nsw i32 %421, 1
%423 = sext i32 %422 to i64
%424 = getelementptr inbounds i32*, i32** %420, i64 %423
%425 = load i32*, i32** %424
%426 = getelementptr inbounds i32, i32* %425, i64 0
%427 = load i32, i32* %426
%428 = icmp slt i32 %419, %427
br i1 %428, label %429, label %568
429: ; preds = %399
%430 = load i32***, i32**** %9
%431 = load i32, i32* %15
%432 = sext i32 %431 to i64
%433 = getelementptr inbounds i32**, i32*** %430, i64 %432
%434 = load i32**, i32*** %433
%435 = load i32, i32* %17
%436 = sub nsw i32 %435, 1
%437 = sext i32 %436 to i64
%438 = getelementptr inbounds i32*, i32** %434, i64 %437
%439 = load i32*, i32** %438
%440 = getelementptr inbounds i32, i32* %439, i64 1
%441 = load i32, i32* %440
%442 = load i32**, i32*** %11
%443 = load i32, i32* %19
%444 = sext i32 %443 to i64
%445 = getelementptr inbounds i32*, i32** %442, i64 %444
%446 = load i32*, i32** %445
%447 = getelementptr inbounds i32, i32* %446, i64 1
%448 = load i32, i32* %447
%449 = add nsw i32 %441, %448
%450 = load i32**, i32*** %10
%451 = load i32, i32* %17
%452 = sub nsw i32 %451, 1
%453 = sext i32 %452 to i64
%454 = getelementptr inbounds i32*, i32** %450, i64 %453
%455 = load i32*, i32** %454
%456 = getelementptr inbounds i32, i32* %455, i64 1
%457 = load i32, i32* %456
%458 = icmp slt i32 %449, %457
br i1 %458, label %459, label %568
459: ; preds = %429
%460 = load i32***, i32**** %9
%461 = load i32, i32* %15
%462 = sext i32 %461 to i64
%463 = getelementptr inbounds i32**, i32*** %460, i64 %462
%464 = load i32**, i32*** %463
%465 = load i32, i32* %17
%466 = sub nsw i32 %465, 1
%467 = sext i32 %466 to i64
%468 = getelementptr inbounds i32*, i32** %464, i64 %467
%469 = load i32*, i32** %468
%470 = getelementptr inbounds i32, i32* %469, i64 2
%471 = load i32, i32* %470
%472 = load i32**, i32*** %11
%473 = load i32, i32* %19
%474 = sext i32 %473 to i64
%475 = getelementptr inbounds i32*, i32** %472, i64 %474
%476 = load i32*, i32** %475
%477 = getelementptr inbounds i32, i32* %476, i64 2
%478 = load i32, i32* %477
%479 = add nsw i32 %471, %478
%480 = load i32**, i32*** %10
%481 = load i32, i32* %17
%482 = sub nsw i32 %481, 1
%483 = sext i32 %482 to i64
%484 = getelementptr inbounds i32*, i32** %480, i64 %483
%485 = load i32*, i32** %484
%486 = getelementptr inbounds i32, i32* %485, i64 2
%487 = load i32, i32* %486
%488 = icmp slt i32 %479, %487
br i1 %488, label %489, label %568
489: ; preds = %459
%490 = load i32**, i32*** %11
%491 = load i32, i32* %19
%492 = sext i32 %491 to i64
%493 = getelementptr inbounds i32*, i32** %490, i64 %492
%494 = load i32*, i32** %493
%495 = getelementptr inbounds i32, i32* %494, i64 0
%496 = load i32, i32* %495
%497 = load i32***, i32**** %9
%498 = load i32, i32* %15
%499 = sext i32 %498 to i64
%500 = getelementptr inbounds i32**, i32*** %497, i64 %499
%501 = load i32**, i32*** %500
%502 = load i32, i32* %17
%503 = sub nsw i32 %502, 1
%504 = sext i32 %503 to i64
%505 = getelementptr inbounds i32*, i32** %501, i64 %504
%506 = load i32*, i32** %505
%507 = getelementptr inbounds i32, i32* %506, i64 0
%508 = load i32, i32* %507
%509 = add nsw i32 %508, %496
store i32 %509, i32* %507
%510 = load i32**, i32*** %11
%511 = load i32, i32* %19
%512 = sext i32 %511 to i64
%513 = getelementptr inbounds i32*, i32** %510, i64 %512
%514 = load i32*, i32** %513
%515 = getelementptr inbounds i32, i32* %514, i64 1
%516 = load i32, i32* %515
%517 = load i32***, i32**** %9
%518 = load i32, i32* %15
%519 = sext i32 %518 to i64
%520 = getelementptr inbounds i32**, i32*** %517, i64 %519
%521 = load i32**, i32*** %520
%522 = load i32, i32* %17
%523 = sub nsw i32 %522, 1
%524 = sext i32 %523 to i64
%525 = getelementptr inbounds i32*, i32** %521, i64 %524
%526 = load i32*, i32** %525
%527 = getelementptr inbounds i32, i32* %526, i64 1
%528 = load i32, i32* %527
%529 = add nsw i32 %528, %516
store i32 %529, i32* %527
%530 = load i32**, i32*** %11
%531 = load i32, i32* %19
%532 = sext i32 %531 to i64
%533 = getelementptr inbounds i32*, i32** %530, i64 %532
%534 = load i32*, i32** %533
%535 = getelementptr inbounds i32, i32* %534, i64 2
%536 = load i32, i32* %535
%537 = load i32***, i32**** %9
%538 = load i32, i32* %15
%539 = sext i32 %538 to i64
%540 = getelementptr inbounds i32**, i32*** %537, i64 %539
%541 = load i32**, i32*** %540
%542 = load i32, i32* %17
%543 = sub nsw i32 %542, 1
%544 = sext i32 %543 to i64
%545 = getelementptr inbounds i32*, i32** %541, i64 %544
%546 = load i32*, i32** %545
%547 = getelementptr inbounds i32, i32* %546, i64 2
%548 = load i32, i32* %547
%549 = add nsw i32 %548, %536
store i32 %549, i32* %547
%550 = load i32**, i32*** %8
%551 = load i32, i32* %15
%552 = sext i32 %551 to i64
%553 = getelementptr inbounds i32*, i32** %550, i64 %552
%554 = load i32*, i32** %553
%555 = load i32, i32* %20
%556 = sext i32 %555 to i64
%557 = getelementptr inbounds i32, i32* %554, i64 %556
%558 = load i32, i32* %557
%559 = load i32**, i32*** %8
%560 = load i32, i32* %15
%561 = sext i32 %560 to i64
%562 = getelementptr inbounds i32*, i32** %559, i64 %561
%563 = load i32*, i32** %562
%564 = load i32, i32* %19
%565 = sext i32 %564 to i64
%566 = getelementptr inbounds i32, i32* %563, i64 %565
store i32 %558, i32* %566
%567 = load i32, i32* %14
store i32 %567, i32* %20
br label %568
568: ; preds = %489, %459, %429, %399
br label %569
569: ; preds = %568, %387
br label %570
570: ; preds = %569
%571 = load i32, i32* %20
%572 = add nsw i32 %571, 1
store i32 %572, i32* %20
br label %383
573: ; preds = %383
br label %574
574: ; preds = %573, %370
br label %575
575: ; preds = %574
%576 = load i32, i32* %19
%577 = add nsw i32 %576, 1
store i32 %577, i32* %19
br label %366
578: ; preds = %366
br label %579
579: ; preds = %578
%580 = load i32, i32* %15
%581 = add nsw i32 %580, 1
store i32 %581, i32* %15
br label %361
582: ; preds = %361
br label %583
583: ; preds = %582, %357
br label %38
584: ; preds = %38
%585 = load i32**, i32*** %8
ret i32** %585
}

LLVM IR (-O2):
define noalias i32** @local_search(i32** nocapture readnone %0, i32*** nocapture readnone %1, i32** nocapture readnone %2, i32** nocapture readnone %3, i32 %4, i32 %5, i32 %6) {
%8 = tail call i32 (...) @drand48()
unreachable
}