#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
int celcon_get_inner_normal(int, int, double *);
int celcon_get_point_in_cell(int, int, int, int, double *);
int celcon_mixed_volume(int, int *);
int celcon_number_of_points_in_cell(int, int, int *);
int celcon_retrieve_mixed_cell(int, int, int, int *, double *);
int celcon_solve_standard_start_system(int, int *);
int celcon_standard_polyhedral_homotopy();
int celcon_standard_random_coefficient_system();
int /*<<< orphan*/ printf(char *, ...);
int /*<<< orphan*/ scanf(char *, ...);
int query_cell(int n, int r, int *cellnb, int tosolve) {
  int k, fail, *b, i, j, mv, nl[r], kk, mvcell;
  double *c, normal[n], pt[n];
  char ch;
  printf("Give a cell number : ");
  scanf("%d", &k);
  if (tosolve == 1) {
    fail = celcon_standard_random_coefficient_system();
    fail = celcon_standard_polyhedral_homotopy();
  }
  fail = celcon_get_inner_normal(n, k, normal);
  if (fail == 1)
    printf("an error happened...\n");
  else {
    *cellnb = k;
    printf("inner normal for cell %d :\n", k);
    for (i = 0; i < n; i++)
      printf("%.15le\n", normal[i]);
    fail = celcon_number_of_points_in_cell(k, r, nl);
    printf("number of points in supports :");
    for (i = 0; i < r; i++)
      printf(" %d", nl[i]);
    printf("\n");
    scanf("%c", &ch);
    printf("Hit enter to continue.");
    scanf("%c", &ch);
    printf("points in the supports :\n");
    for (i = 0; i < r; i++) {
      for (j = 0; j < nl[i]; j++) {
        fail = celcon_get_point_in_cell(n, k, i + 1, j + 1, pt);
        for (kk = 0; kk < n - 1; kk++)
          printf(" %d", (int)pt[kk]);
        printf(" %.15le\n", pt[n - 1]);
      }
    }
    fail = celcon_mixed_volume(k, &mv);
    printf("mixed volume : %d\n", mv);
    printf("Hit enter to continue.");
    scanf("%c", &ch);
    if (tosolve == 1) {
      fail = celcon_solve_standard_start_system(k, &mvcell);
      printf("The number of solutions : %d\n", mvcell);
      printf("Hit enter to continue.");
      scanf("%c", &ch);
    }
    {
      int cl[1 + r + 2 * n];
      double inner_normal[n];
      fail = celcon_retrieve_mixed_cell(n, r, k, cl, inner_normal);
      printf("the inner normal for cell %d : \n", k);
      for (i = 0; i < n; i++)
        printf(" %.15le\n", inner_normal[i]);
      printf("total number of points in supports : %d\n", cl[0]);
      printf("number of points in supports : ");
      for (i = 1; i <= r; i++)
        printf(" %d", cl[i]);
      printf("\n");
      printf("labels of points : ");
      kk = r;
      for (i = 1; i <= r; i++) {
        for (j = 0; j < cl[i]; j++)
          printf(" %d", cl[++kk]);
        printf(" | ");
      }
      printf("\n");
      printf("Hit enter to continue.");
      scanf("%c", &ch);
    }
  }
  return fail;
}


