#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 /*<<< orphan*/ __DSVERIFIER_assert_msg(int, char *);
double internal_abs(double);
double internal_pow(int, int);
int check_stability_closedloop(double a[], int n, double plant_num[],
                               int p_num_size, double plant_den[],
                               int p_den_size) {
  int columns = n;
  double m[2 * n - 1][n];
  int i, j;
  int first_is_positive = 0;
  double *p_num = plant_num;
  double *p_den = plant_den;
  double sum = 0;
  for (i = 0; i < n; i++) {
    sum += a[i];
  }
  __DSVERIFIER_assert_msg(sum > 0, "check condition F(1) > 0\n");
  sum = 0;
  for (i = 0; i < n; i++) {
    sum += a[i] * internal_pow(-1, n - 1 - i);
  }
  sum = sum * internal_pow(-1, n - 1);
  __DSVERIFIER_assert_msg(sum > 0, "check condition F(-1)*(-1)^n > 0\n");
  __DSVERIFIER_assert_msg(internal_abs(a[n - 1]) < a[0],
                          "check condition abs(a0 < an*(z^n)");
  for (i = 0; i < 2 * n - 1; i++) {
    for (j = 0; j < columns; j++) {
      m[i][j] = 0;
      if (i == 0) {
        m[i][j] = a[j];
        continue;
      }
      if (i % 2 != 0) {
        int x;
        for (x = 0; x < columns; x++) {
          m[i][x] = m[i - 1][columns - x - 1];
        }
        columns = columns - 1;
        j = columns;
      } else {
        __DSVERIFIER_assert_msg(m[i - 2][0] > 0, "check Jury Table");
        m[i][j] = m[i - 2][j] - (m[i - 2][columns] / m[i - 2][0]) * m[i - 1][j];
        __DSVERIFIER_assert_msg((m[0][0] >= 0) && (m[i][0] >= 0),
                                "check Jury Table");
      }
    }
  }
  return 1;
}


