#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*/ printf(char *, ...);
int /*<<< orphan*/ recursesort(double *, int, int *, int *);
void mergesort(double *vals, int nvals, int *indices, int *space) {
  extern int DEBUG_BPMATCH;
  int flag;
  int i;
  for (i = 0; i < nvals; i++)
    indices[i] = i;
  recursesort(vals, nvals, indices, space);
  if (DEBUG_BPMATCH > 0) {
    flag = 0;
    for (i = 1; i < nvals; i++) {
      if (vals[indices[i - 1]] > vals[indices[i]])
        flag = 1;
    }
    if (flag) {
      printf("List improperly sorted in mergesort\n");
      if (DEBUG_BPMATCH > 1) {
        for (i = 1; i < nvals; i++) {
          printf("%d  %f\n", indices[i], vals[indices[i]]);
        }
      }
    }
  }
}


x86 assembly (clang, -O0):
<mergesort>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    1166 <mergesort+0x46>
mov    -0x28(%rbp),%edx
mov    -0x18(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    113e <mergesort+0x1e>
mov    -0x8(%rbp),%rdi
mov    -0xc(%rbp),%esi
mov    -0x18(%rbp),%rdx
mov    -0x20(%rbp),%rcx
call   1030 <recursesort@plt>
mov    0x2e5f(%rip),%rax
cmpl   $0x0,(%rax)
jle    1279 <mergesort+0x159>
movl   $0x0,-0x24(%rbp)
movl   $0x1,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    11f3 <mergesort+0xd3>
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%rcx
mov    -0x28(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
movslq (%rcx,%rdx,4),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%rcx
movslq -0x28(%rbp),%rdx
movslq (%rcx,%rdx,4),%rcx
ucomisd (%rax,%rcx,8),%xmm0
jbe    11e0 <mergesort+0xc0>
movl   $0x1,-0x24(%rbp)
jmp    11e5 <mergesort+0xc5>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1198 <mergesort+0x78>
cmpl   $0x0,-0x24(%rbp)
je     1274 <mergesort+0x154>
lea    0xdfc(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
mov    0x2dce(%rip),%rax
cmpl   $0x1,(%rax)
jle    126f <mergesort+0x14f>
movl   $0x1,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    126a <mergesort+0x14a>
mov    -0x18(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,4),%esi
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%rcx
movslq -0x28(%rbp),%rdx
movslq (%rcx,%rdx,4),%rcx
movsd  (%rax,%rcx,8),%xmm0
lea    0xdd0(%rip),%rdi
mov    $0x1,%al
call   1040 <printf@plt>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1222 <mergesort+0x102>
jmp    126f <mergesort+0x14f>
jmp    1274 <mergesort+0x154>
jmp    1279 <mergesort+0x159>
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<mergesort>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rdx,%rbx
mov    %esi,%r13d
mov    %rdi,%r14
test   %esi,%esi
jle    12bc <mergesort+0x18c>
mov    %r13d,%eax
cmp    $0x8,%r13d
jae    115c <mergesort+0x2c>
xor    %edx,%edx
jmp    12b0 <mergesort+0x180>
mov    %eax,%edx
and    $0xfffffff8,%edx
lea    -0x8(%rdx),%rbp
mov    %rbp,%rdi
shr    $0x3,%rdi
add    $0x1,%rdi
mov    %edi,%esi
and    $0x3,%esi
cmp    $0x18,%rbp
jae    118a <mergesort+0x5a>
movdqa 0xe7d(%rip),%xmm0
xor    %ebp,%ebp
jmp    1258 <mergesort+0x128>
and    $0xfffffffffffffffc,%rdi
movdqa 0xe6a(%rip),%xmm0
xor    %ebp,%ebp
movdqa 0xe6f(%rip),%xmm8
movdqa 0xe76(%rip),%xmm9
movdqa 0xe7d(%rip),%xmm10
movdqa 0xe85(%rip),%xmm4
movdqa 0xe8d(%rip),%xmm5
movdqa 0xe95(%rip),%xmm6
movdqa 0xe9d(%rip),%xmm7
movdqa 0xea5(%rip),%xmm1
nopl   0x0(%rax,%rax,1)
movdqa %xmm0,%xmm2
paddd  %xmm8,%xmm2
movdqu %xmm0,(%rbx,%rbp,4)
movdqu %xmm2,0x10(%rbx,%rbp,4)
movdqa %xmm0,%xmm2
paddd  %xmm9,%xmm2
movdqa %xmm0,%xmm3
paddd  %xmm10,%xmm3
movdqu %xmm2,0x20(%rbx,%rbp,4)
movdqu %xmm3,0x30(%rbx,%rbp,4)
movdqa %xmm0,%xmm2
paddd  %xmm4,%xmm2
movdqa %xmm0,%xmm3
paddd  %xmm5,%xmm3
movdqu %xmm2,0x40(%rbx,%rbp,4)
movdqu %xmm3,0x50(%rbx,%rbp,4)
movdqa %xmm0,%xmm2
paddd  %xmm6,%xmm2
movdqa %xmm0,%xmm3
paddd  %xmm7,%xmm3
movdqu %xmm2,0x60(%rbx,%rbp,4)
movdqu %xmm3,0x70(%rbx,%rbp,4)
add    $0x20,%rbp
paddd  %xmm1,%xmm0
add    $0xfffffffffffffffc,%rdi
jne    11e0 <mergesort+0xb0>
test   %rsi,%rsi
je     12a0 <mergesort+0x170>
lea    (%rbx,%rbp,4),%rdi
add    $0x10,%rdi
shl    $0x5,%rsi
xor    %ebp,%ebp
movdqa 0xd9d(%rip),%xmm1
movdqa 0xda5(%rip),%xmm2
nopl   0x0(%rax,%rax,1)
movdqa %xmm0,%xmm3
paddd  %xmm1,%xmm3
movdqu %xmm0,-0x10(%rdi,%rbp,1)
movdqu %xmm3,(%rdi,%rbp,1)
paddd  %xmm2,%xmm0
add    $0x20,%rbp
cmp    %rbp,%rsi
jne    1280 <mergesort+0x150>
cmp    %rax,%rdx
je     12bc <mergesort+0x18c>
cs nopw 0x0(%rax,%rax,1)
nop
mov    %edx,(%rbx,%rdx,4)
add    $0x1,%rdx
cmp    %rdx,%rax
jne    12b0 <mergesort+0x180>
mov    %r14,%rdi
mov    %r13d,%esi
mov    %rbx,%rdx
call   1040 <recursesort@plt>
mov    0x2d0f(%rip),%r12
cmpl   $0x0,(%r12)
jle    140d <mergesort+0x2dd>
cmp    $0x2,%r13d
jl     140d <mergesort+0x2dd>
mov    %r13d,%r15d
movslq (%rbx),%rax
movsd  (%r14,%rax,8),%xmm0
lea    -0x1(%r15),%rsi
lea    -0x2(%r15),%rcx
mov    %esi,%eax
and    $0x3,%eax
cmp    $0x3,%rcx
jae    1316 <mergesort+0x1e6>
xor    %ecx,%ecx
mov    $0x1,%edx
test   %rax,%rax
jne    138a <mergesort+0x25a>
jmp    13be <mergesort+0x28e>
and    $0xfffffffffffffffc,%rsi
xor    %ecx,%ecx
mov    $0x1,%edi
xor    %edx,%edx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movslq 0x4(%rbx,%rdx,4),%rbp
movsd  (%r14,%rbp,8),%xmm1
ucomisd %xmm1,%xmm0
cmova  %edi,%ecx
movslq 0x8(%rbx,%rdx,4),%rbp
movsd  (%r14,%rbp,8),%xmm0
ucomisd %xmm0,%xmm1
cmova  %edi,%ecx
movslq 0xc(%rbx,%rdx,4),%rbp
movsd  (%r14,%rbp,8),%xmm1
ucomisd %xmm1,%xmm0
cmova  %edi,%ecx
movslq 0x10(%rbx,%rdx,4),%rbp
movsd  (%r14,%rbp,8),%xmm0
ucomisd %xmm0,%xmm1
cmova  %edi,%ecx
add    $0x4,%rdx
cmp    %rdx,%rsi
jne    1330 <mergesort+0x200>
add    $0x1,%rdx
test   %rax,%rax
je     13be <mergesort+0x28e>
lea    (%rbx,%rdx,4),%rdx
xor    %esi,%esi
mov    $0x1,%edi
cs nopw 0x0(%rax,%rax,1)
nop
movslq (%rdx,%rsi,4),%rbp
movsd  (%r14,%rbp,8),%xmm1
ucomisd %xmm1,%xmm0
cmova  %edi,%ecx
add    $0x1,%rsi
movapd %xmm1,%xmm0
cmp    %rsi,%rax
jne    13a0 <mergesort+0x270>
test   %ecx,%ecx
je     140d <mergesort+0x2dd>
lea    0xccf(%rip),%rdi
call   1030 <puts@plt>
cmpl   $0x2,(%r12)
jl     140d <mergesort+0x2dd>
cmp    $0x2,%r13d
jl     140d <mergesort+0x2dd>
mov    $0x1,%ebp
lea    0xca9(%rip),%r12
nopw   0x0(%rax,%rax,1)
movslq (%rbx,%rbp,4),%rsi
movsd  (%r14,%rsi,8),%xmm0
mov    %r12,%rdi
mov    $0x1,%al
call   1050 <printf@plt>
add    $0x1,%rbp
cmp    %rbp,%r15
jne    13f0 <mergesort+0x2c0>
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@DEBUG_BPMATCH = external global i32
@.str = [37 x i8] c"List improperly sorted in mergesort\0A\00"
@.str.1 = [8 x i8] c"%d %f\0A\00"
define void @mergesort(double* %0, i32 %1, i32* %2, i32* %3) {
%5 = alloca double*
%6 = alloca i32
%7 = alloca i32*
%8 = alloca i32*
%9 = alloca i32
%10 = alloca i32
store double* %0, double** %5
store i32 %1, i32* %6
store i32* %2, i32** %7
store i32* %3, i32** %8
store i32 0, i32* %10
br label %11
11: ; preds = %21, %4
%12 = load i32, i32* %10
%13 = load i32, i32* %6
%14 = icmp slt i32 %12, %13
br i1 %14, label %15, label %24
15: ; preds = %11
%16 = load i32, i32* %10
%17 = load i32*, i32** %7
%18 = load i32, i32* %10
%19 = sext i32 %18 to i64
%20 = getelementptr inbounds i32, i32* %17, i64 %19
store i32 %16, i32* %20
br label %21
21: ; preds = %15
%22 = load i32, i32* %10
%23 = add nsw i32 %22, 1
store i32 %23, i32* %10
br label %11
24: ; preds = %11
%25 = load double*, double** %5
%26 = load i32, i32* %6
%27 = load i32*, i32** %7
%28 = load i32*, i32** %8
%29 = call i32 @recursesort(double* %25, i32 %26, i32* %27, i32* %28)
%30 = load i32, i32* @DEBUG_BPMATCH
%31 = icmp sgt i32 %30, 0
br i1 %31, label %32, label %97
32: ; preds = %24
store i32 0, i32* %9
store i32 1, i32* %10
br label %33
33: ; preds = %60, %32
%34 = load i32, i32* %10
%35 = load i32, i32* %6
%36 = icmp slt i32 %34, %35
br i1 %36, label %37, label %63
37: ; preds = %33
%38 = load double*, double** %5
%39 = load i32*, i32** %7
%40 = load i32, i32* %10
%41 = sub nsw i32 %40, 1
%42 = sext i32 %41 to i64
%43 = getelementptr inbounds i32, i32* %39, i64 %42
%44 = load i32, i32* %43
%45 = sext i32 %44 to i64
%46 = getelementptr inbounds double, double* %38, i64 %45
%47 = load double, double* %46
%48 = load double*, double** %5
%49 = load i32*, i32** %7
%50 = load i32, i32* %10
%51 = sext i32 %50 to i64
%52 = getelementptr inbounds i32, i32* %49, i64 %51
%53 = load i32, i32* %52
%54 = sext i32 %53 to i64
%55 = getelementptr inbounds double, double* %48, i64 %54
%56 = load double, double* %55
%57 = fcmp ogt double %47, %56
br i1 %57, label %58, label %59
58: ; preds = %37
store i32 1, i32* %9
br label %59
59: ; preds = %58, %37
br label %60
60: ; preds = %59
%61 = load i32, i32* %10
%62 = add nsw i32 %61, 1
store i32 %62, i32* %10
br label %33
63: ; preds = %33
%64 = load i32, i32* %9
%65 = icmp ne i32 %64, 0
br i1 %65, label %66, label %96
66: ; preds = %63
%67 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([37 x i8], [37 x i8]* @.str, i64 0, i64 0))
%68 = load i32, i32* @DEBUG_BPMATCH
%69 = icmp sgt i32 %68, 1
br i1 %69, label %70, label %95
70: ; preds = %66
store i32 1, i32* %10
br label %71
71: ; preds = %91, %70
%72 = load i32, i32* %10
%73 = load i32, i32* %6
%74 = icmp slt i32 %72, %73
br i1 %74, label %75, label %94
75: ; preds = %71
%76 = load i32*, i32** %7
%77 = load i32, i32* %10
%78 = sext i32 %77 to i64
%79 = getelementptr inbounds i32, i32* %76, i64 %78
%80 = load i32, i32* %79
%81 = load double*, double** %5
%82 = load i32*, i32** %7
%83 = load i32, i32* %10
%84 = sext i32 %83 to i64
%85 = getelementptr inbounds i32, i32* %82, i64 %84
%86 = load i32, i32* %85
%87 = sext i32 %86 to i64
%88 = getelementptr inbounds double, double* %81, i64 %87
%89 = load double, double* %88
%90 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), i32 %80, double %89)
br label %91
91: ; preds = %75
%92 = load i32, i32* %10
%93 = add nsw i32 %92, 1
store i32 %93, i32* %10
br label %71
94: ; preds = %71
br label %95
95: ; preds = %94, %66
br label %96
96: ; preds = %95, %63
br label %97
97: ; preds = %96, %24
ret void
}

