#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*/ nobits(long long, int *);
int power(int);
long long whriglig(long long x, long long y, int d, long long arr[]) {
  int c1 = 0, c2 = 0, d1 = 0, d2 = 0, i;
  long long x1, y1, sum = 0;
  x1 = x - power(d - 1);
  y1 = y - power(d - 1);
  if (d == 1)
    return 1;
  nobits(x1, &d1);
  nobits(y1, &d2);
  for (i = d1 + 1; i < d2; i++)
    sum += arr[i];
  if (x1 == power(d1 - 1))
    c1 = 1;
  if (y1 == power(d2) - 1)
    c2 = 1;
  if (x1 == 0) {
    if (c2)
      sum += power(d - 1) + arr[d2];
    else
      sum += power(d - 1) + whriglig(power(d2 - 1), y1, d2, arr);
  } else if (c1) {
    if (c2) {
      if (d1 != d2)
        sum += arr[d1] + arr[d2];
      else
        sum += arr[d1];
    } else {
      if (d1 == d2)
        sum += whriglig(x1, y1, d1, arr);
      else
        sum += arr[d1] + whriglig(power(d2 - 1), y1, d2, arr);
    }
  } else {
    if (c2) {
      if (d1 == d2)
        sum += whriglig(x1, y1, d1, arr);
      else
        sum += arr[d2] + whriglig(x1, power(d1) - 1, d1, arr);
    } else {
      if (d1 == d2)
        sum += whriglig(x1, y1, d1, arr);
      else
        sum = whriglig(x1, power(d1) - 1, d1, arr) +
              whriglig(power(d2 - 1), y1, d2, arr);
    }
  }
  return sum;
}


