#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*/);
int xb(long *);
int xw(long *);
int yb(short *);
int main(void) {
  long int y[] = {-1, 16000};
  short int yw[] = {-1, 16000};
  if (xb(y) != 16255 || xw(y) != 81535 || yb(yw) != 16255)
    abort();
  exit(0);
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
movl   $0x0,-0x4(%rbp)
mov    0xe9a(%rip),%rax
mov    %rax,-0x20(%rbp)
mov    0xe97(%rip),%rax
mov    %rax,-0x18(%rbp)
mov    0xe95(%rip),%eax
mov    %eax,-0x24(%rbp)
lea    -0x20(%rbp),%rdi
call   1040 <xb@plt>
cmp    $0x3f7f,%eax
jne    11ba <main+0x6a>
lea    -0x20(%rbp),%rdi
call   1050 <xw@plt>
cmp    $0x13e7f,%eax
jne    11ba <main+0x6a>
lea    -0x24(%rbp),%rdi
call   1070 <yb@plt>
cmp    $0x3f7f,%eax
je     11c1 <main+0x71>
mov    $0x0,%al
call   1030 <abort@plt>
xor    %edi,%edi
call   1060 <exit@plt>

x86 assembly (clang, -O2):
<main>:
sub    $0x28,%rsp
movaps 0xea5(%rip),%xmm0
movaps %xmm0,0x10(%rsp)
movl   $0x3e80ffff,0xc(%rsp)
3e
lea    0x10(%rsp),%rdi
call   1040 <xb@plt>
cmp    $0x3f7f,%eax
jne    11a2 <main+0x52>
lea    0x10(%rsp),%rdi
call   1050 <xw@plt>
cmp    $0x13e7f,%eax
jne    11a2 <main+0x52>
lea    0xc(%rsp),%rdi
call   1070 <yb@plt>
cmp    $0x3f7f,%eax
jne    11a2 <main+0x52>
xor    %edi,%edi
call   1060 <exit@plt>
xor    %eax,%eax
call   1030 <abort@plt>

LLVM IR (-O0):
@__const.main.y = [2 x i64] [i64 -1, i64 16000]
@__const.main.yw = [2 x i16] [i16 -1, i16 16000]
define i32 @main() {
%1 = alloca i32
%2 = alloca [2 x i64]
%3 = alloca [2 x i16]
store i32 0, i32* %1
%4 = bitcast [2 x i64]* %2 to i8*
%5 = bitcast [2 x i16]* %3 to i8*
%6 = getelementptr inbounds [2 x i64], [2 x i64]* %2, i64 0, i64 0
%7 = call i32 @xb(i64* %6)
%8 = icmp ne i32 %7, 16255
br i1 %8, label %17, label %9
9: ; preds = %0
%10 = getelementptr inbounds [2 x i64], [2 x i64]* %2, i64 0, i64 0
%11 = call i32 @xw(i64* %10)
%12 = icmp ne i32 %11, 81535
br i1 %12, label %17, label %13
13: ; preds = %9
%14 = getelementptr inbounds [2 x i16], [2 x i16]* %3, i64 0, i64 0
%15 = call i32 @yb(i16* %14)
%16 = icmp ne i32 %15, 16255
br i1 %16, label %17, label %19
17: ; preds = %13, %9, %0
%18 = call i32 (...) @abort()
unreachable
19: ; preds = %13
%20 = call i32 @exit(i32 0)
unreachable
}

LLVM IR (-O2):
@__const.main.y = [2 x i64] [i64 -1, i64 16000]
define i32 @main() {
%1 = alloca [2 x i64]
%2 = alloca i32
%3 = bitcast [2 x i64]* %1 to i8*
%4 = bitcast i32* %2 to i8*
store i32 1048641535, i32* %2
%5 = getelementptr inbounds [2 x i64], [2 x i64]* %1, i64 0, i64 0
%6 = call i32 @xb(i64* %5)
%7 = icmp eq i32 %6, 16255
br i1 %7, label %8, label %15
8: ; preds = %0
%9 = call i32 @xw(i64* %5)
%10 = icmp eq i32 %9, 81535
br i1 %10, label %11, label %15
11: ; preds = %8
%12 = bitcast i32* %2 to i16*
%13 = call i32 @yb(i16* %12)
%14 = icmp eq i32 %13, 16255
br i1 %14, label %17, label %15
15: ; preds = %11, %8, %0
%16 = call i32 (...) @abort()
unreachable
17: ; preds = %11
%18 = call i32 @exit(i32 0)
unreachable
}