#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*/);
scalar_t__ test0(long long);
scalar_t__ test1(long long);
scalar_t__ test1n(long long);
scalar_t__ test2(long long);
scalar_t__ test2n(long long);
int main() {
  if (test2n(-1LL))
    abort();
  if (test2n(-2LL))
    abort();
  if (test2n(0LL))
    abort();
  if (test2n(1LL))
    abort();
  if (test2n(2LL))
    abort();
  if (test1n(-1LL))
    abort();
  if (!test1n(-2LL))
    abort();
  if (test1n(0LL))
    abort();
  if (test1n(1LL))
    abort();
  if (test1n(2LL))
    abort();
  if (!test0(-1LL))
    abort();
  if (!test0(-2LL))
    abort();
  if (test0(0LL))
    abort();
  if (test0(1LL))
    abort();
  if (test0(2LL))
    abort();
  if (!test2(-1LL))
    abort();
  if (!test2(-2LL))
    abort();
  if (!test2(0LL))
    abort();
  if (!test2(1LL))
    abort();
  if (test2(2LL))
    abort();
  if (!test1(-1LL))
    abort();
  if (!test1(-2LL))
    abort();
  if (!test1(0LL))
    abort();
  if (test1(1LL))
    abort();
  if (test1(2LL))
    abort();
  exit(0);
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
movl   $0x0,-0x4(%rbp)
mov    $0xffffffffffffffff,%rdi
call   1090 <test2n@plt>
cmp    $0x0,%rax
je     119c <main+0x2c>
mov    $0x0,%al
call   1030 <abort@plt>
mov    $0xfffffffffffffffe,%rdi
call   1090 <test2n@plt>
cmp    $0x0,%rax
je     11b9 <main+0x49>
mov    $0x0,%al
call   1030 <abort@plt>
xor    %eax,%eax
mov    %eax,%edi
call   1090 <test2n@plt>
cmp    $0x0,%rax
je     11d3 <main+0x63>
mov    $0x0,%al
call   1030 <abort@plt>
mov    $0x1,%edi
call   1090 <test2n@plt>
cmp    $0x0,%rax
je     11ee <main+0x7e>
mov    $0x0,%al
call   1030 <abort@plt>
mov    $0x2,%edi
call   1090 <test2n@plt>
cmp    $0x0,%rax
je     1209 <main+0x99>
mov    $0x0,%al
call   1030 <abort@plt>
mov    $0xffffffffffffffff,%rdi
call   1050 <test1n@plt>
cmp    $0x0,%rax
je     1226 <main+0xb6>
mov    $0x0,%al
call   1030 <abort@plt>
mov    $0xfffffffffffffffe,%rdi
call   1050 <test1n@plt>
cmp    $0x0,%rax
jne    1243 <main+0xd3>
mov    $0x0,%al
call   1030 <abort@plt>
xor    %eax,%eax
mov    %eax,%edi
call   1050 <test1n@plt>
cmp    $0x0,%rax
je     125d <main+0xed>
mov    $0x0,%al
call   1030 <abort@plt>
mov    $0x1,%edi
call   1050 <test1n@plt>
cmp    $0x0,%rax
je     1278 <main+0x108>
mov    $0x0,%al
call   1030 <abort@plt>
mov    $0x2,%edi
call   1050 <test1n@plt>
cmp    $0x0,%rax
je     1293 <main+0x123>
mov    $0x0,%al
call   1030 <abort@plt>
mov    $0xffffffffffffffff,%rdi
call   1060 <test0@plt>
cmp    $0x0,%rax
jne    12b0 <main+0x140>
mov    $0x0,%al
call   1030 <abort@plt>
mov    $0xfffffffffffffffe,%rdi
call   1060 <test0@plt>
cmp    $0x0,%rax
jne    12cd <main+0x15d>
mov    $0x0,%al
call   1030 <abort@plt>
xor    %eax,%eax
mov    %eax,%edi
call   1060 <test0@plt>
cmp    $0x0,%rax
je     12e7 <main+0x177>
mov    $0x0,%al
call   1030 <abort@plt>
mov    $0x1,%edi
call   1060 <test0@plt>
cmp    $0x0,%rax
je     1302 <main+0x192>
mov    $0x0,%al
call   1030 <abort@plt>
mov    $0x2,%edi
call   1060 <test0@plt>
cmp    $0x0,%rax
je     131d <main+0x1ad>
mov    $0x0,%al
call   1030 <abort@plt>
mov    $0xffffffffffffffff,%rdi
call   1070 <test2@plt>
cmp    $0x0,%rax
jne    133a <main+0x1ca>
mov    $0x0,%al
call   1030 <abort@plt>
mov    $0xfffffffffffffffe,%rdi
call   1070 <test2@plt>
cmp    $0x0,%rax
jne    1357 <main+0x1e7>
mov    $0x0,%al
call   1030 <abort@plt>
xor    %eax,%eax
mov    %eax,%edi
call   1070 <test2@plt>
cmp    $0x0,%rax
jne    1371 <main+0x201>
mov    $0x0,%al
call   1030 <abort@plt>
mov    $0x1,%edi
call   1070 <test2@plt>
cmp    $0x0,%rax
jne    138c <main+0x21c>
mov    $0x0,%al
call   1030 <abort@plt>
mov    $0x2,%edi
call   1070 <test2@plt>
cmp    $0x0,%rax
je     13a7 <main+0x237>
mov    $0x0,%al
call   1030 <abort@plt>
mov    $0xffffffffffffffff,%rdi
call   1040 <test1@plt>
cmp    $0x0,%rax
jne    13c4 <main+0x254>
mov    $0x0,%al
call   1030 <abort@plt>
mov    $0xfffffffffffffffe,%rdi
call   1040 <test1@plt>
cmp    $0x0,%rax
jne    13e1 <main+0x271>
mov    $0x0,%al
call   1030 <abort@plt>
xor    %eax,%eax
mov    %eax,%edi
call   1040 <test1@plt>
cmp    $0x0,%rax
jne    13fb <main+0x28b>
mov    $0x0,%al
call   1030 <abort@plt>
mov    $0x1,%edi
call   1040 <test1@plt>
cmp    $0x0,%rax
je     1416 <main+0x2a6>
mov    $0x0,%al
call   1030 <abort@plt>
mov    $0x2,%edi
call   1040 <test1@plt>
cmp    $0x0,%rax
je     1431 <main+0x2c1>
mov    $0x0,%al
call   1030 <abort@plt>
xor    %edi,%edi
call   1080 <exit@plt>

x86 assembly (clang, -O2):
<main>:
push   %rax
mov    $0xffffffffffffffff,%rdi
call   1090 <test2n@plt>
test   %rax,%rax
jne    1334 <main+0x1c4>
mov    $0xfffffffffffffffe,%rdi
call   1090 <test2n@plt>
test   %rax,%rax
jne    1334 <main+0x1c4>
xor    %edi,%edi
call   1090 <test2n@plt>
test   %rax,%rax
jne    1334 <main+0x1c4>
mov    $0x1,%edi
call   1090 <test2n@plt>
test   %rax,%rax
jne    1334 <main+0x1c4>
mov    $0x2,%edi
call   1090 <test2n@plt>
test   %rax,%rax
jne    1334 <main+0x1c4>
mov    $0xffffffffffffffff,%rdi
call   1050 <test1n@plt>
test   %rax,%rax
jne    1334 <main+0x1c4>
mov    $0xfffffffffffffffe,%rdi
call   1050 <test1n@plt>
test   %rax,%rax
je     1334 <main+0x1c4>
xor    %edi,%edi
call   1050 <test1n@plt>
test   %rax,%rax
jne    1334 <main+0x1c4>
mov    $0x1,%edi
call   1050 <test1n@plt>
test   %rax,%rax
jne    1334 <main+0x1c4>
mov    $0x2,%edi
call   1050 <test1n@plt>
test   %rax,%rax
jne    1334 <main+0x1c4>
mov    $0xffffffffffffffff,%rdi
call   1060 <test0@plt>
test   %rax,%rax
je     1334 <main+0x1c4>
mov    $0xfffffffffffffffe,%rdi
call   1060 <test0@plt>
test   %rax,%rax
je     1334 <main+0x1c4>
xor    %edi,%edi
call   1060 <test0@plt>
test   %rax,%rax
jne    1334 <main+0x1c4>
mov    $0x1,%edi
call   1060 <test0@plt>
test   %rax,%rax
jne    1334 <main+0x1c4>
mov    $0x2,%edi
call   1060 <test0@plt>
test   %rax,%rax
jne    1334 <main+0x1c4>
mov    $0xffffffffffffffff,%rdi
call   1070 <test2@plt>
test   %rax,%rax
je     1334 <main+0x1c4>
mov    $0xfffffffffffffffe,%rdi
call   1070 <test2@plt>
test   %rax,%rax
je     1334 <main+0x1c4>
xor    %edi,%edi
call   1070 <test2@plt>
test   %rax,%rax
je     1334 <main+0x1c4>
mov    $0x1,%edi
call   1070 <test2@plt>
test   %rax,%rax
je     1334 <main+0x1c4>
mov    $0x2,%edi
call   1070 <test2@plt>
test   %rax,%rax
jne    1334 <main+0x1c4>
mov    $0xffffffffffffffff,%rdi
call   1040 <test1@plt>
test   %rax,%rax
je     1334 <main+0x1c4>
mov    $0xfffffffffffffffe,%rdi
call   1040 <test1@plt>
test   %rax,%rax
je     1334 <main+0x1c4>
xor    %edi,%edi
call   1040 <test1@plt>
test   %rax,%rax
je     1334 <main+0x1c4>
mov    $0x1,%edi
call   1040 <test1@plt>
test   %rax,%rax
jne    1334 <main+0x1c4>
mov    $0x2,%edi
call   1040 <test1@plt>
test   %rax,%rax
jne    1334 <main+0x1c4>
xor    %edi,%edi
call   1080 <exit@plt>
xor    %eax,%eax
call   1030 <abort@plt>

LLVM IR (-O0):
define i32 @main() {
%1 = alloca i32
store i32 0, i32* %1
%2 = call i64 @test2n(i64 -1)
%3 = icmp ne i64 %2, 0
br i1 %3, label %4, label %6
4: ; preds = %0
%5 = call i32 (...) @abort()
unreachable
6: ; preds = %0
%7 = call i64 @test2n(i64 -2)
%8 = icmp ne i64 %7, 0
br i1 %8, label %9, label %11
9: ; preds = %6
%10 = call i32 (...) @abort()
unreachable
11: ; preds = %6
%12 = call i64 @test2n(i64 0)
%13 = icmp ne i64 %12, 0
br i1 %13, label %14, label %16
14: ; preds = %11
%15 = call i32 (...) @abort()
unreachable
16: ; preds = %11
%17 = call i64 @test2n(i64 1)
%18 = icmp ne i64 %17, 0
br i1 %18, label %19, label %21
19: ; preds = %16
%20 = call i32 (...) @abort()
unreachable
21: ; preds = %16
%22 = call i64 @test2n(i64 2)
%23 = icmp ne i64 %22, 0
br i1 %23, label %24, label %26
24: ; preds = %21
%25 = call i32 (...) @abort()
unreachable
26: ; preds = %21
%27 = call i64 @test1n(i64 -1)
%28 = icmp ne i64 %27, 0
br i1 %28, label %29, label %31
29: ; preds = %26
%30 = call i32 (...) @abort()
unreachable
31: ; preds = %26
%32 = call i64 @test1n(i64 -2)
%33 = icmp ne i64 %32, 0
br i1 %33, label %36, label %34
34: ; preds = %31
%35 = call i32 (...) @abort()
unreachable
36: ; preds = %31
%37 = call i64 @test1n(i64 0)
%38 = icmp ne i64 %37, 0
br i1 %38, label %39, label %41
39: ; preds = %36
%40 = call i32 (...) @abort()
unreachable
41: ; preds = %36
%42 = call i64 @test1n(i64 1)
%43 = icmp ne i64 %42, 0
br i1 %43, label %44, label %46
44: ; preds = %41
%45 = call i32 (...) @abort()
unreachable
46: ; preds = %41
%47 = call i64 @test1n(i64 2)
%48 = icmp ne i64 %47, 0
br i1 %48, label %49, label %51
49: ; preds = %46
%50 = call i32 (...) @abort()
unreachable
51: ; preds = %46
%52 = call i64 @test0(i64 -1)
%53 = icmp ne i64 %52, 0
br i1 %53, label %56, label %54
54: ; preds = %51
%55 = call i32 (...) @abort()
unreachable
56: ; preds = %51
%57 = call i64 @test0(i64 -2)
%58 = icmp ne i64 %57, 0
br i1 %58, label %61, label %59
59: ; preds = %56
%60 = call i32 (...) @abort()
unreachable
61: ; preds = %56
%62 = call i64 @test0(i64 0)
%63 = icmp ne i64 %62, 0
br i1 %63, label %64, label %66
64: ; preds = %61
%65 = call i32 (...) @abort()
unreachable
66: ; preds = %61
%67 = call i64 @test0(i64 1)
%68 = icmp ne i64 %67, 0
br i1 %68, label %69, label %71
69: ; preds = %66
%70 = call i32 (...) @abort()
unreachable
71: ; preds = %66
%72 = call i64 @test0(i64 2)
%73 = icmp ne i64 %72, 0
br i1 %73, label %74, label %76
74: ; preds = %71
%75 = call i32 (...) @abort()
unreachable
76: ; preds = %71
%77 = call i64 @test2(i64 -1)
%78 = icmp ne i64 %77, 0
br i1 %78, label %81, label %79
79: ; preds = %76
%80 = call i32 (...) @abort()
unreachable
81: ; preds = %76
%82 = call i64 @test2(i64 -2)
%83 = icmp ne i64 %82, 0
br i1 %83, label %86, label %84
84: ; preds = %81
%85 = call i32 (...) @abort()
unreachable
86: ; preds = %81
%87 = call i64 @test2(i64 0)
%88 = icmp ne i64 %87, 0
br i1 %88, label %91, label %89
89: ; preds = %86
%90 = call i32 (...) @abort()
unreachable
91: ; preds = %86
%92 = call i64 @test2(i64 1)
%93 = icmp ne i64 %92, 0
br i1 %93, label %96, label %94
94: ; preds = %91
%95 = call i32 (...) @abort()
unreachable
96: ; preds = %91
%97 = call i64 @test2(i64 2)
%98 = icmp ne i64 %97, 0
br i1 %98, label %99, label %101
99: ; preds = %96
%100 = call i32 (...) @abort()
unreachable
101: ; preds = %96
%102 = call i64 @test1(i64 -1)
%103 = icmp ne i64 %102, 0
br i1 %103, label %106, label %104
104: ; preds = %101
%105 = call i32 (...) @abort()
unreachable
106: ; preds = %101
%107 = call i64 @test1(i64 -2)
%108 = icmp ne i64 %107, 0
br i1 %108, label %111, label %109
109: ; preds = %106
%110 = call i32 (...) @abort()
unreachable
111: ; preds = %106
%112 = call i64 @test1(i64 0)
%113 = icmp ne i64 %112, 0
br i1 %113, label %116, label %114
114: ; preds = %111
%115 = call i32 (...) @abort()
unreachable
116: ; preds = %111
%117 = call i64 @test1(i64 1)
%118 = icmp ne i64 %117, 0
br i1 %118, label %119, label %121
119: ; preds = %116
%120 = call i32 (...) @abort()
unreachable
121: ; preds = %116
%122 = call i64 @test1(i64 2)
%123 = icmp ne i64 %122, 0
br i1 %123, label %124, label %126
124: ; preds = %121
%125 = call i32 (...) @abort()
unreachable
126: ; preds = %121
%127 = call i32 @exit(i32 0)
unreachable
}

LLVM IR (-O2):
define i32 @main() {
%1 = tail call i64 @test2n(i64 -1)
%2 = icmp eq i64 %1, 0
br i1 %2, label %5, label %3
3: ; preds = %0
%4 = tail call i32 (...) @abort()
unreachable
5: ; preds = %0
%6 = tail call i64 @test2n(i64 -2)
%7 = icmp eq i64 %6, 0
br i1 %7, label %10, label %8
8: ; preds = %5
%9 = tail call i32 (...) @abort()
unreachable
10: ; preds = %5
%11 = tail call i64 @test2n(i64 0)
%12 = icmp eq i64 %11, 0
br i1 %12, label %15, label %13
13: ; preds = %10
%14 = tail call i32 (...) @abort()
unreachable
15: ; preds = %10
%16 = tail call i64 @test2n(i64 1)
%17 = icmp eq i64 %16, 0
br i1 %17, label %20, label %18
18: ; preds = %15
%19 = tail call i32 (...) @abort()
unreachable
20: ; preds = %15
%21 = tail call i64 @test2n(i64 2)
%22 = icmp eq i64 %21, 0
br i1 %22, label %25, label %23
23: ; preds = %20
%24 = tail call i32 (...) @abort()
unreachable
25: ; preds = %20
%26 = tail call i64 @test1n(i64 -1)
%27 = icmp eq i64 %26, 0
br i1 %27, label %30, label %28
28: ; preds = %25
%29 = tail call i32 (...) @abort()
unreachable
30: ; preds = %25
%31 = tail call i64 @test1n(i64 -2)
%32 = icmp eq i64 %31, 0
br i1 %32, label %33, label %35
33: ; preds = %30
%34 = tail call i32 (...) @abort()
unreachable
35: ; preds = %30
%36 = tail call i64 @test1n(i64 0)
%37 = icmp eq i64 %36, 0
br i1 %37, label %40, label %38
38: ; preds = %35
%39 = tail call i32 (...) @abort()
unreachable
40: ; preds = %35
%41 = tail call i64 @test1n(i64 1)
%42 = icmp eq i64 %41, 0
br i1 %42, label %45, label %43
43: ; preds = %40
%44 = tail call i32 (...) @abort()
unreachable
45: ; preds = %40
%46 = tail call i64 @test1n(i64 2)
%47 = icmp eq i64 %46, 0
br i1 %47, label %50, label %48
48: ; preds = %45
%49 = tail call i32 (...) @abort()
unreachable
50: ; preds = %45
%51 = tail call i64 @test0(i64 -1)
%52 = icmp eq i64 %51, 0
br i1 %52, label %53, label %55
53: ; preds = %50
%54 = tail call i32 (...) @abort()
unreachable
55: ; preds = %50
%56 = tail call i64 @test0(i64 -2)
%57 = icmp eq i64 %56, 0
br i1 %57, label %58, label %60
58: ; preds = %55
%59 = tail call i32 (...) @abort()
unreachable
60: ; preds = %55
%61 = tail call i64 @test0(i64 0)
%62 = icmp eq i64 %61, 0
br i1 %62, label %65, label %63
63: ; preds = %60
%64 = tail call i32 (...) @abort()
unreachable
65: ; preds = %60
%66 = tail call i64 @test0(i64 1)
%67 = icmp eq i64 %66, 0
br i1 %67, label %70, label %68
68: ; preds = %65
%69 = tail call i32 (...) @abort()
unreachable
70: ; preds = %65
%71 = tail call i64 @test0(i64 2)
%72 = icmp eq i64 %71, 0
br i1 %72, label %75, label %73
73: ; preds = %70
%74 = tail call i32 (...) @abort()
unreachable
75: ; preds = %70
%76 = tail call i64 @test2(i64 -1)
%77 = icmp eq i64 %76, 0
br i1 %77, label %78, label %80
78: ; preds = %75
%79 = tail call i32 (...) @abort()
unreachable
80: ; preds = %75
%81 = tail call i64 @test2(i64 -2)
%82 = icmp eq i64 %81, 0
br i1 %82, label %83, label %85
83: ; preds = %80
%84 = tail call i32 (...) @abort()
unreachable
85: ; preds = %80
%86 = tail call i64 @test2(i64 0)
%87 = icmp eq i64 %86, 0
br i1 %87, label %88, label %90
88: ; preds = %85
%89 = tail call i32 (...) @abort()
unreachable
90: ; preds = %85
%91 = tail call i64 @test2(i64 1)
%92 = icmp eq i64 %91, 0
br i1 %92, label %93, label %95
93: ; preds = %90
%94 = tail call i32 (...) @abort()
unreachable
95: ; preds = %90
%96 = tail call i64 @test2(i64 2)
%97 = icmp eq i64 %96, 0
br i1 %97, label %100, label %98
98: ; preds = %95
%99 = tail call i32 (...) @abort()
unreachable
100: ; preds = %95
%101 = tail call i64 @test1(i64 -1)
%102 = icmp eq i64 %101, 0
br i1 %102, label %103, label %105
103: ; preds = %100
%104 = tail call i32 (...) @abort()
unreachable
105: ; preds = %100
%106 = tail call i64 @test1(i64 -2)
%107 = icmp eq i64 %106, 0
br i1 %107, label %108, label %110
108: ; preds = %105
%109 = tail call i32 (...) @abort()
unreachable
110: ; preds = %105
%111 = tail call i64 @test1(i64 0)
%112 = icmp eq i64 %111, 0
br i1 %112, label %113, label %115
113: ; preds = %110
%114 = tail call i32 (...) @abort()
unreachable
115: ; preds = %110
%116 = tail call i64 @test1(i64 1)
%117 = icmp eq i64 %116, 0
br i1 %117, label %120, label %118
118: ; preds = %115
%119 = tail call i32 (...) @abort()
unreachable
120: ; preds = %115
%121 = tail call i64 @test1(i64 2)
%122 = icmp eq i64 %121, 0
br i1 %122, label %125, label %123
123: ; preds = %120
%124 = tail call i32 (...) @abort()
unreachable
125: ; preds = %120
%126 = tail call i32 @exit(i32 0)
unreachable
}