#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 */
typedef int /*<<< orphan*/ mpfr_t;

/* Variables and functions */
int /*<<< orphan*/ MPFR_RNDN;
int /*<<< orphan*/ mpfr_add(int /*<<< orphan*/, int /*<<< orphan*/,
                            int /*<<< orphan*/, int /*<<< orphan*/);
int /*<<< orphan*/ mpfr_init2(int /*<<< orphan*/, int);
int /*<<< orphan*/ mpfr_mul(int /*<<< orphan*/, int /*<<< orphan*/,
                            int /*<<< orphan*/, int /*<<< orphan*/);
int /*<<< orphan*/ mpfr_set_si(int /*<<< orphan*/, int, int /*<<< orphan*/);
void determinant_poorly(mpfr_t det, mpfr_t A[][5 + 2]) {
  int sgn = 1;
  int sigma[5 + 2];
  mpfr_t prod;
  for (int j = 0; j < (5 + 2); ++j) {
    sigma[j] = j;
  }
  mpfr_set_si(det, 0, MPFR_RNDN);
  mpfr_init2(prod, 200);
  while (1) {
    mpfr_set_si(prod, sgn, MPFR_RNDN);
    for (int j = 0; j < (5 + 2); ++j) {
      mpfr_mul(prod, prod, A[j][sigma[j]], MPFR_RNDN);
    }
    mpfr_add(det, det, prod, MPFR_RNDN);
    int k = 5 + 1;
    int j = 5 + 1;
    int t;
    while (k > 0 && sigma[k - 1] >= sigma[k]) {
      k--;
    }
    if (!k) {
      break;
    }
    while (sigma[j] <= sigma[k - 1]) {
      j--;
    }
    if (k - 1 != j) {
      t = sigma[k - 1];
      sigma[k - 1] = sigma[j];
      sigma[j] = t;
      sgn *= -1;
    }
    for (int l = 5 + 1; l > k; --l, ++k) {
      t = sigma[l];
      sigma[l] = sigma[k];
      sigma[k] = t;
      sgn *= -1;
    }
  }
}


