#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*/ check(int);
void main() {
  check(((char)-1) == ~((char)0));
  check(((char)-6) == ~((char)5));
  check(((char)-100) == ~((char)99));
  check(((char)-128) == ~((char)127));
  check(((unsigned char)255) != ~((unsigned char)0));
  check(((int)-1) == ~((unsigned char)0));
  check(((unsigned char)250) != ~((unsigned char)5));
  check(((int)-6) == ~((unsigned char)5));
  check(((unsigned char)156) != ~((unsigned char)99));
  check(((int)-100) == ~((unsigned char)99));
  check(((unsigned char)128) != ~((unsigned char)127));
  check(((int)-128) == ~((unsigned char)127));
  check(((short)-1) == ~((short)0));
  check(((short)-6) == ~((short)5));
  check(((short)-32768) == ~((short)32767));
  check(((unsigned short)65535) != ~((unsigned short)0));
  check(((int)-1) == ~((unsigned short)0));
  check(((unsigned short)65530) != ~((unsigned short)5));
  check(((int)-6) == ~((unsigned short)5));
  check(((unsigned short)32768) != ~((unsigned short)32767));
  check(((int)-32768) == ~((unsigned short)32767));
  check(((long long)-1) == ~((long long)0));
  check(((long long)-6) == ~((long long)5));
  check(((long long)-9223372036854775801LL) ==
        ~((long long)9223372036854775800LL));
  check(((long long)-9223372036854775808ULL) ==
        ~((long long)9223372036854775807LL));
  check(((unsigned long long)18446744073709551615ULL) ==
        ~((unsigned long long)0));
  check(((unsigned long long)18446744073709551610ULL) ==
        ~((unsigned long long)5));
  check(((unsigned long long)9223372036854775808ULL) ==
        ~((unsigned long long)9223372036854775807ULL));
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
mov    $0x1,%edi
call   1030 <check@plt>
mov    $0x1,%edi
call   1030 <check@plt>
mov    $0x1,%edi
call   1030 <check@plt>
mov    $0x1,%edi
call   1030 <check@plt>
mov    $0x1,%edi
call   1030 <check@plt>
mov    $0x1,%edi
call   1030 <check@plt>
mov    $0x1,%edi
call   1030 <check@plt>
mov    $0x1,%edi
call   1030 <check@plt>
mov    $0x1,%edi
call   1030 <check@plt>
mov    $0x1,%edi
call   1030 <check@plt>
mov    $0x1,%edi
call   1030 <check@plt>
mov    $0x1,%edi
call   1030 <check@plt>
mov    $0x1,%edi
call   1030 <check@plt>
mov    $0x1,%edi
call   1030 <check@plt>
mov    $0x1,%edi
call   1030 <check@plt>
mov    $0x1,%edi
call   1030 <check@plt>
mov    $0x1,%edi
call   1030 <check@plt>
mov    $0x1,%edi
call   1030 <check@plt>
mov    $0x1,%edi
call   1030 <check@plt>
mov    $0x1,%edi
call   1030 <check@plt>
mov    $0x1,%edi
call   1030 <check@plt>
mov    $0x1,%edi
call   1030 <check@plt>
mov    $0x1,%edi
call   1030 <check@plt>
mov    $0x1,%edi
call   1030 <check@plt>
mov    $0x1,%edi
call   1030 <check@plt>
mov    $0x1,%edi
call   1030 <check@plt>
mov    $0x1,%edi
call   1030 <check@plt>
mov    $0x1,%edi
call   1030 <check@plt>
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rax
mov    $0x1,%edi
call   1030 <check@plt>
mov    $0x1,%edi
call   1030 <check@plt>
mov    $0x1,%edi
call   1030 <check@plt>
mov    $0x1,%edi
call   1030 <check@plt>
mov    $0x1,%edi
call   1030 <check@plt>
mov    $0x1,%edi
call   1030 <check@plt>
mov    $0x1,%edi
call   1030 <check@plt>
mov    $0x1,%edi
call   1030 <check@plt>
mov    $0x1,%edi
call   1030 <check@plt>
mov    $0x1,%edi
call   1030 <check@plt>
mov    $0x1,%edi
call   1030 <check@plt>
mov    $0x1,%edi
call   1030 <check@plt>
mov    $0x1,%edi
call   1030 <check@plt>
mov    $0x1,%edi
call   1030 <check@plt>
mov    $0x1,%edi
call   1030 <check@plt>
mov    $0x1,%edi
call   1030 <check@plt>
mov    $0x1,%edi
call   1030 <check@plt>
mov    $0x1,%edi
call   1030 <check@plt>
mov    $0x1,%edi
call   1030 <check@plt>
mov    $0x1,%edi
call   1030 <check@plt>
mov    $0x1,%edi
call   1030 <check@plt>
mov    $0x1,%edi
call   1030 <check@plt>
mov    $0x1,%edi
call   1030 <check@plt>
mov    $0x1,%edi
call   1030 <check@plt>
mov    $0x1,%edi
call   1030 <check@plt>
mov    $0x1,%edi
call   1030 <check@plt>
mov    $0x1,%edi
call   1030 <check@plt>
mov    $0x1,%edi
pop    %rax
jmp    1030 <check@plt>

LLVM IR (-O0):
define void @main() {
%1 = call i32 @check(i32 1)
%2 = call i32 @check(i32 1)
%3 = call i32 @check(i32 1)
%4 = call i32 @check(i32 1)
%5 = call i32 @check(i32 1)
%6 = call i32 @check(i32 1)
%7 = call i32 @check(i32 1)
%8 = call i32 @check(i32 1)
%9 = call i32 @check(i32 1)
%10 = call i32 @check(i32 1)
%11 = call i32 @check(i32 1)
%12 = call i32 @check(i32 1)
%13 = call i32 @check(i32 1)
%14 = call i32 @check(i32 1)
%15 = call i32 @check(i32 1)
%16 = call i32 @check(i32 1)
%17 = call i32 @check(i32 1)
%18 = call i32 @check(i32 1)
%19 = call i32 @check(i32 1)
%20 = call i32 @check(i32 1)
%21 = call i32 @check(i32 1)
%22 = call i32 @check(i32 1)
%23 = call i32 @check(i32 1)
%24 = call i32 @check(i32 1)
%25 = call i32 @check(i32 1)
%26 = call i32 @check(i32 1)
%27 = call i32 @check(i32 1)
%28 = call i32 @check(i32 1)
ret void
}

LLVM IR (-O2):
define void @main() {
%1 = tail call i32 @check(i32 1)
%2 = tail call i32 @check(i32 1)
%3 = tail call i32 @check(i32 1)
%4 = tail call i32 @check(i32 1)
%5 = tail call i32 @check(i32 1)
%6 = tail call i32 @check(i32 1)
%7 = tail call i32 @check(i32 1)
%8 = tail call i32 @check(i32 1)
%9 = tail call i32 @check(i32 1)
%10 = tail call i32 @check(i32 1)
%11 = tail call i32 @check(i32 1)
%12 = tail call i32 @check(i32 1)
%13 = tail call i32 @check(i32 1)
%14 = tail call i32 @check(i32 1)
%15 = tail call i32 @check(i32 1)
%16 = tail call i32 @check(i32 1)
%17 = tail call i32 @check(i32 1)
%18 = tail call i32 @check(i32 1)
%19 = tail call i32 @check(i32 1)
%20 = tail call i32 @check(i32 1)
%21 = tail call i32 @check(i32 1)
%22 = tail call i32 @check(i32 1)
%23 = tail call i32 @check(i32 1)
%24 = tail call i32 @check(i32 1)
%25 = tail call i32 @check(i32 1)
%26 = tail call i32 @check(i32 1)
%27 = tail call i32 @check(i32 1)
%28 = tail call i32 @check(i32 1)
ret void
}