#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 INT16_MAX;
int INT16_MIN;
long INT32_MAX;
long INT32_MIN;
long INT64_MAX;
long INT64_MIN;
int INT8_MAX;
int INT8_MIN;
int INT_FAST16_MAX;
int INT_FAST16_MIN;
long INT_FAST32_MAX;
long INT_FAST32_MIN;
long INT_FAST64_MAX;
long INT_FAST64_MIN;
int INT_FAST8_MAX;
int INT_FAST8_MIN;
int INT_LEAST16_MAX;
int INT_LEAST16_MIN;
long INT_LEAST32_MAX;
long INT_LEAST32_MIN;
long INT_LEAST64_MAX;
long INT_LEAST64_MIN;
int INT_LEAST8_MAX;
int INT_LEAST8_MIN;
int UINT16_MAX;
unsigned long UINT32_MAX;
unsigned long UINT64_MAX;
int UINT8_MAX;
int UINT_FAST16_MAX;
unsigned long UINT_FAST32_MAX;
unsigned long UINT_FAST64_MAX;
int UINT_FAST8_MAX;
int UINT_LEAST16_MAX;
unsigned long UINT_LEAST32_MAX;
unsigned long UINT_LEAST64_MAX;
int UINT_LEAST8_MAX;
int /*<<< orphan*/ assert(int);
int /*<<< orphan*/ printf(char *, ...);
void stdintTest() {
  printf("\nstdint test\n");
  printf("INT8_MAX: %d\n", INT8_MAX);
  printf("INT8_MIN: %d\n", INT8_MIN);
  printf("UINT8_MAX: %u\n", UINT8_MAX);
  printf("INT_LEAST8_MAX: %d\n", INT_LEAST8_MAX);
  printf("INT_LEAST8_MIN: %d\n", INT_LEAST8_MIN);
  printf("UINT_LEAST8_MAX: %u\n", UINT_LEAST8_MAX);
  printf("INT_FAST8_MAX: %d\n", INT_FAST8_MAX);
  printf("INT_FAST8_MIN: %d\n", INT_FAST8_MIN);
  printf("UINT_FAST8_MAX: %u\n", UINT_FAST8_MAX);
  assert(INT8_MAX == 127);
  assert(INT8_MIN == -128);
  assert(UINT8_MAX == 255);
  assert(INT_LEAST8_MAX >= 127);
  assert(INT_LEAST8_MIN <= -128);
  assert(UINT_LEAST8_MAX >= 255);
  assert(INT_FAST8_MAX >= 127);
  assert(INT_FAST8_MIN <= -128);
  assert(UINT_FAST8_MAX >= 255);
  printf("INT16_MAX: %d\n", INT16_MAX);
  printf("INT16_MIN: %d\n", INT16_MIN);
  printf("UINT16_MAX: %u\n", UINT16_MAX);
  printf("INT_LEAST16_MAX: %d\n", INT_LEAST16_MAX);
  printf("INT_LEAST16_MIN: %d\n", INT_LEAST16_MIN);
  printf("UINT_LEAST16_MAX: %u\n", UINT_LEAST16_MAX);
  printf("INT_FAST16_MAX: %ld\n", INT_FAST16_MAX);
  printf("INT_FAST16_MIN: %ld\n", INT_FAST16_MIN);
  printf("UINT_FAST16_MAX: %lu\n", UINT_FAST16_MAX);
  assert(INT16_MAX == 32767);
  assert(INT16_MIN == -32768);
  assert(UINT16_MAX == 65535);
  assert(INT_LEAST16_MAX >= 32767);
  assert(INT_LEAST16_MIN <= -32768);
  assert(UINT_LEAST16_MAX >= 65535);
  assert(INT_FAST16_MAX >= 32767);
  assert(INT_FAST16_MIN <= -32768);
  assert(UINT_FAST16_MAX >= 65535);
  printf("INT32_MAX: %ld\n", INT32_MAX);
  printf("INT32_MIN: %ld\n", INT32_MIN);
  printf("UINT32_MAX: %lu\n", UINT32_MAX);
  printf("INT_LEAST32_MAX: %ld\n", INT_LEAST32_MAX);
  printf("INT_LEAST32_MIN: %ld\n", INT_LEAST32_MIN);
  printf("UINT_LEAST32_MAX: %lu\n", UINT_LEAST32_MAX);
  printf("INT_FAST32_MAX: %ld\n", INT_FAST32_MAX);
  printf("INT_FAST32_MIN: %ld\n", INT_FAST32_MIN);
  printf("UINT_FAST32_MAX: %lu\n", UINT_FAST32_MAX);
  assert(INT32_MAX == 2147483647L);
  assert(INT32_MIN == -2147483648L);
  assert(UINT32_MAX == 4294967295UL);
  assert(INT_LEAST32_MAX >= 2147483647L);
  assert(INT_LEAST32_MIN <= -2147483648L);
  assert(UINT_LEAST32_MAX >= 4294967295UL);
  assert(INT_FAST32_MAX >= 2147483647L);
  assert(INT_FAST32_MIN <= -2147483648L);
  assert(UINT_FAST32_MAX >= 4294967295UL);
  printf("INT64_MAX: %lld\n", INT64_MAX);
  printf("INT64_MIN: %lld\n", INT64_MIN);
  printf("UINT64_MAX: %llu\n", UINT64_MAX);
  printf("INT_LEAST64_MAX: %lld\n", INT_LEAST64_MAX);
  printf("INT_LEAST64_MIN: %lld\n", INT_LEAST64_MIN);
  printf("UINT_LEAST64_MAX: %llu\n", UINT_LEAST64_MAX);
  printf("INT_FAST64_MAX: %lld\n", INT_FAST64_MAX);
  printf("INT_FAST64_MIN: %lld\n", INT_FAST64_MIN);
  printf("UINT_FAST64_MAX: %llu\n", UINT_FAST64_MAX);
  assert(INT64_MAX == 9223372036854775807L);
  assert(INT64_MIN == -9223372036854775808L);
  assert(UINT64_MAX == 18446744073709551615UL);
  assert(INT_LEAST64_MAX >= 9223372036854775807L);
  assert(INT_LEAST64_MIN <= -9223372036854775808L);
  assert(UINT_LEAST64_MAX >= 18446744073709551615UL);
  assert(INT_FAST64_MAX >= 9223372036854775807L);
  assert(INT_FAST64_MIN <= -9223372036854775808L);
  assert(UINT_FAST64_MAX >= 18446744073709551615UL);
}