x86 assembly (clang, -O0):
<query_cell>:
push   %rbp
mov    %rsp,%rbp
sub    $0xb0,%rsp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %rdx,-0x10(%rbp)
mov    %ecx,-0x14(%rbp)
mov    -0x8(%rbp),%eax
mov    %rsp,%rcx
mov    %rcx,-0x40(%rbp)
lea    0xf(,%rax,4),%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rcx
sub    %rdx,%rcx
mov    %rcx,-0xa0(%rbp)
mov    %rcx,%rsp
mov    %rax,-0x48(%rbp)
mov    -0x4(%rbp),%eax
lea    0xf(,%rax,8),%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rcx
sub    %rdx,%rcx
mov    %rcx,-0x98(%rbp)
mov    %rcx,%rsp
mov    %rax,-0x60(%rbp)
mov    -0x4(%rbp),%eax
lea    0xf(,%rax,8),%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rcx
sub    %rdx,%rcx
mov    %rcx,-0x90(%rbp)
mov    %rcx,%rsp
mov    %rax,-0x68(%rbp)
lea    0xdd1(%rip),%rdi
mov    $0x0,%al
call   1050 <printf@plt>
lea    0xe2b(%rip),%rdi
lea    -0x18(%rbp),%rsi
mov    $0x0,%al
call   1090 <scanf@plt>
cmpl   $0x1,-0x14(%rbp)
jne    1266 <query_cell+0xc6>
mov    $0x0,%al
call   10a0 <celcon_standard_random_coefficient_system@plt>
mov    %eax,-0x1c(%rbp)
mov    $0x0,%al
call   10b0 <celcon_standard_polyhedral_homotopy@plt>
mov    %eax,-0x1c(%rbp)
mov    -0x98(%rbp),%rdx
mov    -0x4(%rbp),%edi
mov    -0x18(%rbp),%esi
call   1040 <celcon_get_inner_normal@plt>
mov    %eax,-0x1c(%rbp)
cmpl   $0x1,-0x1c(%rbp)
jne    1298 <query_cell+0xf8>
lea    0xd8a(%rip),%rdi
mov    $0x0,%al
call   1050 <printf@plt>
jmp    16f7 <query_cell+0x557>
mov    -0x18(%rbp),%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x18(%rbp),%esi
lea    0xd81(%rip),%rdi
mov    $0x0,%al
call   1050 <printf@plt>
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    12f1 <query_cell+0x151>
mov    -0x98(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
lea    0xdc4(%rip),%rdi
mov    $0x1,%al
call   1050 <printf@plt>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    12b9 <query_cell+0x119>
mov    -0xa0(%rbp),%rdx
mov    -0x18(%rbp),%edi
mov    -0x8(%rbp),%esi
call   1030 <celcon_number_of_points_in_cell@plt>
mov    %eax,-0x1c(%rbp)
lea    0xd3b(%rip),%rdi
mov    $0x0,%al
call   1050 <printf@plt>
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    1351 <query_cell+0x1b1>
mov    -0xa0(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%esi
lea    0xd2b(%rip),%rdi
mov    $0x0,%al
call   1050 <printf@plt>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    131b <query_cell+0x17b>
lea    0xda0(%rip),%rdi
mov    $0x0,%al
call   1050 <printf@plt>
lea    0xd05(%rip),%rdi
lea    -0x69(%rbp),%rsi
mov    $0x0,%al
call   1090 <scanf@plt>
lea    0xcf6(%rip),%rdi
mov    $0x0,%al
call   1050 <printf@plt>
lea    0xce5(%rip),%rdi
lea    -0x69(%rbp),%rsi
mov    $0x0,%al
call   1090 <scanf@plt>
lea    0xced(%rip),%rdi
mov    $0x0,%al
call   1050 <printf@plt>
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    1479 <query_cell+0x2d9>
movl   $0x0,-0x30(%rbp)
mov    -0xa0(%rbp),%rcx
mov    -0x30(%rbp),%eax
movslq -0x2c(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jge    1466 <query_cell+0x2c6>
mov    -0x90(%rbp),%r8
mov    -0x4(%rbp),%edi
mov    -0x18(%rbp),%esi
mov    -0x2c(%rbp),%edx
add    $0x1,%edx
mov    -0x30(%rbp),%ecx
add    $0x1,%ecx
call   1060 <celcon_get_point_in_cell@plt>
mov    %eax,-0x1c(%rbp)
movl   $0x0,-0x4c(%rbp)
mov    -0x4c(%rbp),%eax
mov    -0x4(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    1435 <query_cell+0x295>
mov    -0x90(%rbp),%rax
movslq -0x4c(%rbp),%rcx
cvttsd2si (%rax,%rcx,8),%esi
lea    0xc47(%rip),%rdi
mov    $0x0,%al
call   1050 <printf@plt>
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
jmp    13f8 <query_cell+0x258>
mov    -0x90(%rbp),%rax
mov    -0x4(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
lea    0xc4e(%rip),%rdi
mov    $0x1,%al
call   1050 <printf@plt>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    13b9 <query_cell+0x219>
jmp    146b <query_cell+0x2cb>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    13a6 <query_cell+0x206>
mov    -0x18(%rbp),%edi
lea    -0x34(%rbp),%rsi
call   1080 <celcon_mixed_volume@plt>
mov    %eax,-0x1c(%rbp)
mov    -0x34(%rbp),%esi
lea    0xc16(%rip),%rdi
mov    $0x0,%al
call   1050 <printf@plt>
lea    0xbce(%rip),%rdi
mov    $0x0,%al
call   1050 <printf@plt>
lea    0xbbd(%rip),%rdi
lea    -0x69(%rbp),%rsi
mov    $0x0,%al
call   1090 <scanf@plt>
cmpl   $0x1,-0x14(%rbp)
jne    1503 <query_cell+0x363>
mov    -0x18(%rbp),%edi
lea    -0x50(%rbp),%rsi
call   1070 <celcon_solve_standard_start_system@plt>
mov    %eax,-0x1c(%rbp)
mov    -0x50(%rbp),%esi
lea    0xbdf(%rip),%rdi
mov    $0x0,%al
call   1050 <printf@plt>
lea    0xb84(%rip),%rdi
mov    $0x0,%al
call   1050 <printf@plt>
lea    0xb73(%rip),%rdi
lea    -0x69(%rbp),%rsi
mov    $0x0,%al
call   1090 <scanf@plt>
mov    -0x8(%rbp),%edx
mov    -0x4(%rbp),%eax
mov    %eax,%ecx
mov    %edx,%eax
lea    0x1(%rax,%rcx,2),%eax
mov    %rsp,%rcx
mov    %rcx,-0x78(%rbp)
lea    0xf(,%rax,4),%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rcx
sub    %rdx,%rcx
mov    %rcx,-0xb0(%rbp)
mov    %rcx,%rsp
mov    %rax,-0x80(%rbp)
mov    -0x4(%rbp),%eax
lea    0xf(,%rax,8),%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%r8
sub    %rdx,%r8
mov    %r8,-0xa8(%rbp)
mov    %r8,%rsp
mov    %rax,-0x88(%rbp)
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
mov    -0x18(%rbp),%edx
call   10c0 <celcon_retrieve_mixed_cell@plt>
mov    %eax,-0x1c(%rbp)
mov    -0x18(%rbp),%esi
lea    0xb60(%rip),%rdi
mov    $0x0,%al
call   1050 <printf@plt>
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    15bf <query_cell+0x41f>
mov    -0xa8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
lea    0xaf5(%rip),%rdi
mov    $0x1,%al
call   1050 <printf@plt>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1587 <query_cell+0x3e7>
mov    -0xb0(%rbp),%rax
mov    (%rax),%esi
lea    0xb2b(%rip),%rdi
mov    $0x0,%al
call   1050 <printf@plt>
lea    0xb46(%rip),%rdi
mov    $0x0,%al
call   1050 <printf@plt>
movl   $0x1,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x8(%rbp),%eax
jg     1621 <query_cell+0x481>
mov    -0xb0(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%esi
lea    0xa5b(%rip),%rdi
mov    $0x0,%al
call   1050 <printf@plt>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    15eb <query_cell+0x44b>
lea    0xad0(%rip),%rdi
mov    $0x0,%al
call   1050 <printf@plt>
lea    0xb0d(%rip),%rdi
mov    $0x0,%al
call   1050 <printf@plt>
mov    -0x8(%rbp),%eax
mov    %eax,-0x4c(%rbp)
movl   $0x1,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x8(%rbp),%eax
jg     16c2 <query_cell+0x522>
movl   $0x0,-0x30(%rbp)
mov    -0xb0(%rbp),%rcx
mov    -0x30(%rbp),%eax
movslq -0x2c(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jge    16a6 <query_cell+0x506>
mov    -0xb0(%rbp),%rax
mov    -0x4c(%rbp),%ecx
add    $0x1,%ecx
mov    %ecx,-0x4c(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%esi
lea    0x9d6(%rip),%rdi
mov    $0x0,%al
call   1050 <printf@plt>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    165d <query_cell+0x4bd>
lea    0xaaa(%rip),%rdi
mov    $0x0,%al
call   1050 <printf@plt>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    164a <query_cell+0x4aa>
lea    0xa2f(%rip),%rdi
mov    $0x0,%al
call   1050 <printf@plt>
lea    0x997(%rip),%rdi
mov    $0x0,%al
call   1050 <printf@plt>
lea    0x986(%rip),%rdi
lea    -0x69(%rbp),%rsi
mov    $0x0,%al
call   1090 <scanf@plt>
mov    -0x78(%rbp),%rax
mov    %rax,%rsp
mov    -0x1c(%rbp),%eax
mov    -0x40(%rbp),%rcx
mov    %rcx,%rsp
mov    %rbp,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<query_cell>:
push   %rbp
mov    %rsp,%rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x78,%rsp
mov    %ecx,%r13d
mov    %rdx,-0x48(%rbp)
mov    %edi,%ebx
mov    %rsp,%r12
mov    %rsi,-0x38(%rbp)
mov    %esi,%eax
mov    %rsp,%rcx
mov    %rax,-0x80(%rbp)
lea    0xf(,%rax,4),%rax
and    $0xfffffffffffffff0,%rax
sub    %rax,%rcx
mov    %rcx,-0x40(%rbp)
mov    %rcx,%rsp
mov    %edi,%eax
mov    %rsp,%r15
mov    %rax,-0x78(%rbp)
lea    0xf(,%rax,8),%rax
and    $0xfffffffffffffff0,%rax
sub    %rax,%r15
mov    %r15,%rsp
mov    %rsp,%r14
mov    %rax,-0x90(%rbp)
sub    %rax,%r14
mov    %r14,%rsp
lea    0xdce(%rip),%rdi
xor    %eax,%eax
call   1070 <printf@plt>
lea    0xe12(%rip),%rdi
lea    -0x30(%rbp),%rsi
xor    %eax,%eax
call   10b0 <scanf@plt>
mov    %r13d,-0x64(%rbp)
cmp    $0x1,%r13d
jne    1263 <query_cell+0xa3>
xor    %eax,%eax
call   10c0 <celcon_standard_random_coefficient_system@plt>
xor    %eax,%eax
call   10d0 <celcon_standard_polyhedral_homotopy@plt>
mov    -0x30(%rbp),%esi
mov    %ebx,%edi
mov    %r15,%rdx
call   1060 <celcon_get_inner_normal@plt>
cmp    $0x1,%eax
jne    128b <query_cell+0xcb>
lea    0xec8(%rip),%rdi
call   1040 <puts@plt>
mov    $0x1,%eax
jmp    16f2 <query_cell+0x532>
mov    %r12,-0x88(%rbp)
mov    -0x30(%rbp),%esi
mov    -0x48(%rbp),%rax
mov    %esi,(%rax)
lea    0xd74(%rip),%rdi
xor    %eax,%eax
call   1070 <printf@plt>
mov    %rbx,-0x58(%rbp)
test   %ebx,%ebx
mov    -0x78(%rbp),%r12
jle    12d9 <query_cell+0x119>
xor    %ebx,%ebx
lea    0xdb2(%rip),%r13
xchg   %ax,%ax
movsd  (%r15,%rbx,8),%xmm0
mov    %r13,%rdi
mov    $0x1,%al
call   1070 <printf@plt>
add    $0x1,%rbx
cmp    %rbx,%r12
jne    12c0 <query_cell+0x100>
mov    -0x30(%rbp),%edi
mov    -0x38(%rbp),%rbx
mov    %ebx,%esi
mov    -0x40(%rbp),%r13
mov    %r13,%rdx
call   1050 <celcon_number_of_points_in_cell@plt>
lea    0xd3d(%rip),%rdi
xor    %eax,%eax
call   1070 <printf@plt>
test   %ebx,%ebx
jle    144b <query_cell+0x28b>
lea    0xd46(%rip),%r15
xor    %ebx,%ebx
mov    -0x80(%rbp),%r12
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    0x0(%r13,%rbx,4),%esi
mov    %r15,%rdi
xor    %eax,%eax
call   1070 <printf@plt>
add    $0x1,%rbx
cmp    %rbx,%r12
jne    1320 <query_cell+0x160>
mov    $0xa,%edi
call   1030 <putchar@plt>
lea    0xd0c(%rip),%r15
lea    -0x29(%rbp),%rbx
mov    %r15,%rdi
mov    %rbx,%rsi
xor    %eax,%eax
call   10b0 <scanf@plt>
lea    0xcf7(%rip),%rdi
xor    %eax,%eax
call   1070 <printf@plt>
mov    %r15,%rdi
mov    %rbx,%rsi
xor    %eax,%eax
call   10b0 <scanf@plt>
lea    0xdaf(%rip),%rdi
call   1040 <puts@plt>
cmpl   $0x0,-0x38(%rbp)
jle    1494 <query_cell+0x2d4>
mov    -0x58(%rbp),%rax
lea    -0x1(%rax),%r15d
movslq %r15d,%rax
mov    %rax,-0x98(%rbp)
lea    0xcad(%rip),%r13
xor    %edx,%edx
mov    -0x58(%rbp),%rbx
jmp    13c1 <query_cell+0x201>
nopl   0x0(%rax)
mov    -0x50(%rbp),%rax
mov    %rax,%rdx
cmp    -0x80(%rbp),%rax
je     1494 <query_cell+0x2d4>
lea    0x1(%rdx),%rax
mov    %rax,-0x50(%rbp)
mov    -0x40(%rbp),%rax
cmpl   $0x0,(%rax,%rdx,4)
jle    13b0 <query_cell+0x1f0>
xor    %ecx,%ecx
mov    %rdx,-0x60(%rbp)
jmp    140b <query_cell+0x24b>
nopl   0x0(%rax,%rax,1)
mov    -0x98(%rbp),%rax
movsd  (%r14,%rax,8),%xmm0
lea    0xc7b(%rip),%rdi
mov    $0x1,%al
call   1070 <printf@plt>
mov    -0x40(%rbp),%rax
mov    -0x60(%rbp),%rdx
mov    -0x48(%rbp),%ecx
cmp    (%rax,%rdx,4),%ecx
jge    13b0 <query_cell+0x1f0>
mov    -0x30(%rbp),%esi
add    $0x1,%ecx
mov    %ebx,%edi
mov    -0x50(%rbp),%rdx
mov    %ecx,-0x48(%rbp)
mov    %r14,%r8
call   1080 <celcon_get_point_in_cell@plt>
cmp    $0x2,%ebx
jl     13e0 <query_cell+0x220>
xor    %r12d,%r12d
nopw   0x0(%rax,%rax,1)
cvttsd2si (%r14,%r12,8),%esi
mov    %r13,%rdi
xor    %eax,%eax
call   1070 <printf@plt>
add    $0x1,%r12
cmp    %r12,%r15
jne    1430 <query_cell+0x270>
jmp    13e0 <query_cell+0x220>
mov    $0xa,%edi
call   1030 <putchar@plt>
lea    0xbf9(%rip),%r14
lea    -0x29(%rbp),%rbx
mov    %r14,%rdi
mov    %rbx,%rsi
xor    %eax,%eax
call   10b0 <scanf@plt>
lea    0xbe4(%rip),%rdi
xor    %eax,%eax
call   1070 <printf@plt>
mov    %r14,%rdi
mov    %rbx,%rsi
xor    %eax,%eax
call   10b0 <scanf@plt>
lea    0xc9c(%rip),%rdi
call   1040 <puts@plt>
mov    -0x30(%rbp),%edi
lea    -0x6c(%rbp),%rsi
call   10a0 <celcon_mixed_volume@plt>
mov    -0x6c(%rbp),%esi
lea    0xbce(%rip),%rdi
xor    %eax,%eax
call   1070 <printf@plt>
lea    0xba0(%rip),%rdi
xor    %eax,%eax
call   1070 <printf@plt>
lea    0xb8f(%rip),%rdi
lea    -0x29(%rbp),%rsi
xor    %eax,%eax
call   10b0 <scanf@plt>
cmpl   $0x1,-0x64(%rbp)
jne    1514 <query_cell+0x354>
mov    -0x30(%rbp),%edi
lea    -0x68(%rbp),%rsi
call   1090 <celcon_solve_standard_start_system@plt>
mov    -0x68(%rbp),%esi
lea    0xb9e(%rip),%rdi
xor    %eax,%eax
call   1070 <printf@plt>
lea    0xb5d(%rip),%rdi
xor    %eax,%eax
call   1070 <printf@plt>
lea    0xb4c(%rip),%rdi
lea    -0x29(%rbp),%rsi
xor    %eax,%eax
call   10b0 <scanf@plt>
mov    %rsp,-0x40(%rbp)
mov    -0x38(%rbp),%r13
mov    -0x58(%rbp),%rbx
lea    0x1(%r13,%rbx,2),%eax
lea    0xf(,%rax,4),%rax
and    $0xfffffffffffffff0,%rax
mov    %rsp,%r14
sub    %rax,%r14
mov    %r14,%rsp
mov    %rsp,%r15
sub    -0x90(%rbp),%r15
mov    %r15,%rsp
mov    -0x30(%rbp),%edx
mov    %ebx,%edi
mov    %r13d,%esi
mov    %r14,%rcx
mov    %r15,%r8
call   10e0 <celcon_retrieve_mixed_cell@plt>
mov    %eax,-0x60(%rbp)
mov    -0x30(%rbp),%esi
lea    0xb42(%rip),%rdi
xor    %eax,%eax
call   1070 <printf@plt>
test   %ebx,%ebx
mov    -0x78(%rbp),%r12
jle    159d <query_cell+0x3dd>
xor    %ebx,%ebx
nopl   0x0(%rax,%rax,1)
movsd  (%r15,%rbx,8),%xmm0
lea    0xae2(%rip),%rdi
mov    $0x1,%al
call   1070 <printf@plt>
add    $0x1,%rbx
cmp    %rbx,%r12
jne    1580 <query_cell+0x3c0>
mov    (%r14),%esi
lea    0xb23(%rip),%rdi
xor    %eax,%eax
call   1070 <printf@plt>
lea    0xb3e(%rip),%rdi
xor    %eax,%eax
call   1070 <printf@plt>
test   %r13d,%r13d
jle    16a2 <query_cell+0x4e2>
lea    0x1(%r13),%eax
mov    %eax,%r12d
mov    $0x1,%ebx
lea    0xa79(%rip),%r15
nopl   0x0(%rax,%rax,1)
mov    (%r14,%rbx,4),%esi
mov    %r15,%rdi
xor    %eax,%eax
call   1070 <printf@plt>
add    $0x1,%rbx
cmp    %rbx,%r12
jne    15e0 <query_cell+0x420>
mov    %r12,-0x48(%rbp)
mov    $0xa,%edi
call   1030 <putchar@plt>
lea    0xb07(%rip),%rdi
xor    %eax,%eax
call   1070 <printf@plt>
test   %r13d,%r13d
jle    16ba <query_cell+0x4fa>
lea    0x4(%r14),%rax
mov    %rax,-0x50(%rbp)
mov    $0x1,%r12d
lea    0xa20(%rip),%rbx
jmp    1658 <query_cell+0x498>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
lea    0xae0(%rip),%rdi
xor    %eax,%eax
call   1070 <printf@plt>
add    $0x1,%r12
cmp    -0x48(%rbp),%r12
je     16ba <query_cell+0x4fa>
cmpl   $0x0,(%r14,%r12,4)
jle    1640 <query_cell+0x480>
mov    %r13,-0x38(%rbp)
movslq %r13d,%rax
mov    -0x50(%rbp),%rcx
lea    (%rcx,%rax,4),%r13
xor    %r15d,%r15d
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    0x0(%r13,%r15,4),%esi
mov    %rbx,%rdi
xor    %eax,%eax
call   1070 <printf@plt>
add    $0x1,%r15
cmp    (%r14,%r12,4),%r15d
jl     1680 <query_cell+0x4c0>
mov    -0x38(%rbp),%r13
add    %r15d,%r13d
jmp    1640 <query_cell+0x480>
mov    $0xa,%edi
call   1030 <putchar@plt>
lea    0xa60(%rip),%rdi
xor    %eax,%eax
call   1070 <printf@plt>
mov    $0xa,%edi
call   1030 <putchar@plt>
lea    0x98d(%rip),%rdi
xor    %eax,%eax
call   1070 <printf@plt>
lea    0x97c(%rip),%rdi
lea    -0x29(%rbp),%rsi
xor    %eax,%eax
call   10b0 <scanf@plt>
mov    -0x40(%rbp),%rsp
mov    -0x88(%rbp),%r12
mov    -0x60(%rbp),%eax
mov    %r12,%rsp
lea    -0x28(%rbp),%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [22 x i8] c"Give a cell number : \00"
@.str.1 = [3 x i8] c"%d\00"
@.str.2 = [22 x i8] c"an error happened...\0A\00"
@.str.3 = [28 x i8] c"inner normal for cell %d :\0A\00"
@.str.4 = [8 x i8] c"%.15le\0A\00"
@.str.5 = [31 x i8] c"number of points in supports :\00"
@.str.6 = [4 x i8] c" %d\00"
@.str.7 = [2 x i8] c"\0A\00"
@.str.8 = [3 x i8] c"%c\00"
@.str.9 = [23 x i8] c"Hit enter to continue.\00"
@.str.10 = [26 x i8] c"points in the supports :\0A\00"
@.str.11 = [9 x i8] c" %.15le\0A\00"
@.str.12 = [19 x i8] c"mixed volume : %d\0A\00"
@.str.13 = [30 x i8] c"The number of solutions : %d\0A\00"
@.str.14 = [33 x i8] c"the inner normal for cell %d : \0A\00"
@.str.15 = [41 x i8] c"total number of points in supports : %d\0A\00"
@.str.16 = [32 x i8] c"number of points in supports : \00"
@.str.17 = [20 x i8] c"labels of points : \00"
@.str.18 = [4 x i8] c" | \00"
define i32 @query_cell(i32 %0, i32 %1, i32* %2, i32 %3) {
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32*
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32*
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
%15 = alloca i8*
%16 = alloca i64
%17 = alloca i32
%18 = alloca i32
%19 = alloca double*
%20 = alloca i64
%21 = alloca i64
%22 = alloca i8
%23 = alloca i8*
%24 = alloca i64
%25 = alloca i64
store i32 %0, i32* %5
store i32 %1, i32* %6
store i32* %2, i32** %7
store i32 %3, i32* %8
%26 = load i32, i32* %6
%27 = zext i32 %26 to i64
%28 = call i8* @llvm.stacksave()
store i8* %28, i8** %15
%29 = alloca i32, i64 %27
store i64 %27, i64* %16
%30 = load i32, i32* %5
%31 = zext i32 %30 to i64
%32 = alloca double, i64 %31
store i64 %31, i64* %20
%33 = load i32, i32* %5
%34 = zext i32 %33 to i64
%35 = alloca double, i64 %34
store i64 %34, i64* %21
%36 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str, i64 0, i64 0))
%37 = call i32 (i8*, ...) @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.1, i64 0, i64 0), i32* %9)
%38 = load i32, i32* %8
%39 = icmp eq i32 %38, 1
br i1 %39, label %40, label %43
40: ; preds = %4
%41 = call i32 (...) @celcon_standard_random_coefficient_system()
store i32 %41, i32* %10
%42 = call i32 (...) @celcon_standard_polyhedral_homotopy()
store i32 %42, i32* %10
br label %43
43: ; preds = %40, %4
%44 = load i32, i32* %5
%45 = load i32, i32* %9
%46 = call i32 @celcon_get_inner_normal(i32 %44, i32 %45, double* %32)
store i32 %46, i32* %10
%47 = load i32, i32* %10
%48 = icmp eq i32 %47, 1
br i1 %48, label %49, label %51
49: ; preds = %43
%50 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.2, i64 0, i64 0))
br label %243
51: ; preds = %43
%52 = load i32, i32* %9
%53 = load i32*, i32** %7
store i32 %52, i32* %53
%54 = load i32, i32* %9
%55 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.3, i64 0, i64 0), i32 %54)
store i32 0, i32* %12
br label %56
56: ; preds = %66, %51
%57 = load i32, i32* %12
%58 = load i32, i32* %5
%59 = icmp slt i32 %57, %58
br i1 %59, label %60, label %69
60: ; preds = %56
%61 = load i32, i32* %12
%62 = sext i32 %61 to i64
%63 = getelementptr inbounds double, double* %32, i64 %62
%64 = load double, double* %63
%65 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.4, i64 0, i64 0), double %64)
br label %66
66: ; preds = %60
%67 = load i32, i32* %12
%68 = add nsw i32 %67, 1
store i32 %68, i32* %12
br label %56
69: ; preds = %56
%70 = load i32, i32* %9
%71 = load i32, i32* %6
%72 = call i32 @celcon_number_of_points_in_cell(i32 %70, i32 %71, i32* %29)
store i32 %72, i32* %10
%73 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.5, i64 0, i64 0))
store i32 0, i32* %12
br label %74
74: ; preds = %84, %69
%75 = load i32, i32* %12
%76 = load i32, i32* %6
%77 = icmp slt i32 %75, %76
br i1 %77, label %78, label %87
78: ; preds = %74
%79 = load i32, i32* %12
%80 = sext i32 %79 to i64
%81 = getelementptr inbounds i32, i32* %29, i64 %80
%82 = load i32, i32* %81
%83 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.6, i64 0, i64 0), i32 %82)
br label %84
84: ; preds = %78
%85 = load i32, i32* %12
%86 = add nsw i32 %85, 1
store i32 %86, i32* %12
br label %74
87: ; preds = %74
%88 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.7, i64 0, i64 0))
%89 = call i32 (i8*, ...) @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.8, i64 0, i64 0), i8* %22)
%90 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([23 x i8], [23 x i8]* @.str.9, i64 0, i64 0))
%91 = call i32 (i8*, ...) @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.8, i64 0, i64 0), i8* %22)
%92 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([26 x i8], [26 x i8]* @.str.10, i64 0, i64 0))
store i32 0, i32* %12
br label %93
93: ; preds = %139, %87
%94 = load i32, i32* %12
%95 = load i32, i32* %6
%96 = icmp slt i32 %94, %95
br i1 %96, label %97, label %142
97: ; preds = %93
store i32 0, i32* %13
br label %98
98: ; preds = %135, %97
%99 = load i32, i32* %13
%100 = load i32, i32* %12
%101 = sext i32 %100 to i64
%102 = getelementptr inbounds i32, i32* %29, i64 %101
%103 = load i32, i32* %102
%104 = icmp slt i32 %99, %103
br i1 %104, label %105, label %138
105: ; preds = %98
%106 = load i32, i32* %5
%107 = load i32, i32* %9
%108 = load i32, i32* %12
%109 = add nsw i32 %108, 1
%110 = load i32, i32* %13
%111 = add nsw i32 %110, 1
%112 = call i32 @celcon_get_point_in_cell(i32 %106, i32 %107, i32 %109, i32 %111, double* %35)
store i32 %112, i32* %10
store i32 0, i32* %17
br label %113
113: ; preds = %125, %105
%114 = load i32, i32* %17
%115 = load i32, i32* %5
%116 = sub nsw i32 %115, 1
%117 = icmp slt i32 %114, %116
br i1 %117, label %118, label %128
118: ; preds = %113
%119 = load i32, i32* %17
%120 = sext i32 %119 to i64
%121 = getelementptr inbounds double, double* %35, i64 %120
%122 = load double, double* %121
%123 = fptosi double %122 to i32
%124 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.6, i64 0, i64 0), i32 %123)
br label %125
125: ; preds = %118
%126 = load i32, i32* %17
%127 = add nsw i32 %126, 1
store i32 %127, i32* %17
br label %113
128: ; preds = %113
%129 = load i32, i32* %5
%130 = sub nsw i32 %129, 1
%131 = sext i32 %130 to i64
%132 = getelementptr inbounds double, double* %35, i64 %131
%133 = load double, double* %132
%134 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.11, i64 0, i64 0), double %133)
br label %135
135: ; preds = %128
%136 = load i32, i32* %13
%137 = add nsw i32 %136, 1
store i32 %137, i32* %13
br label %98
138: ; preds = %98
br label %139
139: ; preds = %138
%140 = load i32, i32* %12
%141 = add nsw i32 %140, 1
store i32 %141, i32* %12
br label %93
142: ; preds = %93
%143 = load i32, i32* %9
%144 = call i32 @celcon_mixed_volume(i32 %143, i32* %14)
store i32 %144, i32* %10
%145 = load i32, i32* %14
%146 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.12, i64 0, i64 0), i32 %145)
%147 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([23 x i8], [23 x i8]* @.str.9, i64 0, i64 0))
%148 = call i32 (i8*, ...) @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.8, i64 0, i64 0), i8* %22)
%149 = load i32, i32* %8
%150 = icmp eq i32 %149, 1
br i1 %150, label %151, label %158
151: ; preds = %142
%152 = load i32, i32* %9
%153 = call i32 @celcon_solve_standard_start_system(i32 %152, i32* %18)
store i32 %153, i32* %10
%154 = load i32, i32* %18
%155 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.13, i64 0, i64 0), i32 %154)
%156 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([23 x i8], [23 x i8]* @.str.9, i64 0, i64 0))
%157 = call i32 (i8*, ...) @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.8, i64 0, i64 0), i8* %22)
br label %158
158: ; preds = %151, %142
%159 = load i32, i32* %6
%160 = add nsw i32 1, %159
%161 = load i32, i32* %5
%162 = mul nsw i32 2, %161
%163 = add nsw i32 %160, %162
%164 = zext i32 %163 to i64
%165 = call i8* @llvm.stacksave()
store i8* %165, i8** %23
%166 = alloca i32, i64 %164
store i64 %164, i64* %24
%167 = load i32, i32* %5
%168 = zext i32 %167 to i64
%169 = alloca double, i64 %168
store i64 %168, i64* %25
%170 = load i32, i32* %5
%171 = load i32, i32* %6
%172 = load i32, i32* %9
%173 = call i32 @celcon_retrieve_mixed_cell(i32 %170, i32 %171, i32 %172, i32* %166, double* %169)
store i32 %173, i32* %10
%174 = load i32, i32* %9
%175 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([33 x i8], [33 x i8]* @.str.14, i64 0, i64 0), i32 %174)
store i32 0, i32* %12
br label %176
176: ; preds = %186, %158
%177 = load i32, i32* %12
%178 = load i32, i32* %5
%179 = icmp slt i32 %177, %178
br i1 %179, label %180, label %189
180: ; preds = %176
%181 = load i32, i32* %12
%182 = sext i32 %181 to i64
%183 = getelementptr inbounds double, double* %169, i64 %182
%184 = load double, double* %183
%185 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.11, i64 0, i64 0), double %184)
br label %186
186: ; preds = %180
%187 = load i32, i32* %12
%188 = add nsw i32 %187, 1
store i32 %188, i32* %12
br label %176
189: ; preds = %176
%190 = getelementptr inbounds i32, i32* %166, i64 0
%191 = load i32, i32* %190
%192 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([41 x i8], [41 x i8]* @.str.15, i64 0, i64 0), i32 %191)
%193 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.16, i64 0, i64 0))
store i32 1, i32* %12
br label %194
194: ; preds = %204, %189
%195 = load i32, i32* %12
%196 = load i32, i32* %6
%197 = icmp sle i32 %195, %196
br i1 %197, label %198, label %207
198: ; preds = %194
%199 = load i32, i32* %12
%200 = sext i32 %199 to i64
%201 = getelementptr inbounds i32, i32* %166, i64 %200
%202 = load i32, i32* %201
%203 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.6, i64 0, i64 0), i32 %202)
br label %204
204: ; preds = %198
%205 = load i32, i32* %12
%206 = add nsw i32 %205, 1
store i32 %206, i32* %12
br label %194
207: ; preds = %194
%208 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.7, i64 0, i64 0))
%209 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.17, i64 0, i64 0))
%210 = load i32, i32* %6
store i32 %210, i32* %17
store i32 1, i32* %12
br label %211
211: ; preds = %235, %207
%212 = load i32, i32* %12
%213 = load i32, i32* %6
%214 = icmp sle i32 %212, %213
br i1 %214, label %215, label %238
215: ; preds = %211
store i32 0, i32* %13
br label %216
216: ; preds = %230, %215
%217 = load i32, i32* %13
%218 = load i32, i32* %12
%219 = sext i32 %218 to i64
%220 = getelementptr inbounds i32, i32* %166, i64 %219
%221 = load i32, i32* %220
%222 = icmp slt i32 %217, %221
br i1 %222, label %223, label %233
223: ; preds = %216
%224 = load i32, i32* %17
%225 = add nsw i32 %224, 1
store i32 %225, i32* %17
%226 = sext i32 %225 to i64
%227 = getelementptr inbounds i32, i32* %166, i64 %226
%228 = load i32, i32* %227
%229 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.6, i64 0, i64 0), i32 %228)
br label %230
230: ; preds = %223
%231 = load i32, i32* %13
%232 = add nsw i32 %231, 1
store i32 %232, i32* %13
br label %216
233: ; preds = %216
%234 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.18, i64 0, i64 0))
br label %235
235: ; preds = %233
%236 = load i32, i32* %12
%237 = add nsw i32 %236, 1
store i32 %237, i32* %12
br label %211
238: ; preds = %211
%239 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.7, i64 0, i64 0))
%240 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([23 x i8], [23 x i8]* @.str.9, i64 0, i64 0))
%241 = call i32 (i8*, ...) @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.8, i64 0, i64 0), i8* %22)
%242 = load i8*, i8** %23
br label %243
243: ; preds = %238, %49
%244 = load i32, i32* %10
%245 = load i8*, i8** %15
ret i32 %244
}

