#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);
void find_two_excessive(int *arr, int sum) {
  for (int i = 1; i < 9; i++) {
    for (int j = 0; j < i; j++) {
      if (sum - arr[i] - arr[j] == 100) {
        for (int k = 0; k < 9; k++) {
          if (k != i && k != j)
            printf("%d\n", arr[k]);
        }
        return;
      }
    }
  }
}


x86 assembly (clang, -O0):
<find_two_excessive>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
movl   $0x1,-0x10(%rbp)
cmpl   $0x9,-0x10(%rbp)
jge    11e3 <find_two_excessive+0xd3>
movl   $0x0,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x10(%rbp),%eax
jge    11d0 <find_two_excessive+0xc0>
mov    -0xc(%rbp),%eax
mov    -0x8(%rbp),%rcx
movslq -0x10(%rbp),%rdx
sub    (%rcx,%rdx,4),%eax
mov    -0x8(%rbp),%rcx
movslq -0x14(%rbp),%rdx
sub    (%rcx,%rdx,4),%eax
cmp    $0x64,%eax
jne    11bd <find_two_excessive+0xad>
movl   $0x0,-0x18(%rbp)
cmpl   $0x9,-0x18(%rbp)
jge    11b8 <find_two_excessive+0xa8>
mov    -0x18(%rbp),%eax
cmp    -0x10(%rbp),%eax
je     11a5 <find_two_excessive+0x95>
mov    -0x18(%rbp),%eax
cmp    -0x14(%rbp),%eax
je     11a5 <find_two_excessive+0x95>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%esi
lea    0xe60(%rip),%rdi
call   1030 <printf@plt>
jmp    11aa <find_two_excessive+0x9a>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    116c <find_two_excessive+0x5c>
jmp    11e3 <find_two_excessive+0xd3>
jmp    11c2 <find_two_excessive+0xb2>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1137 <find_two_excessive+0x27>
jmp    11d5 <find_two_excessive+0xc5>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1126 <find_two_excessive+0x16>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<find_two_excessive>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %rdi,%rbx
mov    (%rdi),%r11d
mov    0x4(%rdi),%ecx
mov    %esi,%edi
sub    %ecx,%edi
sub    %r11d,%edi
cmp    $0x64,%edi
jne    115f <find_two_excessive+0x4f>
mov    $0x1,%al
xor    %r14d,%r14d
xor    %ecx,%ecx
mov    %rcx,0x10(%rsp)
xor    %ecx,%ecx
mov    %rcx,(%rsp)
xor    %ebp,%ebp
xor    %r15d,%r15d
xor    %r12d,%r12d
xor    %r13d,%r13d
xor    %ecx,%ecx
test   %al,%al
je     120f <find_two_excessive+0xff>
jmp    124c <find_two_excessive+0x13c>
mov    0x8(%rbx),%edx
mov    %esi,%eax
sub    %edx,%eax
sub    %r11d,%eax
cmp    $0x64,%eax
jne    118d <find_two_excessive+0x7d>
mov    $0x1,%cl
xor    %r14d,%r14d
xor    %eax,%eax
mov    %rax,0x10(%rsp)
xor    %eax,%eax
mov    %rax,(%rsp)
xor    %ebp,%ebp
xor    %r15d,%r15d
xor    %r12d,%r12d
xor    %r13d,%r13d
jmp    1209 <find_two_excessive+0xf9>
mov    %esi,%edi
sub    %edx,%edi
sub    %ecx,%edi
mov    $0x1,%r14d
cmp    $0x64,%edi
jne    11d9 <find_two_excessive+0xc9>
mov    $0x1,%al
mov    %rax,0x8(%rsp)
xor    %r13d,%r13d
xor    %r12d,%r12d
xor    %r15d,%r15d
xor    %ebp,%ebp
xor    %eax,%eax
mov    %rax,(%rsp)
xor    %eax,%eax
mov    %rax,0x10(%rsp)
lea    0xe3c(%rip),%rdi
mov    %r11d,%esi
call   1030 <printf@plt>
xor    %eax,%eax
mov    0x8(%rsp),%rcx
test   %al,%al
je     120f <find_two_excessive+0xff>
jmp    124c <find_two_excessive+0x13c>
mov    0xc(%rbx),%edi
mov    %esi,%ebp
sub    %edi,%ebp
sub    %r11d,%ebp
cmp    $0x64,%ebp
jne    1323 <find_two_excessive+0x213>
mov    $0x1,%r13b
xor    %r14d,%r14d
xor    %eax,%eax
mov    %rax,0x10(%rsp)
xor    %eax,%eax
mov    %rax,(%rsp)
xor    %ebp,%ebp
xor    %r15d,%r15d
xor    %r12d,%r12d
xor    %ecx,%ecx
xor    %eax,%eax
test   %al,%al
jne    124c <find_two_excessive+0x13c>
cmp    $0x1,%r14d
je     124c <find_two_excessive+0x13c>
mov    0x4(%rbx),%esi
lea    0xde1(%rip),%rdi
mov    %r14,0x8(%rsp)
mov    %r13,%r14
mov    %r12,%r13
mov    %r15,%r12
mov    %rbp,%r15
mov    %rcx,%rbp
call   1030 <printf@plt>
mov    %rbp,%rcx
mov    %r15,%rbp
mov    %r12,%r15
mov    %r13,%r12
mov    %r14,%r13
mov    0x8(%rsp),%r14
cmp    $0x2,%r14d
sete   %al
or     %al,%cl
jne    1266 <find_two_excessive+0x156>
mov    0x8(%rbx),%esi
lea    0xd9f(%rip),%rdi
call   1030 <printf@plt>
cmp    $0x3,%r14d
sete   %al
or     %al,%r13b
jne    1281 <find_two_excessive+0x171>
mov    0xc(%rbx),%esi
lea    0xd84(%rip),%rdi
call   1030 <printf@plt>
cmp    $0x4,%r14d
sete   %al
or     %al,%r12b
jne    129c <find_two_excessive+0x18c>
mov    0x10(%rbx),%esi
lea    0xd69(%rip),%rdi
call   1030 <printf@plt>
cmp    $0x5,%r14d
sete   %al
or     %al,%r15b
jne    12b7 <find_two_excessive+0x1a7>
mov    0x14(%rbx),%esi
lea    0xd4e(%rip),%rdi
call   1030 <printf@plt>
cmp    $0x6,%r14d
sete   %al
or     %al,%bpl
jne    12d2 <find_two_excessive+0x1c2>
mov    0x18(%rbx),%esi
lea    0xd33(%rip),%rdi
call   1030 <printf@plt>
cmp    $0x7,%r14d
sete   %al
mov    (%rsp),%rcx
or     %al,%cl
jne    12f0 <find_two_excessive+0x1e0>
mov    0x1c(%rbx),%esi
lea    0xd15(%rip),%rdi
call   1030 <printf@plt>
cmpb   $0x0,0x10(%rsp)
je     1306 <find_two_excessive+0x1f6>
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    0x20(%rbx),%esi
lea    0xcf0(%rip),%rdi
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1030 <printf@plt>
mov    %esi,%ebp
sub    %edi,%ebp
sub    %ecx,%ebp
mov    $0x1,%r13b
cmp    $0x64,%ebp
jne    133d <find_two_excessive+0x22d>
xor    %eax,%eax
mov    %rax,0x8(%rsp)
jmp    11a8 <find_two_excessive+0x98>
mov    %esi,%ebp
sub    %edi,%ebp
sub    %edx,%ebp
cmp    $0x64,%ebp
jne    136f <find_two_excessive+0x25f>
xor    %eax,%eax
mov    %rax,0x8(%rsp)
xor    %r12d,%r12d
xor    %r15d,%r15d
xor    %ebp,%ebp
xor    %eax,%eax
mov    %rax,(%rsp)
xor    %eax,%eax
mov    %rax,0x10(%rsp)
mov    $0x2,%r14d
jmp    11bd <find_two_excessive+0xad>
mov    0x10(%rbx),%r8d
mov    %esi,%ebp
sub    %r8d,%ebp
sub    %r11d,%ebp
cmp    $0x64,%ebp
jne    13a0 <find_two_excessive+0x290>
mov    $0x1,%r12b
xor    %r14d,%r14d
xor    %eax,%eax
mov    %rax,0x10(%rsp)
xor    %eax,%eax
mov    %rax,(%rsp)
xor    %ebp,%ebp
xor    %r15d,%r15d
xor    %r13d,%r13d
jmp    1207 <find_two_excessive+0xf7>
mov    %esi,%ebp
sub    %r8d,%ebp
sub    %ecx,%ebp
mov    $0x1,%r12b
cmp    $0x64,%ebp
jne    13be <find_two_excessive+0x2ae>
xor    %eax,%eax
mov    %rax,0x8(%rsp)
xor    %r13d,%r13d
jmp    11ab <find_two_excessive+0x9b>
mov    %esi,%ebp
sub    %r8d,%ebp
sub    %edx,%ebp
cmp    $0x64,%ebp
jne    13d9 <find_two_excessive+0x2c9>
xor    %eax,%eax
mov    %rax,0x8(%rsp)
xor    %r13d,%r13d
jmp    1352 <find_two_excessive+0x242>
mov    %esi,%ebp
sub    %r8d,%ebp
sub    %edi,%ebp
cmp    $0x64,%ebp
jne    140c <find_two_excessive+0x2fc>
xor    %eax,%eax
mov    %rax,0x8(%rsp)
xor    %r13d,%r13d
xor    %r15d,%r15d
xor    %ebp,%ebp
xor    %eax,%eax
mov    %rax,(%rsp)
xor    %eax,%eax
mov    %rax,0x10(%rsp)
mov    $0x3,%r14d
jmp    11bd <find_two_excessive+0xad>
mov    0x14(%rbx),%r9d
mov    %esi,%ebp
sub    %r9d,%ebp
sub    %r11d,%ebp
cmp    $0x64,%ebp
jne    143a <find_two_excessive+0x32a>
mov    $0x1,%r15b
xor    %r14d,%r14d
xor    %eax,%eax
mov    %rax,0x10(%rsp)
xor    %eax,%eax
mov    %rax,(%rsp)
xor    %ebp,%ebp
xor    %r12d,%r12d
jmp    1398 <find_two_excessive+0x288>
mov    %esi,%ebp
sub    %r9d,%ebp
sub    %ecx,%ebp
mov    $0x1,%r15b
cmp    $0x64,%ebp
jne    145b <find_two_excessive+0x34b>
xor    %eax,%eax
mov    %rax,0x8(%rsp)
xor    %r13d,%r13d
xor    %r12d,%r12d
jmp    11ae <find_two_excessive+0x9e>
mov    %esi,%ebp
sub    %r9d,%ebp
sub    %edx,%ebp
cmp    $0x64,%ebp
jne    1479 <find_two_excessive+0x369>
xor    %eax,%eax
mov    %rax,0x8(%rsp)
xor    %r13d,%r13d
xor    %r12d,%r12d
jmp    1355 <find_two_excessive+0x245>
mov    %esi,%ebp
sub    %r9d,%ebp
sub    %edi,%ebp
cmp    $0x64,%ebp
jne    1497 <find_two_excessive+0x387>
xor    %eax,%eax
mov    %rax,0x8(%rsp)
xor    %r13d,%r13d
xor    %r12d,%r12d
jmp    13f2 <find_two_excessive+0x2e2>
mov    %esi,%ebp
sub    %r9d,%ebp
sub    %r8d,%ebp
cmp    $0x64,%ebp
jne    14ce <find_two_excessive+0x3be>
xor    %eax,%eax
mov    %rax,0x8(%rsp)
xor    %r13d,%r13d
xor    %r12d,%r12d
xor    %ebp,%ebp
xor    %eax,%eax
mov    %rax,(%rsp)
xor    %eax,%eax
mov    %rax,0x10(%rsp)
mov    $0x4,%r14d
mov    $0x1,%r15b
jmp    11bd <find_two_excessive+0xad>
mov    %rbx,%r14
mov    0x18(%rbx),%r10d
mov    %esi,%ebp
sub    %r10d,%ebp
sub    %r11d,%ebp
cmp    $0x64,%ebp
jne    1512 <find_two_excessive+0x402>
mov    $0x1,%bpl
xor    %eax,%eax
mov    %rax,0x10(%rsp)
xor    %eax,%eax
mov    %rax,(%rsp)
xor    %r15d,%r15d
xor    %r12d,%r12d
xor    %r13d,%r13d
xor    %ecx,%ecx
xor    %eax,%eax
mov    %r14,%rbx
xor    %r14d,%r14d
test   %al,%al
je     120f <find_two_excessive+0xff>
jmp    124c <find_two_excessive+0x13c>
mov    %esi,%eax
sub    %r10d,%eax
sub    %ecx,%eax
cmp    $0x64,%eax
jne    154c <find_two_excessive+0x43c>
xor    %eax,%eax
mov    %rax,0x8(%rsp)
xor    %r13d,%r13d
xor    %r12d,%r12d
xor    %r15d,%r15d
xor    %eax,%eax
mov    %rax,(%rsp)
xor    %eax,%eax
mov    %rax,0x10(%rsp)
mov    $0x1,%bpl
mov    %r14,%rbx
mov    $0x1,%r14d
jmp    11bd <find_two_excessive+0xad>
mov    %esi,%eax
sub    %r10d,%eax
sub    %edx,%eax
cmp    $0x64,%eax
jne    1586 <find_two_excessive+0x476>
xor    %eax,%eax
mov    %rax,0x8(%rsp)
xor    %r13d,%r13d
xor    %r12d,%r12d
xor    %r15d,%r15d
xor    %eax,%eax
mov    %rax,(%rsp)
xor    %eax,%eax
mov    %rax,0x10(%rsp)
mov    $0x1,%bpl
mov    %r14,%rbx
mov    $0x2,%r14d
jmp    11bd <find_two_excessive+0xad>
mov    %esi,%eax
sub    %r10d,%eax
sub    %edi,%eax
cmp    $0x64,%eax
jne    15c0 <find_two_excessive+0x4b0>
xor    %eax,%eax
mov    %rax,0x8(%rsp)
xor    %r13d,%r13d
xor    %r12d,%r12d
xor    %r15d,%r15d
xor    %eax,%eax
mov    %rax,(%rsp)
xor    %eax,%eax
mov    %rax,0x10(%rsp)
mov    $0x1,%bpl
mov    %r14,%rbx
mov    $0x3,%r14d
jmp    11bd <find_two_excessive+0xad>
mov    %esi,%eax
sub    %r10d,%eax
sub    %r8d,%eax
cmp    $0x64,%eax
jne    15fb <find_two_excessive+0x4eb>
xor    %eax,%eax
mov    %rax,0x8(%rsp)
xor    %r13d,%r13d
xor    %r12d,%r12d
xor    %r15d,%r15d
xor    %eax,%eax
mov    %rax,(%rsp)
xor    %eax,%eax
mov    %rax,0x10(%rsp)
mov    $0x1,%bpl
mov    %r14,%rbx
mov    $0x4,%r14d
jmp    11bd <find_two_excessive+0xad>
mov    %esi,%eax
sub    %r10d,%eax
sub    %r9d,%eax
cmp    $0x64,%eax
jne    1636 <find_two_excessive+0x526>
xor    %eax,%eax
mov    %rax,0x8(%rsp)
xor    %r13d,%r13d
xor    %r12d,%r12d
xor    %r15d,%r15d
xor    %eax,%eax
mov    %rax,(%rsp)
xor    %eax,%eax
mov    %rax,0x10(%rsp)
mov    $0x1,%bpl
mov    %r14,%rbx
mov    $0x5,%r14d
jmp    11bd <find_two_excessive+0xad>
mov    0x1c(%r14),%r15d
mov    %esi,%ebp
sub    %r15d,%ebp
sub    %r11d,%ebp
cmp    $0x64,%ebp
jne    165b <find_two_excessive+0x54b>
mov    $0x1,%al
mov    %rax,(%rsp)
xor    %eax,%eax
mov    %rax,0x10(%rsp)
xor    %ebp,%ebp
jmp    14f2 <find_two_excessive+0x3e2>
mov    %esi,%ebp
sub    %r15d,%ebp
sub    %ecx,%ebp
mov    $0x1,%al
mov    %rax,(%rsp)
cmp    $0x64,%ebp
jne    168b <find_two_excessive+0x57b>
xor    %eax,%eax
mov    %rax,0x8(%rsp)
xor    %r13d,%r13d
xor    %r12d,%r12d
xor    %r15d,%r15d
xor    %ebp,%ebp
xor    %eax,%eax
mov    %rax,0x10(%rsp)
jmp    153e <find_two_excessive+0x42e>
mov    %esi,%ebp
sub    %r15d,%ebp
sub    %edx,%ebp
cmp    $0x64,%ebp
jne    16b5 <find_two_excessive+0x5a5>
xor    %eax,%eax
mov    %rax,0x8(%rsp)
xor    %r13d,%r13d
xor    %r12d,%r12d
xor    %r15d,%r15d
xor    %ebp,%ebp
xor    %eax,%eax
mov    %rax,0x10(%rsp)
jmp    1578 <find_two_excessive+0x468>
mov    %esi,%ebp
sub    %r15d,%ebp
sub    %edi,%ebp
cmp    $0x64,%ebp
jne    16df <find_two_excessive+0x5cf>
xor    %eax,%eax
mov    %rax,0x8(%rsp)
xor    %r13d,%r13d
xor    %r12d,%r12d
xor    %r15d,%r15d
xor    %ebp,%ebp
xor    %eax,%eax
mov    %rax,0x10(%rsp)
jmp    15b2 <find_two_excessive+0x4a2>
mov    %esi,%ebp
sub    %r15d,%ebp
sub    %r8d,%ebp
cmp    $0x64,%ebp
jne    170a <find_two_excessive+0x5fa>
xor    %eax,%eax
mov    %rax,0x8(%rsp)
xor    %r13d,%r13d
xor    %r12d,%r12d
xor    %r15d,%r15d
xor    %ebp,%ebp
xor    %eax,%eax
mov    %rax,0x10(%rsp)
jmp    15ed <find_two_excessive+0x4dd>
mov    %esi,%ebp
sub    %r15d,%ebp
sub    %r9d,%ebp
cmp    $0x64,%ebp
jne    1735 <find_two_excessive+0x625>
xor    %eax,%eax
mov    %rax,0x8(%rsp)
xor    %r13d,%r13d
xor    %r12d,%r12d
xor    %r15d,%r15d
xor    %ebp,%ebp
xor    %eax,%eax
mov    %rax,0x10(%rsp)
jmp    1628 <find_two_excessive+0x518>
mov    %esi,%ebp
sub    %r15d,%ebp
sub    %r10d,%ebp
cmp    $0x64,%ebp
jne    1769 <find_two_excessive+0x659>
xor    %eax,%eax
mov    %rax,0x8(%rsp)
xor    %r13d,%r13d
xor    %r12d,%r12d
xor    %r15d,%r15d
xor    %ebp,%ebp
xor    %eax,%eax
mov    %rax,0x10(%rsp)
mov    %r14,%rbx
mov    $0x6,%r14d
jmp    11bd <find_two_excessive+0xad>
mov    0x20(%r14),%r12d
mov    %esi,%eax
sub    %r12d,%eax
sub    %r11d,%eax
cmp    $0x64,%eax
jne    178c <find_two_excessive+0x67c>
mov    $0x1,%al
mov    %rax,0x10(%rsp)
xor    %eax,%eax
mov    %rax,(%rsp)
jmp    1654 <find_two_excessive+0x544>
add    %r12d,%ecx
mov    %esi,%eax
sub    %ecx,%eax
mov    $0x1,%cl
mov    %rcx,0x10(%rsp)
cmp    $0x64,%eax
jne    17bc <find_two_excessive+0x6ac>
xor    %eax,%eax
mov    %rax,0x8(%rsp)
xor    %r13d,%r13d
xor    %r12d,%r12d
xor    %r15d,%r15d
xor    %ebp,%ebp
xor    %eax,%eax
mov    %rax,(%rsp)
jmp    153e <find_two_excessive+0x42e>
add    %r12d,%edx
mov    %esi,%eax
sub    %edx,%eax
cmp    $0x64,%eax
jne    17e5 <find_two_excessive+0x6d5>
xor    %eax,%eax
mov    %rax,0x8(%rsp)
xor    %r13d,%r13d
xor    %r12d,%r12d
xor    %r15d,%r15d
xor    %ebp,%ebp
xor    %eax,%eax
mov    %rax,(%rsp)
jmp    1578 <find_two_excessive+0x468>
add    %r12d,%edi
mov    %esi,%eax
sub    %edi,%eax
cmp    $0x64,%eax
jne    180e <find_two_excessive+0x6fe>
xor    %eax,%eax
mov    %rax,0x8(%rsp)
xor    %r13d,%r13d
xor    %r12d,%r12d
xor    %r15d,%r15d
xor    %ebp,%ebp
xor    %eax,%eax
mov    %rax,(%rsp)
jmp    15b2 <find_two_excessive+0x4a2>
add    %r12d,%r8d
mov    %esi,%eax
sub    %r8d,%eax
cmp    $0x64,%eax
jne    1838 <find_two_excessive+0x728>
xor    %eax,%eax
mov    %rax,0x8(%rsp)
xor    %r13d,%r13d
xor    %r12d,%r12d
xor    %r15d,%r15d
xor    %ebp,%ebp
xor    %eax,%eax
mov    %rax,(%rsp)
jmp    15ed <find_two_excessive+0x4dd>
add    %r12d,%r9d
mov    %esi,%eax
sub    %r9d,%eax
cmp    $0x64,%eax
jne    1862 <find_two_excessive+0x752>
xor    %eax,%eax
mov    %rax,0x8(%rsp)
xor    %r13d,%r13d
xor    %r12d,%r12d
xor    %r15d,%r15d
xor    %ebp,%ebp
xor    %eax,%eax
mov    %rax,(%rsp)
jmp    1628 <find_two_excessive+0x518>
add    %r12d,%r10d
mov    %esi,%eax
sub    %r10d,%eax
cmp    $0x64,%eax
jne    188c <find_two_excessive+0x77c>
xor    %eax,%eax
mov    %rax,0x8(%rsp)
xor    %r13d,%r13d
xor    %r12d,%r12d
xor    %r15d,%r15d
xor    %ebp,%ebp
xor    %eax,%eax
mov    %rax,(%rsp)
jmp    175b <find_two_excessive+0x64b>
add    %r15d,%r12d
sub    %r12d,%esi
cmp    $0x64,%esi
jne    12f7 <find_two_excessive+0x1e7>
mov    %r14,%rbx
mov    $0x7,%r14d
xor    %eax,%eax
mov    %rax,0x8(%rsp)
xor    %r13d,%r13d
xor    %r12d,%r12d
xor    %r15d,%r15d
xor    %ebp,%ebp
xor    %eax,%eax
mov    %rax,(%rsp)
jmp    11bd <find_two_excessive+0xad>