x86 assembly (clang, -O0):
<stdintTest>:
push   %rbp
mov    %rsp,%rbp
lea    0xed5(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2e27(%rip),%rax
mov    (%rax),%esi
lea    0xecc(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2e28(%rip),%rax
mov    (%rax),%esi
lea    0xec3(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2d99(%rip),%rax
mov    (%rax),%esi
lea    0xeba(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2e72(%rip),%rax
mov    (%rax),%esi
lea    0xeb2(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2e4b(%rip),%rax
mov    (%rax),%esi
lea    0xeaf(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2d74(%rip),%rax
mov    (%rax),%esi
lea    0xeac(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2dfd(%rip),%rax
mov    (%rax),%esi
lea    0xeaa(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2dde(%rip),%rax
mov    (%rax),%esi
lea    0xea6(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2d5f(%rip),%rax
mov    (%rax),%esi
lea    0xea2(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2d58(%rip),%rax
cmpl   $0x7f,(%rax)
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    0x2d59(%rip),%rax
cmpl   $0xffffff80,(%rax)
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    0x2cca(%rip),%rax
cmpl   $0xff,(%rax)
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    0x2da0(%rip),%rax
cmpl   $0x7f,(%rax)
setge  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    0x2d79(%rip),%rax
cmpl   $0xffffff80,(%rax)
setle  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    0x2ca2(%rip),%rax
cmpl   $0xff,(%rax)
setge  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    0x2d28(%rip),%rax
cmpl   $0x7f,(%rax)
setge  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    0x2d09(%rip),%rax
cmpl   $0xffffff80,(%rax)
setle  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    0x2c8a(%rip),%rax
cmpl   $0xff,(%rax)
setge  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    0x2c68(%rip),%rax
mov    (%rax),%esi
lea    0xdc7(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2c01(%rip),%rax
mov    (%rax),%esi
lea    0xdbf(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2be2(%rip),%rax
mov    (%rax),%esi
lea    0xdb7(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2cb3(%rip),%rax
mov    (%rax),%esi
lea    0xdb0(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2c64(%rip),%rax
mov    (%rax),%esi
lea    0xdae(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2c35(%rip),%rax
mov    (%rax),%esi
lea    0xdac(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2b6e(%rip),%rax
mov    (%rax),%esi
lea    0xdab(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2c27(%rip),%rax
mov    (%rax),%esi
lea    0xda9(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2bd0(%rip),%rax
mov    (%rax),%esi
lea    0xda7(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2b99(%rip),%rax
cmpl   $0x7fff,(%rax)
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    0x2b2f(%rip),%rax
cmpl   $0xffff8000,(%rax)
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    0x2b0d(%rip),%rax
cmpl   $0xffff,(%rax)
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    0x2bdb(%rip),%rax
cmpl   $0x7fff,(%rax)
setge  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    0x2b89(%rip),%rax
cmpl   $0xffff8000,(%rax)
setle  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    0x2b57(%rip),%rax
cmpl   $0xffff,(%rax)
setge  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    0x2a8d(%rip),%rax
cmpl   $0x7fff,(%rax)
setge  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    0x2b43(%rip),%rax
cmpl   $0xffff8000,(%rax)
setle  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    0x2ae9(%rip),%rax
cmpl   $0xffff,(%rax)
setge  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    0x2aa7(%rip),%rax
mov    (%rax),%rsi
lea    0xcbb(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2a7f(%rip),%rax
mov    (%rax),%rsi
lea    0xcb3(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2b2f(%rip),%rax
mov    (%rax),%rsi
lea    0xcab(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2a07(%rip),%rax
mov    (%rax),%rsi
lea    0xca4(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x29d7(%rip),%rax
mov    (%rax),%rsi
lea    0xca2(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x29f7(%rip),%rax
mov    (%rax),%rsi
lea    0xca0(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2a57(%rip),%rax
mov    (%rax),%rsi
lea    0xc9f(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x29d7(%rip),%rax
mov    (%rax),%rsi
lea    0xc9c(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x29b7(%rip),%rax
mov    (%rax),%rsi
lea    0xc99(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x29cf(%rip),%rax
cmpq   $0x7fffffff,(%rax)
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    0x29a4(%rip),%rax
cmpq   $0xffffffff80000000,(%rax)
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    $0xffffffff,%ecx
mov    0x2a4c(%rip),%rax
cmp    %rcx,(%rax)
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    0x2925(%rip),%rax
cmpq   $0x7fffffff,(%rax)
setge  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    0x28f2(%rip),%rax
cmpq   $0xffffffff80000000,(%rax)
setle  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    $0xffffffff,%ecx
mov    0x290a(%rip),%rax
cmp    %rcx,(%rax)
setae  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    0x296b(%rip),%rax
cmpq   $0x7fffffff,(%rax)
setge  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    0x28e8(%rip),%rax
cmpq   $0xffffffff80000000,(%rax)
setle  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    $0xffffffff,%ecx
mov    0x28c0(%rip),%rax
cmp    %rcx,(%rax)
setae  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    0x2931(%rip),%rax
mov    (%rax),%rsi
lea    0xba1(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2911(%rip),%rax
mov    (%rax),%rsi
lea    0xb9a(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2829(%rip),%rax
mov    (%rax),%rsi
lea    0xb93(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2879(%rip),%rax
mov    (%rax),%rsi
lea    0xb8d(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2871(%rip),%rax
mov    (%rax),%rsi
lea    0xb8c(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x27e9(%rip),%rax
mov    (%rax),%rsi
lea    0xb8b(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x28b9(%rip),%rax
mov    (%rax),%rsi
lea    0xb8b(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2849(%rip),%rax
mov    (%rax),%rsi
lea    0xb89(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x28a1(%rip),%rax
mov    (%rax),%rsi
lea    0xb87(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movabs $0x7fffffffffffffff,%rcx
ff ff 7f
mov    0x284f(%rip),%rax
cmp    %rcx,(%rax)
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
movabs $0x8000000000000000,%rcx
mov    0x2826(%rip),%rax
cmp    %rcx,(%rax)
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    0x273f(%rip),%rax
cmpq   $0xffffffffffffffff,(%rax)
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
movabs $0x7fffffffffffffff,%rcx
ff ff 7f
mov    0x2785(%rip),%rax
cmp    %rcx,(%rax)
setge  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
movabs $0x8000000000000000,%rcx
mov    0x2774(%rip),%rax
cmp    %rcx,(%rax)
setbe  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    0x26ed(%rip),%rax
cmpq   $0xffffffffffffffff,(%rax)
setae  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
movabs $0x7fffffffffffffff,%rcx
ff ff 7f
mov    0x27b3(%rip),%rax
cmp    %rcx,(%rax)
setge  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
movabs $0x8000000000000000,%rcx
mov    0x273a(%rip),%rax
cmp    %rcx,(%rax)
setbe  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    0x2793(%rip),%rax
cmpq   $0xffffffffffffffff,(%rax)
setae  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
pop    %rbp
ret

x86 assembly (clang, -O2):
<stdintTest>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
lea    0x117f(%rip),%rdi
call   1030 <puts@plt>
mov    0x2e12(%rip),%rax
mov    (%rax),%esi
lea    0xea9(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2e13(%rip),%rbp
mov    0x0(%rbp),%esi
lea    0xe9f(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2d83(%rip),%rbx
mov    (%rbx),%esi
lea    0xe96(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2e5c(%rip),%r15
mov    (%r15),%esi
lea    0xe8d(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2e34(%rip),%r12
mov    (%r12),%esi
lea    0xe88(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2d5b(%rip),%r13
mov    0x0(%r13),%esi
lea    0xe83(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2de2(%rip),%r14
mov    (%r14),%esi
lea    0xe80(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2dc2(%rip),%rax
mov    (%rax),%esi
lea    0xe7c(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2d43(%rip),%rax
mov    (%rax),%esi
lea    0xe78(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
xor    %edi,%edi
mov    0x2d3a(%rip),%rax
cmpl   $0x7f,(%rax)
sete   %dil
call   1050 <assert@plt>
xor    %edi,%edi
cmpl   $0xffffff80,0x0(%rbp)
sete   %dil
call   1050 <assert@plt>
xor    %edi,%edi
cmpl   $0xff,(%rbx)
sete   %dil
call   1050 <assert@plt>
xor    %edi,%edi
cmpl   $0x7f,(%r15)
setge  %dil
call   1050 <assert@plt>
xor    %edi,%edi
cmpl   $0xffffff81,(%r12)
setl   %dil
call   1050 <assert@plt>
xor    %edi,%edi
cmpl   $0xff,0x0(%r13)
setge  %dil
call   1050 <assert@plt>
xor    %edi,%edi
cmpl   $0x7f,(%r14)
setge  %dil
call   1050 <assert@plt>
xor    %edi,%edi
mov    0x2d1c(%rip),%rax
cmpl   $0xffffff81,(%rax)
setl   %dil
call   1050 <assert@plt>
xor    %edi,%edi
mov    0x2c9f(%rip),%rax
cmpl   $0xff,(%rax)
setge  %dil
call   1050 <assert@plt>
mov    0x2c81(%rip),%rbx
mov    (%rbx),%esi
lea    0xdd2(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2c1a(%rip),%rbp
mov    0x0(%rbp),%esi
lea    0xdc9(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2bfa(%rip),%r14
mov    (%r14),%esi
lea    0xdc0(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2cca(%rip),%r15
mov    (%r15),%esi
lea    0xdb8(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2c7a(%rip),%r12
mov    (%r12),%esi
lea    0xdb4(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2c49(%rip),%r13
mov    0x0(%r13),%esi
lea    0xdb0(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2b80(%rip),%rax
mov    (%rax),%esi
lea    0xdaf(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2c39(%rip),%rax
mov    (%rax),%esi
lea    0xdad(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2be2(%rip),%rax
mov    (%rax),%esi
lea    0xdab(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
xor    %edi,%edi
cmpl   $0x7fff,(%rbx)
sete   %dil
call   1050 <assert@plt>
xor    %edi,%edi
cmpl   $0xffff8000,0x0(%rbp)
sete   %dil
call   1050 <assert@plt>
xor    %edi,%edi
cmpl   $0xffff,(%r14)
sete   %dil
call   1050 <assert@plt>
xor    %edi,%edi
cmpl   $0x7fff,(%r15)
setge  %dil
call   1050 <assert@plt>
xor    %edi,%edi
cmpl   $0xffff8001,(%r12)
ff
setl   %dil
call   1050 <assert@plt>
xor    %edi,%edi
cmpl   $0xffff,0x0(%r13)
setge  %dil
call   1050 <assert@plt>
xor    %edi,%edi
mov    0x2acc(%rip),%rax
cmpl   $0x7fff,(%rax)
setge  %dil
call   1050 <assert@plt>
xor    %edi,%edi
mov    0x2b84(%rip),%rax
cmpl   $0xffff8001,(%rax)
setl   %dil
call   1050 <assert@plt>
xor    %edi,%edi
mov    0x2b2c(%rip),%rax
cmpl   $0xffff,(%rax)
setge  %dil
call   1050 <assert@plt>
mov    0x2aee(%rip),%r15
mov    (%r15),%rsi
lea    0xcf4(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2ac6(%rip),%r12
mov    (%r12),%rsi
lea    0xceb(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2b75(%rip),%rbp
mov    0x0(%rbp),%rsi
lea    0xce2(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2a4c(%rip),%rbx
mov    (%rbx),%rsi
lea    0xcdb(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2a1c(%rip),%r14
mov    (%r14),%rsi
lea    0xcd9(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2a3c(%rip),%r13
mov    0x0(%r13),%rsi
lea    0xcd6(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2a9b(%rip),%rax
mov    (%rax),%rsi
lea    0xcd5(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2a1b(%rip),%rax
mov    (%rax),%rsi
lea    0xcd2(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x29fb(%rip),%rax
mov    (%rax),%rsi
lea    0xccf(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
xor    %edi,%edi
cmpq   $0x7fffffff,(%r15)
sete   %dil
call   1050 <assert@plt>
xor    %edi,%edi
cmpq   $0xffffffff80000000,(%r12)
80
sete   %dil
call   1050 <assert@plt>
mov    $0xffffffff,%eax
xor    %edi,%edi
cmp    %rax,0x0(%rbp)
sete   %dil
call   1050 <assert@plt>
xor    %edi,%edi
cmpq   $0x7fffffff,(%rbx)
setge  %dil
call   1050 <assert@plt>
xor    %edi,%edi
cmpq   $0xffffffff80000001,(%r14)
setl   %dil
call   1050 <assert@plt>
mov    $0xfffffffe,%ebx
xor    %edi,%edi
cmp    %rbx,0x0(%r13)
seta   %dil
call   1050 <assert@plt>
xor    %edi,%edi
mov    0x29e0(%rip),%rax
cmpq   $0x7fffffff,(%rax)
setge  %dil
call   1050 <assert@plt>
xor    %edi,%edi
mov    0x295f(%rip),%rax
cmpq   $0xffffffff80000001,(%rax)
setl   %dil
call   1050 <assert@plt>
xor    %edi,%edi
mov    0x293e(%rip),%rax
cmp    %rbx,(%rax)
seta   %dil
call   1050 <assert@plt>
mov    0x29b3(%rip),%r15
mov    (%r15),%rsi
lea    0xc15(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2993(%rip),%rbp
mov    0x0(%rbp),%rsi
lea    0xc0d(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x28aa(%rip),%rbx
mov    (%rbx),%rsi
lea    0xc06(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x28fa(%rip),%r14
mov    (%r14),%rsi
lea    0xc00(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x28f2(%rip),%rax
mov    (%rax),%rsi
lea    0xbff(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x286a(%rip),%rax
mov    (%rax),%rsi
lea    0xbfe(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x293a(%rip),%rax
mov    (%rax),%rsi
lea    0xbfe(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x28ca(%rip),%rax
mov    (%rax),%rsi
lea    0xbfc(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2922(%rip),%r13
mov    0x0(%r13),%rsi
lea    0xbf9(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
movabs $0x7fffffffffffffff,%r12
ff ff 7f
xor    %edi,%edi
cmp    %r12,(%r15)
sete   %dil
call   1050 <assert@plt>
lea    0x1(%r12),%rax
xor    %edi,%edi
cmp    %rax,0x0(%rbp)
sete   %dil
call   1050 <assert@plt>
xor    %edi,%edi
cmpq   $0xffffffffffffffff,(%rbx)
sete   %dil
call   1050 <assert@plt>
xor    %edi,%edi
cmp    %r12,(%r14)
sete   %dil
call   1050 <assert@plt>
lea    0x2(%r12),%rbx
xor    %edi,%edi
mov    0x2829(%rip),%rax
cmp    %rbx,(%rax)
setb   %dil
call   1050 <assert@plt>
xor    %edi,%edi
mov    0x27a4(%rip),%rax
cmpq   $0xffffffffffffffff,(%rax)
sete   %dil
call   1050 <assert@plt>
xor    %edi,%edi
mov    0x2876(%rip),%rax
cmp    %r12,(%rax)
sete   %dil
call   1050 <assert@plt>
xor    %edi,%edi
mov    0x2809(%rip),%rax
cmp    %rbx,(%rax)
setb   %dil
call   1050 <assert@plt>
xor    %edi,%edi
cmpq   $0xffffffffffffffff,0x0(%r13)
sete   %dil
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1050 <assert@plt>

LLVM IR (-O0):
@.str = [14 x i8] c"\0Astdint test\0A\00"
@.str.1 = [14 x i8] c"INT8_MAX: %d\0A\00"
@INT8_MAX = global i32 0
@.str.2 = [14 x i8] c"INT8_MIN: %d\0A\00"
@INT8_MIN = global i32 0
@.str.3 = [15 x i8] c"UINT8_MAX: %u\0A\00"
@UINT8_MAX = global i32 0
@.str.4 = [20 x i8] c"INT_LEAST8_MAX: %d\0A\00"
@INT_LEAST8_MAX = global i32 0
@.str.5 = [20 x i8] c"INT_LEAST8_MIN: %d\0A\00"
@INT_LEAST8_MIN = global i32 0
@.str.6 = [21 x i8] c"UINT_LEAST8_MAX: %u\0A\00"
@UINT_LEAST8_MAX = global i32 0
@.str.7 = [19 x i8] c"INT_FAST8_MAX: %d\0A\00"
@INT_FAST8_MAX = global i32 0
@.str.8 = [19 x i8] c"INT_FAST8_MIN: %d\0A\00"
@INT_FAST8_MIN = global i32 0
@.str.9 = [20 x i8] c"UINT_FAST8_MAX: %u\0A\00"
@UINT_FAST8_MAX = global i32 0
@.str.10 = [15 x i8] c"INT16_MAX: %d\0A\00"
@INT16_MAX = global i32 0
@.str.11 = [15 x i8] c"INT16_MIN: %d\0A\00"
@INT16_MIN = global i32 0
@.str.12 = [16 x i8] c"UINT16_MAX: %u\0A\00"
@UINT16_MAX = global i32 0
@.str.13 = [21 x i8] c"INT_LEAST16_MAX: %d\0A\00"
@INT_LEAST16_MAX = global i32 0
@.str.14 = [21 x i8] c"INT_LEAST16_MIN: %d\0A\00"
@INT_LEAST16_MIN = global i32 0
@.str.15 = [22 x i8] c"UINT_LEAST16_MAX: %u\0A\00"
@UINT_LEAST16_MAX = global i32 0
@.str.16 = [21 x i8] c"INT_FAST16_MAX: %ld\0A\00"
@INT_FAST16_MAX = global i32 0
@.str.17 = [21 x i8] c"INT_FAST16_MIN: %ld\0A\00"
@INT_FAST16_MIN = global i32 0
@.str.18 = [22 x i8] c"UINT_FAST16_MAX: %lu\0A\00"
@UINT_FAST16_MAX = global i32 0
@.str.19 = [16 x i8] c"INT32_MAX: %ld\0A\00"
@INT32_MAX = global i64 0
@.str.20 = [16 x i8] c"INT32_MIN: %ld\0A\00"
@INT32_MIN = global i64 0
@.str.21 = [17 x i8] c"UINT32_MAX: %lu\0A\00"
@UINT32_MAX = global i64 0
@.str.22 = [22 x i8] c"INT_LEAST32_MAX: %ld\0A\00"
@INT_LEAST32_MAX = global i64 0
@.str.23 = [22 x i8] c"INT_LEAST32_MIN: %ld\0A\00"
@INT_LEAST32_MIN = global i64 0
@.str.24 = [23 x i8] c"UINT_LEAST32_MAX: %lu\0A\00"
@UINT_LEAST32_MAX = global i64 0
@.str.25 = [21 x i8] c"INT_FAST32_MAX: %ld\0A\00"
@INT_FAST32_MAX = global i64 0
@.str.26 = [21 x i8] c"INT_FAST32_MIN: %ld\0A\00"
@INT_FAST32_MIN = global i64 0
@.str.27 = [22 x i8] c"UINT_FAST32_MAX: %lu\0A\00"
@UINT_FAST32_MAX = global i64 0
@.str.28 = [17 x i8] c"INT64_MAX: %lld\0A\00"
@INT64_MAX = global i64 0
@.str.29 = [17 x i8] c"INT64_MIN: %lld\0A\00"
@INT64_MIN = global i64 0
@.str.30 = [18 x i8] c"UINT64_MAX: %llu\0A\00"
@UINT64_MAX = global i64 0
@.str.31 = [23 x i8] c"INT_LEAST64_MAX: %lld\0A\00"
@INT_LEAST64_MAX = global i64 0
@.str.32 = [23 x i8] c"INT_LEAST64_MIN: %lld\0A\00"
@INT_LEAST64_MIN = global i64 0
@.str.33 = [24 x i8] c"UINT_LEAST64_MAX: %llu\0A\00"
@UINT_LEAST64_MAX = global i64 0
@.str.34 = [22 x i8] c"INT_FAST64_MAX: %lld\0A\00"
@INT_FAST64_MAX = global i64 0
@.str.35 = [22 x i8] c"INT_FAST64_MIN: %lld\0A\00"
@INT_FAST64_MIN = global i64 0
@.str.36 = [23 x i8] c"UINT_FAST64_MAX: %llu\0A\00"
@UINT_FAST64_MAX = global i64 0
define void @stdintTest() {
%1 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str, i64 0, i64 0))
%2 = load i32, i32* @INT8_MAX
%3 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.1, i64 0, i64 0), i32 %2)
%4 = load i32, i32* @INT8_MIN
%5 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.2, i64 0, i64 0), i32 %4)
%6 = load i32, i32* @UINT8_MAX
%7 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str.3, i64 0, i64 0), i32 %6)
%8 = load i32, i32* @INT_LEAST8_MAX
%9 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.4, i64 0, i64 0), i32 %8)
%10 = load i32, i32* @INT_LEAST8_MIN
%11 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.5, i64 0, i64 0), i32 %10)
%12 = load i32, i32* @UINT_LEAST8_MAX
%13 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([21 x i8], [21 x i8]* @.str.6, i64 0, i64 0), i32 %12)
%14 = load i32, i32* @INT_FAST8_MAX
%15 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.7, i64 0, i64 0), i32 %14)
%16 = load i32, i32* @INT_FAST8_MIN
%17 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.8, i64 0, i64 0), i32 %16)
%18 = load i32, i32* @UINT_FAST8_MAX
%19 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.9, i64 0, i64 0), i32 %18)
%20 = load i32, i32* @INT8_MAX
%21 = icmp eq i32 %20, 127
%22 = zext i1 %21 to i32
%23 = call i32 @assert(i32 %22)
%24 = load i32, i32* @INT8_MIN
%25 = icmp eq i32 %24, -128
%26 = zext i1 %25 to i32
%27 = call i32 @assert(i32 %26)
%28 = load i32, i32* @UINT8_MAX
%29 = icmp eq i32 %28, 255
%30 = zext i1 %29 to i32
%31 = call i32 @assert(i32 %30)
%32 = load i32, i32* @INT_LEAST8_MAX
%33 = icmp sge i32 %32, 127
%34 = zext i1 %33 to i32
%35 = call i32 @assert(i32 %34)
%36 = load i32, i32* @INT_LEAST8_MIN
%37 = icmp sle i32 %36, -128
%38 = zext i1 %37 to i32
%39 = call i32 @assert(i32 %38)
%40 = load i32, i32* @UINT_LEAST8_MAX
%41 = icmp sge i32 %40, 255
%42 = zext i1 %41 to i32
%43 = call i32 @assert(i32 %42)
%44 = load i32, i32* @INT_FAST8_MAX
%45 = icmp sge i32 %44, 127
%46 = zext i1 %45 to i32
%47 = call i32 @assert(i32 %46)
%48 = load i32, i32* @INT_FAST8_MIN
%49 = icmp sle i32 %48, -128
%50 = zext i1 %49 to i32
%51 = call i32 @assert(i32 %50)
%52 = load i32, i32* @UINT_FAST8_MAX
%53 = icmp sge i32 %52, 255
%54 = zext i1 %53 to i32
%55 = call i32 @assert(i32 %54)
%56 = load i32, i32* @INT16_MAX
%57 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str.10, i64 0, i64 0), i32 %56)
%58 = load i32, i32* @INT16_MIN
%59 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str.11, i64 0, i64 0), i32 %58)
%60 = load i32, i32* @UINT16_MAX
%61 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str.12, i64 0, i64 0), i32 %60)
%62 = load i32, i32* @INT_LEAST16_MAX
%63 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([21 x i8], [21 x i8]* @.str.13, i64 0, i64 0), i32 %62)
%64 = load i32, i32* @INT_LEAST16_MIN
%65 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([21 x i8], [21 x i8]* @.str.14, i64 0, i64 0), i32 %64)
%66 = load i32, i32* @UINT_LEAST16_MAX
%67 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.15, i64 0, i64 0), i32 %66)
%68 = load i32, i32* @INT_FAST16_MAX
%69 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([21 x i8], [21 x i8]* @.str.16, i64 0, i64 0), i32 %68)
%70 = load i32, i32* @INT_FAST16_MIN
%71 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([21 x i8], [21 x i8]* @.str.17, i64 0, i64 0), i32 %70)
%72 = load i32, i32* @UINT_FAST16_MAX
%73 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.18, i64 0, i64 0), i32 %72)
%74 = load i32, i32* @INT16_MAX
%75 = icmp eq i32 %74, 32767
%76 = zext i1 %75 to i32
%77 = call i32 @assert(i32 %76)
%78 = load i32, i32* @INT16_MIN
%79 = icmp eq i32 %78, -32768
%80 = zext i1 %79 to i32
%81 = call i32 @assert(i32 %80)
%82 = load i32, i32* @UINT16_MAX
%83 = icmp eq i32 %82, 65535
%84 = zext i1 %83 to i32
%85 = call i32 @assert(i32 %84)
%86 = load i32, i32* @INT_LEAST16_MAX
%87 = icmp sge i32 %86, 32767
%88 = zext i1 %87 to i32
%89 = call i32 @assert(i32 %88)
%90 = load i32, i32* @INT_LEAST16_MIN
%91 = icmp sle i32 %90, -32768
%92 = zext i1 %91 to i32
%93 = call i32 @assert(i32 %92)
%94 = load i32, i32* @UINT_LEAST16_MAX
%95 = icmp sge i32 %94, 65535
%96 = zext i1 %95 to i32
%97 = call i32 @assert(i32 %96)
%98 = load i32, i32* @INT_FAST16_MAX
%99 = icmp sge i32 %98, 32767
%100 = zext i1 %99 to i32
%101 = call i32 @assert(i32 %100)
%102 = load i32, i32* @INT_FAST16_MIN
%103 = icmp sle i32 %102, -32768
%104 = zext i1 %103 to i32
%105 = call i32 @assert(i32 %104)
%106 = load i32, i32* @UINT_FAST16_MAX
%107 = icmp sge i32 %106, 65535
%108 = zext i1 %107 to i32
%109 = call i32 @assert(i32 %108)
%110 = load i64, i64* @INT32_MAX
%111 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str.19, i64 0, i64 0), i64 %110)
%112 = load i64, i64* @INT32_MIN
%113 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str.20, i64 0, i64 0), i64 %112)
%114 = load i64, i64* @UINT32_MAX
%115 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.21, i64 0, i64 0), i64 %114)
%116 = load i64, i64* @INT_LEAST32_MAX
%117 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.22, i64 0, i64 0), i64 %116)
%118 = load i64, i64* @INT_LEAST32_MIN
%119 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.23, i64 0, i64 0), i64 %118)
%120 = load i64, i64* @UINT_LEAST32_MAX
%121 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([23 x i8], [23 x i8]* @.str.24, i64 0, i64 0), i64 %120)
%122 = load i64, i64* @INT_FAST32_MAX
%123 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([21 x i8], [21 x i8]* @.str.25, i64 0, i64 0), i64 %122)
%124 = load i64, i64* @INT_FAST32_MIN
%125 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([21 x i8], [21 x i8]* @.str.26, i64 0, i64 0), i64 %124)
%126 = load i64, i64* @UINT_FAST32_MAX
%127 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.27, i64 0, i64 0), i64 %126)
%128 = load i64, i64* @INT32_MAX
%129 = icmp eq i64 %128, 2147483647
%130 = zext i1 %129 to i32
%131 = call i32 @assert(i32 %130)
%132 = load i64, i64* @INT32_MIN
%133 = icmp eq i64 %132, -2147483648
%134 = zext i1 %133 to i32
%135 = call i32 @assert(i32 %134)
%136 = load i64, i64* @UINT32_MAX
%137 = icmp eq i64 %136, 4294967295
%138 = zext i1 %137 to i32
%139 = call i32 @assert(i32 %138)
%140 = load i64, i64* @INT_LEAST32_MAX
%141 = icmp sge i64 %140, 2147483647
%142 = zext i1 %141 to i32
%143 = call i32 @assert(i32 %142)
%144 = load i64, i64* @INT_LEAST32_MIN
%145 = icmp sle i64 %144, -2147483648
%146 = zext i1 %145 to i32
%147 = call i32 @assert(i32 %146)
%148 = load i64, i64* @UINT_LEAST32_MAX
%149 = icmp uge i64 %148, 4294967295
%150 = zext i1 %149 to i32
%151 = call i32 @assert(i32 %150)
%152 = load i64, i64* @INT_FAST32_MAX
%153 = icmp sge i64 %152, 2147483647
%154 = zext i1 %153 to i32
%155 = call i32 @assert(i32 %154)
%156 = load i64, i64* @INT_FAST32_MIN
%157 = icmp sle i64 %156, -2147483648
%158 = zext i1 %157 to i32
%159 = call i32 @assert(i32 %158)
%160 = load i64, i64* @UINT_FAST32_MAX
%161 = icmp uge i64 %160, 4294967295
%162 = zext i1 %161 to i32
%163 = call i32 @assert(i32 %162)
%164 = load i64, i64* @INT64_MAX
%165 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.28, i64 0, i64 0), i64 %164)
%166 = load i64, i64* @INT64_MIN
%167 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.29, i64 0, i64 0), i64 %166)
%168 = load i64, i64* @UINT64_MAX
%169 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.30, i64 0, i64 0), i64 %168)
%170 = load i64, i64* @INT_LEAST64_MAX
%171 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([23 x i8], [23 x i8]* @.str.31, i64 0, i64 0), i64 %170)
%172 = load i64, i64* @INT_LEAST64_MIN
%173 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([23 x i8], [23 x i8]* @.str.32, i64 0, i64 0), i64 %172)
%174 = load i64, i64* @UINT_LEAST64_MAX
%175 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str.33, i64 0, i64 0), i64 %174)
%176 = load i64, i64* @INT_FAST64_MAX
%177 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.34, i64 0, i64 0), i64 %176)
%178 = load i64, i64* @INT_FAST64_MIN
%179 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.35, i64 0, i64 0), i64 %178)
%180 = load i64, i64* @UINT_FAST64_MAX
%181 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([23 x i8], [23 x i8]* @.str.36, i64 0, i64 0), i64 %180)
%182 = load i64, i64* @INT64_MAX
%183 = icmp eq i64 %182, 9223372036854775807
%184 = zext i1 %183 to i32
%185 = call i32 @assert(i32 %184)
%186 = load i64, i64* @INT64_MIN
%187 = icmp eq i64 %186, -9223372036854775808
%188 = zext i1 %187 to i32
%189 = call i32 @assert(i32 %188)
%190 = load i64, i64* @UINT64_MAX
%191 = icmp eq i64 %190, -1
%192 = zext i1 %191 to i32
%193 = call i32 @assert(i32 %192)
%194 = load i64, i64* @INT_LEAST64_MAX
%195 = icmp sge i64 %194, 9223372036854775807
%196 = zext i1 %195 to i32
%197 = call i32 @assert(i32 %196)
%198 = load i64, i64* @INT_LEAST64_MIN
%199 = icmp ule i64 %198, -9223372036854775808
%200 = zext i1 %199 to i32
%201 = call i32 @assert(i32 %200)
%202 = load i64, i64* @UINT_LEAST64_MAX
%203 = icmp uge i64 %202, -1
%204 = zext i1 %203 to i32
%205 = call i32 @assert(i32 %204)
%206 = load i64, i64* @INT_FAST64_MAX
%207 = icmp sge i64 %206, 9223372036854775807
%208 = zext i1 %207 to i32
%209 = call i32 @assert(i32 %208)
%210 = load i64, i64* @INT_FAST64_MIN
%211 = icmp ule i64 %210, -9223372036854775808
%212 = zext i1 %211 to i32
%213 = call i32 @assert(i32 %212)
%214 = load i64, i64* @UINT_FAST64_MAX
%215 = icmp uge i64 %214, -1
%216 = zext i1 %215 to i32
%217 = call i32 @assert(i32 %216)
ret void
}

LLVM IR (-O2):
@.str.1 = [14 x i8] c"INT8_MAX: %d\0A\00"
@INT8_MAX = global i32 0
@.str.2 = [14 x i8] c"INT8_MIN: %d\0A\00"
@INT8_MIN = global i32 0
@.str.3 = [15 x i8] c"UINT8_MAX: %u\0A\00"
@UINT8_MAX = global i32 0
@.str.4 = [20 x i8] c"INT_LEAST8_MAX: %d\0A\00"
@INT_LEAST8_MAX = global i32 0
@.str.5 = [20 x i8] c"INT_LEAST8_MIN: %d\0A\00"
@INT_LEAST8_MIN = global i32 0
@.str.6 = [21 x i8] c"UINT_LEAST8_MAX: %u\0A\00"
@UINT_LEAST8_MAX = global i32 0
@.str.7 = [19 x i8] c"INT_FAST8_MAX: %d\0A\00"
@INT_FAST8_MAX = global i32 0
@.str.8 = [19 x i8] c"INT_FAST8_MIN: %d\0A\00"
@INT_FAST8_MIN = global i32 0
@.str.9 = [20 x i8] c"UINT_FAST8_MAX: %u\0A\00"
@UINT_FAST8_MAX = global i32 0
@.str.10 = [15 x i8] c"INT16_MAX: %d\0A\00"
@INT16_MAX = global i32 0
@.str.11 = [15 x i8] c"INT16_MIN: %d\0A\00"
@INT16_MIN = global i32 0
@.str.12 = [16 x i8] c"UINT16_MAX: %u\0A\00"
@UINT16_MAX = global i32 0
@.str.13 = [21 x i8] c"INT_LEAST16_MAX: %d\0A\00"
@INT_LEAST16_MAX = global i32 0
@.str.14 = [21 x i8] c"INT_LEAST16_MIN: %d\0A\00"
@INT_LEAST16_MIN = global i32 0
@.str.15 = [22 x i8] c"UINT_LEAST16_MAX: %u\0A\00"
@UINT_LEAST16_MAX = global i32 0
@.str.16 = [21 x i8] c"INT_FAST16_MAX: %ld\0A\00"
@INT_FAST16_MAX = global i32 0
@.str.17 = [21 x i8] c"INT_FAST16_MIN: %ld\0A\00"
@INT_FAST16_MIN = global i32 0
@.str.18 = [22 x i8] c"UINT_FAST16_MAX: %lu\0A\00"
@UINT_FAST16_MAX = global i32 0
@.str.19 = [16 x i8] c"INT32_MAX: %ld\0A\00"
@INT32_MAX = global i64 0
@.str.20 = [16 x i8] c"INT32_MIN: %ld\0A\00"
@INT32_MIN = global i64 0
@.str.21 = [17 x i8] c"UINT32_MAX: %lu\0A\00"
@UINT32_MAX = global i64 0
@.str.22 = [22 x i8] c"INT_LEAST32_MAX: %ld\0A\00"
@INT_LEAST32_MAX = global i64 0
@.str.23 = [22 x i8] c"INT_LEAST32_MIN: %ld\0A\00"
@INT_LEAST32_MIN = global i64 0
@.str.24 = [23 x i8] c"UINT_LEAST32_MAX: %lu\0A\00"
@UINT_LEAST32_MAX = global i64 0
@.str.25 = [21 x i8] c"INT_FAST32_MAX: %ld\0A\00"
@INT_FAST32_MAX = global i64 0
@.str.26 = [21 x i8] c"INT_FAST32_MIN: %ld\0A\00"
@INT_FAST32_MIN = global i64 0
@.str.27 = [22 x i8] c"UINT_FAST32_MAX: %lu\0A\00"
@UINT_FAST32_MAX = global i64 0
@.str.28 = [17 x i8] c"INT64_MAX: %lld\0A\00"
@INT64_MAX = global i64 0
@.str.29 = [17 x i8] c"INT64_MIN: %lld\0A\00"
@INT64_MIN = global i64 0
@.str.30 = [18 x i8] c"UINT64_MAX: %llu\0A\00"
@UINT64_MAX = global i64 0
@.str.31 = [23 x i8] c"INT_LEAST64_MAX: %lld\0A\00"
@INT_LEAST64_MAX = global i64 0
@.str.32 = [23 x i8] c"INT_LEAST64_MIN: %lld\0A\00"
@INT_LEAST64_MIN = global i64 0
@.str.33 = [24 x i8] c"UINT_LEAST64_MAX: %llu\0A\00"
@UINT_LEAST64_MAX = global i64 0
@.str.34 = [22 x i8] c"INT_FAST64_MAX: %lld\0A\00"
@INT_FAST64_MAX = global i64 0
@.str.35 = [22 x i8] c"INT_FAST64_MIN: %lld\0A\00"
@INT_FAST64_MIN = global i64 0
@.str.36 = [23 x i8] c"UINT_FAST64_MAX: %llu\0A\00"
@UINT_FAST64_MAX = global i64 0
@str = [13 x i8] c"\0Astdint test\00"
define void @stdintTest() {
%1 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([13 x i8], [13 x i8]* @str, i64 0, i64 0))
%2 = load i32, i32* @INT8_MAX
%3 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([14 x i8], [14 x i8]* @.str.1, i64 0, i64 0), i32 %2)
%4 = load i32, i32* @INT8_MIN
%5 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([14 x i8], [14 x i8]* @.str.2, i64 0, i64 0), i32 %4)
%6 = load i32, i32* @UINT8_MAX
%7 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([15 x i8], [15 x i8]* @.str.3, i64 0, i64 0), i32 %6)
%8 = load i32, i32* @INT_LEAST8_MAX
%9 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([20 x i8], [20 x i8]* @.str.4, i64 0, i64 0), i32 %8)
%10 = load i32, i32* @INT_LEAST8_MIN
%11 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([20 x i8], [20 x i8]* @.str.5, i64 0, i64 0), i32 %10)
%12 = load i32, i32* @UINT_LEAST8_MAX
%13 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([21 x i8], [21 x i8]* @.str.6, i64 0, i64 0), i32 %12)
%14 = load i32, i32* @INT_FAST8_MAX
%15 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([19 x i8], [19 x i8]* @.str.7, i64 0, i64 0), i32 %14)
%16 = load i32, i32* @INT_FAST8_MIN
%17 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([19 x i8], [19 x i8]* @.str.8, i64 0, i64 0), i32 %16)
%18 = load i32, i32* @UINT_FAST8_MAX
%19 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([20 x i8], [20 x i8]* @.str.9, i64 0, i64 0), i32 %18)
%20 = load i32, i32* @INT8_MAX
%21 = icmp eq i32 %20, 127
%22 = zext i1 %21 to i32
%23 = tail call i32 @assert(i32 %22)
%24 = load i32, i32* @INT8_MIN
%25 = icmp eq i32 %24, -128
%26 = zext i1 %25 to i32
%27 = tail call i32 @assert(i32 %26)
%28 = load i32, i32* @UINT8_MAX
%29 = icmp eq i32 %28, 255
%30 = zext i1 %29 to i32
%31 = tail call i32 @assert(i32 %30)
%32 = load i32, i32* @INT_LEAST8_MAX
%33 = icmp sgt i32 %32, 126
%34 = zext i1 %33 to i32
%35 = tail call i32 @assert(i32 %34)
%36 = load i32, i32* @INT_LEAST8_MIN
%37 = icmp slt i32 %36, -127
%38 = zext i1 %37 to i32
%39 = tail call i32 @assert(i32 %38)
%40 = load i32, i32* @UINT_LEAST8_MAX
%41 = icmp sgt i32 %40, 254
%42 = zext i1 %41 to i32
%43 = tail call i32 @assert(i32 %42)
%44 = load i32, i32* @INT_FAST8_MAX
%45 = icmp sgt i32 %44, 126
%46 = zext i1 %45 to i32
%47 = tail call i32 @assert(i32 %46)
%48 = load i32, i32* @INT_FAST8_MIN
%49 = icmp slt i32 %48, -127
%50 = zext i1 %49 to i32
%51 = tail call i32 @assert(i32 %50)
%52 = load i32, i32* @UINT_FAST8_MAX
%53 = icmp sgt i32 %52, 254
%54 = zext i1 %53 to i32
%55 = tail call i32 @assert(i32 %54)
%56 = load i32, i32* @INT16_MAX
%57 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([15 x i8], [15 x i8]* @.str.10, i64 0, i64 0), i32 %56)
%58 = load i32, i32* @INT16_MIN
%59 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([15 x i8], [15 x i8]* @.str.11, i64 0, i64 0), i32 %58)
%60 = load i32, i32* @UINT16_MAX
%61 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([16 x i8], [16 x i8]* @.str.12, i64 0, i64 0), i32 %60)
%62 = load i32, i32* @INT_LEAST16_MAX
%63 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([21 x i8], [21 x i8]* @.str.13, i64 0, i64 0), i32 %62)
%64 = load i32, i32* @INT_LEAST16_MIN
%65 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([21 x i8], [21 x i8]* @.str.14, i64 0, i64 0), i32 %64)
%66 = load i32, i32* @UINT_LEAST16_MAX
%67 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.15, i64 0, i64 0), i32 %66)
%68 = load i32, i32* @INT_FAST16_MAX
%69 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([21 x i8], [21 x i8]* @.str.16, i64 0, i64 0), i32 %68)
%70 = load i32, i32* @INT_FAST16_MIN
%71 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([21 x i8], [21 x i8]* @.str.17, i64 0, i64 0), i32 %70)
%72 = load i32, i32* @UINT_FAST16_MAX
%73 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.18, i64 0, i64 0), i32 %72)
%74 = load i32, i32* @INT16_MAX
%75 = icmp eq i32 %74, 32767
%76 = zext i1 %75 to i32
%77 = tail call i32 @assert(i32 %76)
%78 = load i32, i32* @INT16_MIN
%79 = icmp eq i32 %78, -32768
%80 = zext i1 %79 to i32
%81 = tail call i32 @assert(i32 %80)
%82 = load i32, i32* @UINT16_MAX
%83 = icmp eq i32 %82, 65535
%84 = zext i1 %83 to i32
%85 = tail call i32 @assert(i32 %84)
%86 = load i32, i32* @INT_LEAST16_MAX
%87 = icmp sgt i32 %86, 32766
%88 = zext i1 %87 to i32
%89 = tail call i32 @assert(i32 %88)
%90 = load i32, i32* @INT_LEAST16_MIN
%91 = icmp slt i32 %90, -32767
%92 = zext i1 %91 to i32
%93 = tail call i32 @assert(i32 %92)
%94 = load i32, i32* @UINT_LEAST16_MAX
%95 = icmp sgt i32 %94, 65534
%96 = zext i1 %95 to i32
%97 = tail call i32 @assert(i32 %96)
%98 = load i32, i32* @INT_FAST16_MAX
%99 = icmp sgt i32 %98, 32766
%100 = zext i1 %99 to i32
%101 = tail call i32 @assert(i32 %100)
%102 = load i32, i32* @INT_FAST16_MIN
%103 = icmp slt i32 %102, -32767
%104 = zext i1 %103 to i32
%105 = tail call i32 @assert(i32 %104)
%106 = load i32, i32* @UINT_FAST16_MAX
%107 = icmp sgt i32 %106, 65534
%108 = zext i1 %107 to i32
%109 = tail call i32 @assert(i32 %108)
%110 = load i64, i64* @INT32_MAX
%111 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([16 x i8], [16 x i8]* @.str.19, i64 0, i64 0), i64 %110)
%112 = load i64, i64* @INT32_MIN
%113 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([16 x i8], [16 x i8]* @.str.20, i64 0, i64 0), i64 %112)
%114 = load i64, i64* @UINT32_MAX
%115 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([17 x i8], [17 x i8]* @.str.21, i64 0, i64 0), i64 %114)
%116 = load i64, i64* @INT_LEAST32_MAX
%117 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.22, i64 0, i64 0), i64 %116)
%118 = load i64, i64* @INT_LEAST32_MIN
%119 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.23, i64 0, i64 0), i64 %118)
%120 = load i64, i64* @UINT_LEAST32_MAX
%121 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([23 x i8], [23 x i8]* @.str.24, i64 0, i64 0), i64 %120)
%122 = load i64, i64* @INT_FAST32_MAX
%123 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([21 x i8], [21 x i8]* @.str.25, i64 0, i64 0), i64 %122)
%124 = load i64, i64* @INT_FAST32_MIN
%125 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([21 x i8], [21 x i8]* @.str.26, i64 0, i64 0), i64 %124)
%126 = load i64, i64* @UINT_FAST32_MAX
%127 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.27, i64 0, i64 0), i64 %126)
%128 = load i64, i64* @INT32_MAX
%129 = icmp eq i64 %128, 2147483647
%130 = zext i1 %129 to i32
%131 = tail call i32 @assert(i32 %130)
%132 = load i64, i64* @INT32_MIN
%133 = icmp eq i64 %132, -2147483648
%134 = zext i1 %133 to i32
%135 = tail call i32 @assert(i32 %134)
%136 = load i64, i64* @UINT32_MAX
%137 = icmp eq i64 %136, 4294967295
%138 = zext i1 %137 to i32
%139 = tail call i32 @assert(i32 %138)
%140 = load i64, i64* @INT_LEAST32_MAX
%141 = icmp sgt i64 %140, 2147483646
%142 = zext i1 %141 to i32
%143 = tail call i32 @assert(i32 %142)
%144 = load i64, i64* @INT_LEAST32_MIN
%145 = icmp slt i64 %144, -2147483647
%146 = zext i1 %145 to i32
%147 = tail call i32 @assert(i32 %146)
%148 = load i64, i64* @UINT_LEAST32_MAX
%149 = icmp ugt i64 %148, 4294967294
%150 = zext i1 %149 to i32
%151 = tail call i32 @assert(i32 %150)
%152 = load i64, i64* @INT_FAST32_MAX
%153 = icmp sgt i64 %152, 2147483646
%154 = zext i1 %153 to i32
%155 = tail call i32 @assert(i32 %154)
%156 = load i64, i64* @INT_FAST32_MIN
%157 = icmp slt i64 %156, -2147483647
%158 = zext i1 %157 to i32
%159 = tail call i32 @assert(i32 %158)
%160 = load i64, i64* @UINT_FAST32_MAX
%161 = icmp ugt i64 %160, 4294967294
%162 = zext i1 %161 to i32
%163 = tail call i32 @assert(i32 %162)
%164 = load i64, i64* @INT64_MAX
%165 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([17 x i8], [17 x i8]* @.str.28, i64 0, i64 0), i64 %164)
%166 = load i64, i64* @INT64_MIN
%167 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([17 x i8], [17 x i8]* @.str.29, i64 0, i64 0), i64 %166)
%168 = load i64, i64* @UINT64_MAX
%169 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([18 x i8], [18 x i8]* @.str.30, i64 0, i64 0), i64 %168)
%170 = load i64, i64* @INT_LEAST64_MAX
%171 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([23 x i8], [23 x i8]* @.str.31, i64 0, i64 0), i64 %170)
%172 = load i64, i64* @INT_LEAST64_MIN
%173 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([23 x i8], [23 x i8]* @.str.32, i64 0, i64 0), i64 %172)
%174 = load i64, i64* @UINT_LEAST64_MAX
%175 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([24 x i8], [24 x i8]* @.str.33, i64 0, i64 0), i64 %174)
%176 = load i64, i64* @INT_FAST64_MAX
%177 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.34, i64 0, i64 0), i64 %176)
%178 = load i64, i64* @INT_FAST64_MIN
%179 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.35, i64 0, i64 0), i64 %178)
%180 = load i64, i64* @UINT_FAST64_MAX
%181 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([23 x i8], [23 x i8]* @.str.36, i64 0, i64 0), i64 %180)
%182 = load i64, i64* @INT64_MAX
%183 = icmp eq i64 %182, 9223372036854775807
%184 = zext i1 %183 to i32
%185 = tail call i32 @assert(i32 %184)
%186 = load i64, i64* @INT64_MIN
%187 = icmp eq i64 %186, -9223372036854775808
%188 = zext i1 %187 to i32
%189 = tail call i32 @assert(i32 %188)
%190 = load i64, i64* @UINT64_MAX
%191 = icmp eq i64 %190, -1
%192 = zext i1 %191 to i32
%193 = tail call i32 @assert(i32 %192)
%194 = load i64, i64* @INT_LEAST64_MAX
%195 = icmp eq i64 %194, 9223372036854775807
%196 = zext i1 %195 to i32
%197 = tail call i32 @assert(i32 %196)
%198 = load i64, i64* @INT_LEAST64_MIN
%199 = icmp ult i64 %198, -9223372036854775807
%200 = zext i1 %199 to i32
%201 = tail call i32 @assert(i32 %200)
%202 = load i64, i64* @UINT_LEAST64_MAX
%203 = icmp eq i64 %202, -1
%204 = zext i1 %203 to i32
%205 = tail call i32 @assert(i32 %204)
%206 = load i64, i64* @INT_FAST64_MAX
%207 = icmp eq i64 %206, 9223372036854775807
%208 = zext i1 %207 to i32
%209 = tail call i32 @assert(i32 %208)
%210 = load i64, i64* @INT_FAST64_MIN
%211 = icmp ult i64 %210, -9223372036854775807
%212 = zext i1 %211 to i32
%213 = tail call i32 @assert(i32 %212)
%214 = load i64, i64* @UINT_FAST64_MAX
%215 = icmp eq i64 %214, -1
%216 = zext i1 %215 to i32
%217 = tail call i32 @assert(i32 %216)
ret void
}