x86 assembly (clang, -O0):
<whriglig>:
push   %rbp
mov    %rsp,%rbp
sub    $0xb0,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %edx,-0x1c(%rbp)
mov    %rcx,-0x28(%rbp)
movl   $0x0,-0x2c(%rbp)
movl   $0x0,-0x30(%rbp)
movl   $0x0,-0x34(%rbp)
movl   $0x0,-0x38(%rbp)
movq   $0x0,-0x58(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x68(%rbp)
mov    -0x1c(%rbp),%edi
sub    $0x1,%edi
call   1030 <power@plt>
mov    %eax,%ecx
mov    -0x68(%rbp),%rax
movslq %ecx,%rcx
sub    %rcx,%rax
mov    %rax,-0x48(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x60(%rbp)
mov    -0x1c(%rbp),%edi
sub    $0x1,%edi
call   1030 <power@plt>
mov    %eax,%ecx
mov    -0x60(%rbp),%rax
movslq %ecx,%rcx
sub    %rcx,%rax
mov    %rax,-0x50(%rbp)
cmpl   $0x1,-0x1c(%rbp)
jne    11cb <whriglig+0x9b>
movq   $0x1,-0x8(%rbp)
jmp    1506 <whriglig+0x3d6>
mov    -0x48(%rbp),%rdi
lea    -0x34(%rbp),%rsi
call   1050 <nobits@plt>
mov    -0x50(%rbp),%rdi
lea    -0x38(%rbp),%rsi
call   1050 <nobits@plt>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
mov    -0x3c(%rbp),%eax
cmp    -0x38(%rbp),%eax
jge    121c <whriglig+0xec>
mov    -0x28(%rbp),%rax
movslq -0x3c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
add    -0x58(%rbp),%rax
mov    %rax,-0x58(%rbp)
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    11ee <whriglig+0xbe>
mov    -0x48(%rbp),%rax
mov    %rax,-0x70(%rbp)
mov    -0x34(%rbp),%edi
sub    $0x1,%edi
call   1030 <power@plt>
mov    %eax,%ecx
mov    -0x70(%rbp),%rax
movslq %ecx,%rcx
cmp    %rcx,%rax
jne    1248 <whriglig+0x118>
movl   $0x1,-0x2c(%rbp)
mov    -0x50(%rbp),%rax
mov    %rax,-0x78(%rbp)
mov    -0x38(%rbp),%edi
call   1030 <power@plt>
mov    %eax,%ecx
mov    -0x78(%rbp),%rax
sub    $0x1,%ecx
movslq %ecx,%rcx
cmp    %rcx,%rax
jne    1274 <whriglig+0x144>
movl   $0x1,-0x30(%rbp)
cmpq   $0x0,-0x48(%rbp)
jne    12f5 <whriglig+0x1c5>
cmpl   $0x0,-0x30(%rbp)
je     12af <whriglig+0x17f>
mov    -0x1c(%rbp),%edi
sub    $0x1,%edi
call   1030 <power@plt>
cltq
mov    -0x28(%rbp),%rcx
movslq -0x38(%rbp),%rdx
add    (%rcx,%rdx,8),%rax
add    -0x58(%rbp),%rax
mov    %rax,-0x58(%rbp)
jmp    12f0 <whriglig+0x1c0>
mov    -0x1c(%rbp),%edi
sub    $0x1,%edi
call   1030 <power@plt>
cltq
mov    %rax,-0x80(%rbp)
mov    -0x38(%rbp),%edi
sub    $0x1,%edi
call   1030 <power@plt>
movslq %eax,%rdi
mov    -0x50(%rbp),%rsi
mov    -0x38(%rbp),%edx
mov    -0x28(%rbp),%rcx
call   1040 <whriglig@plt>
mov    %rax,%rcx
mov    -0x80(%rbp),%rax
add    %rcx,%rax
add    -0x58(%rbp),%rax
mov    %rax,-0x58(%rbp)
jmp    14fe <whriglig+0x3ce>
cmpl   $0x0,-0x2c(%rbp)
je     13d0 <whriglig+0x2a0>
cmpl   $0x0,-0x30(%rbp)
je     1353 <whriglig+0x223>
mov    -0x34(%rbp),%eax
cmp    -0x38(%rbp),%eax
je     133a <whriglig+0x20a>
mov    -0x28(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x28(%rbp),%rcx
movslq -0x38(%rbp),%rdx
add    (%rcx,%rdx,8),%rax
add    -0x58(%rbp),%rax
mov    %rax,-0x58(%rbp)
jmp    134e <whriglig+0x21e>
mov    -0x28(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
add    -0x58(%rbp),%rax
mov    %rax,-0x58(%rbp)
jmp    13cb <whriglig+0x29b>
mov    -0x34(%rbp),%eax
cmp    -0x38(%rbp),%eax
jne    1380 <whriglig+0x250>
mov    -0x48(%rbp),%rdi
mov    -0x50(%rbp),%rsi
mov    -0x34(%rbp),%edx
mov    -0x28(%rbp),%rcx
call   1040 <whriglig@plt>
add    -0x58(%rbp),%rax
mov    %rax,-0x58(%rbp)
jmp    13c6 <whriglig+0x296>
mov    -0x28(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0x88(%rbp)
mov    -0x38(%rbp),%edi
sub    $0x1,%edi
call   1030 <power@plt>
movslq %eax,%rdi
mov    -0x50(%rbp),%rsi
mov    -0x38(%rbp),%edx
mov    -0x28(%rbp),%rcx
call   1040 <whriglig@plt>
mov    %rax,%rcx
mov    -0x88(%rbp),%rax
add    %rcx,%rax
add    -0x58(%rbp),%rax
mov    %rax,-0x58(%rbp)
jmp    13cb <whriglig+0x29b>
jmp    14f9 <whriglig+0x3c9>
cmpl   $0x0,-0x30(%rbp)
je     1460 <whriglig+0x330>
mov    -0x34(%rbp),%eax
cmp    -0x38(%rbp),%eax
jne    1407 <whriglig+0x2d7>
mov    -0x48(%rbp),%rdi
mov    -0x50(%rbp),%rsi
mov    -0x34(%rbp),%edx
mov    -0x28(%rbp),%rcx
call   1040 <whriglig@plt>
add    -0x58(%rbp),%rax
mov    %rax,-0x58(%rbp)
jmp    145b <whriglig+0x32b>
mov    -0x28(%rbp),%rax
movslq -0x38(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0x90(%rbp)
mov    -0x48(%rbp),%rax
mov    %rax,-0x98(%rbp)
mov    -0x34(%rbp),%edi
call   1030 <power@plt>
mov    -0x98(%rbp),%rdi
sub    $0x1,%eax
movslq %eax,%rsi
mov    -0x34(%rbp),%edx
mov    -0x28(%rbp),%rcx
call   1040 <whriglig@plt>
mov    %rax,%rcx
mov    -0x90(%rbp),%rax
add    %rcx,%rax
add    -0x58(%rbp),%rax
mov    %rax,-0x58(%rbp)
jmp    14f4 <whriglig+0x3c4>
mov    -0x34(%rbp),%eax
cmp    -0x38(%rbp),%eax
jne    148d <whriglig+0x35d>
mov    -0x48(%rbp),%rdi
mov    -0x50(%rbp),%rsi
mov    -0x34(%rbp),%edx
mov    -0x28(%rbp),%rcx
call   1040 <whriglig@plt>
add    -0x58(%rbp),%rax
mov    %rax,-0x58(%rbp)
jmp    14ef <whriglig+0x3bf>
mov    -0x48(%rbp),%rax
mov    %rax,-0xa8(%rbp)
mov    -0x34(%rbp),%edi
call   1030 <power@plt>
mov    -0xa8(%rbp),%rdi
sub    $0x1,%eax
movslq %eax,%rsi
mov    -0x34(%rbp),%edx
mov    -0x28(%rbp),%rcx
call   1040 <whriglig@plt>
mov    %rax,-0xa0(%rbp)
mov    -0x38(%rbp),%edi
sub    $0x1,%edi
call   1030 <power@plt>
movslq %eax,%rdi
mov    -0x50(%rbp),%rsi
mov    -0x38(%rbp),%edx
mov    -0x28(%rbp),%rcx
call   1040 <whriglig@plt>
mov    %rax,%rcx
mov    -0xa0(%rbp),%rax
add    %rcx,%rax
mov    %rax,-0x58(%rbp)
jmp    14f4 <whriglig+0x3c4>
jmp    14f9 <whriglig+0x3c9>
jmp    14fe <whriglig+0x3ce>
mov    -0x58(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0xb0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<whriglig>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %rcx,%r12
mov    %edx,%r14d
mov    %rsi,%r15
mov    %rdi,%r13
movl   $0x0,0x8(%rsp)
movl   $0x0,0x4(%rsp)
lea    -0x1(%r14),%ebx
mov    %ebx,%edi
call   1030 <power@plt>
mov    %eax,%ebp
mov    %ebx,0xc(%rsp)
mov    %ebx,%edi
call   1030 <power@plt>
mov    $0x1,%ebx
cmp    $0x1,%r14d
je     13d6 <whriglig+0x2a6>
movslq %ebp,%rcx
sub    %rcx,%r13
cltq
sub    %rax,%r15
lea    0x8(%rsp),%rsi
mov    %r13,0x10(%rsp)
mov    %r13,%rdi
call   1050 <nobits@plt>
lea    0x4(%rsp),%rsi
mov    %r15,%rdi
call   1050 <nobits@plt>
mov    0x8(%rsp),%edi
mov    0x4(%rsp),%eax
lea    0x1(%rdi),%ecx
cmp    %eax,%ecx
jge    11d4 <whriglig+0xa4>
movslq %ecx,%rcx
mov    %eax,%r9d
sub    %edi,%r9d
add    $0xfffffffe,%r9d
cmp    $0x3,%r9d
jae    11db <whriglig+0xab>
xor    %ebx,%ebx
jmp    12e0 <whriglig+0x1b0>
xor    %ebx,%ebx
jmp    12ec <whriglig+0x1bc>
add    $0x1,%r9
mov    %r9,%r8
and    $0xfffffffffffffffc,%r8
lea    -0x4(%r8),%rdx
mov    %rdx,%rbp
shr    $0x2,%rbp
add    $0x1,%rbp
mov    %ebp,%esi
and    $0x3,%esi
cmp    $0xc,%rdx
jae    120c <whriglig+0xdc>
pxor   %xmm0,%xmm0
xor    %ebx,%ebx
pxor   %xmm1,%xmm1
jmp    1289 <whriglig+0x159>
and    $0xfffffffffffffffc,%rbp
lea    (%r12,%rcx,8),%rdx
add    $0x70,%rdx
pxor   %xmm0,%xmm0
xor    %ebx,%ebx
pxor   %xmm1,%xmm1
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movdqu -0x70(%rdx,%rbx,8),%xmm2
paddq  %xmm0,%xmm2
movdqu -0x60(%rdx,%rbx,8),%xmm0
paddq  %xmm1,%xmm0
movdqu -0x50(%rdx,%rbx,8),%xmm1
movdqu -0x40(%rdx,%rbx,8),%xmm3
movdqu -0x30(%rdx,%rbx,8),%xmm4
paddq  %xmm1,%xmm4
paddq  %xmm2,%xmm4
movdqu -0x20(%rdx,%rbx,8),%xmm2
paddq  %xmm3,%xmm2
paddq  %xmm0,%xmm2
movdqu -0x10(%rdx,%rbx,8),%xmm0
paddq  %xmm4,%xmm0
movdqu (%rdx,%rbx,8),%xmm1
paddq  %xmm2,%xmm1
add    $0x10,%rbx
add    $0xfffffffffffffffc,%rbp
jne    1230 <whriglig+0x100>
test   %rsi,%rsi
je     12bc <whriglig+0x18c>
add    %rcx,%rbx
lea    (%r12,%rbx,8),%rdx
add    $0x10,%rdx
shl    $0x5,%rsi
xor    %ebp,%ebp
nop
movdqu -0x10(%rdx,%rbp,1),%xmm2
paddq  %xmm2,%xmm0
movdqu (%rdx,%rbp,1),%xmm2
paddq  %xmm2,%xmm1
add    $0x20,%rbp
cmp    %rbp,%rsi
jne    12a0 <whriglig+0x170>
paddq  %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
paddq  %xmm0,%xmm1
movq   %xmm1,%rbx
cmp    %r8,%r9
je     12ec <whriglig+0x1bc>
add    %r8,%rcx
cs nopw 0x0(%rax,%rax,1)
add    (%r12,%rcx,8),%rbx
add    $0x1,%rcx
cmp    %ecx,%eax
jne    12e0 <whriglig+0x1b0>
add    $0xffffffff,%edi
call   1030 <power@plt>
mov    %eax,%ebp
mov    0x4(%rsp),%edi
call   1030 <power@plt>
add    $0xffffffff,%eax
movslq %eax,%r14
mov    0x10(%rsp),%rcx
test   %rcx,%rcx
je     1341 <whriglig+0x211>
movslq %ebp,%rax
movslq 0x8(%rsp),%rdx
movslq 0x4(%rsp),%rdi
cmp    %rax,%rcx
jne    1360 <whriglig+0x230>
cmp    %r14,%r15
jne    13a5 <whriglig+0x275>
mov    (%r12,%rdx,8),%rax
cmp    %edi,%edx
je     13d3 <whriglig+0x2a3>
add    %rbx,%rax
add    (%r12,%rdi,8),%rax
mov    %rax,%rbx
jmp    13d6 <whriglig+0x2a6>
mov    0xc(%rsp),%edi
call   1030 <power@plt>
movslq %eax,%rbp
movslq 0x4(%rsp),%rdi
cmp    %r14,%r15
jne    1386 <whriglig+0x256>
add    %rbp,%rbx
add    (%r12,%rdi,8),%rbx
jmp    13d6 <whriglig+0x2a6>
cmp    %r14,%r15
jne    13c1 <whriglig+0x291>
cmp    %edi,%edx
je     13c5 <whriglig+0x295>
add    (%r12,%rdi,8),%rbx
mov    %edx,%edi
mov    %rcx,%rbp
call   1030 <power@plt>
add    $0xffffffff,%eax
movslq %eax,%rsi
mov    0x8(%rsp),%edx
mov    %rbp,%rdi
jmp    13cb <whriglig+0x29b>
add    $0xffffffff,%edi
call   1030 <power@plt>
movslq %eax,%rdi
mov    0x4(%rsp),%edx
mov    %r15,%rsi
mov    %r12,%rcx
call   1040 <whriglig@plt>
add    %rbp,%rbx
jmp    13d3 <whriglig+0x2a3>
cmp    %edi,%edx
je     13c5 <whriglig+0x295>
add    $0xffffffff,%edi
add    (%r12,%rdx,8),%rbx
call   1030 <power@plt>
movslq %eax,%rdi
mov    0x4(%rsp),%edx
mov    %r15,%rsi
jmp    13cb <whriglig+0x29b>
cmp    %edi,%edx
jne    13e8 <whriglig+0x2b8>
mov    %rcx,%rdi
mov    %r15,%rsi
mov    %r12,%rcx
call   1040 <whriglig@plt>
add    %rax,%rbx
mov    %rbx,%rax
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    %edx,%edi
mov    %rcx,%rbx
call   1030 <power@plt>
add    $0xffffffff,%eax
movslq %eax,%rsi
mov    0x8(%rsp),%edx
mov    %rbx,%rdi
mov    %r12,%rcx
call   1040 <whriglig@plt>
mov    %rax,%r14
mov    0x4(%rsp),%edi
add    $0xffffffff,%edi
call   1030 <power@plt>
movslq %eax,%rdi
mov    0x4(%rsp),%edx
mov    %r15,%rsi
mov    %r12,%rcx
call   1040 <whriglig@plt>
mov    %rax,%rbx
add    %r14,%rbx
jmp    13d6 <whriglig+0x2a6>

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

LLVM IR (-O2):
define i64 @whriglig(i64 %0, i64 %1, i32 %2, i64* %3) {
%5 = alloca i32
%6 = alloca i32
%7 = bitcast i32* %5 to i8*
store i32 0, i32* %5
%8 = bitcast i32* %6 to i8*
store i32 0, i32* %6
%9 = add nsw i32 %2, -1
%10 = tail call i32 @power(i32 %9)
%11 = sext i32 %10 to i64
%12 = sub nsw i64 %0, %11
%13 = tail call i32 @power(i32 %9)
%14 = sext i32 %13 to i64
%15 = sub nsw i64 %1, %14
%16 = icmp eq i32 %2, 1
br i1 %16, label %225, label %17
17: ; preds = %4
%18 = call i32 @nobits(i64 %12, i32* %5)
%19 = call i32 @nobits(i64 %15, i32* %6)
%20 = load i32, i32* %5
%21 = load i32, i32* %6
%22 = add i32 %20, 1
%23 = icmp slt i32 %22, %21
br i1 %23, label %24, label %130
24: ; preds = %17
%25 = sext i32 %22 to i64
%26 = add i32 %21, -2
%27 = sub i32 %26, %20
%28 = zext i32 %27 to i64
%29 = add nuw nsw i64 %28, 1
%30 = icmp ult i32 %27, 3
br i1 %30, label %118, label %31
31: ; preds = %24
%32 = and i64 %29, 8589934588
%33 = add nsw i64 %32, %25
%34 = add nsw i64 %32, -4
%35 = lshr exact i64 %34, 2
%36 = add nuw nsw i64 %35, 1
%37 = and i64 %36, 3
%38 = icmp ult i64 %34, 12
br i1 %38, label %88, label %39
39: ; preds = %31
%40 = and i64 %36, 9223372036854775804
br label %41
41: ; preds = %41, %39
%42 = phi i64 [ 0, %39 ], [ %85, %41 ]
%43 = phi <2 x i64> [ zeroinitializer, %39 ], [ %83, %41 ]
%44 = phi <2 x i64> [ zeroinitializer, %39 ], [ %84, %41 ]
%45 = phi i64 [ 0, %39 ], [ %86, %41 ]
%46 = add i64 %42, %25
%47 = getelementptr inbounds i64, i64* %3, i64 %46
%48 = bitcast i64* %47 to <2 x i64>*
%49 = load <2 x i64>, <2 x i64>* %48
%50 = getelementptr inbounds i64, i64* %47, i64 2
%51 = bitcast i64* %50 to <2 x i64>*
%52 = load <2 x i64>, <2 x i64>* %51
%53 = add <2 x i64> %49, %43
%54 = add <2 x i64> %52, %44
%55 = or i64 %42, 4
%56 = add i64 %55, %25
%57 = getelementptr inbounds i64, i64* %3, i64 %56
%58 = bitcast i64* %57 to <2 x i64>*
%59 = load <2 x i64>, <2 x i64>* %58
%60 = getelementptr inbounds i64, i64* %57, i64 2
%61 = bitcast i64* %60 to <2 x i64>*
%62 = load <2 x i64>, <2 x i64>* %61
%63 = add <2 x i64> %59, %53
%64 = add <2 x i64> %62, %54
%65 = or i64 %42, 8
%66 = add i64 %65, %25
%67 = getelementptr inbounds i64, i64* %3, i64 %66
%68 = bitcast i64* %67 to <2 x i64>*
%69 = load <2 x i64>, <2 x i64>* %68
%70 = getelementptr inbounds i64, i64* %67, i64 2
%71 = bitcast i64* %70 to <2 x i64>*
%72 = load <2 x i64>, <2 x i64>* %71
%73 = add <2 x i64> %69, %63
%74 = add <2 x i64> %72, %64
%75 = or i64 %42, 12
%76 = add i64 %75, %25
%77 = getelementptr inbounds i64, i64* %3, i64 %76
%78 = bitcast i64* %77 to <2 x i64>*
%79 = load <2 x i64>, <2 x i64>* %78
%80 = getelementptr inbounds i64, i64* %77, i64 2
%81 = bitcast i64* %80 to <2 x i64>*
%82 = load <2 x i64>, <2 x i64>* %81
%83 = add <2 x i64> %79, %73
%84 = add <2 x i64> %82, %74
%85 = add nuw i64 %42, 16
%86 = add nuw i64 %45, 4
%87 = icmp eq i64 %86, %40
br i1 %87, label %88, label %41
88: ; preds = %41, %31
%89 = phi <2 x i64> [ undef, %31 ], [ %83, %41 ]
%90 = phi <2 x i64> [ undef, %31 ], [ %84, %41 ]
%91 = phi i64 [ 0, %31 ], [ %85, %41 ]
%92 = phi <2 x i64> [ zeroinitializer, %31 ], [ %83, %41 ]
%93 = phi <2 x i64> [ zeroinitializer, %31 ], [ %84, %41 ]
%94 = icmp eq i64 %37, 0
br i1 %94, label %112, label %95
95: ; preds = %88, %95
%96 = phi i64 [ %109, %95 ], [ %91, %88 ]
%97 = phi <2 x i64> [ %107, %95 ], [ %92, %88 ]
%98 = phi <2 x i64> [ %108, %95 ], [ %93, %88 ]
%99 = phi i64 [ %110, %95 ], [ 0, %88 ]
%100 = add i64 %96, %25
%101 = getelementptr inbounds i64, i64* %3, i64 %100
%102 = bitcast i64* %101 to <2 x i64>*
%103 = load <2 x i64>, <2 x i64>* %102
%104 = getelementptr inbounds i64, i64* %101, i64 2
%105 = bitcast i64* %104 to <2 x i64>*
%106 = load <2 x i64>, <2 x i64>* %105
%107 = add <2 x i64> %103, %97
%108 = add <2 x i64> %106, %98
%109 = add nuw i64 %96, 4
%110 = add i64 %99, 1
%111 = icmp eq i64 %110, %37
br i1 %111, label %112, label %95
112: ; preds = %95, %88
%113 = phi <2 x i64> [ %89, %88 ], [ %107, %95 ]
%114 = phi <2 x i64> [ %90, %88 ], [ %108, %95 ]
%115 = add <2 x i64> %114, %113
%116 = call i64 @llvm.vector.reduce.add.v2i64(<2 x i64> %115)
%117 = icmp eq i64 %29, %32
br i1 %117, label %130, label %118
118: ; preds = %24, %112
%119 = phi i64 [ %25, %24 ], [ %33, %112 ]
%120 = phi i64 [ 0, %24 ], [ %116, %112 ]
br label %121
121: ; preds = %118, %121
%122 = phi i64 [ %127, %121 ], [ %119, %118 ]
%123 = phi i64 [ %126, %121 ], [ %120, %118 ]
%124 = getelementptr inbounds i64, i64* %3, i64 %122
%125 = load i64, i64* %124
%126 = add nsw i64 %125, %123
%127 = add nsw i64 %122, 1
%128 = trunc i64 %127 to i32
%129 = icmp eq i32 %21, %128
br i1 %129, label %130, label %121
130: ; preds = %121, %112, %17
%131 = phi i64 [ 0, %17 ], [ %116, %112 ], [ %126, %121 ]
%132 = add nsw i32 %20, -1
%133 = call i32 @power(i32 %132)
%134 = load i32, i32* %6
%135 = call i32 @power(i32 %134)
%136 = add nsw i32 %135, -1
%137 = sext i32 %136 to i64
%138 = icmp eq i64 %15, %137
%139 = icmp eq i64 %12, 0
br i1 %139, label %140, label %158
140: ; preds = %130
%141 = call i32 @power(i32 %9)
%142 = sext i32 %141 to i64
%143 = load i32, i32* %6
br i1 %138, label %144, label %150
144: ; preds = %140
%145 = sext i32 %143 to i64
%146 = getelementptr inbounds i64, i64* %3, i64 %145
%147 = load i64, i64* %146
%148 = add i64 %131, %142
%149 = add i64 %148, %147
br label %225
150: ; preds = %140
%151 = add nsw i32 %143, -1
%152 = call i32 @power(i32 %151)
%153 = sext i32 %152 to i64
%154 = load i32, i32* %6
%155 = call i64 @whriglig(i64 %153, i64 %15, i32 %154, i64* %3)
%156 = add i64 %131, %142
%157 = add i64 %156, %155
br label %225
158: ; preds = %130
%159 = sext i32 %133 to i64
%160 = icmp eq i64 %12, %159
%161 = load i32, i32* %5
%162 = load i32, i32* %6
%163 = icmp eq i32 %161, %162
br i1 %160, label %164, label %192
164: ; preds = %158
br i1 %138, label %165, label %177
165: ; preds = %164
%166 = sext i32 %161 to i64
%167 = getelementptr inbounds i64, i64* %3, i64 %166
%168 = load i64, i64* %167
br i1 %163, label %175, label %169
169: ; preds = %165
%170 = sext i32 %162 to i64
%171 = getelementptr inbounds i64, i64* %3, i64 %170
%172 = load i64, i64* %171
%173 = add i64 %168, %131
%174 = add i64 %173, %172
br label %225
175: ; preds = %165
%176 = add nsw i64 %168, %131
br label %225
177: ; preds = %164
br i1 %163, label %178, label %181
178: ; preds = %177
%179 = call i64 @whriglig(i64 %12, i64 %15, i32 %161, i64* %3)
%180 = add nsw i64 %179, %131
br label %225
181: ; preds = %177
%182 = sext i32 %161 to i64
%183 = getelementptr inbounds i64, i64* %3, i64 %182
%184 = load i64, i64* %183
%185 = add nsw i32 %162, -1
%186 = call i32 @power(i32 %185)
%187 = sext i32 %186 to i64
%188 = load i32, i32* %6
%189 = call i64 @whriglig(i64 %187, i64 %15, i32 %188, i64* %3)
%190 = add i64 %184, %131
%191 = add i64 %190, %189
br label %225
192: ; preds = %158
br i1 %138, label %193, label %208
193: ; preds = %192
br i1 %163, label %194, label %197
194: ; preds = %193
%195 = call i64 @whriglig(i64 %12, i64 %15, i32 %161, i64* %3)
%196 = add nsw i64 %195, %131
br label %225
197: ; preds = %193
%198 = sext i32 %162 to i64
%199 = getelementptr inbounds i64, i64* %3, i64 %198
%200 = load i64, i64* %199
%201 = call i32 @power(i32 %161)
%202 = add nsw i32 %201, -1
%203 = sext i32 %202 to i64
%204 = load i32, i32* %5
%205 = call i64 @whriglig(i64 %12, i64 %203, i32 %204, i64* %3)
%206 = add i64 %200, %131
%207 = add i64 %206, %205
br label %225
208: ; preds = %192
br i1 %163, label %209, label %212
209: ; preds = %208
%210 = call i64 @whriglig(i64 %12, i64 %15, i32 %161, i64* %3)
%211 = add nsw i64 %210, %131
br label %225
212: ; preds = %208
%213 = call i32 @power(i32 %161)
%214 = add nsw i32 %213, -1
%215 = sext i32 %214 to i64
%216 = load i32, i32* %5
%217 = call i64 @whriglig(i64 %12, i64 %215, i32 %216, i64* %3)
%218 = load i32, i32* %6
%219 = add nsw i32 %218, -1
%220 = call i32 @power(i32 %219)
%221 = sext i32 %220 to i64
%222 = load i32, i32* %6
%223 = call i64 @whriglig(i64 %221, i64 %15, i32 %222, i64* %3)
%224 = add nsw i64 %223, %217
br label %225
225: ; preds = %150, %144, %197, %194, %212, %209, %175, %169, %181, %178, %4
%226 = phi i64 [ 1, %4 ], [ %149, %144 ], [ %157, %150 ], [ %174, %169 ], [ %176, %175 ], [ %180, %178 ], [ %191, %181 ], [ %196, %194 ], [ %207, %197 ], [ %211, %209 ], [ %224, %212 ]
ret i64 %226
}