#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*/ intmax_t;

/* Variables and functions */
int /*<<< orphan*/ PTRDIFF_MAX;
int /*<<< orphan*/ PTRDIFF_MIN;
scalar_t__ SIG_ATOMIC_MAX;
scalar_t__ SIG_ATOMIC_MIN;
int /*<<< orphan*/ SIZE_MAX;
scalar_t__ WCHAR_MAX;
scalar_t__ WCHAR_MIN;
scalar_t__ WINT_MAX;
scalar_t__ WINT_MIN;
int /*<<< orphan*/ printf(char *, ...);
void show_library_type_limits() {
  printf("## Limits of library types:\n");
  printf("PTRDIFF_MIN    = %ld\n", PTRDIFF_MIN);
  printf("PTRDIFF_MAX    = %+ld\n", PTRDIFF_MAX);
  printf("SIZE_MAX       = %zu\n", SIZE_MAX);
  printf("SIG_ATOMIC_MIN = %+jd\n", (intmax_t)SIG_ATOMIC_MIN);
  printf("SIG_ATOMIC_MAX = %+jd\n", (intmax_t)SIG_ATOMIC_MAX);
  printf("WCHAR_MIN      = %+jd\n", (intmax_t)WCHAR_MIN);
  printf("WCHAR_MAX      = %+jd\n", (intmax_t)WCHAR_MAX);
  printf("WINT_MIN       = %jd\n", (intmax_t)WINT_MIN);
  printf("WINT_MAX       = %jd\n", (intmax_t)WINT_MAX);
  printf("\n");
}


x86 assembly (clang, -O0):
<show_library_type_limits>:
push   %rbp
mov    %rsp,%rbp
lea    0xee5(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2ea7(%rip),%rax
mov    (%rax),%esi
lea    0xeeb(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2e88(%rip),%rax
mov    (%rax),%esi
lea    0xeea(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2e41(%rip),%rax
mov    (%rax),%esi
lea    0xeea(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2e82(%rip),%rax
mov    (%rax),%rax
mov    %eax,%esi
lea    0xee6(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2e50(%rip),%rax
mov    (%rax),%rax
mov    %eax,%esi
lea    0xee3(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2e0e(%rip),%rax
mov    (%rax),%rax
mov    %eax,%esi
lea    0xee0(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2dec(%rip),%rax
mov    (%rax),%rax
mov    %eax,%esi
lea    0xedd(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2de2(%rip),%rax
mov    (%rax),%rax
mov    %eax,%esi
lea    0xeda(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2df0(%rip),%rax
mov    (%rax),%rax
mov    %eax,%esi
lea    0xed6(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xe11(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
pop    %rbp
ret

x86 assembly (clang, -O2):
<show_library_type_limits>:
push   %rax
lea    0xf93(%rip),%rdi
call   1040 <puts@plt>
mov    0x2e8c(%rip),%rax
mov    (%rax),%esi
lea    0xeb3(%rip),%rdi
xor    %eax,%eax
call   1050 <printf@plt>
mov    0x2e6d(%rip),%rax
mov    (%rax),%esi
lea    0xeb2(%rip),%rdi
xor    %eax,%eax
call   1050 <printf@plt>
mov    0x2e26(%rip),%rax
mov    (%rax),%esi
lea    0xeb2(%rip),%rdi
xor    %eax,%eax
call   1050 <printf@plt>
mov    0x2e67(%rip),%rax
mov    (%rax),%esi
lea    0xeb1(%rip),%rdi
xor    %eax,%eax
call   1050 <printf@plt>
mov    0x2e38(%rip),%rax
mov    (%rax),%esi
lea    0xeb1(%rip),%rdi
xor    %eax,%eax
call   1050 <printf@plt>
mov    0x2df9(%rip),%rax
mov    (%rax),%esi
lea    0xeb1(%rip),%rdi
xor    %eax,%eax
call   1050 <printf@plt>
mov    0x2dda(%rip),%rax
mov    (%rax),%esi
lea    0xeb1(%rip),%rdi
xor    %eax,%eax
call   1050 <printf@plt>
mov    0x2dd3(%rip),%rax
mov    (%rax),%esi
lea    0xeb1(%rip),%rdi
xor    %eax,%eax
call   1050 <printf@plt>
mov    0x2de4(%rip),%rax
mov    (%rax),%esi
lea    0xeb0(%rip),%rdi
xor    %eax,%eax
call   1050 <printf@plt>
mov    $0xa,%edi
pop    %rax
jmp    1030 <putchar@plt>

LLVM IR (-O0):
@.str = [29 x i8] c"## Limits of library types:\0A\00"
@.str.1 = [22 x i8] c"PTRDIFF_MIN = %ld\0A\00"
@PTRDIFF_MIN = global i32 0
@.str.2 = [23 x i8] c"PTRDIFF_MAX = %+ld\0A\00"
@PTRDIFF_MAX = global i32 0
@.str.3 = [22 x i8] c"SIZE_MAX = %zu\0A\00"
@SIZE_MAX = global i32 0
@.str.4 = [23 x i8] c"SIG_ATOMIC_MIN = %+jd\0A\00"
@SIG_ATOMIC_MIN = global i64 0
@.str.5 = [23 x i8] c"SIG_ATOMIC_MAX = %+jd\0A\00"
@SIG_ATOMIC_MAX = global i64 0
@.str.6 = [23 x i8] c"WCHAR_MIN = %+jd\0A\00"
@WCHAR_MIN = global i64 0
@.str.7 = [23 x i8] c"WCHAR_MAX = %+jd\0A\00"
@WCHAR_MAX = global i64 0
@.str.8 = [22 x i8] c"WINT_MIN = %jd\0A\00"
@WINT_MIN = global i64 0
@.str.9 = [22 x i8] c"WINT_MAX = %jd\0A\00"
@WINT_MAX = global i64 0
@.str.10 = [2 x i8] c"\0A\00"
define void @show_library_type_limits() {
%1 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([29 x i8], [29 x i8]* @.str, i64 0, i64 0))
%2 = load i32, i32* @PTRDIFF_MIN
%3 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.1, i64 0, i64 0), i32 %2)
%4 = load i32, i32* @PTRDIFF_MAX
%5 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([23 x i8], [23 x i8]* @.str.2, i64 0, i64 0), i32 %4)
%6 = load i32, i32* @SIZE_MAX
%7 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.3, i64 0, i64 0), i32 %6)
%8 = load i64, i64* @SIG_ATOMIC_MIN
%9 = trunc i64 %8 to i32
%10 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([23 x i8], [23 x i8]* @.str.4, i64 0, i64 0), i32 %9)
%11 = load i64, i64* @SIG_ATOMIC_MAX
%12 = trunc i64 %11 to i32
%13 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([23 x i8], [23 x i8]* @.str.5, i64 0, i64 0), i32 %12)
%14 = load i64, i64* @WCHAR_MIN
%15 = trunc i64 %14 to i32
%16 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([23 x i8], [23 x i8]* @.str.6, i64 0, i64 0), i32 %15)
%17 = load i64, i64* @WCHAR_MAX
%18 = trunc i64 %17 to i32
%19 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([23 x i8], [23 x i8]* @.str.7, i64 0, i64 0), i32 %18)
%20 = load i64, i64* @WINT_MIN
%21 = trunc i64 %20 to i32
%22 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.8, i64 0, i64 0), i32 %21)
%23 = load i64, i64* @WINT_MAX
%24 = trunc i64 %23 to i32
%25 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.9, i64 0, i64 0), i32 %24)
%26 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.10, i64 0, i64 0))
ret void
}