LLVM IR (-O2):
@DEBUG_BPMATCH = external global i32
@.str.1 = [8 x i8] c"%d %f\0A\00"
@str = [36 x i8] c"List improperly sorted in mergesort\00"
define void @mergesort(double* %0, i32 %1, i32* %2, i32* %3) {
%5 = icmp sgt i32 %1, 0
br i1 %5, label %6, label %79
6: ; preds = %4
%7 = zext i32 %1 to i64
%8 = icmp ult i32 %1, 8
br i1 %8, label %71, label %9
9: ; preds = %6
%10 = and i64 %7, 4294967288
%11 = add nsw i64 %10, -8
%12 = lshr exact i64 %11, 3
%13 = add nuw nsw i64 %12, 1
%14 = and i64 %13, 3
%15 = icmp ult i64 %11, 24
br i1 %15, label %52, label %16
16: ; preds = %9
%17 = and i64 %13, 4611686018427387900
br label %18
18: ; preds = %18, %16
%19 = phi i64 [ 0, %16 ], [ %48, %18 ]
%20 = phi <4 x i32> [ <i32 0, i32 1, i32 2, i32 3>, %16 ], [ %49, %18 ]
%21 = phi i64 [ 0, %16 ], [ %50, %18 ]
%22 = add <4 x i32> %20, <i32 4, i32 4, i32 4, i32 4>
%23 = getelementptr inbounds i32, i32* %2, i64 %19
%24 = bitcast i32* %23 to <4 x i32>*
store <4 x i32> %20, <4 x i32>* %24
%25 = getelementptr inbounds i32, i32* %23, i64 4
%26 = bitcast i32* %25 to <4 x i32>*
store <4 x i32> %22, <4 x i32>* %26
%27 = or i64 %19, 8
%28 = add <4 x i32> %20, <i32 8, i32 8, i32 8, i32 8>
%29 = add <4 x i32> %20, <i32 12, i32 12, i32 12, i32 12>
%30 = getelementptr inbounds i32, i32* %2, i64 %27
%31 = bitcast i32* %30 to <4 x i32>*
store <4 x i32> %28, <4 x i32>* %31
%32 = getelementptr inbounds i32, i32* %30, i64 4
%33 = bitcast i32* %32 to <4 x i32>*
store <4 x i32> %29, <4 x i32>* %33
%34 = or i64 %19, 16
%35 = add <4 x i32> %20, <i32 16, i32 16, i32 16, i32 16>
%36 = add <4 x i32> %20, <i32 20, i32 20, i32 20, i32 20>
%37 = getelementptr inbounds i32, i32* %2, i64 %34
%38 = bitcast i32* %37 to <4 x i32>*
store <4 x i32> %35, <4 x i32>* %38
%39 = getelementptr inbounds i32, i32* %37, i64 4
%40 = bitcast i32* %39 to <4 x i32>*
store <4 x i32> %36, <4 x i32>* %40
%41 = or i64 %19, 24
%42 = add <4 x i32> %20, <i32 24, i32 24, i32 24, i32 24>
%43 = add <4 x i32> %20, <i32 28, i32 28, i32 28, i32 28>
%44 = getelementptr inbounds i32, i32* %2, i64 %41
%45 = bitcast i32* %44 to <4 x i32>*
store <4 x i32> %42, <4 x i32>* %45
%46 = getelementptr inbounds i32, i32* %44, i64 4
%47 = bitcast i32* %46 to <4 x i32>*
store <4 x i32> %43, <4 x i32>* %47
%48 = add nuw i64 %19, 32
%49 = add <4 x i32> %20, <i32 32, i32 32, i32 32, i32 32>
%50 = add i64 %21, 4
%51 = icmp eq i64 %50, %17
br i1 %51, label %52, label %18
52: ; preds = %18, %9
%53 = phi i64 [ 0, %9 ], [ %48, %18 ]
%54 = phi <4 x i32> [ <i32 0, i32 1, i32 2, i32 3>, %9 ], [ %49, %18 ]
%55 = icmp eq i64 %14, 0
br i1 %55, label %69, label %56
56: ; preds = %52, %56
%57 = phi i64 [ %65, %56 ], [ %53, %52 ]
%58 = phi <4 x i32> [ %66, %56 ], [ %54, %52 ]
%59 = phi i64 [ %67, %56 ], [ 0, %52 ]
%60 = add <4 x i32> %58, <i32 4, i32 4, i32 4, i32 4>
%61 = getelementptr inbounds i32, i32* %2, i64 %57
%62 = bitcast i32* %61 to <4 x i32>*
store <4 x i32> %58, <4 x i32>* %62
%63 = getelementptr inbounds i32, i32* %61, i64 4
%64 = bitcast i32* %63 to <4 x i32>*
store <4 x i32> %60, <4 x i32>* %64
%65 = add nuw i64 %57, 8
%66 = add <4 x i32> %58, <i32 8, i32 8, i32 8, i32 8>
%67 = add i64 %59, 1
%68 = icmp eq i64 %67, %14
br i1 %68, label %69, label %56
69: ; preds = %56, %52
%70 = icmp eq i64 %10, %7
br i1 %70, label %79, label %71
71: ; preds = %6, %69
%72 = phi i64 [ 0, %6 ], [ %10, %69 ]
br label %73
73: ; preds = %71, %73
%74 = phi i64 [ %77, %73 ], [ %72, %71 ]
%75 = getelementptr inbounds i32, i32* %2, i64 %74
%76 = trunc i64 %74 to i32
store i32 %76, i32* %75
%77 = add nuw nsw i64 %74, 1
%78 = icmp eq i64 %77, %7
br i1 %78, label %79, label %73
79: ; preds = %73, %69, %4
%80 = tail call i32 @recursesort(double* %0, i32 %1, i32* %2, i32* %3)
%81 = load i32, i32* @DEBUG_BPMATCH
%82 = icmp sgt i32 %81, 0
br i1 %82, label %83, label %177
83: ; preds = %79
%84 = icmp sgt i32 %1, 1
br i1 %84, label %85, label %177
85: ; preds = %83
%86 = zext i32 %1 to i64
%87 = load i32, i32* %2
%88 = sext i32 %87 to i64
%89 = getelementptr inbounds double, double* %0, i64 %88
%90 = load double, double* %89
%91 = add nsw i64 %86, -1
%92 = add nsw i64 %86, -2
%93 = and i64 %91, 3
%94 = icmp ult i64 %92, 3
br i1 %94, label %136, label %95
95: ; preds = %85
%96 = and i64 %91, -4
br label %97
97: ; preds = %97, %95
%98 = phi double [ %90, %95 ], [ %127, %97 ]
%99 = phi i64 [ 1, %95 ], [ %133, %97 ]
%100 = phi i32 [ 0, %95 ], [ %132, %97 ]
%101 = phi i64 [ 0, %95 ], [ %134, %97 ]
%102 = getelementptr inbounds i32, i32* %2, i64 %99
%103 = load i32, i32* %102
%104 = sext i32 %103 to i64
%105 = getelementptr inbounds double, double* %0, i64 %104
%106 = load double, double* %105
%107 = fcmp ogt double %98, %106
%108 = add nuw nsw i64 %99, 1
%109 = getelementptr inbounds i32, i32* %2, i64 %108
%110 = load i32, i32* %109
%111 = sext i32 %110 to i64
%112 = getelementptr inbounds double, double* %0, i64 %111
%113 = load double, double* %112
%114 = fcmp ogt double %106, %113
%115 = add nuw nsw i64 %99, 2
%116 = getelementptr inbounds i32, i32* %2, i64 %115
%117 = load i32, i32* %116
%118 = sext i32 %117 to i64
%119 = getelementptr inbounds double, double* %0, i64 %118
%120 = load double, double* %119
%121 = fcmp ogt double %113, %120
%122 = add nuw nsw i64 %99, 3
%123 = getelementptr inbounds i32, i32* %2, i64 %122
%124 = load i32, i32* %123
%125 = sext i32 %124 to i64
%126 = getelementptr inbounds double, double* %0, i64 %125
%127 = load double, double* %126
%128 = fcmp ogt double %120, %127
%129 = select i1 %128, i1 true, i1 %121
%130 = select i1 %129, i1 true, i1 %114
%131 = select i1 %130, i1 true, i1 %107
%132 = select i1 %131, i32 1, i32 %100
%133 = add nuw nsw i64 %99, 4
%134 = add i64 %101, 4
%135 = icmp eq i64 %134, %96
br i1 %135, label %136, label %97
136: ; preds = %97, %85
%137 = phi i32 [ undef, %85 ], [ %132, %97 ]
%138 = phi double [ %90, %85 ], [ %127, %97 ]
%139 = phi i64 [ 1, %85 ], [ %133, %97 ]
%140 = phi i32 [ 0, %85 ], [ %132, %97 ]
%141 = icmp eq i64 %93, 0
br i1 %141, label %157, label %142
142: ; preds = %136, %142
%143 = phi double [ %151, %142 ], [ %138, %136 ]
%144 = phi i64 [ %154, %142 ], [ %139, %136 ]
%145 = phi i32 [ %153, %142 ], [ %140, %136 ]
%146 = phi i64 [ %155, %142 ], [ 0, %136 ]
%147 = getelementptr inbounds i32, i32* %2, i64 %144
%148 = load i32, i32* %147
%149 = sext i32 %148 to i64
%150 = getelementptr inbounds double, double* %0, i64 %149
%151 = load double, double* %150
%152 = fcmp ogt double %143, %151
%153 = select i1 %152, i32 1, i32 %145
%154 = add nuw nsw i64 %144, 1
%155 = add i64 %146, 1
%156 = icmp eq i64 %155, %93
br i1 %156, label %157, label %142
157: ; preds = %142, %136
%158 = phi i32 [ %137, %136 ], [ %153, %142 ]
%159 = icmp eq i32 %158, 0
br i1 %159, label %177, label %160
160: ; preds = %157
%161 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([36 x i8], [36 x i8]* @str, i64 0, i64 0))
%162 = load i32, i32* @DEBUG_BPMATCH
%163 = icmp sgt i32 %162, 1
%164 = and i1 %163, %84
br i1 %164, label %165, label %177
165: ; preds = %160
%166 = zext i32 %1 to i64
br label %167
167: ; preds = %165, %167
%168 = phi i64 [ 1, %165 ], [ %175, %167 ]
%169 = getelementptr inbounds i32, i32* %2, i64 %168
%170 = load i32, i32* %169
%171 = sext i32 %170 to i64
%172 = getelementptr inbounds double, double* %0, i64 %171
%173 = load double, double* %172
%174 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), i32 %170, double %173)
%175 = add nuw nsw i64 %168, 1
%176 = icmp eq i64 %175, %166
br i1 %176, label %177, label %167
177: ; preds = %167, %83, %157, %160, %79
ret void
}