#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*/ abort();
int /*<<< orphan*/ exit(int /*<<< orphan*/);
int f1(int);
int f2(int);
int f3(long long);
int f4(long long);
main() {
  int i;
  for (i = 0; i <= 10; i++) {
    if (f1(i) != i)
      abort();
    if (f1(-i) != i)
      abort();
    if (f2(i) != i)
      abort();
    if (f2(-i) != i)
      abort();
    if (f3((long long)i) != i)
      abort();
    if (f3((long long)-i) != i)
      abort();
    if (f4((long long)i) != i)
      abort();
    if (f4((long long)-i) != i)
      abort();
  }
  exit(0);
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
movl   $0x0,-0x4(%rbp)
movl   $0x0,-0x8(%rbp)
cmpl   $0xa,-0x8(%rbp)
jg     1263 <main+0x103>
mov    -0x8(%rbp),%edi
call   1060 <f1@plt>
cmp    -0x8(%rbp),%eax
je     1198 <main+0x38>
mov    $0x0,%al
call   1040 <abort@plt>
xor    %edi,%edi
sub    -0x8(%rbp),%edi
call   1060 <f1@plt>
cmp    -0x8(%rbp),%eax
je     11b2 <main+0x52>
mov    $0x0,%al
call   1040 <abort@plt>
mov    -0x8(%rbp),%edi
call   1030 <f2@plt>
cmp    -0x8(%rbp),%eax
je     11ca <main+0x6a>
mov    $0x0,%al
call   1040 <abort@plt>
xor    %edi,%edi
sub    -0x8(%rbp),%edi
call   1030 <f2@plt>
cmp    -0x8(%rbp),%eax
je     11e4 <main+0x84>
mov    $0x0,%al
call   1040 <abort@plt>
movslq -0x8(%rbp),%rdi
call   1050 <f3@plt>
cmp    -0x8(%rbp),%eax
je     11fd <main+0x9d>
mov    $0x0,%al
call   1040 <abort@plt>
xor    %eax,%eax
sub    -0x8(%rbp),%eax
movslq %eax,%rdi
call   1050 <f3@plt>
cmp    -0x8(%rbp),%eax
je     121a <main+0xba>
mov    $0x0,%al
call   1040 <abort@plt>
movslq -0x8(%rbp),%rdi
call   1080 <f4@plt>
cmp    -0x8(%rbp),%eax
je     1233 <main+0xd3>
mov    $0x0,%al
call   1040 <abort@plt>
xor    %eax,%eax
sub    -0x8(%rbp),%eax
movslq %eax,%rdi
call   1080 <f4@plt>
cmp    -0x8(%rbp),%eax
je     1250 <main+0xf0>
mov    $0x0,%al
call   1040 <abort@plt>
jmp    1255 <main+0xf5>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    1176 <main+0x16>
xor    %edi,%edi
call   1070 <exit@plt>

x86 assembly (clang, -O2):
<main>:
push   %r14
push   %rbx
push   %rax
xor    %r14d,%r14d
xor    %ebx,%ebx
nopl   0x0(%rax)
mov    %ebx,%edi
call   1060 <f1@plt>
mov    %eax,%eax
cmp    %rax,%rbx
jne    1203 <main+0xa3>
mov    %r14d,%edi
call   1060 <f1@plt>
mov    %eax,%eax
cmp    %rax,%rbx
jne    1203 <main+0xa3>
mov    %ebx,%edi
call   1030 <f2@plt>
mov    %eax,%eax
cmp    %rax,%rbx
jne    1203 <main+0xa3>
mov    %r14d,%edi
call   1030 <f2@plt>
mov    %eax,%eax
cmp    %rax,%rbx
jne    1203 <main+0xa3>
mov    %rbx,%rdi
call   1050 <f3@plt>
mov    %eax,%eax
cmp    %rax,%rbx
jne    1203 <main+0xa3>
mov    %r14,%rdi
call   1050 <f3@plt>
mov    %eax,%eax
cmp    %rax,%rbx
jne    1203 <main+0xa3>
mov    %rbx,%rdi
call   1080 <f4@plt>
mov    %eax,%eax
cmp    %rax,%rbx
jne    1203 <main+0xa3>
mov    %r14,%rdi
call   1080 <f4@plt>
mov    %eax,%eax
cmp    %rax,%rbx
jne    1203 <main+0xa3>
add    $0x1,%rbx
add    $0xffffffffffffffff,%r14
cmp    $0xfffffffffffffff5,%r14
jne    1170 <main+0x10>
xor    %edi,%edi
call   1070 <exit@plt>
xor    %eax,%eax
call   1040 <abort@plt>

LLVM IR (-O0):
define i32 @main() {
%1 = alloca i32
%2 = alloca i32
store i32 0, i32* %1
store i32 0, i32* %2
br label %3
3: ; preds = %71, %0
%4 = load i32, i32* %2
%5 = icmp sle i32 %4, 10
br i1 %5, label %6, label %74
6: ; preds = %3
%7 = load i32, i32* %2
%8 = call i32 @f1(i32 %7)
%9 = load i32, i32* %2
%10 = icmp ne i32 %8, %9
br i1 %10, label %11, label %13
11: ; preds = %6
%12 = call i32 (...) @abort()
unreachable
13: ; preds = %6
%14 = load i32, i32* %2
%15 = sub nsw i32 0, %14
%16 = call i32 @f1(i32 %15)
%17 = load i32, i32* %2
%18 = icmp ne i32 %16, %17
br i1 %18, label %19, label %21
19: ; preds = %13
%20 = call i32 (...) @abort()
unreachable
21: ; preds = %13
%22 = load i32, i32* %2
%23 = call i32 @f2(i32 %22)
%24 = load i32, i32* %2
%25 = icmp ne i32 %23, %24
br i1 %25, label %26, label %28
26: ; preds = %21
%27 = call i32 (...) @abort()
unreachable
28: ; preds = %21
%29 = load i32, i32* %2
%30 = sub nsw i32 0, %29
%31 = call i32 @f2(i32 %30)
%32 = load i32, i32* %2
%33 = icmp ne i32 %31, %32
br i1 %33, label %34, label %36
34: ; preds = %28
%35 = call i32 (...) @abort()
unreachable
36: ; preds = %28
%37 = load i32, i32* %2
%38 = sext i32 %37 to i64
%39 = call i32 @f3(i64 %38)
%40 = load i32, i32* %2
%41 = icmp ne i32 %39, %40
br i1 %41, label %42, label %44
42: ; preds = %36
%43 = call i32 (...) @abort()
unreachable
44: ; preds = %36
%45 = load i32, i32* %2
%46 = sub nsw i32 0, %45
%47 = sext i32 %46 to i64
%48 = call i32 @f3(i64 %47)
%49 = load i32, i32* %2
%50 = icmp ne i32 %48, %49
br i1 %50, label %51, label %53
51: ; preds = %44
%52 = call i32 (...) @abort()
unreachable
53: ; preds = %44
%54 = load i32, i32* %2
%55 = sext i32 %54 to i64
%56 = call i32 @f4(i64 %55)
%57 = load i32, i32* %2
%58 = icmp ne i32 %56, %57
br i1 %58, label %59, label %61
59: ; preds = %53
%60 = call i32 (...) @abort()
unreachable
61: ; preds = %53
%62 = load i32, i32* %2
%63 = sub nsw i32 0, %62
%64 = sext i32 %63 to i64
%65 = call i32 @f4(i64 %64)
%66 = load i32, i32* %2
%67 = icmp ne i32 %65, %66
br i1 %67, label %68, label %70
68: ; preds = %61
%69 = call i32 (...) @abort()
unreachable
70: ; preds = %61
br label %71
71: ; preds = %70
%72 = load i32, i32* %2
%73 = add nsw i32 %72, 1
store i32 %73, i32* %2
br label %3
74: ; preds = %3
%75 = call i32 @exit(i32 0)
unreachable
}

LLVM IR (-O2):
define i32 @main() {
br label %4
1: ; preds = %50
%2 = add nuw nsw i64 %5, 1
%3 = icmp eq i64 %2, 11
br i1 %3, label %56, label %4
4: ; preds = %0, %1
%5 = phi i64 [ 0, %0 ], [ %2, %1 ]
%6 = trunc i64 %5 to i32
%7 = tail call i32 @f1(i32 %6)
%8 = zext i32 %7 to i64
%9 = icmp eq i64 %5, %8
br i1 %9, label %12, label %10
10: ; preds = %4
%11 = tail call i32 (...) @abort()
unreachable
12: ; preds = %4
%13 = sub nsw i64 0, %5
%14 = trunc i64 %13 to i32
%15 = tail call i32 @f1(i32 %14)
%16 = zext i32 %15 to i64
%17 = icmp eq i64 %5, %16
br i1 %17, label %20, label %18
18: ; preds = %12
%19 = tail call i32 (...) @abort()
unreachable
20: ; preds = %12
%21 = tail call i32 @f2(i32 %6)
%22 = zext i32 %21 to i64
%23 = icmp eq i64 %5, %22
br i1 %23, label %26, label %24
24: ; preds = %20
%25 = tail call i32 (...) @abort()
unreachable
26: ; preds = %20
%27 = tail call i32 @f2(i32 %14)
%28 = zext i32 %27 to i64
%29 = icmp eq i64 %5, %28
br i1 %29, label %32, label %30
30: ; preds = %26
%31 = tail call i32 (...) @abort()
unreachable
32: ; preds = %26
%33 = tail call i32 @f3(i64 %5)
%34 = zext i32 %33 to i64
%35 = icmp eq i64 %5, %34
br i1 %35, label %38, label %36
36: ; preds = %32
%37 = tail call i32 (...) @abort()
unreachable
38: ; preds = %32
%39 = tail call i32 @f3(i64 %13)
%40 = zext i32 %39 to i64
%41 = icmp eq i64 %5, %40
br i1 %41, label %44, label %42
42: ; preds = %38
%43 = tail call i32 (...) @abort()
unreachable
44: ; preds = %38
%45 = tail call i32 @f4(i64 %5)
%46 = zext i32 %45 to i64
%47 = icmp eq i64 %5, %46
br i1 %47, label %50, label %48
48: ; preds = %44
%49 = tail call i32 (...) @abort()
unreachable
50: ; preds = %44
%51 = tail call i32 @f4(i64 %13)
%52 = zext i32 %51 to i64
%53 = icmp eq i64 %5, %52
br i1 %53, label %1, label %54
54: ; preds = %50
%55 = tail call i32 (...) @abort()
unreachable
56: ; preds = %1
%57 = tail call i32 @exit(i32 0)
unreachable
}