LLVM IR (-O2):
@.str.1 = [22 x i8] c"PTRDIFF_MIN = %ld\0A\00"
@PTRDIFF_MIN = global i32 0
@.str.2 = [23 x i8] c"PTRDIFF_MAX = %+ld\0A\00"
@PTRDIFF_MAX = global i32 0
@.str.3 = [22 x i8] c"SIZE_MAX = %zu\0A\00"
@SIZE_MAX = global i32 0
@.str.4 = [23 x i8] c"SIG_ATOMIC_MIN = %+jd\0A\00"
@SIG_ATOMIC_MIN = global i64 0
@.str.5 = [23 x i8] c"SIG_ATOMIC_MAX = %+jd\0A\00"
@SIG_ATOMIC_MAX = global i64 0
@.str.6 = [23 x i8] c"WCHAR_MIN = %+jd\0A\00"
@WCHAR_MIN = global i64 0
@.str.7 = [23 x i8] c"WCHAR_MAX = %+jd\0A\00"
@WCHAR_MAX = global i64 0
@.str.8 = [22 x i8] c"WINT_MIN = %jd\0A\00"
@WINT_MIN = global i64 0
@.str.9 = [22 x i8] c"WINT_MAX = %jd\0A\00"
@WINT_MAX = global i64 0
@str = [28 x i8] c"## Limits of library types:\00"
define void @show_library_type_limits() {
%1 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([28 x i8], [28 x i8]* @str, i64 0, i64 0))
%2 = load i32, i32* @PTRDIFF_MIN
%3 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.1, i64 0, i64 0), i32 %2)
%4 = load i32, i32* @PTRDIFF_MAX
%5 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([23 x i8], [23 x i8]* @.str.2, i64 0, i64 0), i32 %4)
%6 = load i32, i32* @SIZE_MAX
%7 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.3, i64 0, i64 0), i32 %6)
%8 = load i64, i64* @SIG_ATOMIC_MIN
%9 = trunc i64 %8 to i32
%10 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([23 x i8], [23 x i8]* @.str.4, i64 0, i64 0), i32 %9)
%11 = load i64, i64* @SIG_ATOMIC_MAX
%12 = trunc i64 %11 to i32
%13 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([23 x i8], [23 x i8]* @.str.5, i64 0, i64 0), i32 %12)
%14 = load i64, i64* @WCHAR_MIN
%15 = trunc i64 %14 to i32
%16 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([23 x i8], [23 x i8]* @.str.6, i64 0, i64 0), i32 %15)
%17 = load i64, i64* @WCHAR_MAX
%18 = trunc i64 %17 to i32
%19 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([23 x i8], [23 x i8]* @.str.7, i64 0, i64 0), i32 %18)
%20 = load i64, i64* @WINT_MIN
%21 = trunc i64 %20 to i32
%22 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.8, i64 0, i64 0), i32 %21)
%23 = load i64, i64* @WINT_MAX
%24 = trunc i64 %23 to i32
%25 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.9, i64 0, i64 0), i32 %24)
%26 = tail call i32 @putchar(i32 10)
ret void
}