LLVM IR (-O0):
@.str = [4 x i8] c"%d\0A\00"
define void @find_two_excessive(i32* %0, i32 %1) {
%3 = alloca i32*
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
store i32* %0, i32** %3
store i32 %1, i32* %4
store i32 1, i32* %5
br label %8
8: ; preds = %60, %2
%9 = load i32, i32* %5
%10 = icmp slt i32 %9, 9
br i1 %10, label %11, label %63
11: ; preds = %8
store i32 0, i32* %6
br label %12
12: ; preds = %56, %11
%13 = load i32, i32* %6
%14 = load i32, i32* %5
%15 = icmp slt i32 %13, %14
br i1 %15, label %16, label %59
16: ; preds = %12
%17 = load i32, i32* %4
%18 = load i32*, i32** %3
%19 = load i32, i32* %5
%20 = sext i32 %19 to i64
%21 = getelementptr inbounds i32, i32* %18, i64 %20
%22 = load i32, i32* %21
%23 = sub nsw i32 %17, %22
%24 = load i32*, i32** %3
%25 = load i32, i32* %6
%26 = sext i32 %25 to i64
%27 = getelementptr inbounds i32, i32* %24, i64 %26
%28 = load i32, i32* %27
%29 = sub nsw i32 %23, %28
%30 = icmp eq i32 %29, 100
br i1 %30, label %31, label %55
31: ; preds = %16
store i32 0, i32* %7
br label %32
32: ; preds = %51, %31
%33 = load i32, i32* %7
%34 = icmp slt i32 %33, 9
br i1 %34, label %35, label %54
35: ; preds = %32
%36 = load i32, i32* %7
%37 = load i32, i32* %5
%38 = icmp ne i32 %36, %37
br i1 %38, label %39, label %50
39: ; preds = %35
%40 = load i32, i32* %7
%41 = load i32, i32* %6
%42 = icmp ne i32 %40, %41
br i1 %42, label %43, label %50
43: ; preds = %39
%44 = load i32*, i32** %3
%45 = load i32, i32* %7
%46 = sext i32 %45 to i64
%47 = getelementptr inbounds i32, i32* %44, i64 %46
%48 = load i32, i32* %47
%49 = call i32 @printf(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i64 0, i64 0), i32 %48)
br label %50
50: ; preds = %43, %39, %35
br label %51
51: ; preds = %50
%52 = load i32, i32* %7
%53 = add nsw i32 %52, 1
store i32 %53, i32* %7
br label %32
54: ; preds = %32
br label %63
55: ; preds = %16
br label %56
56: ; preds = %55
%57 = load i32, i32* %6
%58 = add nsw i32 %57, 1
store i32 %58, i32* %6
br label %12
59: ; preds = %12
br label %60
60: ; preds = %59
%61 = load i32, i32* %5
%62 = add nsw i32 %61, 1
store i32 %62, i32* %5
br label %8
63: ; preds = %54, %8
ret void
}

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