#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 */
typedef int time_t;

/* Variables and functions */
int /*<<< orphan*/ fprintf(int /*<<< orphan*/, char *, long long);
int /*<<< orphan*/ fputs(char *, int /*<<< orphan*/);
int /*<<< orphan*/ is_valid_posix_time(int);
int posix2tai(int);
int /*<<< orphan*/ printf(char *, ...);
int /*<<< orphan*/ stderr;
int tai2posix(int);
int time(int /*<<< orphan*/ *);
int posix_tai_unit_test() {
  if (!is_valid_posix_time(time(NULL))) {
    fputs("leap_seconds table in posix_tai.c is outdated\n", stderr);
    return -101;
  }
  if (!is_valid_posix_time(posix2tai(time(NULL)))) {
    fputs("leap_seconds table in posix_tai.c is outdated\n", stderr);
    return -102;
  }
  if (posix2tai(0) != 10) {
    return -1;
  }
  if (posix2tai(1000) != 1010) {
    return -2;
  }
  if (posix2tai(63072000) != 63072010) {
    return -3;
  }
  if (posix2tai(63073000) != 63073010) {
    return -4;
  }
  if (posix2tai(78796799) != 78796809) {
    return -5;
  }
  if (posix2tai(78796800) != 78796811) {
    return -6;
  }
  if (posix2tai(78797800) != 78797811) {
    return -7;
  }
  if (tai2posix(0) != -10) {
    return -8;
  }
  if (tai2posix(1010) != 1000) {
    return -9;
  }
  if (tai2posix(63072010) != 63072000) {
    return -10;
  }
  if (tai2posix(63073010) != 63073000) {
    return -11;
  }
  if (tai2posix(78796809) != 78796799) {
    return -12;
  }
  if (tai2posix(78796810) != 78796800) {
    return -13;
  }
  if (tai2posix(78796811) != 78796800) {
    return -14;
  }
  if (tai2posix(78797811) != 78797800) {
    return -15;
  }
  time_t l, b = 63072000, m = 157766414 - b;
  time_t k = (m + 1) / 100;
  printf("Executing unit test\n");
  for (l = 0; l < m; ++l) {
    if ((l % k) == 0) {
      printf("Unit test: %d%%\n", (int)(l / k));
    }
    if (tai2posix(posix2tai(l)) != l) {
      fprintf(stderr, "posix tai conversion error with posix time %lld\n",
              (long long)l);
      return -100;
    }
  }
  return l != m;
}