x86 assembly (clang, -O0):
<determinant_poorly>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %edi,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
movl   $0x1,-0x14(%rbp)
movl   $0x0,-0x38(%rbp)
cmpl   $0x7,-0x38(%rbp)
jge    1180 <determinant_poorly+0x40>
mov    -0x38(%rbp),%ecx
movslq -0x38(%rbp),%rax
mov    %ecx,-0x30(%rbp,%rax,4)
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    115d <determinant_poorly+0x1d>
mov    -0x4(%rbp),%edi
mov    0x2e5e(%rip),%rax
mov    (%rax),%edx
xor    %esi,%esi
call   1050 <mpfr_set_si@plt>
mov    -0x34(%rbp),%edi
mov    $0xc8,%esi
call   1060 <mpfr_init2@plt>
mov    -0x34(%rbp),%edi
mov    -0x14(%rbp),%esi
mov    0x2e3b(%rip),%rax
mov    (%rax),%edx
call   1050 <mpfr_set_si@plt>
movl   $0x0,-0x3c(%rbp)
cmpl   $0x7,-0x3c(%rbp)
jge    1202 <determinant_poorly+0xc2>
mov    -0x34(%rbp),%edi
mov    -0x34(%rbp),%esi
mov    -0x10(%rbp),%rax
movslq -0x3c(%rbp),%rcx
imul   $0x1c,%rcx,%rcx
add    %rcx,%rax
movslq -0x3c(%rbp),%rcx
movslq -0x30(%rbp,%rcx,4),%rcx
mov    (%rax,%rcx,4),%edx
mov    0x2dfb(%rip),%rax
mov    (%rax),%ecx
call   1030 <mpfr_mul@plt>
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    11bb <determinant_poorly+0x7b>
mov    -0x4(%rbp),%edi
mov    -0x4(%rbp),%esi
mov    -0x34(%rbp),%edx
mov    0x2dd6(%rip),%rax
mov    (%rax),%ecx
call   1040 <mpfr_add@plt>
movl   $0x6,-0x40(%rbp)
movl   $0x6,-0x44(%rbp)
xor    %eax,%eax
cmpl   $0x0,-0x40(%rbp)
mov    %al,-0x4d(%rbp)
jle    1250 <determinant_poorly+0x110>
mov    -0x40(%rbp),%eax
sub    $0x1,%eax
cltq
mov    -0x30(%rbp,%rax,4),%eax
movslq -0x40(%rbp),%rcx
cmp    -0x30(%rbp,%rcx,4),%eax
setge  %al
mov    %al,-0x4d(%rbp)
mov    -0x4d(%rbp),%al
test   $0x1,%al
jne    1260 <determinant_poorly+0x120>
jmp    126e <determinant_poorly+0x12e>
mov    -0x40(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x40(%rbp)
jmp    1227 <determinant_poorly+0xe7>
cmpl   $0x0,-0x40(%rbp)
jne    127d <determinant_poorly+0x13d>
jmp    134b <determinant_poorly+0x20b>
jmp    1282 <determinant_poorly+0x142>
movslq -0x44(%rbp),%rax
mov    -0x30(%rbp,%rax,4),%eax
mov    -0x40(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
cmp    -0x30(%rbp,%rcx,4),%eax
jg     12ab <determinant_poorly+0x16b>
mov    -0x44(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x44(%rbp)
jmp    1282 <determinant_poorly+0x142>
mov    -0x40(%rbp),%eax
sub    $0x1,%eax
cmp    -0x44(%rbp),%eax
je     12ef <determinant_poorly+0x1af>
mov    -0x40(%rbp),%eax
sub    $0x1,%eax
cltq
mov    -0x30(%rbp,%rax,4),%eax
mov    %eax,-0x48(%rbp)
movslq -0x44(%rbp),%rax
mov    -0x30(%rbp,%rax,4),%ecx
mov    -0x40(%rbp),%eax
sub    $0x1,%eax
cltq
mov    %ecx,-0x30(%rbp,%rax,4)
mov    -0x48(%rbp),%ecx
movslq -0x44(%rbp),%rax
mov    %ecx,-0x30(%rbp,%rax,4)
imul   $0xffffffff,-0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
movl   $0x6,-0x4c(%rbp)
mov    -0x4c(%rbp),%eax
cmp    -0x40(%rbp),%eax
jle    1346 <determinant_poorly+0x206>
movslq -0x4c(%rbp),%rax
mov    -0x30(%rbp,%rax,4),%eax
mov    %eax,-0x48(%rbp)
movslq -0x40(%rbp),%rax
mov    -0x30(%rbp,%rax,4),%ecx
movslq -0x4c(%rbp),%rax
mov    %ecx,-0x30(%rbp,%rax,4)
mov    -0x48(%rbp),%ecx
movslq -0x40(%rbp),%rax
mov    %ecx,-0x30(%rbp,%rax,4)
imul   $0xffffffff,-0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x4c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x4c(%rbp)
mov    -0x40(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x40(%rbp)
jmp    12f6 <determinant_poorly+0x1b6>
jmp    11a0 <determinant_poorly+0x60>
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<determinant_poorly>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x48,%rsp
mov    %rsi,0x40(%rsp)
movaps 0xea6(%rip),%xmm0
movaps %xmm0,0x10(%rsp)
movabs $0x500000004,%rax
mov    %rax,0x20(%rsp)
movl   $0x6,0x28(%rsp)
mov    0x2e6b(%rip),%rax
mov    (%rax),%edx
xor    %r14d,%r14d
mov    %edi,0x34(%rsp)
xor    %esi,%esi
call   1050 <mpfr_set_si@plt>
mov    $0xc8,%esi
call   1060 <mpfr_init2@plt>
mov    $0x1,%r15d
movl   $0x2,0x4(%rsp)
movl   $0x3,0x8(%rsp)
movl   $0x4,(%rsp)
movl   $0x5,0xc(%rsp)
mov    $0x6,%ebx
mov    $0x1,%ebp
mov    0x40(%rsp),%r12
jmp    11fd <determinant_poorly+0xbd>
nopl   (%rax)
mov    0x10(%rsp),%r14d
mov    0x14(%rsp),%r15d
mov    0x18(%rsp),%eax
mov    %eax,0x4(%rsp)
mov    0x1c(%rsp),%eax
mov    %eax,0x8(%rsp)
mov    0x20(%rsp),%eax
mov    %eax,(%rsp)
mov    0x24(%rsp),%eax
mov    %eax,0xc(%rsp)
mov    0x28(%rsp),%ebx
mov    0x2de4(%rip),%r13
mov    0x0(%r13),%edx
mov    %ebp,%esi
call   1050 <mpfr_set_si@plt>
mov    %r14d,0x38(%rsp)
movslq %r14d,%rax
mov    (%r12,%rax,4),%edx
mov    0x0(%r13),%ecx
call   1030 <mpfr_mul@plt>
mov    %r15d,0x3c(%rsp)
movslq %r15d,%rax
mov    0x1c(%r12,%rax,4),%edx
mov    0x0(%r13),%ecx
call   1030 <mpfr_mul@plt>
movslq 0x4(%rsp),%rax
mov    0x38(%r12,%rax,4),%edx
mov    0x0(%r13),%ecx
call   1030 <mpfr_mul@plt>
movslq 0x8(%rsp),%rax
mov    0x54(%r12,%rax,4),%edx
mov    0x0(%r13),%ecx
call   1030 <mpfr_mul@plt>
movslq (%rsp),%rax
mov    0x70(%r12,%rax,4),%edx
mov    0x0(%r13),%ecx
call   1030 <mpfr_mul@plt>
movslq 0xc(%rsp),%r14
mov    0x8c(%r12,%r14,4),%edx
mov    0x0(%r13),%ecx
call   1030 <mpfr_mul@plt>
movslq %ebx,%r15
mov    0xa8(%r12,%r15,4),%edx
mov    0x0(%r13),%ecx
call   1030 <mpfr_mul@plt>
mov    0x0(%r13),%ecx
mov    0x34(%rsp),%edi
mov    %edi,%esi
call   1040 <mpfr_add@plt>
cmp    %r15d,%r14d
jge    12c0 <determinant_poorly+0x180>
xor    %eax,%eax
mov    $0x5,%ecx
jmp    1300 <determinant_poorly+0x1c0>
nopl   0x0(%rax)
mov    $0x4,%ecx
mov    $0x1,%al
mov    0xc(%rsp),%edx
cmp    %edx,(%rsp)
jl     1300 <determinant_poorly+0x1c0>
mov    $0x3,%ecx
mov    0x8(%rsp),%edx
cmp    (%rsp),%edx
jl     1300 <determinant_poorly+0x1c0>
mov    $0x2,%ecx
mov    0x4(%rsp),%esi
cmp    %edx,%esi
jl     1300 <determinant_poorly+0x1c0>
mov    $0x1,%ecx
mov    0x3c(%rsp),%edx
cmp    %esi,%edx
jl     1300 <determinant_poorly+0x1c0>
xor    %ecx,%ecx
cmp    %edx,0x38(%rsp)
jge    1377 <determinant_poorly+0x237>
mov    %ecx,%ecx
mov    0x10(%rsp,%rcx,4),%edx
mov    $0x6,%esi
cmp    %edx,%ebx
jg     132c <determinant_poorly+0x1ec>
mov    $0x6,%esi
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    0xc(%rsp,%rsi,4),%ebx
add    $0xffffffffffffffff,%rsi
cmp    %edx,%ebx
jle    1320 <determinant_poorly+0x1e0>
cmp    %esi,%ecx
je     133a <determinant_poorly+0x1fa>
mov    %ebx,0x10(%rsp,%rcx,4)
mov    %edx,0x10(%rsp,%rsi,4)
neg    %ebp
test   %al,%al
je     11d0 <determinant_poorly+0x90>
add    $0x1,%rcx
mov    $0x5,%eax
nopl   0x0(%rax,%rax,1)
mov    0x14(%rsp,%rax,4),%edx
mov    0x10(%rsp,%rcx,4),%esi
mov    %esi,0x14(%rsp,%rax,4)
mov    %edx,0x10(%rsp,%rcx,4)
neg    %ebp
add    $0x1,%rcx
lea    -0x1(%rax),%rdx
cmp    %rcx,%rax
mov    %rdx,%rax
jg     1350 <determinant_poorly+0x210>
jmp    11d0 <determinant_poorly+0x90>
add    $0x48,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@MPFR_RNDN = global i32 0
define void @determinant_poorly(i32 %0, [7 x i32]* %1) {
%3 = alloca i32
%4 = alloca [7 x i32]*
%5 = alloca i32
%6 = alloca [7 x i32]
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
store i32 %0, i32* %3
store [7 x i32]* %1, [7 x i32]** %4
store i32 1, i32* %5
store i32 0, i32* %8
br label %14
14: ; preds = %22, %2
%15 = load i32, i32* %8
%16 = icmp slt i32 %15, 7
br i1 %16, label %17, label %25
17: ; preds = %14
%18 = load i32, i32* %8
%19 = load i32, i32* %8
%20 = sext i32 %19 to i64
%21 = getelementptr inbounds [7 x i32], [7 x i32]* %6, i64 0, i64 %20
store i32 %18, i32* %21
br label %22
22: ; preds = %17
%23 = load i32, i32* %8
%24 = add nsw i32 %23, 1
store i32 %24, i32* %8
br label %14
25: ; preds = %14
%26 = load i32, i32* %3
%27 = load i32, i32* @MPFR_RNDN
%28 = call i32 @mpfr_set_si(i32 %26, i32 0, i32 %27)
%29 = load i32, i32* %7
%30 = call i32 @mpfr_init2(i32 %29, i32 200)
br label %31
31: ; preds = %25, %155
%32 = load i32, i32* %7
%33 = load i32, i32* %5
%34 = load i32, i32* @MPFR_RNDN
%35 = call i32 @mpfr_set_si(i32 %32, i32 %33, i32 %34)
store i32 0, i32* %9
br label %36
36: ; preds = %55, %31
%37 = load i32, i32* %9
%38 = icmp slt i32 %37, 7
br i1 %38, label %39, label %58
39: ; preds = %36
%40 = load i32, i32* %7
%41 = load i32, i32* %7
%42 = load [7 x i32]*, [7 x i32]** %4
%43 = load i32, i32* %9
%44 = sext i32 %43 to i64
%45 = getelementptr inbounds [7 x i32], [7 x i32]* %42, i64 %44
%46 = load i32, i32* %9
%47 = sext i32 %46 to i64
%48 = getelementptr inbounds [7 x i32], [7 x i32]* %6, i64 0, i64 %47
%49 = load i32, i32* %48
%50 = sext i32 %49 to i64
%51 = getelementptr inbounds [7 x i32], [7 x i32]* %45, i64 0, i64 %50
%52 = load i32, i32* %51
%53 = load i32, i32* @MPFR_RNDN
%54 = call i32 @mpfr_mul(i32 %40, i32 %41, i32 %52, i32 %53)
br label %55
55: ; preds = %39
%56 = load i32, i32* %9
%57 = add nsw i32 %56, 1
store i32 %57, i32* %9
br label %36
58: ; preds = %36
%59 = load i32, i32* %3
%60 = load i32, i32* %3
%61 = load i32, i32* %7
%62 = load i32, i32* @MPFR_RNDN
%63 = call i32 @mpfr_add(i32 %59, i32 %60, i32 %61, i32 %62)
store i32 6, i32* %10
store i32 6, i32* %11
br label %64
64: ; preds = %80, %58
%65 = load i32, i32* %10
%66 = icmp sgt i32 %65, 0
br i1 %66, label %67, label %78
67: ; preds = %64
%68 = load i32, i32* %10
%69 = sub nsw i32 %68, 1
%70 = sext i32 %69 to i64
%71 = getelementptr inbounds [7 x i32], [7 x i32]* %6, i64 0, i64 %70
%72 = load i32, i32* %71
%73 = load i32, i32* %10
%74 = sext i32 %73 to i64
%75 = getelementptr inbounds [7 x i32], [7 x i32]* %6, i64 0, i64 %74
%76 = load i32, i32* %75
%77 = icmp sge i32 %72, %76
br label %78
78: ; preds = %67, %64
%79 = phi i1 [ false, %64 ], [ %77, %67 ]
br i1 %79, label %80, label %83
80: ; preds = %78
%81 = load i32, i32* %10
%82 = add nsw i32 %81, -1
store i32 %82, i32* %10
br label %64
83: ; preds = %78
%84 = load i32, i32* %10
%85 = icmp ne i32 %84, 0
br i1 %85, label %87, label %86
86: ; preds = %83
br label %156
87: ; preds = %83
br label %88
88: ; preds = %99, %87
%89 = load i32, i32* %11
%90 = sext i32 %89 to i64
%91 = getelementptr inbounds [7 x i32], [7 x i32]* %6, i64 0, i64 %90
%92 = load i32, i32* %91
%93 = load i32, i32* %10
%94 = sub nsw i32 %93, 1
%95 = sext i32 %94 to i64
%96 = getelementptr inbounds [7 x i32], [7 x i32]* %6, i64 0, i64 %95
%97 = load i32, i32* %96
%98 = icmp sle i32 %92, %97
br i1 %98, label %99, label %102
99: ; preds = %88
%100 = load i32, i32* %11
%101 = add nsw i32 %100, -1
store i32 %101, i32* %11
br label %88
102: ; preds = %88
%103 = load i32, i32* %10
%104 = sub nsw i32 %103, 1
%105 = load i32, i32* %11
%106 = icmp ne i32 %104, %105
br i1 %106, label %107, label %127
107: ; preds = %102
%108 = load i32, i32* %10
%109 = sub nsw i32 %108, 1
%110 = sext i32 %109 to i64
%111 = getelementptr inbounds [7 x i32], [7 x i32]* %6, i64 0, i64 %110
%112 = load i32, i32* %111
store i32 %112, i32* %12
%113 = load i32, i32* %11
%114 = sext i32 %113 to i64
%115 = getelementptr inbounds [7 x i32], [7 x i32]* %6, i64 0, i64 %114
%116 = load i32, i32* %115
%117 = load i32, i32* %10
%118 = sub nsw i32 %117, 1
%119 = sext i32 %118 to i64
%120 = getelementptr inbounds [7 x i32], [7 x i32]* %6, i64 0, i64 %119
store i32 %116, i32* %120
%121 = load i32, i32* %12
%122 = load i32, i32* %11
%123 = sext i32 %122 to i64
%124 = getelementptr inbounds [7 x i32], [7 x i32]* %6, i64 0, i64 %123
store i32 %121, i32* %124
%125 = load i32, i32* %5
%126 = mul nsw i32 %125, -1
store i32 %126, i32* %5
br label %127
127: ; preds = %107, %102
store i32 6, i32* %13
br label %128
128: ; preds = %150, %127
%129 = load i32, i32* %13
%130 = load i32, i32* %10
%131 = icmp sgt i32 %129, %130
br i1 %131, label %132, label %155
132: ; preds = %128
%133 = load i32, i32* %13
%134 = sext i32 %133 to i64
%135 = getelementptr inbounds [7 x i32], [7 x i32]* %6, i64 0, i64 %134
%136 = load i32, i32* %135
store i32 %136, i32* %12
%137 = load i32, i32* %10
%138 = sext i32 %137 to i64
%139 = getelementptr inbounds [7 x i32], [7 x i32]* %6, i64 0, i64 %138
%140 = load i32, i32* %139
%141 = load i32, i32* %13
%142 = sext i32 %141 to i64
%143 = getelementptr inbounds [7 x i32], [7 x i32]* %6, i64 0, i64 %142
store i32 %140, i32* %143
%144 = load i32, i32* %12
%145 = load i32, i32* %10
%146 = sext i32 %145 to i64
%147 = getelementptr inbounds [7 x i32], [7 x i32]* %6, i64 0, i64 %146
store i32 %144, i32* %147
%148 = load i32, i32* %5
%149 = mul nsw i32 %148, -1
store i32 %149, i32* %5
br label %150
150: ; preds = %132
%151 = load i32, i32* %13
%152 = add nsw i32 %151, -1
store i32 %152, i32* %13
%153 = load i32, i32* %10
%154 = add nsw i32 %153, 1
store i32 %154, i32* %10
br label %128
155: ; preds = %128
br label %31
156: ; preds = %86
ret void
}

LLVM IR (-O2):
@MPFR_RNDN = global i32 0
define void @determinant_poorly(i32 %0, [7 x i32]* nocapture %1) {
%3 = alloca [7 x i32]
%4 = bitcast [7 x i32]* %3 to i8*
%5 = getelementptr inbounds [7 x i32], [7 x i32]* %3, i64 0, i64 0
%6 = getelementptr inbounds [7 x i32], [7 x i32]* %3, i64 0, i64 1
%7 = getelementptr inbounds [7 x i32], [7 x i32]* %3, i64 0, i64 2
%8 = getelementptr inbounds [7 x i32], [7 x i32]* %3, i64 0, i64 3
%9 = bitcast [7 x i32]* %3 to <4 x i32>*
store <4 x i32> <i32 0, i32 1, i32 2, i32 3>, <4 x i32>* %9
%10 = getelementptr inbounds [7 x i32], [7 x i32]* %3, i64 0, i64 4
store i32 4, i32* %10
%11 = getelementptr inbounds [7 x i32], [7 x i32]* %3, i64 0, i64 5
store i32 5, i32* %11
%12 = getelementptr inbounds [7 x i32], [7 x i32]* %3, i64 0, i64 6
store i32 6, i32* %12
%13 = load i32, i32* @MPFR_RNDN
%14 = tail call i32 @mpfr_set_si(i32 %0, i32 0, i32 %13)
%15 = tail call i32 @mpfr_init2(i32 undef, i32 200)
br label %25
16: ; preds = %109, %105
%17 = phi i32 [ %106, %105 ], [ %117, %109 ]
%18 = load i32, i32* %5
%19 = load i32, i32* %6
%20 = load i32, i32* %7
%21 = load i32, i32* %8
%22 = load i32, i32* %10
%23 = load i32, i32* %11
%24 = load i32, i32* %12
br label %25
25: ; preds = %16, %2
%26 = phi i32 [ 6, %2 ], [ %24, %16 ]
%27 = phi i32 [ 5, %2 ], [ %23, %16 ]
%28 = phi i32 [ 4, %2 ], [ %22, %16 ]
%29 = phi i32 [ 3, %2 ], [ %21, %16 ]
%30 = phi i32 [ 2, %2 ], [ %20, %16 ]
%31 = phi i32 [ 1, %2 ], [ %19, %16 ]
%32 = phi i32 [ 0, %2 ], [ %18, %16 ]
%33 = phi i32 [ 1, %2 ], [ %17, %16 ]
%34 = load i32, i32* @MPFR_RNDN
%35 = tail call i32 @mpfr_set_si(i32 undef, i32 %33, i32 %34)
%36 = sext i32 %32 to i64
%37 = getelementptr inbounds [7 x i32], [7 x i32]* %1, i64 0, i64 %36
%38 = load i32, i32* %37
%39 = load i32, i32* @MPFR_RNDN
%40 = tail call i32 @mpfr_mul(i32 undef, i32 undef, i32 %38, i32 %39)
%41 = sext i32 %31 to i64
%42 = getelementptr inbounds [7 x i32], [7 x i32]* %1, i64 1, i64 %41
%43 = load i32, i32* %42
%44 = load i32, i32* @MPFR_RNDN
%45 = tail call i32 @mpfr_mul(i32 undef, i32 undef, i32 %43, i32 %44)
%46 = sext i32 %30 to i64
%47 = getelementptr inbounds [7 x i32], [7 x i32]* %1, i64 2, i64 %46
%48 = load i32, i32* %47
%49 = load i32, i32* @MPFR_RNDN
%50 = tail call i32 @mpfr_mul(i32 undef, i32 undef, i32 %48, i32 %49)
%51 = sext i32 %29 to i64
%52 = getelementptr inbounds [7 x i32], [7 x i32]* %1, i64 3, i64 %51
%53 = load i32, i32* %52
%54 = load i32, i32* @MPFR_RNDN
%55 = tail call i32 @mpfr_mul(i32 undef, i32 undef, i32 %53, i32 %54)
%56 = sext i32 %28 to i64
%57 = getelementptr inbounds [7 x i32], [7 x i32]* %1, i64 4, i64 %56
%58 = load i32, i32* %57
%59 = load i32, i32* @MPFR_RNDN
%60 = tail call i32 @mpfr_mul(i32 undef, i32 undef, i32 %58, i32 %59)
%61 = sext i32 %27 to i64
%62 = getelementptr inbounds [7 x i32], [7 x i32]* %1, i64 5, i64 %61
%63 = load i32, i32* %62
%64 = load i32, i32* @MPFR_RNDN
%65 = tail call i32 @mpfr_mul(i32 undef, i32 undef, i32 %63, i32 %64)
%66 = sext i32 %26 to i64
%67 = getelementptr inbounds [7 x i32], [7 x i32]* %1, i64 6, i64 %66
%68 = load i32, i32* %67
%69 = load i32, i32* @MPFR_RNDN
%70 = tail call i32 @mpfr_mul(i32 undef, i32 undef, i32 %68, i32 %69)
%71 = load i32, i32* @MPFR_RNDN
%72 = tail call i32 @mpfr_add(i32 %0, i32 %0, i32 undef, i32 %71)
%73 = icmp slt i32 %27, %26
br i1 %73, label %84, label %74
74: ; preds = %25
%75 = icmp slt i32 %28, %27
br i1 %75, label %84, label %76
76: ; preds = %74
%77 = icmp slt i32 %29, %28
br i1 %77, label %84, label %78
78: ; preds = %76
%79 = icmp slt i32 %30, %29
br i1 %79, label %84, label %80
80: ; preds = %78
%81 = icmp slt i32 %31, %30
br i1 %81, label %84, label %82
82: ; preds = %80
%83 = icmp slt i32 %32, %31
br i1 %83, label %84, label %121
84: ; preds = %82, %80, %78, %76, %74, %25
%85 = phi i1 [ false, %25 ], [ true, %74 ], [ true, %76 ], [ true, %78 ], [ true, %80 ], [ true, %82 ]
%86 = phi i32 [ 5, %25 ], [ 4, %74 ], [ 3, %76 ], [ 2, %78 ], [ 1, %80 ], [ 0, %82 ]
%87 = zext i32 %86 to i64
%88 = getelementptr inbounds [7 x i32], [7 x i32]* %3, i64 0, i64 %87
%89 = load i32, i32* %88
%90 = icmp sgt i32 %26, %89
br i1 %90, label %97, label %91
91: ; preds = %84, %91
%92 = phi i64 [ %96, %91 ], [ 5, %84 ]
%93 = getelementptr inbounds [7 x i32], [7 x i32]* %3, i64 0, i64 %92
%94 = load i32, i32* %93
%95 = icmp sgt i32 %94, %89
%96 = add i64 %92, -1
br i1 %95, label %97, label %91
97: ; preds = %91, %84
%98 = phi i32 [ %26, %84 ], [ %94, %91 ]
%99 = phi i64 [ 6, %84 ], [ %92, %91 ]
%100 = trunc i64 %99 to i32
%101 = icmp eq i32 %86, %100
br i1 %101, label %105, label %102
102: ; preds = %97
%103 = getelementptr inbounds [7 x i32], [7 x i32]* %3, i64 0, i64 %99
store i32 %98, i32* %88
store i32 %89, i32* %103
%104 = sub nsw i32 0, %33
br label %105
105: ; preds = %102, %97
%106 = phi i32 [ %104, %102 ], [ %33, %97 ]
br i1 %85, label %107, label %16
107: ; preds = %105
%108 = add nuw nsw i64 %87, 1
br label %109
109: ; preds = %107, %109
%110 = phi i64 [ %108, %107 ], [ %119, %109 ]
%111 = phi i64 [ 6, %107 ], [ %118, %109 ]
%112 = phi i32 [ %106, %107 ], [ %117, %109 ]
%113 = getelementptr inbounds [7 x i32], [7 x i32]* %3, i64 0, i64 %111
%114 = load i32, i32* %113
%115 = getelementptr inbounds [7 x i32], [7 x i32]* %3, i64 0, i64 %110
%116 = load i32, i32* %115
store i32 %116, i32* %113
store i32 %114, i32* %115
%117 = sub nsw i32 0, %112
%118 = add nsw i64 %111, -1
%119 = add nuw nsw i64 %110, 1
%120 = icmp sgt i64 %118, %119
br i1 %120, label %109, label %16
121: ; preds = %82
ret void
}