LLVM IR (-O2):
@.str = [22 x i8] c"Give a cell number : \00"
@.str.1 = [3 x i8] c"%d\00"
@.str.3 = [28 x i8] c"inner normal for cell %d :\0A\00"
@.str.4 = [8 x i8] c"%.15le\0A\00"
@.str.5 = [31 x i8] c"number of points in supports :\00"
@.str.6 = [4 x i8] c" %d\00"
@.str.8 = [3 x i8] c"%c\00"
@.str.9 = [23 x i8] c"Hit enter to continue.\00"
@.str.11 = [9 x i8] c" %.15le\0A\00"
@.str.12 = [19 x i8] c"mixed volume : %d\0A\00"
@.str.13 = [30 x i8] c"The number of solutions : %d\0A\00"
@.str.14 = [33 x i8] c"the inner normal for cell %d : \0A\00"
@.str.15 = [41 x i8] c"total number of points in supports : %d\0A\00"
@.str.16 = [32 x i8] c"number of points in supports : \00"
@.str.17 = [20 x i8] c"labels of points : \00"
@.str.18 = [4 x i8] c" | \00"
@str = [25 x i8] c"points in the supports :\00"
@str.19 = [21 x i8] c"an error happened...\00"
define i32 @query_cell(i32 %0, i32 %1, i32* nocapture writeonly %2, i32 %3) {
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i8
%9 = bitcast i32* %5 to i8*
%10 = bitcast i32* %6 to i8*
%11 = zext i32 %1 to i64
%12 = tail call i8* @llvm.stacksave()
%13 = alloca i32, i64 %11
%14 = bitcast i32* %7 to i8*
%15 = zext i32 %0 to i64
%16 = alloca double, i64 %15
%17 = alloca double, i64 %15
%18 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str, i64 0, i64 0))
%19 = call i32 (i8*, ...) @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.1, i64 0, i64 0), i32* %5)
%20 = icmp eq i32 %3, 1
br i1 %20, label %21, label %24
21: ; preds = %4
%22 = call i32 (...) @celcon_standard_random_coefficient_system()
%23 = call i32 (...) @celcon_standard_polyhedral_homotopy()
br label %24
24: ; preds = %21, %4
%25 = load i32, i32* %5
%26 = call i32 @celcon_get_inner_normal(i32 %0, i32 %25, double* %16)
%27 = icmp eq i32 %26, 1
br i1 %27, label %28, label %30
28: ; preds = %24
%29 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([21 x i8], [21 x i8]* @str.19, i64 0, i64 0))
br label %183
30: ; preds = %24
%31 = load i32, i32* %5
store i32 %31, i32* %2
%32 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([28 x i8], [28 x i8]* @.str.3, i64 0, i64 0), i32 %31)
%33 = icmp sgt i32 %0, 0
br i1 %33, label %34, label %41
34: ; preds = %30, %34
%35 = phi i64 [ %39, %34 ], [ 0, %30 ]
%36 = getelementptr inbounds double, double* %16, i64 %35
%37 = load double, double* %36
%38 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @.str.4, i64 0, i64 0), double %37)
%39 = add nuw nsw i64 %35, 1
%40 = icmp eq i64 %39, %15
br i1 %40, label %41, label %34
41: ; preds = %34, %30
%42 = load i32, i32* %5
%43 = call i32 @celcon_number_of_points_in_cell(i32 %42, i32 %1, i32* %13)
%44 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([31 x i8], [31 x i8]* @.str.5, i64 0, i64 0))
%45 = icmp sgt i32 %1, 0
br i1 %45, label %46, label %93
46: ; preds = %41, %46
%47 = phi i64 [ %51, %46 ], [ 0, %41 ]
%48 = getelementptr inbounds i32, i32* %13, i64 %47
%49 = load i32, i32* %48
%50 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([4 x i8], [4 x i8]* @.str.6, i64 0, i64 0), i32 %49)
%51 = add nuw nsw i64 %47, 1
%52 = icmp eq i64 %51, %11
br i1 %52, label %53, label %46
53: ; preds = %46
%54 = call i32 @putchar(i32 10)
%55 = call i32 (i8*, ...) @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.8, i64 0, i64 0), i8* %8)
%56 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([23 x i8], [23 x i8]* @.str.9, i64 0, i64 0))
%57 = call i32 (i8*, ...) @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.8, i64 0, i64 0), i8* %8)
%58 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([25 x i8], [25 x i8]* @str, i64 0, i64 0))
br i1 %45, label %59, label %99
59: ; preds = %53
%60 = add i32 %0, -1
%61 = icmp sgt i32 %0, 1
%62 = sext i32 %60 to i64
%63 = getelementptr inbounds double, double* %17, i64 %62
%64 = zext i32 %60 to i64
br label %65
65: ; preds = %59, %91
%66 = phi i64 [ 0, %59 ], [ %70, %91 ]
%67 = getelementptr inbounds i32, i32* %13, i64 %66
%68 = load i32, i32* %67
%69 = icmp sgt i32 %68, 0
%70 = add nuw nsw i64 %66, 1
br i1 %69, label %71, label %91
71: ; preds = %65
%72 = trunc i64 %70 to i32
br label %73
73: ; preds = %71, %86
%74 = phi i32 [ 0, %71 ], [ %76, %86 ]
%75 = load i32, i32* %5
%76 = add nuw nsw i32 %74, 1
%77 = call i32 @celcon_get_point_in_cell(i32 %0, i32 %75, i32 %72, i32 %76, double* %17)
br i1 %61, label %78, label %86
78: ; preds = %73, %78
%79 = phi i64 [ %84, %78 ], [ 0, %73 ]
%80 = getelementptr inbounds double, double* %17, i64 %79
%81 = load double, double* %80
%82 = fptosi double %81 to i32
%83 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([4 x i8], [4 x i8]* @.str.6, i64 0, i64 0), i32 %82)
%84 = add nuw nsw i64 %79, 1
%85 = icmp eq i64 %84, %64
br i1 %85, label %86, label %78
86: ; preds = %78, %73
%87 = load double, double* %63
%88 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([9 x i8], [9 x i8]* @.str.11, i64 0, i64 0), double %87)
%89 = load i32, i32* %67
%90 = icmp slt i32 %76, %89
br i1 %90, label %73, label %91
91: ; preds = %86, %65
%92 = icmp eq i64 %70, %11
br i1 %92, label %99, label %65
93: ; preds = %41
%94 = call i32 @putchar(i32 10)
%95 = call i32 (i8*, ...) @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.8, i64 0, i64 0), i8* %8)
%96 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([23 x i8], [23 x i8]* @.str.9, i64 0, i64 0))
%97 = call i32 (i8*, ...) @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.8, i64 0, i64 0), i8* %8)
%98 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([25 x i8], [25 x i8]* @str, i64 0, i64 0))
br label %99
99: ; preds = %91, %93, %53
%100 = load i32, i32* %5
%101 = call i32 @celcon_mixed_volume(i32 %100, i32* %6)
%102 = load i32, i32* %6
%103 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([19 x i8], [19 x i8]* @.str.12, i64 0, i64 0), i32 %102)
%104 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([23 x i8], [23 x i8]* @.str.9, i64 0, i64 0))
%105 = call i32 (i8*, ...) @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.8, i64 0, i64 0), i8* %8)
br i1 %20, label %106, label %113
106: ; preds = %99
%107 = load i32, i32* %5
%108 = call i32 @celcon_solve_standard_start_system(i32 %107, i32* %7)
%109 = load i32, i32* %7
%110 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([30 x i8], [30 x i8]* @.str.13, i64 0, i64 0), i32 %109)
%111 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([23 x i8], [23 x i8]* @.str.9, i64 0, i64 0))
%112 = call i32 (i8*, ...) @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.8, i64 0, i64 0), i8* %8)
br label %113
113: ; preds = %106, %99
%114 = add i32 %1, 1
%115 = shl nsw i32 %0, 1
%116 = add nsw i32 %114, %115
%117 = zext i32 %116 to i64
%118 = call i8* @llvm.stacksave()
%119 = alloca i32, i64 %117
%120 = alloca double, i64 %15
%121 = load i32, i32* %5
%122 = call i32 @celcon_retrieve_mixed_cell(i32 %0, i32 %1, i32 %121, i32* %119, double* %120)
%123 = load i32, i32* %5
%124 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([33 x i8], [33 x i8]* @.str.14, i64 0, i64 0), i32 %123)
br i1 %33, label %125, label %132
125: ; preds = %113, %125
%126 = phi i64 [ %130, %125 ], [ 0, %113 ]
%127 = getelementptr inbounds double, double* %120, i64 %126
%128 = load double, double* %127
%129 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([9 x i8], [9 x i8]* @.str.11, i64 0, i64 0), double %128)
%130 = add nuw nsw i64 %126, 1
%131 = icmp eq i64 %130, %15
br i1 %131, label %132, label %125
132: ; preds = %125, %113
%133 = load i32, i32* %119
%134 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([41 x i8], [41 x i8]* @.str.15, i64 0, i64 0), i32 %133)
%135 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([32 x i8], [32 x i8]* @.str.16, i64 0, i64 0))
%136 = icmp slt i32 %1, 1
br i1 %136, label %176, label %137
137: ; preds = %132
%138 = zext i32 %114 to i64
br label %139
139: ; preds = %137, %139
%140 = phi i64 [ 1, %137 ], [ %144, %139 ]
%141 = getelementptr inbounds i32, i32* %119, i64 %140
%142 = load i32, i32* %141
%143 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([4 x i8], [4 x i8]* @.str.6, i64 0, i64 0), i32 %142)
%144 = add nuw nsw i64 %140, 1
%145 = icmp eq i64 %144, %138
br i1 %145, label %146, label %139
146: ; preds = %139
%147 = call i32 @putchar(i32 10)
%148 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([20 x i8], [20 x i8]* @.str.17, i64 0, i64 0))
br i1 %136, label %179, label %149
149: ; preds = %146
%150 = zext i32 %114 to i64
br label %151
151: ; preds = %149, %171
%152 = phi i64 [ 1, %149 ], [ %174, %171 ]
%153 = phi i32 [ %1, %149 ], [ %172, %171 ]
%154 = getelementptr inbounds i32, i32* %119, i64 %152
%155 = load i32, i32* %154
%156 = icmp sgt i32 %155, 0
br i1 %156, label %157, label %171
157: ; preds = %151
%158 = sext i32 %153 to i64
br label %159
159: ; preds = %157, %159
%160 = phi i64 [ %158, %157 ], [ %162, %159 ]
%161 = phi i32 [ 0, %157 ], [ %166, %159 ]
%162 = add nsw i64 %160, 1
%163 = getelementptr inbounds i32, i32* %119, i64 %162
%164 = load i32, i32* %163
%165 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([4 x i8], [4 x i8]* @.str.6, i64 0, i64 0), i32 %164)
%166 = add nuw nsw i32 %161, 1
%167 = load i32, i32* %154
%168 = icmp slt i32 %166, %167
br i1 %168, label %159, label %169
169: ; preds = %159
%170 = trunc i64 %162 to i32
br label %171
171: ; preds = %169, %151
%172 = phi i32 [ %153, %151 ], [ %170, %169 ]
%173 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([4 x i8], [4 x i8]* @.str.18, i64 0, i64 0))
%174 = add nuw nsw i64 %152, 1
%175 = icmp eq i64 %174, %150
br i1 %175, label %179, label %151
176: ; preds = %132
%177 = call i32 @putchar(i32 10)
%178 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([20 x i8], [20 x i8]* @.str.17, i64 0, i64 0))
br label %179
179: ; preds = %171, %176, %146
%180 = call i32 @putchar(i32 10)
%181 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([23 x i8], [23 x i8]* @.str.9, i64 0, i64 0))
%182 = call i32 (i8*, ...) @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.8, i64 0, i64 0), i8* %8)
br label %183
183: ; preds = %179, %28
%184 = phi i32 [ 1, %28 ], [ %122, %179 ]
ret i32 %184
}