#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 CHAR_BIT;
int CHAR_MAX;
int CHAR_MIN;
double DBL_MAX;
double DBL_MIN;
double FLT_MAX;
double FLT_MIN;
int INT_MAX;
int INT_MIN;
unsigned long long LDBL_MAX;
unsigned long long LDBL_MIN;
scalar_t__ LLONG_MAX;
scalar_t__ LLONG_MIN;
unsigned long long LONG_MAX;
unsigned long long LONG_MIN;
int SCHAR_MAX;
int SCHAR_MIN;
int SHRT_MAX;
int SHRT_MIN;
int UCHAR_MAX;
int UINT_MAX;
scalar_t__ ULLONG_MAX;
scalar_t__ ULONG_MAX;
scalar_t__ USHRT_MAX;
int /*<<< orphan*/ printf(char *, ...);
int main(void) {
  printf("From Standard Headers (<limits.h>, <float.h>):\n");
  printf("\tchar bits         : %d\n", CHAR_BIT);
  printf("\tchar              : '%c' (%d) < x < '%c' (%d)\n", CHAR_MIN,
         (int)CHAR_MIN, CHAR_MAX, (int)CHAR_MAX);
  printf("\tsigned char       : '%c' (%d) < x < '%c' (%d)\n", SCHAR_MIN,
         (int)SCHAR_MIN, SCHAR_MAX, (int)SCHAR_MAX);
  printf("\tunsigned char     : '%c' (%d) < x < '%c' (%d)\n", 0, 0, UCHAR_MAX,
         (int)UCHAR_MAX);
  printf("\tshort             : %d < x < %d\n", SHRT_MIN, SHRT_MAX);
  printf("\tunsigned short    : %d < x < %d\n", 0, (int)USHRT_MAX);
  printf("\tint               : %d < x < %d\n", INT_MIN, INT_MAX);
  printf("\tunsigned int      : %u < x < %u\n", 0, UINT_MAX);
  printf("\tlong              : %li < x < %li\n", LONG_MIN, LONG_MAX);
  printf("\tunsigned long     : %lu < x < %lu\n", (unsigned long)0,
         (unsigned long)ULONG_MAX);
  printf("\tlong long         : %lli < x < %lli\n", (long long)LLONG_MIN,
         (long long)LLONG_MAX);
  printf("\tunsigned long long: %llu < x < %llu\n", (unsigned long long)0,
         (unsigned long long)ULLONG_MAX);
  printf("\tfloat             : %e < x < %e\n", FLT_MIN, FLT_MAX);
  printf("\tdouble float      : %e < x < %e\n", DBL_MIN, DBL_MAX);
  printf("\tlong double       : %Le < x < %Le\n", LDBL_MIN, LDBL_MAX);
  printf("Determined by Direct Computation:\n");
  printf("\tchar          : %d < x < %d\n",
         (int)~(char)((unsigned char)~0 >> 1),
         (int)(char)((unsigned char)~0 >> 1));
  printf("\tunsigned char : %d < x < %d\n", 0, (int)(unsigned char)~0);
  printf("\tshort         : %d < x < %d\n",
         (int)~(short)((unsigned short)~0 >> 1),
         (int)(short)((unsigned short)~0 >> 1));
  printf("\tunsigned short: %d < x < %d\n", 0, (int)(unsigned short)~0);
  printf("\tint           : %d < x < %d\n", ~(int)((unsigned int)~0 >> 1),
         (int)((unsigned int)~0 >> 1));
  printf("\tunsigned int  : %d < x < %d\n", 0, (int)(unsigned int)~0);
  printf("\tlong          : %li < x < %li\n", ~(long)((unsigned long)~0 >> 1),
         (long)((unsigned long)~0 >> 1));
  printf("\tunsigned long : %lu < x < %lu\n", (unsigned long)0,
         (unsigned long)~0);
  printf("\tlong          : %lli < x < %lli\n",
         ~(long long)((unsigned long long)~0 >> 1),
         (long long)((unsigned long long)~0 >> 1));
  printf("\tunsigned long : %llu < x < %llu\n", (unsigned long long)0,
         (unsigned long long)~0);
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
movl   $0x0,-0x4(%rbp)
lea    0xeda(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2e34(%rip),%rax
mov    (%rax),%esi
lea    0xef3(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2e8d(%rip),%rax
mov    (%rax),%esi
mov    0x2e84(%rip),%rax
mov    (%rax),%edx
mov    0x2e83(%rip),%rax
mov    (%rax),%ecx
mov    0x2e7a(%rip),%rax
mov    (%rax),%r8d
lea    0xed9(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2e02(%rip),%rax
mov    (%rax),%esi
mov    0x2df9(%rip),%rax
mov    (%rax),%edx
mov    0x2de8(%rip),%rax
mov    (%rax),%ecx
mov    0x2ddf(%rip),%rax
mov    (%rax),%r8d
lea    0xed6(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2e3f(%rip),%rax
mov    (%rax),%ecx
mov    0x2e36(%rip),%rax
mov    (%rax),%r8d
lea    0xee5(%rip),%rdi
xor    %edx,%edx
mov    %edx,%esi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2d7a(%rip),%rax
mov    (%rax),%esi
mov    0x2d69(%rip),%rax
mov    (%rax),%edx
lea    0xef1(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2dca(%rip),%rax
mov    (%rax),%rax
mov    %eax,%edx
lea    0xef9(%rip),%rdi
xor    %esi,%esi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2d8e(%rip),%rax
mov    (%rax),%esi
mov    0x2d9d(%rip),%rax
mov    (%rax),%edx
lea    0xef9(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2d7e(%rip),%rax
mov    (%rax),%edx
lea    0xf04(%rip),%rdi
xor    %esi,%esi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2d5d(%rip),%rax
mov    (%rax),%rsi
mov    0x2d03(%rip),%rax
mov    (%rax),%rdx
lea    0xf02(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2cb3(%rip),%rax
mov    (%rax),%rdx
lea    0xf0e(%rip),%rdi
xor    %eax,%eax
mov    %eax,%esi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2ce7(%rip),%rax
mov    (%rax),%rsi
mov    0x2d05(%rip),%rax
mov    (%rax),%rdx
lea    0xf0c(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2d1d(%rip),%rax
mov    (%rax),%rdx
lea    0xf1a(%rip),%rdi
xor    %eax,%eax
mov    %eax,%esi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2d09(%rip),%rax
movsd  (%rax),%xmm0
mov    0x2cbe(%rip),%rax
movsd  (%rax),%xmm1
lea    0xf18(%rip),%rdi
mov    $0x2,%al
call   1030 <printf@plt>
mov    0x2c4d(%rip),%rax
movsd  (%rax),%xmm0
mov    0x2c3a(%rip),%rax
movsd  (%rax),%xmm1
lea    0xf16(%rip),%rdi
mov    $0x2,%al
call   1030 <printf@plt>
mov    0x2c31(%rip),%rax
mov    (%rax),%rsi
mov    0x2c47(%rip),%rax
mov    (%rax),%rdx
lea    0xf16(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xf2c(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xf41(%rip),%rdi
mov    $0xffffff80,%esi
mov    $0x7f,%edx
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xf47(%rip),%rdi
xor    %esi,%esi
mov    $0xff,%edx
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xf50(%rip),%rdi
mov    $0xffff8000,%esi
mov    $0x7fff,%edx
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xf56(%rip),%rdi
xor    %esi,%esi
mov    $0xffff,%edx
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xf5f(%rip),%rdi
mov    $0x80000000,%esi
mov    $0x7fffffff,%edx
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xf65(%rip),%rdi
xor    %esi,%esi
mov    $0xffffffff,%edx
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xf6e(%rip),%rdi
movabs $0x8000000000000000,%rsi
movabs $0x7fffffffffffffff,%rdx
ff ff 7f
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xf6c(%rip),%rdi
xor    %eax,%eax
mov    %eax,%esi
mov    $0xffffffffffffffff,%rdx
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xf73(%rip),%rdi
movabs $0x8000000000000000,%rsi
movabs $0x7fffffffffffffff,%rdx
ff ff 7f
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xf73(%rip),%rdi
xor    %eax,%eax
mov    %eax,%esi
mov    $0xffffffffffffffff,%rdx
mov    $0x0,%al
call   1030 <printf@plt>
xor    %eax,%eax
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %r14
push   %rbx
push   %rax
lea    0x123a(%rip),%rdi
call   1030 <puts@plt>
mov    0x2e31(%rip),%rax
mov    (%rax),%esi
lea    0xec0(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2e8a(%rip),%rax
mov    (%rax),%edx
mov    0x2e89(%rip),%rax
mov    (%rax),%ecx
lea    0xeb9(%rip),%rdi
mov    %edx,%esi
mov    %ecx,%r8d
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2e0d(%rip),%rax
mov    (%rax),%edx
mov    0x2dfc(%rip),%rax
mov    (%rax),%ecx
lea    0xec4(%rip),%rdi
mov    %edx,%esi
mov    %ecx,%r8d
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2e58(%rip),%rax
mov    (%rax),%ecx
lea    0xed8(%rip),%rdi
xor    %esi,%esi
xor    %edx,%edx
mov    %ecx,%r8d
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2d9a(%rip),%rax
mov    (%rax),%esi
mov    0x2d89(%rip),%rax
mov    (%rax),%edx
lea    0xee1(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2dea(%rip),%rax
mov    (%rax),%edx
lea    0xeec(%rip),%rdi
xor    %esi,%esi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2db1(%rip),%rax
mov    (%rax),%esi
mov    0x2dc0(%rip),%rax
mov    (%rax),%edx
lea    0xeec(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2da1(%rip),%rax
mov    (%rax),%edx
lea    0xef7(%rip),%rdi
xor    %esi,%esi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2d80(%rip),%rax
mov    (%rax),%rsi
mov    0x2d26(%rip),%rax
mov    (%rax),%rdx
lea    0xef5(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2cd6(%rip),%rax
mov    (%rax),%rdx
lea    0xf01(%rip),%rdi
xor    %esi,%esi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2d0c(%rip),%rax
mov    (%rax),%rsi
mov    0x2d2a(%rip),%rax
mov    (%rax),%rdx
lea    0xf01(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2d42(%rip),%rax
mov    (%rax),%rdx
lea    0xf0f(%rip),%rdi
xor    %esi,%esi
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2d30(%rip),%rax
movsd  (%rax),%xmm0
mov    0x2ce5(%rip),%rax
movsd  (%rax),%xmm1
lea    0xf0f(%rip),%rdi
mov    $0x2,%al
call   1040 <printf@plt>
mov    0x2c74(%rip),%rax
movsd  (%rax),%xmm0
mov    0x2c61(%rip),%rax
movsd  (%rax),%xmm1
lea    0xf0d(%rip),%rdi
mov    $0x2,%al
call   1040 <printf@plt>
mov    0x2c58(%rip),%rax
mov    (%rax),%rsi
mov    0x2c6e(%rip),%rax
mov    (%rax),%rdx
lea    0xf0d(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
lea    0x108a(%rip),%rdi
call   1030 <puts@plt>
lea    0xf17(%rip),%rdi
mov    $0xffffff80,%esi
mov    $0x7f,%edx
xor    %eax,%eax
call   1040 <printf@plt>
lea    0xf1d(%rip),%rdi
xor    %esi,%esi
mov    $0xff,%edx
xor    %eax,%eax
call   1040 <printf@plt>
lea    0xf26(%rip),%rdi
mov    $0xffff8000,%esi
mov    $0x7fff,%edx
xor    %eax,%eax
call   1040 <printf@plt>
lea    0xf2c(%rip),%rdi
xor    %esi,%esi
mov    $0xffff,%edx
xor    %eax,%eax
call   1040 <printf@plt>
lea    0xf35(%rip),%rdi
mov    $0x80000000,%esi
mov    $0x7fffffff,%edx
xor    %eax,%eax
call   1040 <printf@plt>
lea    0xf3b(%rip),%rdi
xor    %esi,%esi
mov    $0xffffffff,%edx
xor    %eax,%eax
call   1040 <printf@plt>
movabs $0x7fffffffffffffff,%r14
ff ff 7f
lea    0x1(%r14),%rbx
lea    0xf36(%rip),%rdi
mov    %rbx,%rsi
mov    %r14,%rdx
xor    %eax,%eax
call   1040 <printf@plt>
lea    0xf42(%rip),%rdi
xor    %esi,%esi
mov    $0xffffffffffffffff,%rdx
xor    %eax,%eax
call   1040 <printf@plt>
lea    0xf4b(%rip),%rdi
mov    %rbx,%rsi
mov    %r14,%rdx
xor    %eax,%eax
call   1040 <printf@plt>
lea    0xf59(%rip),%rdi
xor    %esi,%esi
mov    $0xffffffffffffffff,%rdx
xor    %eax,%eax
call   1040 <printf@plt>
xor    %eax,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r14
ret

LLVM IR (-O0):
@.str = [48 x i8] c"From Standard Headers (<limits.h>, <float.h>):\0A\00"
@.str.1 = [25 x i8] c"\09char bits : %d\0A\00"
@CHAR_BIT = global i32 0
@.str.2 = [48 x i8] c"\09char : '%c' (%d) < x < '%c' (%d)\0A\00"
@CHAR_MIN = global i32 0
@CHAR_MAX = global i32 0
@.str.3 = [48 x i8] c"\09signed char : '%c' (%d) < x < '%c' (%d)\0A\00"
@SCHAR_MIN = global i32 0
@SCHAR_MAX = global i32 0
@.str.4 = [48 x i8] c"\09unsigned char : '%c' (%d) < x < '%c' (%d)\0A\00"
@UCHAR_MAX = global i32 0
@.str.5 = [34 x i8] c"\09short : %d < x < %d\0A\00"
@SHRT_MIN = global i32 0
@SHRT_MAX = global i32 0
@.str.6 = [34 x i8] c"\09unsigned short : %d < x < %d\0A\00"
@USHRT_MAX = global i64 0
@.str.7 = [34 x i8] c"\09int : %d < x < %d\0A\00"
@INT_MIN = global i32 0
@INT_MAX = global i32 0
@.str.8 = [34 x i8] c"\09unsigned int : %u < x < %u\0A\00"
@UINT_MAX = global i32 0
@.str.9 = [36 x i8] c"\09long : %li < x < %li\0A\00"
@LONG_MIN = global i64 0
@LONG_MAX = global i64 0
@.str.10 = [36 x i8] c"\09unsigned long : %lu < x < %lu\0A\00"
@ULONG_MAX = global i64 0
@.str.11 = [38 x i8] c"\09long long : %lli < x < %lli\0A\00"
@LLONG_MIN = global i64 0
@LLONG_MAX = global i64 0
@.str.12 = [38 x i8] c"\09unsigned long long: %llu < x < %llu\0A\00"
@ULLONG_MAX = global i64 0
@.str.13 = [34 x i8] c"\09float : %e < x < %e\0A\00"
@FLT_MIN = global double 0.000000e+00
@FLT_MAX = global double 0.000000e+00
@.str.14 = [34 x i8] c"\09double float : %e < x < %e\0A\00"
@DBL_MIN = global double 0.000000e+00
@DBL_MAX = global double 0.000000e+00
@.str.15 = [36 x i8] c"\09long double : %Le < x < %Le\0A\00"
@LDBL_MIN = global i64 0
@LDBL_MAX = global i64 0
@.str.16 = [35 x i8] c"Determined by Direct Computation:\0A\00"
@.str.17 = [30 x i8] c"\09char : %d < x < %d\0A\00"
@.str.18 = [30 x i8] c"\09unsigned char : %d < x < %d\0A\00"
@.str.19 = [30 x i8] c"\09short : %d < x < %d\0A\00"
@.str.20 = [30 x i8] c"\09unsigned short: %d < x < %d\0A\00"
@.str.21 = [30 x i8] c"\09int : %d < x < %d\0A\00"
@.str.22 = [30 x i8] c"\09unsigned int : %d < x < %d\0A\00"
@.str.23 = [32 x i8] c"\09long : %li < x < %li\0A\00"
@.str.24 = [32 x i8] c"\09unsigned long : %lu < x < %lu\0A\00"
@.str.25 = [34 x i8] c"\09long : %lli < x < %lli\0A\00"
@.str.26 = [34 x i8] c"\09unsigned long : %llu < x < %llu\0A\00"
define i32 @main() {
%1 = alloca i32
store i32 0, i32* %1
%2 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([48 x i8], [48 x i8]* @.str, i64 0, i64 0))
%3 = load i32, i32* @CHAR_BIT
%4 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str.1, i64 0, i64 0), i32 %3)
%5 = load i32, i32* @CHAR_MIN
%6 = load i32, i32* @CHAR_MIN
%7 = load i32, i32* @CHAR_MAX
%8 = load i32, i32* @CHAR_MAX
%9 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([48 x i8], [48 x i8]* @.str.2, i64 0, i64 0), i32 %5, i32 %6, i32 %7, i32 %8)
%10 = load i32, i32* @SCHAR_MIN
%11 = load i32, i32* @SCHAR_MIN
%12 = load i32, i32* @SCHAR_MAX
%13 = load i32, i32* @SCHAR_MAX
%14 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([48 x i8], [48 x i8]* @.str.3, i64 0, i64 0), i32 %10, i32 %11, i32 %12, i32 %13)
%15 = load i32, i32* @UCHAR_MAX
%16 = load i32, i32* @UCHAR_MAX
%17 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([48 x i8], [48 x i8]* @.str.4, i64 0, i64 0), i32 0, i32 0, i32 %15, i32 %16)
%18 = load i32, i32* @SHRT_MIN
%19 = load i32, i32* @SHRT_MAX
%20 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([34 x i8], [34 x i8]* @.str.5, i64 0, i64 0), i32 %18, i32 %19)
%21 = load i64, i64* @USHRT_MAX
%22 = trunc i64 %21 to i32
%23 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([34 x i8], [34 x i8]* @.str.6, i64 0, i64 0), i32 0, i32 %22)
%24 = load i32, i32* @INT_MIN
%25 = load i32, i32* @INT_MAX
%26 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([34 x i8], [34 x i8]* @.str.7, i64 0, i64 0), i32 %24, i32 %25)
%27 = load i32, i32* @UINT_MAX
%28 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([34 x i8], [34 x i8]* @.str.8, i64 0, i64 0), i32 0, i32 %27)
%29 = load i64, i64* @LONG_MIN
%30 = load i64, i64* @LONG_MAX
%31 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str.9, i64 0, i64 0), i64 %29, i64 %30)
%32 = load i64, i64* @ULONG_MAX
%33 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str.10, i64 0, i64 0), i64 0, i64 %32)
%34 = load i64, i64* @LLONG_MIN
%35 = load i64, i64* @LLONG_MAX
%36 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([38 x i8], [38 x i8]* @.str.11, i64 0, i64 0), i64 %34, i64 %35)
%37 = load i64, i64* @ULLONG_MAX
%38 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([38 x i8], [38 x i8]* @.str.12, i64 0, i64 0), i64 0, i64 %37)
%39 = load double, double* @FLT_MIN
%40 = load double, double* @FLT_MAX
%41 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([34 x i8], [34 x i8]* @.str.13, i64 0, i64 0), double %39, double %40)
%42 = load double, double* @DBL_MIN
%43 = load double, double* @DBL_MAX
%44 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([34 x i8], [34 x i8]* @.str.14, i64 0, i64 0), double %42, double %43)
%45 = load i64, i64* @LDBL_MIN
%46 = load i64, i64* @LDBL_MAX
%47 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str.15, i64 0, i64 0), i64 %45, i64 %46)
%48 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([35 x i8], [35 x i8]* @.str.16, i64 0, i64 0))
%49 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.17, i64 0, i64 0), i32 -128, i32 127)
%50 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.18, i64 0, i64 0), i32 0, i32 255)
%51 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.19, i64 0, i64 0), i32 -32768, i32 32767)
%52 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.20, i64 0, i64 0), i32 0, i32 65535)
%53 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.21, i64 0, i64 0), i32 -2147483648, i32 2147483647)
%54 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.22, i64 0, i64 0), i32 0, i32 -1)
%55 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.23, i64 0, i64 0), i64 -9223372036854775808, i64 9223372036854775807)
%56 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.24, i64 0, i64 0), i64 0, i64 -1)
%57 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([34 x i8], [34 x i8]* @.str.25, i64 0, i64 0), i64 -9223372036854775808, i64 9223372036854775807)
%58 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([34 x i8], [34 x i8]* @.str.26, i64 0, i64 0), i64 0, i64 -1)
ret i32 0
}