x86 assembly (clang, -O0):
<check_stability_closedloop>:
push   %rbp
mov    %rsp,%rbp
sub    $0xa0,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    %r8,-0x28(%rbp)
mov    %r9d,-0x2c(%rbp)
mov    -0xc(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0xc(%rbp),%eax
mov    %rax,-0x88(%rbp)
mov    %eax,%edx
mov    %edx,%ecx
lea    -0x1(%rcx,%rcx,1),%ecx
mov    %rsp,%rdx
mov    %rdx,-0x38(%rbp)
mov    %rcx,%rdx
imul   %rax,%rdx
lea    0xf(,%rdx,8),%rsi
and    $0xfffffffffffffff0,%rsi
mov    %rsp,%rdx
sub    %rsi,%rdx
mov    %rdx,-0x80(%rbp)
mov    %rdx,%rsp
mov    %rcx,-0x40(%rbp)
mov    %rax,-0x48(%rbp)
movl   $0x0,-0x54(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x60(%rbp)
mov    -0x28(%rbp),%rax
mov    %rax,-0x68(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x70(%rbp)
movl   $0x0,-0x4c(%rbp)
mov    -0x4c(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    11ef <check_stability_closedloop+0xbf>
mov    -0x8(%rbp),%rax
movslq -0x4c(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
addsd  -0x70(%rbp),%xmm0
movsd  %xmm0,-0x70(%rbp)
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
jmp    11be <check_stability_closedloop+0x8e>
movsd  -0x70(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
seta   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xdf6(%rip),%rsi
call   1050 <__DSVERIFIER_assert_msg@plt>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x70(%rbp)
movl   $0x0,-0x4c(%rbp)
mov    -0x4c(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    127d <check_stability_closedloop+0x14d>
mov    -0x8(%rbp),%rax
movslq -0x4c(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x90(%rbp)
ff
mov    -0xc(%rbp),%esi
sub    $0x1,%esi
sub    -0x4c(%rbp),%esi
mov    $0xffffffff,%edi
call   1040 <internal_pow@plt>
movaps %xmm0,%xmm2
movsd  -0x90(%rbp),%xmm0
ff
movsd  -0x70(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x70(%rbp)
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
jmp    121e <check_stability_closedloop+0xee>
movsd  -0x70(%rbp),%xmm0
movsd  %xmm0,-0x98(%rbp)
ff
mov    -0xc(%rbp),%esi
sub    $0x1,%esi
mov    $0xffffffff,%edi
call   1040 <internal_pow@plt>
movaps %xmm0,%xmm1
movsd  -0x98(%rbp),%xmm0
ff
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x70(%rbp)
movsd  -0x70(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
seta   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xd51(%rip),%rsi
call   1050 <__DSVERIFIER_assert_msg@plt>
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
call   1030 <internal_abs@plt>
movaps %xmm0,%xmm1
mov    -0x8(%rbp),%rax
movsd  (%rax),%xmm0
ucomisd %xmm1,%xmm0
seta   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xd39(%rip),%rsi
call   1050 <__DSVERIFIER_assert_msg@plt>
movl   $0x0,-0x4c(%rbp)
mov    -0x4c(%rbp),%eax
mov    -0xc(%rbp),%ecx
shl    $0x1,%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    15a1 <check_stability_closedloop+0x471>
movl   $0x0,-0x50(%rbp)
mov    -0x50(%rbp),%eax
cmp    -0x30(%rbp),%eax
jge    158e <check_stability_closedloop+0x45e>
mov    -0x80(%rbp),%rax
mov    -0x88(%rbp),%rdx
movslq -0x4c(%rbp),%rcx
imul   %rdx,%rcx
shl    $0x3,%rcx
add    %rcx,%rax
movslq -0x50(%rbp),%rcx
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax,%rcx,8)
cmpl   $0x0,-0x4c(%rbp)
jne    139b <check_stability_closedloop+0x26b>
mov    -0x80(%rbp),%rax
mov    -0x88(%rbp),%rdx
mov    -0x8(%rbp),%rcx
movslq -0x50(%rbp),%rsi
movsd  (%rcx,%rsi,8),%xmm0
movslq -0x4c(%rbp),%rcx
imul   %rdx,%rcx
shl    $0x3,%rcx
add    %rcx,%rax
movslq -0x50(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
jmp    1580 <check_stability_closedloop+0x450>
mov    -0x4c(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
je     142f <check_stability_closedloop+0x2ff>
movl   $0x0,-0x74(%rbp)
mov    -0x74(%rbp),%eax
cmp    -0x30(%rbp),%eax
jge    141b <check_stability_closedloop+0x2eb>
mov    -0x80(%rbp),%rax
mov    -0x88(%rbp),%rdx
mov    -0x4c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rsi
imul   %rdx,%rsi
shl    $0x3,%rsi
mov    %rax,%rcx
add    %rsi,%rcx
mov    -0x30(%rbp),%esi
sub    -0x74(%rbp),%esi
sub    $0x1,%esi
movslq %esi,%rsi
movsd  (%rcx,%rsi,8),%xmm0
movslq -0x4c(%rbp),%rcx
imul   %rdx,%rcx
shl    $0x3,%rcx
add    %rcx,%rax
movslq -0x74(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x74(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x74(%rbp)
jmp    13b6 <check_stability_closedloop+0x286>
mov    -0x30(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%eax
mov    %eax,-0x50(%rbp)
jmp    157b <check_stability_closedloop+0x44b>
mov    -0x80(%rbp),%rax
mov    -0x88(%rbp),%rdx
mov    -0x4c(%rbp),%ecx
sub    $0x2,%ecx
movslq %ecx,%rcx
imul   %rdx,%rcx
movsd  (%rax,%rcx,8),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
seta   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xbfc(%rip),%rsi
call   1050 <__DSVERIFIER_assert_msg@plt>
mov    -0x88(%rbp),%rcx
mov    -0x80(%rbp),%rax
mov    -0x4c(%rbp),%edx
sub    $0x2,%edx
movslq %edx,%rsi
imul   %rcx,%rsi
shl    $0x3,%rsi
mov    %rax,%rdx
add    %rsi,%rdx
movslq -0x50(%rbp),%rsi
movsd  (%rdx,%rsi,8),%xmm1
mov    -0x4c(%rbp),%edx
sub    $0x2,%edx
movslq %edx,%rsi
imul   %rcx,%rsi
shl    $0x3,%rsi
mov    %rax,%rdx
add    %rsi,%rdx
movslq -0x30(%rbp),%rsi
movsd  (%rdx,%rsi,8),%xmm0
mov    -0x4c(%rbp),%edx
sub    $0x2,%edx
movslq %edx,%rdx
imul   %rcx,%rdx
divsd  (%rax,%rdx,8),%xmm0
mov    -0x4c(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rsi
imul   %rcx,%rsi
shl    $0x3,%rsi
mov    %rax,%rdx
add    %rsi,%rdx
movslq -0x50(%rbp),%rsi
movsd  (%rdx,%rsi,8),%xmm2
movq   %xmm0,%rdx
movabs $0x8000000000000000,%rsi
xor    %rsi,%rdx
movq   %rdx,%xmm0
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movslq -0x4c(%rbp),%rsi
imul   %rcx,%rsi
shl    $0x3,%rsi
mov    %rax,%rdx
add    %rsi,%rdx
movslq -0x50(%rbp),%rsi
movsd  %xmm0,(%rdx,%rsi,8)
imul   $0x0,%rcx,%rcx
movsd  (%rax,%rcx,8),%xmm0
xor    %eax,%eax
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
mov    %al,-0x99(%rbp)
jb     1564 <check_stability_closedloop+0x434>
mov    -0x80(%rbp),%rax
mov    -0x88(%rbp),%rdx
movslq -0x4c(%rbp),%rcx
imul   %rdx,%rcx
movsd  (%rax,%rcx,8),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
setae  %al
mov    %al,-0x99(%rbp)
mov    -0x99(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
lea    0xae8(%rip),%rsi
call   1050 <__DSVERIFIER_assert_msg@plt>
jmp    1580 <check_stability_closedloop+0x450>
mov    -0x50(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x50(%rbp)
jmp    132a <check_stability_closedloop+0x1fa>
jmp    1593 <check_stability_closedloop+0x463>
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
jmp    130f <check_stability_closedloop+0x1df>
mov    -0x38(%rbp),%rax
mov    %rax,%rsp
mov    $0x1,%eax
mov    %rbp,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<check_stability_closedloop>:
push   %rbp
mov    %rsp,%rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x58,%rsp
mov    %rdi,%rbx
lea    (%rsi,%rsi,1),%edi
add    $0xffffffff,%edi
mov    %esi,%edx
mov    %rdi,%rax
imul   %rdx,%rax
lea    0xf(,%rax,8),%rax
and    $0xfffffffffffffff0,%rax
mov    %rsp,%rcx
sub    %rax,%rcx
mov    %rcx,-0x48(%rbp)
mov    %rcx,%rsp
test   %esi,%esi
mov    %rdx,%rax
mov    %rdx,-0x40(%rbp)
mov    %rdi,-0x50(%rbp)
jle    1192 <check_stability_closedloop+0x62>
lea    -0x1(%rdx),%rcx
mov    %edx,%eax
and    $0x7,%eax
cmp    $0x7,%rcx
jae    11b4 <check_stability_closedloop+0x84>
xorpd  %xmm0,%xmm0
xor    %ecx,%ecx
jmp    11f8 <check_stability_closedloop+0xc8>
mov    %rsi,%r14
lea    0xe64(%rip),%rsi
xor    %edi,%edi
mov    %rbx,%r12
call   1050 <__DSVERIFIER_assert_msg@plt>
xorpd  %xmm0,%xmm0
movsd  %xmm0,-0x30(%rbp)
jmp    1298 <check_stability_closedloop+0x168>
and    $0xfffffff8,%edx
xorpd  %xmm0,%xmm0
xor    %ecx,%ecx
nopl   (%rax)
addsd  (%rbx,%rcx,8),%xmm0
addsd  0x8(%rbx,%rcx,8),%xmm0
addsd  0x10(%rbx,%rcx,8),%xmm0
addsd  0x18(%rbx,%rcx,8),%xmm0
addsd  0x20(%rbx,%rcx,8),%xmm0
addsd  0x28(%rbx,%rcx,8),%xmm0
addsd  0x30(%rbx,%rcx,8),%xmm0
addsd  0x38(%rbx,%rcx,8),%xmm0
add    $0x8,%rcx
cmp    %rcx,%rdx
jne    11c0 <check_stability_closedloop+0x90>
mov    %rsi,%r14
test   %rax,%rax
je     121e <check_stability_closedloop+0xee>
lea    (%rbx,%rcx,8),%rcx
xor    %edx,%edx
cs nopw 0x0(%rax,%rax,1)
addsd  (%rcx,%rdx,8),%xmm0
add    $0x1,%rdx
cmp    %rdx,%rax
jne    1210 <check_stability_closedloop+0xe0>
xorpd  %xmm2,%xmm2
xor    %edi,%edi
xorpd  %xmm1,%xmm1
movsd  %xmm1,-0x30(%rbp)
ucomisd %xmm2,%xmm0
seta   %dil
lea    0xdc4(%rip),%rsi
mov    %rbx,%r12
call   1050 <__DSVERIFIER_assert_msg@plt>
test   %r14d,%r14d
mov    -0x40(%rbp),%r13
jle    1298 <check_stability_closedloop+0x168>
lea    -0x1(%r14),%r15d
xorpd  %xmm0,%xmm0
movsd  %xmm0,-0x30(%rbp)
xor    %ebx,%ebx
nopl   0x0(%rax)
movsd  (%r12,%rbx,8),%xmm0
movsd  %xmm0,-0x38(%rbp)
mov    $0xffffffff,%edi
mov    %r15d,%esi
call   1040 <internal_pow@plt>
mulsd  -0x38(%rbp),%xmm0
movsd  -0x30(%rbp),%xmm1
addsd  %xmm0,%xmm1
movsd  %xmm1,-0x30(%rbp)
add    $0x1,%rbx
add    $0xffffffff,%r15d
cmp    %rbx,%r13
jne    1260 <check_stability_closedloop+0x130>
lea    -0x1(%r14),%esi
mov    $0xffffffff,%edi
call   1040 <internal_pow@plt>
mulsd  -0x30(%rbp),%xmm0
xorpd  %xmm1,%xmm1
xor    %edi,%edi
ucomisd %xmm1,%xmm0
seta   %dil
lea    0xd5a(%rip),%rsi
call   1050 <__DSVERIFIER_assert_msg@plt>
movslq %r14d,%rax
movsd  -0x8(%r12,%rax,8),%xmm0
call   1030 <internal_abs@plt>
movsd  (%r12),%xmm1
xor    %edi,%edi
ucomisd %xmm0,%xmm1
seta   %dil
lea    0xd51(%rip),%rsi
call   1050 <__DSVERIFIER_assert_msg@plt>
xorpd  %xmm1,%xmm1
mov    %r14,%r8
test   %r8d,%r8d
jle    14f3 <check_stability_closedloop+0x3c3>
mov    %r12,%r9
mov    -0x50(%rbp),%rax
cmp    $0x2,%eax
mov    $0x1,%ecx
cmovge %eax,%ecx
mov    %rcx,-0x60(%rbp)
mov    -0x48(%rbp),%rax
lea    0x8(%rax),%r12
mov    -0x40(%rbp),%rax
lea    0x0(,%rax,8),%rax
mov    %rax,-0x58(%rbp)
xor    %r10d,%r10d
mov    %r9,-0x68(%rbp)
jmp    1352 <check_stability_closedloop+0x222>
nopw   0x0(%rax,%rax,1)
add    $0x1,%r10
add    -0x58(%rbp),%r12
cmp    -0x60(%rbp),%r10
je     14f3 <check_stability_closedloop+0x3c3>
test   %r8d,%r8d
jle    1340 <check_stability_closedloop+0x210>
mov    %r10,%rax
mov    -0x40(%rbp),%rcx
imul   %rcx,%rax
mov    -0x48(%rbp),%rdx
lea    (%rdx,%rax,8),%r11
lea    -0x1(%r10),%rax
imul   %rcx,%rax
lea    (%rdx,%rax,8),%r15
lea    -0x2(%r10),%rax
imul   %rcx,%rax
lea    (%rdx,%rax,8),%rax
mov    %rax,-0x70(%rbp)
xor    %ebx,%ebx
mov    %r10,-0x78(%rbp)
mov    %r11,-0x38(%rbp)
jmp    13b4 <check_stability_closedloop+0x284>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movsd  (%r9,%r13,8),%xmm0
movsd  %xmm0,(%r11,%r13,8)
add    $0x1,%ebx
cmp    %r8d,%ebx
jge    1340 <check_stability_closedloop+0x210>
movslq %ebx,%r13
movq   $0x0,(%r11,%r13,8)
test   %r10,%r10
je     13a0 <check_stability_closedloop+0x270>
test   $0x1,%r10b
jne    1440 <check_stability_closedloop+0x310>
mov    -0x70(%rbp),%r14
movsd  (%r14),%xmm0
movsd  %xmm0,-0x50(%rbp)
xor    %edi,%edi
ucomisd %xmm1,%xmm0
seta   %dil
lea    0xc75(%rip),%rsi
mov    %r8,-0x30(%rbp)
call   1050 <__DSVERIFIER_assert_msg@plt>
mov    -0x38(%rbp),%rcx
movsd  (%r14,%r13,8),%xmm0
movslq -0x30(%rbp),%rax
movsd  (%r14,%rax,8),%xmm1
divsd  -0x50(%rbp),%xmm1
mulsd  (%r15,%r13,8),%xmm1
subsd  %xmm1,%xmm0
xorpd  %xmm1,%xmm1
movsd  %xmm0,(%rcx,%r13,8)
mov    -0x48(%rbp),%rax
movsd  (%rax),%xmm0
ucomisd %xmm1,%xmm0
jae    1456 <check_stability_closedloop+0x326>
xor    %eax,%eax
jmp    1461 <check_stability_closedloop+0x331>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
test   %r8d,%r8d
jle    14e7 <check_stability_closedloop+0x3b7>
mov    %r8d,%eax
cmp    $0x1,%r8d
jne    1489 <check_stability_closedloop+0x359>
xor    %ecx,%ecx
jmp    14ce <check_stability_closedloop+0x39e>
movsd  (%rcx),%xmm0
ucomisd %xmm1,%xmm0
setae  %al
movzbl %al,%edi
lea    0xbf3(%rip),%rsi
call   1050 <__DSVERIFIER_assert_msg@plt>
mov    -0x30(%rbp),%r8
mov    -0x68(%rbp),%r9
xorpd  %xmm1,%xmm1
mov    -0x78(%rbp),%r10
mov    -0x38(%rbp),%r11
jmp    13ac <check_stability_closedloop+0x27c>
mov    %eax,%edx
and    $0xfffffffe,%edx
lea    -0x2(%r8),%esi
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
lea    0x1(%rsi),%edi
movslq %edi,%rdi
movsd  (%r15,%rdi,8),%xmm0
movsd  %xmm0,-0x8(%r12,%rcx,8)
movslq %esi,%rsi
movsd  (%r15,%rsi,8),%xmm0
movsd  %xmm0,(%r12,%rcx,8)
add    $0x2,%rcx
add    $0xfffffffe,%esi
cmp    %rcx,%rdx
jne    14a0 <check_stability_closedloop+0x370>
test   $0x1,%al
je     14e7 <check_stability_closedloop+0x3b7>
mov    %ecx,%eax
not    %eax
add    %r8d,%eax
cltq
movsd  (%r15,%rax,8),%xmm0
movsd  %xmm0,(%r11,%rcx,8)
add    $0xffffffff,%r8d
mov    %r8d,%ebx
jmp    13ac <check_stability_closedloop+0x27c>
mov    $0x1,%eax
lea    -0x28(%rbp),%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [26 x i8] c"check condition F(1) > 0\0A\00"
@.str.1 = [34 x i8] c"check condition F(-1)*(-1)^n > 0\0A\00"
@.str.2 = [34 x i8] c"check condition abs(a0 < an*(z^n)\00"
@.str.3 = [17 x i8] c"check Jury Table\00"
define i32 @check_stability_closedloop(double* %0, i32 %1, double* %2, i32 %3, double* %4, i32 %5) {
%7 = alloca double*
%8 = alloca i32
%9 = alloca double*
%10 = alloca i32
%11 = alloca double*
%12 = alloca i32
%13 = alloca i32
%14 = alloca i8*
%15 = alloca i64
%16 = alloca i64
%17 = alloca i32
%18 = alloca i32
%19 = alloca i32
%20 = alloca double*
%21 = alloca double*
%22 = alloca double
%23 = alloca i32
store double* %0, double** %7
store i32 %1, i32* %8
store double* %2, double** %9
store i32 %3, i32* %10
store double* %4, double** %11
store i32 %5, i32* %12
%24 = load i32, i32* %8
store i32 %24, i32* %13
%25 = load i32, i32* %8
%26 = mul nsw i32 2, %25
%27 = sub nsw i32 %26, 1
%28 = zext i32 %27 to i64
%29 = load i32, i32* %8
%30 = zext i32 %29 to i64
%31 = call i8* @llvm.stacksave()
store i8* %31, i8** %14
%32 = mul nuw i64 %28, %30
%33 = alloca double, i64 %32
store i64 %28, i64* %15
store i64 %30, i64* %16
store i32 0, i32* %19
%34 = load double*, double** %9
store double* %34, double** %20
%35 = load double*, double** %11
store double* %35, double** %21
store double 0.000000e+00, double* %22
store i32 0, i32* %17
br label %36
36: ; preds = %48, %6
%37 = load i32, i32* %17
%38 = load i32, i32* %8
%39 = icmp slt i32 %37, %38
br i1 %39, label %40, label %51
40: ; preds = %36
%41 = load double*, double** %7
%42 = load i32, i32* %17
%43 = sext i32 %42 to i64
%44 = getelementptr inbounds double, double* %41, i64 %43
%45 = load double, double* %44
%46 = load double, double* %22
%47 = fadd double %46, %45
store double %47, double* %22
br label %48
48: ; preds = %40
%49 = load i32, i32* %17
%50 = add nsw i32 %49, 1
store i32 %50, i32* %17
br label %36
51: ; preds = %36
%52 = load double, double* %22
%53 = fcmp ogt double %52, 0.000000e+00
%54 = zext i1 %53 to i32
%55 = call i32 @__DSVERIFIER_assert_msg(i32 %54, i8* getelementptr inbounds ([26 x i8], [26 x i8]* @.str, i64 0, i64 0))
store double 0.000000e+00, double* %22
store i32 0, i32* %17
br label %56
56: ; preds = %73, %51
%57 = load i32, i32* %17
%58 = load i32, i32* %8
%59 = icmp slt i32 %57, %58
br i1 %59, label %60, label %76
60: ; preds = %56
%61 = load double*, double** %7
%62 = load i32, i32* %17
%63 = sext i32 %62 to i64
%64 = getelementptr inbounds double, double* %61, i64 %63
%65 = load double, double* %64
%66 = load i32, i32* %8
%67 = sub nsw i32 %66, 1
%68 = load i32, i32* %17
%69 = sub nsw i32 %67, %68
%70 = call double @internal_pow(i32 -1, i32 %69)
%71 = load double, double* %22
%72 = call double @llvm.fmuladd.f64(double %65, double %70, double %71)
store double %72, double* %22
br label %73
73: ; preds = %60
%74 = load i32, i32* %17
%75 = add nsw i32 %74, 1
store i32 %75, i32* %17
br label %56
76: ; preds = %56
%77 = load double, double* %22
%78 = load i32, i32* %8
%79 = sub nsw i32 %78, 1
%80 = call double @internal_pow(i32 -1, i32 %79)
%81 = fmul double %77, %80
store double %81, double* %22
%82 = load double, double* %22
%83 = fcmp ogt double %82, 0.000000e+00
%84 = zext i1 %83 to i32
%85 = call i32 @__DSVERIFIER_assert_msg(i32 %84, i8* getelementptr inbounds ([34 x i8], [34 x i8]* @.str.1, i64 0, i64 0))
%86 = load double*, double** %7
%87 = load i32, i32* %8
%88 = sub nsw i32 %87, 1
%89 = sext i32 %88 to i64
%90 = getelementptr inbounds double, double* %86, i64 %89
%91 = load double, double* %90
%92 = call double @internal_abs(double %91)
%93 = load double*, double** %7
%94 = getelementptr inbounds double, double* %93, i64 0
%95 = load double, double* %94
%96 = fcmp olt double %92, %95
%97 = zext i1 %96 to i32
%98 = call i32 @__DSVERIFIER_assert_msg(i32 %97, i8* getelementptr inbounds ([34 x i8], [34 x i8]* @.str.2, i64 0, i64 0))
store i32 0, i32* %17
br label %99
99: ; preds = %246, %76
%100 = load i32, i32* %17
%101 = load i32, i32* %8
%102 = mul nsw i32 2, %101
%103 = sub nsw i32 %102, 1
%104 = icmp slt i32 %100, %103
br i1 %104, label %105, label %249
105: ; preds = %99
store i32 0, i32* %18
br label %106
106: ; preds = %242, %105
%107 = load i32, i32* %18
%108 = load i32, i32* %13
%109 = icmp slt i32 %107, %108
br i1 %109, label %110, label %245
110: ; preds = %106
%111 = load i32, i32* %17
%112 = sext i32 %111 to i64
%113 = mul nsw i64 %112, %30
%114 = getelementptr inbounds double, double* %33, i64 %113
%115 = load i32, i32* %18
%116 = sext i32 %115 to i64
%117 = getelementptr inbounds double, double* %114, i64 %116
store double 0.000000e+00, double* %117
%118 = load i32, i32* %17
%119 = icmp eq i32 %118, 0
br i1 %119, label %120, label %133
120: ; preds = %110
%121 = load double*, double** %7
%122 = load i32, i32* %18
%123 = sext i32 %122 to i64
%124 = getelementptr inbounds double, double* %121, i64 %123
%125 = load double, double* %124
%126 = load i32, i32* %17
%127 = sext i32 %126 to i64
%128 = mul nsw i64 %127, %30
%129 = getelementptr inbounds double, double* %33, i64 %128
%130 = load i32, i32* %18
%131 = sext i32 %130 to i64
%132 = getelementptr inbounds double, double* %129, i64 %131
store double %125, double* %132
br label %242
133: ; preds = %110
%134 = load i32, i32* %17
%135 = srem i32 %134, 2
%136 = icmp ne i32 %135, 0
br i1 %136, label %137, label %169
137: ; preds = %133
store i32 0, i32* %23
br label %138
138: ; preds = %162, %137
%139 = load i32, i32* %23
%140 = load i32, i32* %13
%141 = icmp slt i32 %139, %140
br i1 %141, label %142, label %165
142: ; preds = %138
%143 = load i32, i32* %17
%144 = sub nsw i32 %143, 1
%145 = sext i32 %144 to i64
%146 = mul nsw i64 %145, %30
%147 = getelementptr inbounds double, double* %33, i64 %146
%148 = load i32, i32* %13
%149 = load i32, i32* %23
%150 = sub nsw i32 %148, %149
%151 = sub nsw i32 %150, 1
%152 = sext i32 %151 to i64
%153 = getelementptr inbounds double, double* %147, i64 %152
%154 = load double, double* %153
%155 = load i32, i32* %17
%156 = sext i32 %155 to i64
%157 = mul nsw i64 %156, %30
%158 = getelementptr inbounds double, double* %33, i64 %157
%159 = load i32, i32* %23
%160 = sext i32 %159 to i64
%161 = getelementptr inbounds double, double* %158, i64 %160
store double %154, double* %161
br label %162
162: ; preds = %142
%163 = load i32, i32* %23
%164 = add nsw i32 %163, 1
store i32 %164, i32* %23
br label %138
165: ; preds = %138
%166 = load i32, i32* %13
%167 = sub nsw i32 %166, 1
store i32 %167, i32* %13
%168 = load i32, i32* %13
store i32 %168, i32* %18
br label %241
169: ; preds = %133
%170 = load i32, i32* %17
%171 = sub nsw i32 %170, 2
%172 = sext i32 %171 to i64
%173 = mul nsw i64 %172, %30
%174 = getelementptr inbounds double, double* %33, i64 %173
%175 = getelementptr inbounds double, double* %174, i64 0
%176 = load double, double* %175
%177 = fcmp ogt double %176, 0.000000e+00
%178 = zext i1 %177 to i32
%179 = call i32 @__DSVERIFIER_assert_msg(i32 %178, i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.3, i64 0, i64 0))
%180 = load i32, i32* %17
%181 = sub nsw i32 %180, 2
%182 = sext i32 %181 to i64
%183 = mul nsw i64 %182, %30
%184 = getelementptr inbounds double, double* %33, i64 %183
%185 = load i32, i32* %18
%186 = sext i32 %185 to i64
%187 = getelementptr inbounds double, double* %184, i64 %186
%188 = load double, double* %187
%189 = load i32, i32* %17
%190 = sub nsw i32 %189, 2
%191 = sext i32 %190 to i64
%192 = mul nsw i64 %191, %30
%193 = getelementptr inbounds double, double* %33, i64 %192
%194 = load i32, i32* %13
%195 = sext i32 %194 to i64
%196 = getelementptr inbounds double, double* %193, i64 %195
%197 = load double, double* %196
%198 = load i32, i32* %17
%199 = sub nsw i32 %198, 2
%200 = sext i32 %199 to i64
%201 = mul nsw i64 %200, %30
%202 = getelementptr inbounds double, double* %33, i64 %201
%203 = getelementptr inbounds double, double* %202, i64 0
%204 = load double, double* %203
%205 = fdiv double %197, %204
%206 = load i32, i32* %17
%207 = sub nsw i32 %206, 1
%208 = sext i32 %207 to i64
%209 = mul nsw i64 %208, %30
%210 = getelementptr inbounds double, double* %33, i64 %209
%211 = load i32, i32* %18
%212 = sext i32 %211 to i64
%213 = getelementptr inbounds double, double* %210, i64 %212
%214 = load double, double* %213
%215 = fneg double %205
%216 = call double @llvm.fmuladd.f64(double %215, double %214, double %188)
%217 = load i32, i32* %17
%218 = sext i32 %217 to i64
%219 = mul nsw i64 %218, %30
%220 = getelementptr inbounds double, double* %33, i64 %219
%221 = load i32, i32* %18
%222 = sext i32 %221 to i64
%223 = getelementptr inbounds double, double* %220, i64 %222
store double %216, double* %223
%224 = mul nsw i64 0, %30
%225 = getelementptr inbounds double, double* %33, i64 %224
%226 = getelementptr inbounds double, double* %225, i64 0
%227 = load double, double* %226
%228 = fcmp oge double %227, 0.000000e+00
br i1 %228, label %229, label %237
229: ; preds = %169
%230 = load i32, i32* %17
%231 = sext i32 %230 to i64
%232 = mul nsw i64 %231, %30
%233 = getelementptr inbounds double, double* %33, i64 %232
%234 = getelementptr inbounds double, double* %233, i64 0
%235 = load double, double* %234
%236 = fcmp oge double %235, 0.000000e+00
br label %237
237: ; preds = %229, %169
%238 = phi i1 [ false, %169 ], [ %236, %229 ]
%239 = zext i1 %238 to i32
%240 = call i32 @__DSVERIFIER_assert_msg(i32 %239, i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.3, i64 0, i64 0))
br label %241
241: ; preds = %237, %165
br label %242
242: ; preds = %241, %120
%243 = load i32, i32* %18
%244 = add nsw i32 %243, 1
store i32 %244, i32* %18
br label %106
245: ; preds = %106
br label %246
246: ; preds = %245
%247 = load i32, i32* %17
%248 = add nsw i32 %247, 1
store i32 %248, i32* %17
br label %99
249: ; preds = %99
%250 = load i8*, i8** %14
ret i32 1
}

LLVM IR (-O2):
@.str = [26 x i8] c"check condition F(1) > 0\0A\00"
@.str.1 = [34 x i8] c"check condition F(-1)*(-1)^n > 0\0A\00"
@.str.2 = [34 x i8] c"check condition abs(a0 < an*(z^n)\00"
@.str.3 = [17 x i8] c"check Jury Table\00"
define i32 @check_stability_closedloop(double* nocapture %0, i32 %1, double* nocapture readnone %2, i32 %3, double* nocapture readnone %4, i32 %5) {
%7 = shl nsw i32 %1, 1
%8 = add i32 %7, -1
%9 = zext i32 %8 to i64
%10 = zext i32 %1 to i64
%11 = mul nuw i64 %9, %10
%12 = alloca double, i64 %11
%13 = icmp sgt i32 %1, 0
br i1 %13, label %14, label %20
14: ; preds = %6
%15 = add nsw i64 %10, -1
%16 = and i64 %10, 7
%17 = icmp ult i64 %15, 7
br i1 %17, label %60, label %18
18: ; preds = %14
%19 = and i64 %10, 4294967288
br label %22
20: ; preds = %6
%21 = tail call i32 @__DSVERIFIER_assert_msg(i32 0, i8* getelementptr inbounds ([26 x i8], [26 x i8]* @.str, i64 0, i64 0))
br label %92
22: ; preds = %22, %18
%23 = phi i64 [ 0, %18 ], [ %57, %22 ]
%24 = phi double [ 0.000000e+00, %18 ], [ %56, %22 ]
%25 = phi i64 [ 0, %18 ], [ %58, %22 ]
%26 = getelementptr inbounds double, double* %0, i64 %23
%27 = load double, double* %26
%28 = fadd double %24, %27
%29 = or i64 %23, 1
%30 = getelementptr inbounds double, double* %0, i64 %29
%31 = load double, double* %30
%32 = fadd double %28, %31
%33 = or i64 %23, 2
%34 = getelementptr inbounds double, double* %0, i64 %33
%35 = load double, double* %34
%36 = fadd double %32, %35
%37 = or i64 %23, 3
%38 = getelementptr inbounds double, double* %0, i64 %37
%39 = load double, double* %38
%40 = fadd double %36, %39
%41 = or i64 %23, 4
%42 = getelementptr inbounds double, double* %0, i64 %41
%43 = load double, double* %42
%44 = fadd double %40, %43
%45 = or i64 %23, 5
%46 = getelementptr inbounds double, double* %0, i64 %45
%47 = load double, double* %46
%48 = fadd double %44, %47
%49 = or i64 %23, 6
%50 = getelementptr inbounds double, double* %0, i64 %49
%51 = load double, double* %50
%52 = fadd double %48, %51
%53 = or i64 %23, 7
%54 = getelementptr inbounds double, double* %0, i64 %53
%55 = load double, double* %54
%56 = fadd double %52, %55
%57 = add nuw nsw i64 %23, 8
%58 = add i64 %25, 8
%59 = icmp eq i64 %58, %19
br i1 %59, label %60, label %22
60: ; preds = %22, %14
%61 = phi double [ undef, %14 ], [ %56, %22 ]
%62 = phi i64 [ 0, %14 ], [ %57, %22 ]
%63 = phi double [ 0.000000e+00, %14 ], [ %56, %22 ]
%64 = icmp eq i64 %16, 0
br i1 %64, label %75, label %65
65: ; preds = %60, %65
%66 = phi i64 [ %72, %65 ], [ %62, %60 ]
%67 = phi double [ %71, %65 ], [ %63, %60 ]
%68 = phi i64 [ %73, %65 ], [ 0, %60 ]
%69 = getelementptr inbounds double, double* %0, i64 %66
%70 = load double, double* %69
%71 = fadd double %67, %70
%72 = add nuw nsw i64 %66, 1
%73 = add i64 %68, 1
%74 = icmp eq i64 %73, %16
br i1 %74, label %75, label %65
75: ; preds = %65, %60
%76 = phi double [ %61, %60 ], [ %71, %65 ]
%77 = fcmp ogt double %76, 0.000000e+00
%78 = zext i1 %77 to i32
%79 = tail call i32 @__DSVERIFIER_assert_msg(i32 %78, i8* getelementptr inbounds ([26 x i8], [26 x i8]* @.str, i64 0, i64 0))
br i1 %13, label %80, label %92
80: ; preds = %75, %80
%81 = phi i64 [ %90, %80 ], [ 0, %75 ]
%82 = phi double [ %89, %80 ], [ 0.000000e+00, %75 ]
%83 = trunc i64 %81 to i32
%84 = getelementptr inbounds double, double* %0, i64 %81
%85 = load double, double* %84
%86 = xor i32 %83, -1
%87 = add i32 %86, %1
%88 = tail call double @internal_pow(i32 -1, i32 %87)
%89 = tail call double @llvm.fmuladd.f64(double %85, double %88, double %82)
%90 = add nuw nsw i64 %81, 1
%91 = icmp eq i64 %90, %10
br i1 %91, label %92, label %80
92: ; preds = %80, %20, %75
%93 = phi double [ 0.000000e+00, %75 ], [ 0.000000e+00, %20 ], [ %89, %80 ]
%94 = add nsw i32 %1, -1
%95 = tail call double @internal_pow(i32 -1, i32 %94)
%96 = fmul double %93, %95
%97 = fcmp ogt double %96, 0.000000e+00
%98 = zext i1 %97 to i32
%99 = tail call i32 @__DSVERIFIER_assert_msg(i32 %98, i8* getelementptr inbounds ([34 x i8], [34 x i8]* @.str.1, i64 0, i64 0))
%100 = sext i32 %94 to i64
%101 = getelementptr inbounds double, double* %0, i64 %100
%102 = load double, double* %101
%103 = tail call double @internal_abs(double %102)
%104 = load double, double* %0
%105 = fcmp olt double %103, %104
%106 = zext i1 %105 to i32
%107 = tail call i32 @__DSVERIFIER_assert_msg(i32 %106, i8* getelementptr inbounds ([34 x i8], [34 x i8]* @.str.2, i64 0, i64 0))
br i1 %13, label %108, label %211
108: ; preds = %92
%109 = call i32 @llvm.smax.i32(i32 %8, i32 1)
%110 = zext i32 %109 to i64
br label %111
111: ; preds = %108, %207
%112 = phi i64 [ 0, %108 ], [ %209, %207 ]
%113 = phi i32 [ %1, %108 ], [ %208, %207 ]
%114 = icmp sgt i32 %113, 0
br i1 %114, label %115, label %207
115: ; preds = %111
%116 = mul nuw nsw i64 %112, %10
%117 = getelementptr inbounds double, double* %12, i64 %116
%118 = icmp eq i64 %112, 0
%119 = and i64 %112, 1
%120 = icmp eq i64 %119, 0
%121 = add nsw i64 %112, -1
%122 = mul nsw i64 %121, %10
%123 = getelementptr inbounds double, double* %12, i64 %122
%124 = add nsw i64 %112, -2
%125 = mul nsw i64 %124, %10
%126 = getelementptr inbounds double, double* %12, i64 %125
br label %127
127: ; preds = %115, %202
%128 = phi i32 [ %113, %115 ], [ %204, %202 ]
%129 = phi i32 [ 0, %115 ], [ %205, %202 ]
%130 = sext i32 %129 to i64
%131 = getelementptr inbounds double, double* %117, i64 %130
store double 0.000000e+00, double* %131
br i1 %118, label %132, label %135
132: ; preds = %127
%133 = getelementptr inbounds double, double* %0, i64 %130
%134 = load double, double* %133
store double %134, double* %131
br label %202
135: ; preds = %127
br i1 %120, label %178, label %136
136: ; preds = %135
%137 = icmp sgt i32 %128, 0
br i1 %137, label %138, label %176
138: ; preds = %136
%139 = zext i32 %128 to i64
%140 = and i64 %139, 1
%141 = icmp eq i32 %128, 1
br i1 %141, label %165, label %142
142: ; preds = %138
%143 = and i64 %139, 4294967294
br label %144
144: ; preds = %144, %142
%145 = phi i64 [ 0, %142 ], [ %162, %144 ]
%146 = phi i64 [ 0, %142 ], [ %163, %144 ]
%147 = trunc i64 %145 to i32
%148 = xor i32 %147, -1
%149 = add i32 %128, %148
%150 = sext i32 %149 to i64
%151 = getelementptr inbounds double, double* %123, i64 %150
%152 = load double, double* %151
%153 = getelementptr inbounds double, double* %117, i64 %145
store double %152, double* %153
%154 = or i64 %145, 1
%155 = trunc i64 %154 to i32
%156 = xor i32 %155, -1
%157 = add i32 %128, %156
%158 = sext i32 %157 to i64
%159 = getelementptr inbounds double, double* %123, i64 %158
%160 = load double, double* %159
%161 = getelementptr inbounds double, double* %117, i64 %154
store double %160, double* %161
%162 = add nuw nsw i64 %145, 2
%163 = add i64 %146, 2
%164 = icmp eq i64 %163, %143
br i1 %164, label %165, label %144
165: ; preds = %144, %138
%166 = phi i64 [ 0, %138 ], [ %162, %144 ]
%167 = icmp eq i64 %140, 0
br i1 %167, label %176, label %168
168: ; preds = %165
%169 = trunc i64 %166 to i32
%170 = xor i32 %169, -1
%171 = add i32 %128, %170
%172 = sext i32 %171 to i64
%173 = getelementptr inbounds double, double* %123, i64 %172
%174 = load double, double* %173
%175 = getelementptr inbounds double, double* %117, i64 %166
store double %174, double* %175
br label %176
176: ; preds = %168, %165, %136
%177 = add nsw i32 %128, -1
br label %202
178: ; preds = %135
%179 = load double, double* %126
%180 = fcmp ogt double %179, 0.000000e+00
%181 = zext i1 %180 to i32
%182 = tail call i32 @__DSVERIFIER_assert_msg(i32 %181, i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.3, i64 0, i64 0))
%183 = getelementptr inbounds double, double* %126, i64 %130
%184 = load double, double* %183
%185 = sext i32 %128 to i64
%186 = getelementptr inbounds double, double* %126, i64 %185
%187 = load double, double* %186
%188 = getelementptr inbounds double, double* %123, i64 %130
%189 = load double, double* %188
%190 = fneg double %187
%191 = fdiv double %190, %179
%192 = tail call double @llvm.fmuladd.f64(double %191, double %189, double %184)
store double %192, double* %131
%193 = load double, double* %12
%194 = fcmp ult double %193, 0.000000e+00
br i1 %194, label %198, label %195
195: ; preds = %178
%196 = load double, double* %117
%197 = fcmp oge double %196, 0.000000e+00
br label %198
198: ; preds = %195, %178
%199 = phi i1 [ false, %178 ], [ %197, %195 ]
%200 = zext i1 %199 to i32
%201 = tail call i32 @__DSVERIFIER_assert_msg(i32 %200, i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.3, i64 0, i64 0))
br label %202
202: ; preds = %176, %198, %132
%203 = phi i32 [ %129, %132 ], [ %177, %176 ], [ %129, %198 ]
%204 = phi i32 [ %128, %132 ], [ %177, %176 ], [ %128, %198 ]
%205 = add nsw i32 %203, 1
%206 = icmp slt i32 %205, %204
br i1 %206, label %127, label %207
207: ; preds = %202, %111
%208 = phi i32 [ %113, %111 ], [ %204, %202 ]
%209 = add nuw nsw i64 %112, 1
%210 = icmp eq i64 %209, %110
br i1 %210, label %211, label %111
211: ; preds = %207, %92
ret i32 1
}