x86 assembly (clang, -O0):
<posix_tai_unit_test>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
xor    %eax,%eax
mov    %eax,%edi
call   1080 <time@plt>
mov    %eax,%edi
call   1090 <is_valid_posix_time@plt>
cmp    $0x0,%eax
jne    11b2 <posix_tai_unit_test+0x42>
mov    0x2e48(%rip),%rax
mov    (%rax),%esi
lea    0xe5f(%rip),%rdi
call   1050 <fputs@plt>
movl   $0xffffff9b,-0x4(%rbp)
jmp    14a4 <posix_tai_unit_test+0x334>
xor    %eax,%eax
mov    %eax,%edi
call   1080 <time@plt>
mov    %eax,%edi
call   1030 <posix2tai@plt>
mov    %eax,%edi
call   1090 <is_valid_posix_time@plt>
cmp    $0x0,%eax
jne    11f3 <posix_tai_unit_test+0x83>
mov    0x2e07(%rip),%rax
mov    (%rax),%esi
lea    0xe1e(%rip),%rdi
call   1050 <fputs@plt>
movl   $0xffffff9a,-0x4(%rbp)
jmp    14a4 <posix_tai_unit_test+0x334>
xor    %edi,%edi
call   1030 <posix2tai@plt>
cmp    $0xa,%eax
je     120f <posix_tai_unit_test+0x9f>
movl   $0xffffffff,-0x4(%rbp)
jmp    14a4 <posix_tai_unit_test+0x334>
mov    $0x3e8,%edi
call   1030 <posix2tai@plt>
cmp    $0x3f2,%eax
je     1230 <posix_tai_unit_test+0xc0>
movl   $0xfffffffe,-0x4(%rbp)
jmp    14a4 <posix_tai_unit_test+0x334>
mov    $0x3c26700,%edi
call   1030 <posix2tai@plt>
cmp    $0x3c2670a,%eax
je     1251 <posix_tai_unit_test+0xe1>
movl   $0xfffffffd,-0x4(%rbp)
jmp    14a4 <posix_tai_unit_test+0x334>
mov    $0x3c26ae8,%edi
call   1030 <posix2tai@plt>
cmp    $0x3c26af2,%eax
je     1272 <posix_tai_unit_test+0x102>
movl   $0xfffffffc,-0x4(%rbp)
jmp    14a4 <posix_tai_unit_test+0x334>
mov    $0x4b257ff,%edi
call   1030 <posix2tai@plt>
cmp    $0x4b25809,%eax
je     1293 <posix_tai_unit_test+0x123>
movl   $0xfffffffb,-0x4(%rbp)
jmp    14a4 <posix_tai_unit_test+0x334>
mov    $0x4b25800,%edi
call   1030 <posix2tai@plt>
cmp    $0x4b2580b,%eax
je     12b4 <posix_tai_unit_test+0x144>
movl   $0xfffffffa,-0x4(%rbp)
jmp    14a4 <posix_tai_unit_test+0x334>
mov    $0x4b25be8,%edi
call   1030 <posix2tai@plt>
cmp    $0x4b25bf3,%eax
je     12d5 <posix_tai_unit_test+0x165>
movl   $0xfffffff9,-0x4(%rbp)
jmp    14a4 <posix_tai_unit_test+0x334>
xor    %edi,%edi
call   1060 <tai2posix@plt>
cmp    $0xfffffff6,%eax
je     12f1 <posix_tai_unit_test+0x181>
movl   $0xfffffff8,-0x4(%rbp)
jmp    14a4 <posix_tai_unit_test+0x334>
mov    $0x3f2,%edi
call   1060 <tai2posix@plt>
cmp    $0x3e8,%eax
je     1312 <posix_tai_unit_test+0x1a2>
movl   $0xfffffff7,-0x4(%rbp)
jmp    14a4 <posix_tai_unit_test+0x334>
mov    $0x3c2670a,%edi
call   1060 <tai2posix@plt>
cmp    $0x3c26700,%eax
je     1333 <posix_tai_unit_test+0x1c3>
movl   $0xfffffff6,-0x4(%rbp)
jmp    14a4 <posix_tai_unit_test+0x334>
mov    $0x3c26af2,%edi
call   1060 <tai2posix@plt>
cmp    $0x3c26ae8,%eax
je     1354 <posix_tai_unit_test+0x1e4>
movl   $0xfffffff5,-0x4(%rbp)
jmp    14a4 <posix_tai_unit_test+0x334>
mov    $0x4b25809,%edi
call   1060 <tai2posix@plt>
cmp    $0x4b257ff,%eax
je     1375 <posix_tai_unit_test+0x205>
movl   $0xfffffff4,-0x4(%rbp)
jmp    14a4 <posix_tai_unit_test+0x334>
mov    $0x4b2580a,%edi
call   1060 <tai2posix@plt>
cmp    $0x4b25800,%eax
je     1396 <posix_tai_unit_test+0x226>
movl   $0xfffffff3,-0x4(%rbp)
jmp    14a4 <posix_tai_unit_test+0x334>
mov    $0x4b2580b,%edi
call   1060 <tai2posix@plt>
cmp    $0x4b25800,%eax
je     13b7 <posix_tai_unit_test+0x247>
movl   $0xfffffff2,-0x4(%rbp)
jmp    14a4 <posix_tai_unit_test+0x334>
mov    $0x4b25bf3,%edi
call   1060 <tai2posix@plt>
cmp    $0x4b25be8,%eax
je     13d8 <posix_tai_unit_test+0x268>
movl   $0xfffffff1,-0x4(%rbp)
jmp    14a4 <posix_tai_unit_test+0x334>
movl   $0x3c26700,-0xc(%rbp)
mov    $0x967530e,%eax
sub    -0xc(%rbp),%eax
mov    %eax,-0x10(%rbp)
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    $0x64,%ecx
cltd
idiv   %ecx
mov    %eax,-0x14(%rbp)
lea    0xc2d(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
movl   $0x0,-0x8(%rbp)
mov    -0x8(%rbp),%eax
cmp    -0x10(%rbp),%eax
jge    1493 <posix_tai_unit_test+0x323>
mov    -0x8(%rbp),%eax
cltd
idivl  -0x14(%rbp)
cmp    $0x0,%edx
jne    1443 <posix_tai_unit_test+0x2d3>
mov    -0x8(%rbp),%eax
cltd
idivl  -0x14(%rbp)
mov    %eax,%esi
lea    0xc08(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
mov    -0x8(%rbp),%edi
call   1030 <posix2tai@plt>
mov    %eax,%edi
call   1060 <tai2posix@plt>
cmp    -0x8(%rbp),%eax
je     1480 <posix_tai_unit_test+0x310>
mov    0x2b7e(%rip),%rax
mov    (%rax),%edi
movslq -0x8(%rbp),%rdx
lea    0xbe6(%rip),%rsi
call   1070 <fprintf@plt>
movl   $0xffffff9c,-0x4(%rbp)
jmp    14a4 <posix_tai_unit_test+0x334>
jmp    1485 <posix_tai_unit_test+0x315>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    1410 <posix_tai_unit_test+0x2a0>
mov    -0x8(%rbp),%eax
cmp    -0x10(%rbp),%eax
setne  %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<posix_tai_unit_test>:
push   %r14
push   %rbx
push   %rax
xor    %edi,%edi
call   1090 <time@plt>
mov    %eax,%edi
call   10a0 <is_valid_posix_time@plt>
test   %eax,%eax
je     13b6 <posix_tai_unit_test+0x236>
xor    %edi,%edi
call   1090 <time@plt>
mov    %eax,%edi
call   1040 <posix2tai@plt>
mov    %eax,%edi
call   10a0 <is_valid_posix_time@plt>
test   %eax,%eax
je     13d2 <posix_tai_unit_test+0x252>
xor    %edi,%edi
call   1040 <posix2tai@plt>
mov    %eax,%ecx
mov    $0xffffffff,%eax
cmp    $0xa,%ecx
jne    13ec <posix_tai_unit_test+0x26c>
mov    $0x3e8,%edi
call   1040 <posix2tai@plt>
mov    %eax,%ecx
mov    $0xfffffffe,%eax
cmp    $0x3f2,%ecx
jne    13ec <posix_tai_unit_test+0x26c>
mov    $0x3c26700,%edi
call   1040 <posix2tai@plt>
mov    %eax,%ecx
mov    $0xfffffffd,%eax
cmp    $0x3c2670a,%ecx
jne    13ec <posix_tai_unit_test+0x26c>
mov    $0x3c26ae8,%edi
call   1040 <posix2tai@plt>
mov    %eax,%ecx
mov    $0xfffffffc,%eax
cmp    $0x3c26af2,%ecx
jne    13ec <posix_tai_unit_test+0x26c>
mov    $0x4b257ff,%edi
call   1040 <posix2tai@plt>
mov    %eax,%ecx
mov    $0xfffffffb,%eax
cmp    $0x4b25809,%ecx
jne    13ec <posix_tai_unit_test+0x26c>
mov    $0x4b25800,%edi
call   1040 <posix2tai@plt>
mov    %eax,%ecx
mov    $0xfffffffa,%eax
cmp    $0x4b2580b,%ecx
jne    13ec <posix_tai_unit_test+0x26c>
mov    $0x4b25be8,%edi
call   1040 <posix2tai@plt>
mov    %eax,%ecx
mov    $0xfffffff9,%eax
cmp    $0x4b25bf3,%ecx
jne    13ec <posix_tai_unit_test+0x26c>
xor    %edi,%edi
call   1070 <tai2posix@plt>
mov    %eax,%ecx
mov    $0xfffffff8,%eax
cmp    $0xfffffff6,%ecx
jne    13ec <posix_tai_unit_test+0x26c>
mov    $0x3f2,%edi
call   1070 <tai2posix@plt>
mov    %eax,%ecx
mov    $0xfffffff7,%eax
cmp    $0x3e8,%ecx
jne    13ec <posix_tai_unit_test+0x26c>
mov    $0x3c2670a,%edi
call   1070 <tai2posix@plt>
mov    %eax,%ecx
mov    $0xfffffff6,%eax
cmp    $0x3c26700,%ecx
jne    13ec <posix_tai_unit_test+0x26c>
mov    $0x3c26af2,%edi
call   1070 <tai2posix@plt>
mov    %eax,%ecx
mov    $0xfffffff5,%eax
cmp    $0x3c26ae8,%ecx
jne    13ec <posix_tai_unit_test+0x26c>
mov    $0x4b25809,%edi
call   1070 <tai2posix@plt>
mov    %eax,%ecx
mov    $0xfffffff4,%eax
cmp    $0x4b257ff,%ecx
jne    13ec <posix_tai_unit_test+0x26c>
mov    $0x4b2580a,%edi
call   1070 <tai2posix@plt>
mov    %eax,%ecx
mov    $0xfffffff3,%eax
cmp    $0x4b25800,%ecx
jne    13ec <posix_tai_unit_test+0x26c>
mov    $0x4b2580b,%edi
call   1070 <tai2posix@plt>
mov    %eax,%ecx
mov    $0xfffffff2,%eax
cmp    $0x4b25800,%ecx
jne    13ec <posix_tai_unit_test+0x26c>
mov    $0x4b25bf3,%edi
call   1070 <tai2posix@plt>
mov    %eax,%ecx
mov    $0xfffffff1,%eax
cmp    $0x4b25be8,%ecx
jne    13ec <posix_tai_unit_test+0x26c>
lea    0xd0c(%rip),%rdi
call   1030 <puts@plt>
lea    0xcbe(%rip),%r14
xor    %ebx,%ebx
mov    %ebx,%eax
imul   $0x236f3793,%rax,%rsi
shr    $0x31,%rsi
imul   $0xfff18d00,%esi,%eax
add    %ebx,%eax
jne    1394 <posix_tai_unit_test+0x214>
mov    %r14,%rdi
xor    %eax,%eax
call   1050 <printf@plt>
mov    %ebx,%edi
call   1040 <posix2tai@plt>
mov    %eax,%edi
call   1070 <tai2posix@plt>
cmp    %eax,%ebx
jne    13f4 <posix_tai_unit_test+0x274>
add    $0x1,%rbx
xor    %eax,%eax
cmp    $0x5a4ec0e,%ebx
jne    1373 <posix_tai_unit_test+0x1f3>
jmp    13ec <posix_tai_unit_test+0x26c>
mov    0x2c23(%rip),%rax
mov    (%rax),%esi
lea    0xc3a(%rip),%rdi
call   1060 <fputs@plt>
mov    $0xffffff9b,%eax
jmp    13ec <posix_tai_unit_test+0x26c>
mov    0x2c07(%rip),%rax
mov    (%rax),%esi
lea    0xc1e(%rip),%rdi
call   1060 <fputs@plt>
mov    $0xffffff9a,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r14
ret
mov    0x2be5(%rip),%rax
mov    (%rax),%edi
lea    0xc3c(%rip),%rsi
mov    %rbx,%rdx
call   1080 <fprintf@plt>
mov    $0xffffff9c,%eax
jmp    13ec <posix_tai_unit_test+0x26c>

LLVM IR (-O0):
@.str = [47 x i8] c"leap_seconds table in posix_tai.c is outdated\0A\00"
@stderr = global i32 0
@.str.1 = [21 x i8] c"Executing unit test\0A\00"
@.str.2 = [17 x i8] c"Unit test: %d%%\0A\00"
@.str.3 = [49 x i8] c"posix tai conversion error with posix time %lld\0A\00"
define i32 @posix_tai_unit_test() {
%1 = alloca i32
%2 = alloca i32
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
%6 = call i32 @time(i32* null)
%7 = call i32 @is_valid_posix_time(i32 %6)
%8 = icmp ne i32 %7, 0
br i1 %8, label %12, label %9
9: ; preds = %0
%10 = load i32, i32* @stderr
%11 = call i32 @fputs(i8* getelementptr inbounds ([47 x i8], [47 x i8]* @.str, i64 0, i64 0), i32 %10)
store i32 -101, i32* %1
br label %121
12: ; preds = %0
%13 = call i32 @time(i32* null)
%14 = call i32 @posix2tai(i32 %13)
%15 = call i32 @is_valid_posix_time(i32 %14)
%16 = icmp ne i32 %15, 0
br i1 %16, label %20, label %17
17: ; preds = %12
%18 = load i32, i32* @stderr
%19 = call i32 @fputs(i8* getelementptr inbounds ([47 x i8], [47 x i8]* @.str, i64 0, i64 0), i32 %18)
store i32 -102, i32* %1
br label %121
20: ; preds = %12
%21 = call i32 @posix2tai(i32 0)
%22 = icmp ne i32 %21, 10
br i1 %22, label %23, label %24
23: ; preds = %20
store i32 -1, i32* %1
br label %121
24: ; preds = %20
%25 = call i32 @posix2tai(i32 1000)
%26 = icmp ne i32 %25, 1010
br i1 %26, label %27, label %28
27: ; preds = %24
store i32 -2, i32* %1
br label %121
28: ; preds = %24
%29 = call i32 @posix2tai(i32 63072000)
%30 = icmp ne i32 %29, 63072010
br i1 %30, label %31, label %32
31: ; preds = %28
store i32 -3, i32* %1
br label %121
32: ; preds = %28
%33 = call i32 @posix2tai(i32 63073000)
%34 = icmp ne i32 %33, 63073010
br i1 %34, label %35, label %36
35: ; preds = %32
store i32 -4, i32* %1
br label %121
36: ; preds = %32
%37 = call i32 @posix2tai(i32 78796799)
%38 = icmp ne i32 %37, 78796809
br i1 %38, label %39, label %40
39: ; preds = %36
store i32 -5, i32* %1
br label %121
40: ; preds = %36
%41 = call i32 @posix2tai(i32 78796800)
%42 = icmp ne i32 %41, 78796811
br i1 %42, label %43, label %44
43: ; preds = %40
store i32 -6, i32* %1
br label %121
44: ; preds = %40
%45 = call i32 @posix2tai(i32 78797800)
%46 = icmp ne i32 %45, 78797811
br i1 %46, label %47, label %48
47: ; preds = %44
store i32 -7, i32* %1
br label %121
48: ; preds = %44
%49 = call i32 @tai2posix(i32 0)
%50 = icmp ne i32 %49, -10
br i1 %50, label %51, label %52
51: ; preds = %48
store i32 -8, i32* %1
br label %121
52: ; preds = %48
%53 = call i32 @tai2posix(i32 1010)
%54 = icmp ne i32 %53, 1000
br i1 %54, label %55, label %56
55: ; preds = %52
store i32 -9, i32* %1
br label %121
56: ; preds = %52
%57 = call i32 @tai2posix(i32 63072010)
%58 = icmp ne i32 %57, 63072000
br i1 %58, label %59, label %60
59: ; preds = %56
store i32 -10, i32* %1
br label %121
60: ; preds = %56
%61 = call i32 @tai2posix(i32 63073010)
%62 = icmp ne i32 %61, 63073000
br i1 %62, label %63, label %64
63: ; preds = %60
store i32 -11, i32* %1
br label %121
64: ; preds = %60
%65 = call i32 @tai2posix(i32 78796809)
%66 = icmp ne i32 %65, 78796799
br i1 %66, label %67, label %68
67: ; preds = %64
store i32 -12, i32* %1
br label %121
68: ; preds = %64
%69 = call i32 @tai2posix(i32 78796810)
%70 = icmp ne i32 %69, 78796800
br i1 %70, label %71, label %72
71: ; preds = %68
store i32 -13, i32* %1
br label %121
72: ; preds = %68
%73 = call i32 @tai2posix(i32 78796811)
%74 = icmp ne i32 %73, 78796800
br i1 %74, label %75, label %76
75: ; preds = %72
store i32 -14, i32* %1
br label %121
76: ; preds = %72
%77 = call i32 @tai2posix(i32 78797811)
%78 = icmp ne i32 %77, 78797800
br i1 %78, label %79, label %80
79: ; preds = %76
store i32 -15, i32* %1
br label %121
80: ; preds = %76
store i32 63072000, i32* %3
%81 = load i32, i32* %3
%82 = sub nsw i32 157766414, %81
store i32 %82, i32* %4
%83 = load i32, i32* %4
%84 = add nsw i32 %83, 1
%85 = sdiv i32 %84, 100
store i32 %85, i32* %5
%86 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([21 x i8], [21 x i8]* @.str.1, i64 0, i64 0))
store i32 0, i32* %2
br label %87
87: ; preds = %113, %80
%88 = load i32, i32* %2
%89 = load i32, i32* %4
%90 = icmp slt i32 %88, %89
br i1 %90, label %91, label %116
91: ; preds = %87
%92 = load i32, i32* %2
%93 = load i32, i32* %5
%94 = srem i32 %92, %93
%95 = icmp eq i32 %94, 0
br i1 %95, label %96, label %101
96: ; preds = %91
%97 = load i32, i32* %2
%98 = load i32, i32* %5
%99 = sdiv i32 %97, %98
%100 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.2, i64 0, i64 0), i32 %99)
br label %101
101: ; preds = %96, %91
%102 = load i32, i32* %2
%103 = call i32 @posix2tai(i32 %102)
%104 = call i32 @tai2posix(i32 %103)
%105 = load i32, i32* %2
%106 = icmp ne i32 %104, %105
br i1 %106, label %107, label %112
107: ; preds = %101
%108 = load i32, i32* @stderr
%109 = load i32, i32* %2
%110 = sext i32 %109 to i64
%111 = call i32 @fprintf(i32 %108, i8* getelementptr inbounds ([49 x i8], [49 x i8]* @.str.3, i64 0, i64 0), i64 %110)
store i32 -100, i32* %1
br label %121
112: ; preds = %101
br label %113
113: ; preds = %112
%114 = load i32, i32* %2
%115 = add nsw i32 %114, 1
store i32 %115, i32* %2
br label %87
116: ; preds = %87
%117 = load i32, i32* %2
%118 = load i32, i32* %4
%119 = icmp ne i32 %117, %118
%120 = zext i1 %119 to i32
store i32 %120, i32* %1
br label %121
121: ; preds = %116, %107, %79, %75, %71, %67, %63, %59, %55, %51, %47, %43, %39, %35, %31, %27, %23, %17, %9
%122 = load i32, i32* %1
ret i32 %122
}

