#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 f1();
int f2();
int f3();
int f4();
int f5();
int f6();
int f7();
long long f8();
int main(void) {
  if ((char)128 != -128 || (int)0x80000000 != -2147483648)
    return 0;
  if (f1() != 128)
    abort();
  if (f2() != 128)
    abort();
  if (f3() != 896)
    abort();
  if (f4() != -128)
    abort();
  if (f5() != 0x80000000LL)
    abort();
  if (f6() != 0x80000000LL)
    abort();
  if (f7() != 0x380000000LL)
    abort();
  if (f8() != -2147483648LL)
    abort();
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
movl   $0x0,-0x4(%rbp)
mov    $0x0,%al
call   1080 <f1@plt>
cmp    $0x80,%eax
je     11b8 <main+0x28>
mov    $0x0,%al
call   1060 <abort@plt>
mov    $0x0,%al
call   1030 <f2@plt>
cmp    $0x80,%eax
je     11d1 <main+0x41>
mov    $0x0,%al
call   1060 <abort@plt>
mov    $0x0,%al
call   1070 <f3@plt>
cmp    $0x380,%eax
je     11ea <main+0x5a>
mov    $0x0,%al
call   1060 <abort@plt>
mov    $0x0,%al
call   10b0 <f4@plt>
cmp    $0xffffff80,%eax
je     1201 <main+0x71>
mov    $0x0,%al
call   1060 <abort@plt>
mov    $0x0,%al
call   10a0 <f5@plt>
cltq
mov    $0x80000000,%ecx
cmp    %rcx,%rax
je     121f <main+0x8f>
mov    $0x0,%al
call   1060 <abort@plt>
mov    $0x0,%al
call   1050 <f6@plt>
cltq
mov    $0x80000000,%ecx
cmp    %rcx,%rax
je     123d <main+0xad>
mov    $0x0,%al
call   1060 <abort@plt>
mov    $0x0,%al
call   1090 <f7@plt>
cltq
movabs $0x380000000,%rcx
cmp    %rcx,%rax
je     1260 <main+0xd0>
mov    $0x0,%al
call   1060 <abort@plt>
mov    $0x0,%al
call   1040 <f8@plt>
cmp    $0xffffffff80000000,%rax
je     127a <main+0xea>
mov    $0x0,%al
call   1060 <abort@plt>
xor    %eax,%eax
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rax
xor    %eax,%eax
call   1060 <f1@plt>
cmp    $0x80,%eax
jne    119e <main+0x3e>
xor    %eax,%eax
call   1030 <f2@plt>
cmp    $0x80,%eax
jne    119e <main+0x3e>
xor    %eax,%eax
call   1050 <f3@plt>
cmp    $0x380,%eax
jne    119e <main+0x3e>
xor    %eax,%eax
call   1080 <f4@plt>
cmp    $0xffffff80,%eax
jne    119e <main+0x3e>
xor    %eax,%eax
call   1070 <f5@plt>
xor    %eax,%eax
call   1040 <abort@plt>

LLVM IR (-O0):
define i32 @main() {
%1 = alloca i32
store i32 0, i32* %1
%2 = call i32 (...) @f1()
%3 = icmp ne i32 %2, 128
br i1 %3, label %4, label %6
4: ; preds = %0
%5 = call i32 (...) @abort()
unreachable
6: ; preds = %0
%7 = call i32 (...) @f2()
%8 = icmp ne i32 %7, 128
br i1 %8, label %9, label %11
9: ; preds = %6
%10 = call i32 (...) @abort()
unreachable
11: ; preds = %6
%12 = call i32 (...) @f3()
%13 = icmp ne i32 %12, 896
br i1 %13, label %14, label %16
14: ; preds = %11
%15 = call i32 (...) @abort()
unreachable
16: ; preds = %11
%17 = call i32 (...) @f4()
%18 = icmp ne i32 %17, -128
br i1 %18, label %19, label %21
19: ; preds = %16
%20 = call i32 (...) @abort()
unreachable
21: ; preds = %16
%22 = call i32 (...) @f5()
%23 = sext i32 %22 to i64
%24 = icmp ne i64 %23, 2147483648
br i1 %24, label %25, label %27
25: ; preds = %21
%26 = call i32 (...) @abort()
unreachable
27: ; preds = %21
%28 = call i32 (...) @f6()
%29 = sext i32 %28 to i64
%30 = icmp ne i64 %29, 2147483648
br i1 %30, label %31, label %33
31: ; preds = %27
%32 = call i32 (...) @abort()
unreachable
33: ; preds = %27
%34 = call i32 (...) @f7()
%35 = sext i32 %34 to i64
%36 = icmp ne i64 %35, 15032385536
br i1 %36, label %37, label %39
37: ; preds = %33
%38 = call i32 (...) @abort()
unreachable
39: ; preds = %33
%40 = call i64 (...) @f8()
%41 = icmp ne i64 %40, -2147483648
br i1 %41, label %42, label %44
42: ; preds = %39
%43 = call i32 (...) @abort()
unreachable
44: ; preds = %39
ret i32 0
}

LLVM IR (-O2):
define i32 @main() {
%1 = tail call i32 (...) @f1()
%2 = icmp eq i32 %1, 128
br i1 %2, label %5, label %3
3: ; preds = %0
%4 = tail call i32 (...) @abort()
unreachable
5: ; preds = %0
%6 = tail call i32 (...) @f2()
%7 = icmp eq i32 %6, 128
br i1 %7, label %10, label %8
8: ; preds = %5
%9 = tail call i32 (...) @abort()
unreachable
10: ; preds = %5
%11 = tail call i32 (...) @f3()
%12 = icmp eq i32 %11, 896
br i1 %12, label %15, label %13
13: ; preds = %10
%14 = tail call i32 (...) @abort()
unreachable
15: ; preds = %10
%16 = tail call i32 (...) @f4()
%17 = icmp eq i32 %16, -128
br i1 %17, label %20, label %18
18: ; preds = %15
%19 = tail call i32 (...) @abort()
unreachable
20: ; preds = %15
%21 = tail call i32 (...) @f5()
%22 = tail call i32 (...) @abort()
unreachable
}