LLVM IR (-O2):
@.str.1 = [25 x i8] c"\09char bits : %d\0A\00"
@CHAR_BIT = global i32 0
@.str.2 = [48 x i8] c"\09char : '%c' (%d) < x < '%c' (%d)\0A\00"
@CHAR_MIN = global i32 0
@CHAR_MAX = global i32 0
@.str.3 = [48 x i8] c"\09signed char : '%c' (%d) < x < '%c' (%d)\0A\00"
@SCHAR_MIN = global i32 0
@SCHAR_MAX = global i32 0
@.str.4 = [48 x i8] c"\09unsigned char : '%c' (%d) < x < '%c' (%d)\0A\00"
@UCHAR_MAX = global i32 0
@.str.5 = [34 x i8] c"\09short : %d < x < %d\0A\00"
@SHRT_MIN = global i32 0
@SHRT_MAX = global i32 0
@.str.6 = [34 x i8] c"\09unsigned short : %d < x < %d\0A\00"
@USHRT_MAX = global i64 0
@.str.7 = [34 x i8] c"\09int : %d < x < %d\0A\00"
@INT_MIN = global i32 0
@INT_MAX = global i32 0
@.str.8 = [34 x i8] c"\09unsigned int : %u < x < %u\0A\00"
@UINT_MAX = global i32 0
@.str.9 = [36 x i8] c"\09long : %li < x < %li\0A\00"
@LONG_MIN = global i64 0
@LONG_MAX = global i64 0
@.str.10 = [36 x i8] c"\09unsigned long : %lu < x < %lu\0A\00"
@ULONG_MAX = global i64 0
@.str.11 = [38 x i8] c"\09long long : %lli < x < %lli\0A\00"
@LLONG_MIN = global i64 0
@LLONG_MAX = global i64 0
@.str.12 = [38 x i8] c"\09unsigned long long: %llu < x < %llu\0A\00"
@ULLONG_MAX = global i64 0
@.str.13 = [34 x i8] c"\09float : %e < x < %e\0A\00"
@FLT_MIN = global double 0.000000e+00
@FLT_MAX = global double 0.000000e+00
@.str.14 = [34 x i8] c"\09double float : %e < x < %e\0A\00"
@DBL_MIN = global double 0.000000e+00
@DBL_MAX = global double 0.000000e+00
@.str.15 = [36 x i8] c"\09long double : %Le < x < %Le\0A\00"
@LDBL_MIN = global i64 0
@LDBL_MAX = global i64 0
@.str.17 = [30 x i8] c"\09char : %d < x < %d\0A\00"
@.str.18 = [30 x i8] c"\09unsigned char : %d < x < %d\0A\00"
@.str.19 = [30 x i8] c"\09short : %d < x < %d\0A\00"
@.str.20 = [30 x i8] c"\09unsigned short: %d < x < %d\0A\00"
@.str.21 = [30 x i8] c"\09int : %d < x < %d\0A\00"
@.str.22 = [30 x i8] c"\09unsigned int : %d < x < %d\0A\00"
@.str.23 = [32 x i8] c"\09long : %li < x < %li\0A\00"
@.str.24 = [32 x i8] c"\09unsigned long : %lu < x < %lu\0A\00"
@.str.25 = [34 x i8] c"\09long : %lli < x < %lli\0A\00"
@.str.26 = [34 x i8] c"\09unsigned long : %llu < x < %llu\0A\00"
@str = [47 x i8] c"From Standard Headers (<limits.h>, <float.h>):\00"
@str.27 = [34 x i8] c"Determined by Direct Computation:\00"
define i32 @main() {
%1 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([47 x i8], [47 x i8]* @str, i64 0, i64 0))
%2 = load i32, i32* @CHAR_BIT
%3 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([25 x i8], [25 x i8]* @.str.1, i64 0, i64 0), i32 %2)
%4 = load i32, i32* @CHAR_MIN
%5 = load i32, i32* @CHAR_MAX
%6 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([48 x i8], [48 x i8]* @.str.2, i64 0, i64 0), i32 %4, i32 %4, i32 %5, i32 %5)
%7 = load i32, i32* @SCHAR_MIN
%8 = load i32, i32* @SCHAR_MAX
%9 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([48 x i8], [48 x i8]* @.str.3, i64 0, i64 0), i32 %7, i32 %7, i32 %8, i32 %8)
%10 = load i32, i32* @UCHAR_MAX
%11 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([48 x i8], [48 x i8]* @.str.4, i64 0, i64 0), i32 0, i32 0, i32 %10, i32 %10)
%12 = load i32, i32* @SHRT_MIN
%13 = load i32, i32* @SHRT_MAX
%14 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([34 x i8], [34 x i8]* @.str.5, i64 0, i64 0), i32 %12, i32 %13)
%15 = load i64, i64* @USHRT_MAX
%16 = trunc i64 %15 to i32
%17 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([34 x i8], [34 x i8]* @.str.6, i64 0, i64 0), i32 0, i32 %16)
%18 = load i32, i32* @INT_MIN
%19 = load i32, i32* @INT_MAX
%20 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([34 x i8], [34 x i8]* @.str.7, i64 0, i64 0), i32 %18, i32 %19)
%21 = load i32, i32* @UINT_MAX
%22 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([34 x i8], [34 x i8]* @.str.8, i64 0, i64 0), i32 0, i32 %21)
%23 = load i64, i64* @LONG_MIN
%24 = load i64, i64* @LONG_MAX
%25 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([36 x i8], [36 x i8]* @.str.9, i64 0, i64 0), i64 %23, i64 %24)
%26 = load i64, i64* @ULONG_MAX
%27 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([36 x i8], [36 x i8]* @.str.10, i64 0, i64 0), i64 0, i64 %26)
%28 = load i64, i64* @LLONG_MIN
%29 = load i64, i64* @LLONG_MAX
%30 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([38 x i8], [38 x i8]* @.str.11, i64 0, i64 0), i64 %28, i64 %29)
%31 = load i64, i64* @ULLONG_MAX
%32 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([38 x i8], [38 x i8]* @.str.12, i64 0, i64 0), i64 0, i64 %31)
%33 = load double, double* @FLT_MIN
%34 = load double, double* @FLT_MAX
%35 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([34 x i8], [34 x i8]* @.str.13, i64 0, i64 0), double %33, double %34)
%36 = load double, double* @DBL_MIN
%37 = load double, double* @DBL_MAX
%38 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([34 x i8], [34 x i8]* @.str.14, i64 0, i64 0), double %36, double %37)
%39 = load i64, i64* @LDBL_MIN
%40 = load i64, i64* @LDBL_MAX
%41 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([36 x i8], [36 x i8]* @.str.15, i64 0, i64 0), i64 %39, i64 %40)
%42 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([34 x i8], [34 x i8]* @str.27, i64 0, i64 0))
%43 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([30 x i8], [30 x i8]* @.str.17, i64 0, i64 0), i32 -128, i32 127)
%44 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([30 x i8], [30 x i8]* @.str.18, i64 0, i64 0), i32 0, i32 255)
%45 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([30 x i8], [30 x i8]* @.str.19, i64 0, i64 0), i32 -32768, i32 32767)
%46 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([30 x i8], [30 x i8]* @.str.20, i64 0, i64 0), i32 0, i32 65535)
%47 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([30 x i8], [30 x i8]* @.str.21, i64 0, i64 0), i32 -2147483648, i32 2147483647)
%48 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([30 x i8], [30 x i8]* @.str.22, i64 0, i64 0), i32 0, i32 -1)
%49 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([32 x i8], [32 x i8]* @.str.23, i64 0, i64 0), i64 -9223372036854775808, i64 9223372036854775807)
%50 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([32 x i8], [32 x i8]* @.str.24, i64 0, i64 0), i64 0, i64 -1)
%51 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([34 x i8], [34 x i8]* @.str.25, i64 0, i64 0), i64 -9223372036854775808, i64 9223372036854775807)
%52 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([34 x i8], [34 x i8]* @.str.26, i64 0, i64 0), i64 0, i64 -1)
ret i32 0
}