LLVM IR (-O2):
@.str = [47 x i8] c"leap_seconds table in posix_tai.c is outdated\0A\00"
@stderr = global i32 0
@.str.2 = [17 x i8] c"Unit test: %d%%\0A\00"
@.str.3 = [49 x i8] c"posix tai conversion error with posix time %lld\0A\00"
@str = [20 x i8] c"Executing unit test\00"
define i32 @posix_tai_unit_test() {
%1 = tail call i32 @time(i32* null)
%2 = tail call i32 @is_valid_posix_time(i32 %1)
%3 = icmp eq i32 %2, 0
br i1 %3, label %4, label %7
4: ; preds = %0
%5 = load i32, i32* @stderr
%6 = tail call i32 @fputs(i8* getelementptr inbounds ([47 x i8], [47 x i8]* @.str, i64 0, i64 0), i32 %5)
br label %80
7: ; preds = %0
%8 = tail call i32 @time(i32* null)
%9 = tail call i32 @posix2tai(i32 %8)
%10 = tail call i32 @is_valid_posix_time(i32 %9)
%11 = icmp eq i32 %10, 0
br i1 %11, label %12, label %15
12: ; preds = %7
%13 = load i32, i32* @stderr
%14 = tail call i32 @fputs(i8* getelementptr inbounds ([47 x i8], [47 x i8]* @.str, i64 0, i64 0), i32 %13)
br label %80
15: ; preds = %7
%16 = tail call i32 @posix2tai(i32 0)
%17 = icmp eq i32 %16, 10
br i1 %17, label %18, label %80
18: ; preds = %15
%19 = tail call i32 @posix2tai(i32 1000)
%20 = icmp eq i32 %19, 1010
br i1 %20, label %21, label %80
21: ; preds = %18
%22 = tail call i32 @posix2tai(i32 63072000)
%23 = icmp eq i32 %22, 63072010
br i1 %23, label %24, label %80
24: ; preds = %21
%25 = tail call i32 @posix2tai(i32 63073000)
%26 = icmp eq i32 %25, 63073010
br i1 %26, label %27, label %80
27: ; preds = %24
%28 = tail call i32 @posix2tai(i32 78796799)
%29 = icmp eq i32 %28, 78796809
br i1 %29, label %30, label %80
30: ; preds = %27
%31 = tail call i32 @posix2tai(i32 78796800)
%32 = icmp eq i32 %31, 78796811
br i1 %32, label %33, label %80
33: ; preds = %30
%34 = tail call i32 @posix2tai(i32 78797800)
%35 = icmp eq i32 %34, 78797811
br i1 %35, label %36, label %80
36: ; preds = %33
%37 = tail call i32 @tai2posix(i32 0)
%38 = icmp eq i32 %37, -10
br i1 %38, label %39, label %80
39: ; preds = %36
%40 = tail call i32 @tai2posix(i32 1010)
%41 = icmp eq i32 %40, 1000
br i1 %41, label %42, label %80
42: ; preds = %39
%43 = tail call i32 @tai2posix(i32 63072010)
%44 = icmp eq i32 %43, 63072000
br i1 %44, label %45, label %80
45: ; preds = %42
%46 = tail call i32 @tai2posix(i32 63073010)
%47 = icmp eq i32 %46, 63073000
br i1 %47, label %48, label %80
48: ; preds = %45
%49 = tail call i32 @tai2posix(i32 78796809)
%50 = icmp eq i32 %49, 78796799
br i1 %50, label %51, label %80
51: ; preds = %48
%52 = tail call i32 @tai2posix(i32 78796810)
%53 = icmp eq i32 %52, 78796800
br i1 %53, label %54, label %80
54: ; preds = %51
%55 = tail call i32 @tai2posix(i32 78796811)
%56 = icmp eq i32 %55, 78796800
br i1 %56, label %57, label %80
57: ; preds = %54
%58 = tail call i32 @tai2posix(i32 78797811)
%59 = icmp eq i32 %58, 78797800
br i1 %59, label %60, label %80
60: ; preds = %57
%61 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([20 x i8], [20 x i8]* @str, i64 0, i64 0))
br label %62
62: ; preds = %60, %77
%63 = phi i32 [ 0, %60 ], [ %78, %77 ]
%64 = urem i32 %63, 946944
%65 = udiv i32 %63, 946944
%66 = icmp eq i32 %64, 0
br i1 %66, label %67, label %69
67: ; preds = %62
%68 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([17 x i8], [17 x i8]* @.str.2, i64 0, i64 0), i32 %65)
br label %69
69: ; preds = %67, %62
%70 = tail call i32 @posix2tai(i32 %63)
%71 = tail call i32 @tai2posix(i32 %70)
%72 = icmp eq i32 %71, %63
br i1 %72, label %77, label %73
73: ; preds = %69
%74 = load i32, i32* @stderr
%75 = zext i32 %63 to i64
%76 = tail call i32 @fprintf(i32 %74, i8* getelementptr inbounds ([49 x i8], [49 x i8]* @.str.3, i64 0, i64 0), i64 %75)
br label %80
77: ; preds = %69
%78 = add nuw nsw i32 %63, 1
%79 = icmp eq i32 %78, 94694414
br i1 %79, label %80, label %62
80: ; preds = %77, %73, %57, %54, %51, %48, %45, %42, %39, %36, %33, %30, %27, %24, %21, %18, %15, %12, %4
%81 = phi i32 [ -102, %12 ], [ -101, %4 ], [ -1, %15 ], [ -2, %18 ], [ -3, %21 ], [ -4, %24 ], [ -5, %27 ], [ -6, %30 ], [ -7, %33 ], [ -8, %36 ], [ -9, %39 ], [ -10, %42 ], [ -11, %45 ], [ -12, %48 ], [ -13, %51 ], [ -14, %54 ], [ -15, %57 ], [ -100, %73 ], [ 0, %77 ]
ret i32 %81
}