#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 /*<<< orphan*/ pi;
typedef int /*<<< orphan*/ p;
typedef int /*<<< orphan*/ i;
typedef int /*<<< orphan*/ c;

/* Variables and functions */
int /*<<< orphan*/ assert(int, int);
main() {
  char array[5];
  int i;
  void *p;
  int *pi;
  char c;
  assert(22, sizeof array - 1 == 4);
  assert(25, sizeof(void *) == 8);
  assert(29, sizeof(int) == 4);
  assert(31, sizeof i == 4);
  assert(32, sizeof(i) == 4);
  assert(34, sizeof p == 8);
  assert(35, sizeof(p) == 8);
  assert(37, sizeof pi == 8);
  assert(38, sizeof(pi) == 8);
  assert(40, sizeof c == 1);
  assert(41, sizeof(c) == 1);
  {
    typedef void *VP;
    void *p = 5;
    VP p2 = 5;
    p++;
    p2++;
    assert(55, p == 6);
    assert(56, p2 == 6);
  }
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    $0x16,%edi
mov    $0x1,%esi
call   1030 <assert@plt>
mov    $0x19,%edi
mov    $0x1,%esi
call   1030 <assert@plt>
mov    $0x1d,%edi
mov    $0x1,%esi
call   1030 <assert@plt>
mov    $0x1f,%edi
mov    $0x1,%esi
call   1030 <assert@plt>
mov    $0x20,%edi
mov    $0x1,%esi
call   1030 <assert@plt>
mov    $0x22,%edi
mov    $0x1,%esi
call   1030 <assert@plt>
mov    $0x23,%edi
mov    $0x1,%esi
call   1030 <assert@plt>
mov    $0x25,%edi
mov    $0x1,%esi
call   1030 <assert@plt>
mov    $0x26,%edi
mov    $0x1,%esi
call   1030 <assert@plt>
mov    $0x28,%edi
mov    $0x1,%esi
call   1030 <assert@plt>
mov    $0x29,%edi
mov    $0x1,%esi
call   1030 <assert@plt>
mov    $0x5,%eax
mov    %rax,-0x30(%rbp)
mov    $0x5,%eax
mov    %rax,-0x38(%rbp)
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x38(%rbp)
mov    $0x6,%eax
cmp    %rax,-0x30(%rbp)
sete   %al
and    $0x1,%al
movzbl %al,%esi
mov    $0x37,%edi
call   1030 <assert@plt>
mov    $0x6,%eax
cmp    %rax,-0x38(%rbp)
sete   %al
and    $0x1,%al
movzbl %al,%esi
mov    $0x38,%edi
call   1030 <assert@plt>
xor    %eax,%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rax
mov    $0x16,%edi
mov    $0x1,%esi
call   1030 <assert@plt>
mov    $0x19,%edi
mov    $0x1,%esi
call   1030 <assert@plt>
mov    $0x1d,%edi
mov    $0x1,%esi
call   1030 <assert@plt>
mov    $0x1f,%edi
mov    $0x1,%esi
call   1030 <assert@plt>
mov    $0x20,%edi
mov    $0x1,%esi
call   1030 <assert@plt>
mov    $0x22,%edi
mov    $0x1,%esi
call   1030 <assert@plt>
mov    $0x23,%edi
mov    $0x1,%esi
call   1030 <assert@plt>
mov    $0x25,%edi
mov    $0x1,%esi
call   1030 <assert@plt>
mov    $0x26,%edi
mov    $0x1,%esi
call   1030 <assert@plt>
mov    $0x28,%edi
mov    $0x1,%esi
call   1030 <assert@plt>
mov    $0x29,%edi
mov    $0x1,%esi
call   1030 <assert@plt>
mov    $0x37,%edi
mov    $0x1,%esi
call   1030 <assert@plt>
mov    $0x38,%edi
mov    $0x1,%esi
call   1030 <assert@plt>
xor    %eax,%eax
pop    %rcx
ret

LLVM IR (-O0):
define i32 @main() {
%1 = alloca [5 x i8]
%2 = alloca i32
%3 = alloca i8*
%4 = alloca i32*
%5 = alloca i8
%6 = alloca i8*
%7 = alloca i8*
%8 = call i32 @assert(i32 22, i32 1)
%9 = call i32 @assert(i32 25, i32 1)
%10 = call i32 @assert(i32 29, i32 1)
%11 = call i32 @assert(i32 31, i32 1)
%12 = call i32 @assert(i32 32, i32 1)
%13 = call i32 @assert(i32 34, i32 1)
%14 = call i32 @assert(i32 35, i32 1)
%15 = call i32 @assert(i32 37, i32 1)
%16 = call i32 @assert(i32 38, i32 1)
%17 = call i32 @assert(i32 40, i32 1)
%18 = call i32 @assert(i32 41, i32 1)
store i8* inttoptr (i64 5 to i8*), i8** %6
store i8* inttoptr (i64 5 to i8*), i8** %7
%19 = load i8*, i8** %6
%20 = getelementptr inbounds i8, i8* %19, i32 1
store i8* %20, i8** %6
%21 = load i8*, i8** %7
%22 = getelementptr inbounds i8, i8* %21, i32 1
store i8* %22, i8** %7
%23 = load i8*, i8** %6
%24 = icmp eq i8* %23, inttoptr (i64 6 to i8*)
%25 = zext i1 %24 to i32
%26 = call i32 @assert(i32 55, i32 %25)
%27 = load i8*, i8** %7
%28 = icmp eq i8* %27, inttoptr (i64 6 to i8*)
%29 = zext i1 %28 to i32
%30 = call i32 @assert(i32 56, i32 %29)
ret i32 0
}

LLVM IR (-O2):
define i32 @main() {
%1 = tail call i32 @assert(i32 22, i32 1)
%2 = tail call i32 @assert(i32 25, i32 1)
%3 = tail call i32 @assert(i32 29, i32 1)
%4 = tail call i32 @assert(i32 31, i32 1)
%5 = tail call i32 @assert(i32 32, i32 1)
%6 = tail call i32 @assert(i32 34, i32 1)
%7 = tail call i32 @assert(i32 35, i32 1)
%8 = tail call i32 @assert(i32 37, i32 1)
%9 = tail call i32 @assert(i32 38, i32 1)
%10 = tail call i32 @assert(i32 40, i32 1)
%11 = tail call i32 @assert(i32 41, i32 1)
%12 = tail call i32 @assert(i32 55, i32 1)
%13 = tail call i32 @assert(i32 56, i32 1)
ret i32 0
}