#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 _ada_use_celcon(int, int *, int *, double *);
int /*<<< orphan*/ printf(char *, ...);
int /*<<< orphan*/ scanf(char *, int *);
int query_cell(int n, int r) {
  int k, fail, *b, i, j, mv, nl[r], ind[2], kk;
  double *c, normal[n], pt[n];
  printf("\nGive a cell number : ");
  scanf("%d", &k);
  fail = _ada_use_celcon(7, &k, b, normal);
  if (fail == 1)
    printf("an error happened...\n");
  else {
    printf("inner normal for cell %d :\n", k);
    for (i = 0; i < n; i++)
      printf("%.15le\n", normal[i]);
    fail = _ada_use_celcon(8, &k, nl, c);
    printf("number of points in supports :");
    for (i = 0; i < r; i++)
      printf(" %d", nl[i]);
    printf("\n");
    printf("points in the supports :\n");
    for (i = 0; i < r; i++) {
      for (j = 0; j < nl[i]; j++) {
        ind[0] = i + 1;
        ind[1] = j + 1;
        fail = _ada_use_celcon(9, &k, ind, pt);
        for (kk = 0; kk < n - 1; kk++)
          printf(" %d", (int)pt[kk]);
        printf(" %.15le\n", pt[n - 1]);
      }
    }
    fail = _ada_use_celcon(10, &k, &mv, c);
    printf("mixed volume : %d\n", mv);
    {
      int cl[1 + r + 2 * n];
      double inner_normal[n];
      fail = _ada_use_celcon(15, &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");
    }
  }
  return fail;
}


x86 assembly (clang, -O0):
<query_cell>:
push   %rbp
mov    %rsp,%rbp
sub    $0xa0,%rsp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    -0x8(%rbp),%eax
mov    %rsp,%rcx
mov    %rcx,-0x30(%rbp)
lea    0xf(,%rax,4),%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rcx
sub    %rdx,%rcx
mov    %rcx,-0x90(%rbp)
mov    %rcx,%rsp
mov    %rax,-0x38(%rbp)
mov    -0x4(%rbp),%eax
lea    0xf(,%rax,8),%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rcx
sub    %rdx,%rcx
mov    %rcx,-0x80(%rbp)
mov    %rcx,%rsp
mov    %rax,-0x58(%rbp)
mov    -0x4(%rbp),%eax
lea    0xf(,%rax,8),%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rcx
sub    %rdx,%rcx
mov    %rcx,-0x88(%rbp)
mov    %rcx,%rsp
mov    %rax,-0x60(%rbp)
lea    0xe4b(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xea6(%rip),%rdi
lea    -0xc(%rbp),%rsi
call   1040 <scanf@plt>
mov    -0x80(%rbp),%rcx
mov    -0x18(%rbp),%rdx
mov    $0x7,%edi
lea    -0xc(%rbp),%rsi
call   1050 <_ada_use_celcon@plt>
mov    %eax,-0x10(%rbp)
cmpl   $0x1,-0x10(%rbp)
jne    1202 <query_cell+0xd2>
lea    0xe21(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    15b4 <query_cell+0x484>
mov    -0xc(%rbp),%esi
lea    0xe21(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    124f <query_cell+0x11f>
mov    -0x80(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
lea    0xe4d(%rip),%rdi
mov    $0x1,%al
call   1030 <printf@plt>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    121a <query_cell+0xea>
mov    -0x90(%rbp),%rdx
mov    -0x50(%rbp),%rcx
mov    $0x8,%edi
lea    -0xc(%rbp),%rsi
call   1050 <_ada_use_celcon@plt>
mov    %eax,-0x10(%rbp)
lea    0xdd7(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    12b6 <query_cell+0x186>
mov    -0x90(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,4),%esi
lea    0xdc7(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1280 <query_cell+0x150>
lea    0xe04(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xda1(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    13b9 <query_cell+0x289>
movl   $0x0,-0x20(%rbp)
mov    -0x90(%rbp),%rcx
mov    -0x20(%rbp),%eax
movslq -0x1c(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jge    13a6 <query_cell+0x276>
mov    -0x88(%rbp),%rcx
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x40(%rbp)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
lea    -0x40(%rbp),%rdx
mov    $0x9,%edi
lea    -0xc(%rbp),%rsi
call   1050 <_ada_use_celcon@plt>
mov    %eax,-0x10(%rbp)
movl   $0x0,-0x44(%rbp)
mov    -0x44(%rbp),%eax
mov    -0x4(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    1375 <query_cell+0x245>
mov    -0x88(%rbp),%rax
movslq -0x44(%rbp),%rcx
cvttsd2si (%rax,%rcx,8),%esi
lea    0xd08(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    1338 <query_cell+0x208>
mov    -0x88(%rbp),%rax
mov    -0x4(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
lea    0xcf5(%rip),%rdi
mov    $0x1,%al
call   1030 <printf@plt>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    12ec <query_cell+0x1bc>
jmp    13ab <query_cell+0x27b>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    12d9 <query_cell+0x1a9>
mov    -0x50(%rbp),%rcx
mov    $0xa,%edi
lea    -0xc(%rbp),%rsi
lea    -0x24(%rbp),%rdx
call   1050 <_ada_use_celcon@plt>
mov    %eax,-0x10(%rbp)
mov    -0x24(%rbp),%esi
lea    0xcb3(%rip),%rdi
xor    %eax,%eax
call   1030 <printf@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,-0x68(%rbp)
lea    0xf(,%rax,4),%rcx
and    $0xfffffffffffffff0,%rcx
mov    %rsp,%rdx
sub    %rcx,%rdx
mov    %rdx,-0xa0(%rbp)
mov    %rdx,%rsp
mov    %rax,-0x70(%rbp)
mov    -0x4(%rbp),%eax
lea    0xf(,%rax,8),%rsi
and    $0xfffffffffffffff0,%rsi
mov    %rsp,%rcx
sub    %rsi,%rcx
mov    %rcx,-0x98(%rbp)
mov    %rcx,%rsp
mov    %rax,-0x78(%rbp)
mov    $0xf,%edi
lea    -0xc(%rbp),%rsi
call   1050 <_ada_use_celcon@plt>
mov    %eax,-0x10(%rbp)
mov    -0xc(%rbp),%esi
lea    0xc4c(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    149c <query_cell+0x36c>
mov    -0x98(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
lea    0xbff(%rip),%rdi
mov    $0x1,%al
call   1030 <printf@plt>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1464 <query_cell+0x334>
mov    -0xa0(%rbp),%rax
mov    (%rax),%esi
lea    0xc17(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xc32(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x1,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x8(%rbp),%eax
jg     14fe <query_cell+0x3ce>
mov    -0xa0(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,4),%esi
lea    0xb7f(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    14c8 <query_cell+0x398>
lea    0xbbc(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xbf9(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x8(%rbp),%eax
mov    %eax,-0x44(%rbp)
movl   $0x1,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x8(%rbp),%eax
jg     159f <query_cell+0x46f>
movl   $0x0,-0x20(%rbp)
mov    -0xa0(%rbp),%rcx
mov    -0x20(%rbp),%eax
movslq -0x1c(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jge    1583 <query_cell+0x453>
mov    -0xa0(%rbp),%rax
mov    -0x44(%rbp),%ecx
add    $0x1,%ecx
mov    %ecx,-0x44(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%esi
lea    0xafa(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    153a <query_cell+0x40a>
lea    0xb96(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1527 <query_cell+0x3f7>
lea    0xb1b(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x68(%rbp),%rax
mov    %rax,%rsp
mov    -0x10(%rbp),%eax
mov    -0x30(%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    $0x68,%rsp
mov    %edi,%r12d
mov    %rsp,%r15
mov    %rsi,-0x38(%rbp)
mov    %esi,%eax
mov    %rsp,%rcx
mov    %rax,-0x70(%rbp)
lea    0xf(,%rax,4),%rax
and    $0xfffffffffffffff0,%rax
sub    %rax,%rcx
mov    %rcx,-0x48(%rbp)
mov    %rcx,%rsp
mov    %edi,%eax
mov    %rsp,%r13
mov    %rax,-0x68(%rbp)
lea    0xf(,%rax,8),%rax
and    $0xfffffffffffffff0,%rax
sub    %rax,%r13
mov    %r13,%rsp
mov    %rsp,%rbx
mov    %rax,-0x88(%rbp)
sub    %rax,%rbx
mov    %rbx,%rsp
lea    0xe44(%rip),%rdi
xor    %eax,%eax
call   1050 <printf@plt>
lea    0xe89(%rip),%rdi
lea    -0x2c(%rbp),%r14
mov    %r14,%rsi
call   1060 <scanf@plt>
mov    $0x7,%edi
mov    %r14,%rsi
mov    %r13,%rcx
call   1070 <_ada_use_celcon@plt>
cmp    $0x1,%eax
jne    1201 <query_cell+0xb1>
lea    0xf1b(%rip),%rdi
call   1040 <puts@plt>
mov    $0x1,%eax
jmp    1596 <query_cell+0x446>
mov    %r15,-0x80(%rbp)
mov    -0x2c(%rbp),%esi
lea    0xe08(%rip),%rdi
xor    %eax,%eax
call   1050 <printf@plt>
mov    %r12,-0x40(%rbp)
test   %r12d,%r12d
mov    -0x68(%rbp),%r12
jle    124a <query_cell+0xfa>
xor    %r15d,%r15d
lea    0xe2a(%rip),%r14
nopl   (%rax)
movsd  0x0(%r13,%r15,8),%xmm0
mov    %r14,%rdi
mov    $0x1,%al
call   1050 <printf@plt>
add    $0x1,%r15
cmp    %r15,%r12
jne    1230 <query_cell+0xe0>
lea    -0x2c(%rbp),%rsi
mov    $0x8,%edi
mov    -0x48(%rbp),%rdx
call   1070 <_ada_use_celcon@plt>
lea    0xdd0(%rip),%rdi
xor    %eax,%eax
call   1050 <printf@plt>
mov    -0x38(%rbp),%rax
test   %eax,%eax
jle    139b <query_cell+0x24b>
xor    %r15d,%r15d
mov    -0x40(%rbp),%r12
mov    -0x70(%rbp),%r13
mov    -0x48(%rbp),%r14
cs nopw 0x0(%rax,%rax,1)
nop
mov    (%r14,%r15,4),%esi
lea    0xdb7(%rip),%rdi
xor    %eax,%eax
call   1050 <printf@plt>
add    $0x1,%r15
cmp    %r15,%r13
jne    1290 <query_cell+0x140>
mov    $0xa,%edi
call   1030 <putchar@plt>
lea    0xe38(%rip),%rdi
call   1040 <puts@plt>
cmpl   $0x0,-0x38(%rbp)
jle    13b5 <query_cell+0x265>
mov    %r14,%rax
lea    -0x1(%r12),%r13d
movslq %r13d,%rcx
mov    %rcx,-0x90(%rbp)
lea    0xd6e(%rip),%r15
xor    %ecx,%ecx
jmp    1301 <query_cell+0x1b1>
nopl   0x0(%rax,%rax,1)
mov    -0x50(%rbp),%rdx
mov    %rdx,%rcx
cmp    -0x70(%rbp),%rdx
je     13b5 <query_cell+0x265>
lea    0x1(%rcx),%rdx
mov    %rdx,-0x50(%rbp)
cmpl   $0x0,(%rax,%rcx,4)
jle    12f0 <query_cell+0x1a0>
xor    %r14d,%r14d
mov    %rcx,-0x58(%rbp)
jmp    134c <query_cell+0x1fc>
nopl   0x0(%rax,%rax,1)
mov    -0x90(%rbp),%rax
movsd  (%rbx,%rax,8),%xmm0
lea    0xd23(%rip),%rdi
mov    $0x1,%al
call   1050 <printf@plt>
mov    -0x48(%rbp),%rax
mov    -0x58(%rbp),%rcx
cmp    (%rax,%rcx,4),%r14d
mov    -0x40(%rbp),%r12
jge    12f0 <query_cell+0x1a0>
mov    -0x50(%rbp),%rax
mov    %eax,-0x78(%rbp)
add    $0x1,%r14d
mov    %r14d,-0x74(%rbp)
mov    $0x9,%edi
lea    -0x2c(%rbp),%rsi
lea    -0x78(%rbp),%rdx
mov    %rbx,%rcx
call   1070 <_ada_use_celcon@plt>
cmp    $0x2,%r12d
jl     1320 <query_cell+0x1d0>
xor    %r12d,%r12d
nopl   0x0(%rax)
cvttsd2si (%rbx,%r12,8),%esi
mov    %r15,%rdi
xor    %eax,%eax
call   1050 <printf@plt>
add    $0x1,%r12
cmp    %r12,%r13
jne    1380 <query_cell+0x230>
jmp    1320 <query_cell+0x1d0>
mov    $0xa,%edi
call   1030 <putchar@plt>
lea    0xd48(%rip),%rdi
call   1040 <puts@plt>
mov    -0x40(%rbp),%r12
lea    -0x2c(%rbp),%r15
lea    -0x5c(%rbp),%rdx
mov    $0xa,%edi
mov    %r15,%rsi
call   1070 <_ada_use_celcon@plt>
mov    -0x5c(%rbp),%esi
lea    0xc8b(%rip),%rdi
xor    %eax,%eax
call   1050 <printf@plt>
mov    %rsp,-0x48(%rbp)
mov    -0x38(%rbp),%rax
lea    (%rax,%r12,2),%eax
add    $0x1,%eax
lea    0xf(,%rax,4),%rax
and    $0xfffffffffffffff0,%rax
mov    %rsp,%r14
sub    %rax,%r14
mov    %r14,%rsp
mov    %r12,%rbx
mov    %rsp,%r12
sub    -0x88(%rbp),%r12
mov    %r12,%rsp
mov    $0xf,%edi
mov    %r15,%rsi
mov    %r14,%rdx
mov    %r12,%rcx
call   1070 <_ada_use_celcon@plt>
mov    %eax,-0x40(%rbp)
mov    -0x2c(%rbp),%esi
lea    0xc43(%rip),%rdi
xor    %eax,%eax
call   1050 <printf@plt>
test   %ebx,%ebx
mov    -0x68(%rbp),%r13
jle    1469 <query_cell+0x319>
xor    %ebx,%ebx
lea    0xc0f(%rip),%r15
nopw   0x0(%rax,%rax,1)
movsd  (%r12,%rbx,8),%xmm0
mov    %r15,%rdi
mov    $0x1,%al
call   1050 <printf@plt>
add    $0x1,%rbx
cmp    %rbx,%r13
jne    1450 <query_cell+0x300>
mov    (%r14),%esi
lea    0xc20(%rip),%rdi
xor    %eax,%eax
call   1050 <printf@plt>
lea    0xc3b(%rip),%rdi
xor    %eax,%eax
call   1050 <printf@plt>
mov    -0x38(%rbp),%r12
test   %r12d,%r12d
jle    1569 <query_cell+0x419>
lea    0x1(%r12),%eax
mov    %eax,%r13d
mov    $0x1,%ebx
lea    0xba9(%rip),%r15
nopl   0x0(%rax)
mov    (%r14,%rbx,4),%esi
mov    %r15,%rdi
xor    %eax,%eax
call   1050 <printf@plt>
add    $0x1,%rbx
cmp    %rbx,%r13
jne    14b0 <query_cell+0x360>
mov    $0xa,%edi
call   1030 <putchar@plt>
lea    0xc04(%rip),%rdi
xor    %eax,%eax
call   1050 <printf@plt>
test   %r12d,%r12d
jle    1581 <query_cell+0x431>
lea    0x4(%r14),%rax
mov    %rax,-0x58(%rbp)
mov    $0x1,%r15d
lea    0xb55(%rip),%rbx
mov    %r13,-0x50(%rbp)
jmp    1527 <query_cell+0x3d7>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
lea    0xbd9(%rip),%rdi
xor    %eax,%eax
call   1050 <printf@plt>
add    $0x1,%r15
cmp    %r13,%r15
je     1581 <query_cell+0x431>
cmpl   $0x0,(%r14,%r15,4)
jle    1510 <query_cell+0x3c0>
mov    %r12,-0x38(%rbp)
movslq %r12d,%rax
mov    -0x58(%rbp),%rcx
lea    (%rcx,%rax,4),%r13
xor    %r12d,%r12d
mov    0x0(%r13,%r12,4),%esi
mov    %rbx,%rdi
xor    %eax,%eax
call   1050 <printf@plt>
add    $0x1,%r12
cmp    (%r14,%r15,4),%r12d
jl     1540 <query_cell+0x3f0>
mov    -0x38(%rbp),%rax
add    %r12d,%eax
mov    %rax,%r12
mov    -0x50(%rbp),%r13
jmp    1510 <query_cell+0x3c0>
mov    $0xa,%edi
call   1030 <putchar@plt>
lea    0xb62(%rip),%rdi
xor    %eax,%eax
call   1050 <printf@plt>
mov    $0xa,%edi
call   1030 <putchar@plt>
mov    -0x48(%rbp),%rsp
mov    -0x80(%rbp),%r15
mov    -0x40(%rbp),%eax
mov    %r15,%rsp
lea    -0x28(%rbp),%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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