#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 *alloca(int);
int main() {
  int *i = alloca(sizeof(int));
  int *c = alloca(sizeof(int));
  *i = 0;
  *c = 0;
  while (*i < 20) {
    (*i)++;
    if (*i <= 10)
      continue;
    (*c)++;
  }
  return *c;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
movl   $0x0,-0x4(%rbp)
mov    $0x4,%edi
call   1030 <alloca@plt>
mov    %rax,-0x10(%rbp)
mov    $0x4,%edi
call   1030 <alloca@plt>
mov    %rax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movl   $0x0,(%rax)
mov    -0x18(%rbp),%rax
movl   $0x0,(%rax)
mov    -0x10(%rbp),%rax
cmpl   $0x14,(%rax)
jge    1189 <main+0x79>
mov    -0x10(%rbp),%rax
mov    (%rax),%ecx
add    $0x1,%ecx
mov    %ecx,(%rax)
mov    -0x10(%rbp),%rax
cmpl   $0xa,(%rax)
jg     1179 <main+0x69>
jmp    114f <main+0x3f>
mov    -0x18(%rbp),%rax
mov    (%rax),%ecx
add    $0x1,%ecx
mov    %ecx,(%rax)
jmp    114f <main+0x3f>
mov    -0x18(%rbp),%rax
mov    (%rax),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %r14
push   %rbx
push   %rax
mov    $0x4,%edi
call   1030 <alloca@plt>
mov    %rax,%r14
mov    $0x4,%edi
call   1030 <alloca@plt>
movl   $0x0,(%r14)
xor    %ecx,%ecx
mov    $0x8,%r8d
mov    %ecx,(%rax)
mov    (%r14),%r9d
cmp    $0x15,%r9d
mov    $0x14,%edx
cmovge %r9d,%edx
cmp    $0xb,%r9d
mov    $0xa,%esi
cmovge %r9d,%esi
mov    %edx,%edi
sub    %r9d,%edi
mov    %esi,%ecx
sub    %r9d,%ecx
cmp    %ecx,%edi
cmovb  %edi,%ecx
lea    0x1(%rcx),%edi
cmp    $0x9,%edi
jae    1180 <main+0x70>
mov    %r9d,%edi
jmp    11ad <main+0x9d>
cs nopw 0x0(%rax,%rax,1)
nop
mov    %edi,%ebx
and    $0x7,%ebx
cmove  %r8d,%ebx
sub    %ebx,%edi
add    %r9d,%edi
not    %ecx
add    %ebx,%ecx
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
add    $0xfffffff8,%ebx
cmp    %ebx,%ecx
jne    11a0 <main+0x90>
sub    %ebx,%r9d
mov    %r9d,(%r14)
sub    %edi,%edx
nop
sub    $0x1,%edx
jb     11cb <main+0xbb>
lea    0x1(%rdi),%ecx
mov    %ecx,(%r14)
cmp    %esi,%edi
mov    %ecx,%edi
jne    11b0 <main+0xa0>
mov    (%rax),%ecx
add    $0x1,%ecx
jmp    113a <main+0x2a>
mov    (%rax),%eax
add    $0x8,%rsp
pop    %rbx
pop    %r14
ret

LLVM IR (-O0):
define i32 @main() {
%1 = alloca i32
%2 = alloca i32*
%3 = alloca i32*
store i32 0, i32* %1
%4 = call i32* @alloca(i32 4)
store i32* %4, i32** %2
%5 = call i32* @alloca(i32 4)
store i32* %5, i32** %3
%6 = load i32*, i32** %2
store i32 0, i32* %6
%7 = load i32*, i32** %3
store i32 0, i32* %7
br label %8
8: ; preds = %20, %19, %0
%9 = load i32*, i32** %2
%10 = load i32, i32* %9
%11 = icmp slt i32 %10, 20
br i1 %11, label %12, label %24
12: ; preds = %8
%13 = load i32*, i32** %2
%14 = load i32, i32* %13
%15 = add nsw i32 %14, 1
store i32 %15, i32* %13
%16 = load i32*, i32** %2
%17 = load i32, i32* %16
%18 = icmp sle i32 %17, 10
br i1 %18, label %19, label %20
19: ; preds = %12
br label %8
20: ; preds = %12
%21 = load i32*, i32** %3
%22 = load i32, i32* %21
%23 = add nsw i32 %22, 1
store i32 %23, i32* %21
br label %8
24: ; preds = %8
%25 = load i32*, i32** %3
%26 = load i32, i32* %25
ret i32 %26
}

LLVM IR (-O2):
define i32 @main() {
%1 = tail call i32* @alloca(i32 4)
%2 = tail call i32* @alloca(i32 4)
store i32 0, i32* %1
br label %3
3: ; preds = %0, %36
%4 = phi i32 [ 0, %0 ], [ %38, %36 ]
store i32 %4, i32* %2
%5 = load i32, i32* %1
%6 = call i32 @llvm.smax.i32(i32 %5, i32 20)
%7 = call i32 @llvm.smax.i32(i32 %5, i32 10)
%8 = sub i32 %6, %5
%9 = sub i32 %7, %5
%10 = call i32 @llvm.umin.i32(i32 %8, i32 %9)
%11 = add i32 %10, 1
%12 = icmp ult i32 %11, 9
br i1 %12, label %28, label %13
13: ; preds = %3
%14 = and i32 %11, 7
%15 = icmp eq i32 %14, 0
%16 = select i1 %15, i32 8, i32 %14
%17 = sub i32 %11, %16
%18 = add i32 %5, %17
%19 = add i32 %5, 3
br label %20
20: ; preds = %20, %13
%21 = phi i32 [ 0, %13 ], [ %24, %20 ]
%22 = phi i32 [ %19, %13 ], [ %25, %20 ]
%23 = add i32 %22, 5
%24 = add nuw i32 %21, 8
%25 = add i32 %22, 8
%26 = icmp eq i32 %24, %17
br i1 %26, label %27, label %20
27: ; preds = %20
store i32 %23, i32* %1
br label %28
28: ; preds = %27, %3
%29 = phi i32 [ %5, %3 ], [ %18, %27 ]
br label %30
30: ; preds = %28, %33
%31 = phi i32 [ %34, %33 ], [ %29, %28 ]
%32 = icmp eq i32 %31, %6
br i1 %32, label %39, label %33
33: ; preds = %30
%34 = add i32 %31, 1
store i32 %34, i32* %1
%35 = icmp eq i32 %31, %7
br i1 %35, label %36, label %30
36: ; preds = %33
%37 = load i32, i32* %2
%38 = add nsw i32 %37, 1
br label %3
39: ; preds = %30
%40 = load i32, i32* %2
ret i32 %40
}