#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;
int DBL_DIG;
double DBL_EPSILON;
double DBL_MAX;
double DBL_MIN;
int FLT_DIG;
double FLT_EPSILON;
double FLT_MAX;
double FLT_MIN;
int INT_MAX;
int INT_MIN;
int /*<<< orphan*/ LONG_MAX;
int /*<<< orphan*/ LONG_MIN;
int SCHAR_MAX;
int SCHAR_MIN;
int SHRT_MAX;
int SHRT_MIN;
scalar_t__ UCHAR_MAX;
int UINT_MAX;
int /*<<< orphan*/ ULONG_MAX;
scalar_t__ USHRT_MAX;
int /*<<< orphan*/ printf(char *, ...);
int main(void) {
  float xf = 1.0;
  double xd = 1.0;
  printf("GNU ");
  printf("C Compiler version: %s\n\n", "9.4.0");
  printf("C compiler integer limits:\n");
  printf("--------------------------\n");
  printf("CHAR_BIT: Bits of type char: %d\n", CHAR_BIT);
  printf("sizeof(char) = %u bytes.\n", (unsigned)sizeof(char));
  printf("sizeof(char *) = %u bytes.\n", (unsigned)sizeof(char *));
  if (CHAR_MIN < 0) {
    printf("Current type char is signed.\n");
  } else {
    printf("Current type char is unsigned.\n");
  }
  printf("CHAR_MAX: Maximum numeric value of type char: %d\n", CHAR_MAX);
  printf("CHAR_MIN: Minimum numeric value of type char: %d\n\n", CHAR_MIN);
  printf("SCHAR_MAX: Maximum value of type signed char: %d\n", SCHAR_MAX);
  printf("SCHAR_MIN: Minimum value of type signed char: %d\n\n", SCHAR_MIN);
  printf("UCHAR_MAX: Maximum value of type unsigned char: %u\n\n",
         (unsigned)UCHAR_MAX);
  printf("sizeof(short) = %u bytes.\n", (unsigned)sizeof(short));
  printf("SHRT_MAX: Maximum value of type short: %d\n", SHRT_MAX);
  printf("SHRT_MIN: Minimum value of type short: %d\n\n", SHRT_MIN);
  printf("USHRT_MAX: Maximum value of type unsigned short: %u\n\n",
         (unsigned)USHRT_MAX);
  printf("sizeof(int) = %u bytes.\n", (unsigned)sizeof(int));
  printf("INT_MAX: Maximum value of type int: %d\n", INT_MAX);
  printf("INT_MIN: Minimum value of type int: %d\n\n", INT_MIN);
  printf("UINT_MAX: Maximum value of type unsigned int: %u\n\n", UINT_MAX);
  printf("sizeof(long) = %u bytes.\n", (unsigned)sizeof(long));
  printf("LONG_MAX: Maximum value of type long: %ld\n", LONG_MAX);
  printf("LONG_MIN: Minimum value of type long: %ld\n\n", LONG_MIN);
  printf("ULONG_MAX: Maximum value of type unsigned long: %lu\n\n", ULONG_MAX);
  printf("Type \"long long\" not supported by this C compiler.\n\n");
  printf("\nC compiler floating point limits:\n");
  printf("---------------------------------\n");
  printf("sizeof(float) = %u bytes.\n", (unsigned)sizeof(float));
  printf("FLT_DIG: Decimal digits of precision for float: %d\n", FLT_DIG);
  printf("sizeof(double) = %u bytes.\n", (unsigned)sizeof(double));
  printf("DBL_DIG: Decimal digits of precision for double: %d\n", DBL_DIG);
  printf("\nFLT_MAX: Maximum value of float: %g\n", FLT_MAX);
  printf("FLT_MIN: Minimum value of float: %g\n\n", FLT_MIN);
  printf("DBL_MAX: Maximum value of double: %g\n", DBL_MAX);
  printf("DBL_MIN: Minimum value of double: %g\n\n", DBL_MIN);
  printf("Type \"long double\" not supported by this C compiler.\n\n");
  printf("Epsilon is the smallest x such that 1.0 + x != 1.0\n");
  printf("FLT_EPSILON: Float epsilon: %g", FLT_EPSILON);
  xf += (FLT_EPSILON / 2.0);
  if (xf == 1.0) {
    xf += FLT_EPSILON;
    if (xf > 1.0) {
      printf(" verified.");
    }
  }
  printf("\n");
  printf("DBL_EPSILON: Double epsilon: %g", DBL_EPSILON);
  xd += (DBL_EPSILON / 2.0);
  if (xd == 1.0) {
    xd += DBL_EPSILON;
    if (xd > 1.0) {
      printf(" verified.");
    }
  }
  printf("\n");
  printf("\nEnd of limits program output.\n");
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
movl   $0x0,-0x4(%rbp)
movss  0xee9(%rip),%xmm0
movss  %xmm0,-0x8(%rbp)
movsd  0xecc(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
lea    0xed4(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xecb(%rip),%rdi
lea    0xedd(%rip),%rsi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xed5(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x12c3(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2de1(%rip),%rax
mov    (%rax),%esi
lea    0xecc(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xedf(%rip),%rdi
mov    $0x1,%esi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xee6(%rip),%rdi
mov    $0x8,%esi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2e14(%rip),%rax
cmpl   $0x0,(%rax)
jge    11d8 <main+0xc8>
lea    0xedf(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    11e6 <main+0xd6>
lea    0xeea(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2deb(%rip),%rax
mov    (%rax),%esi
lea    0xef3(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2dcc(%rip),%rax
mov    (%rax),%esi
lea    0xf0e(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2d55(%rip),%rax
mov    (%rax),%esi
lea    0xf2a(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2d46(%rip),%rax
mov    (%rax),%esi
lea    0xf45(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2d9f(%rip),%rax
mov    (%rax),%rax
mov    %eax,%esi
lea    0xf5e(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xf85(%rip),%rdi
mov    $0x2,%esi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2cd2(%rip),%rax
mov    (%rax),%esi
lea    0xf84(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2cc3(%rip),%rax
mov    (%rax),%esi
lea    0xf98(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2d14(%rip),%rax
mov    (%rax),%rax
mov    %eax,%esi
lea    0xfaa(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xfd2(%rip),%rdi
mov    $0x4,%esi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2cdf(%rip),%rax
mov    (%rax),%esi
lea    0xfcf(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2ca8(%rip),%rax
mov    (%rax),%esi
lea    0xfe0(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2ca9(%rip),%rax
mov    (%rax),%esi
lea    0xff2(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x1017(%rip),%rdi
mov    $0x8,%esi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2c2f(%rip),%rax
mov    (%rax),%esi
lea    0x1015(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2c60(%rip),%rax
mov    (%rax),%esi
lea    0x1029(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2bd1(%rip),%rax
mov    (%rax),%esi
lea    0x103e(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x1066(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x108d(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x10a3(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x10b8(%rip),%rdi
mov    $0x4,%esi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2c4d(%rip),%rax
mov    (%rax),%esi
lea    0x10b7(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x10dd(%rip),%rdi
mov    $0x8,%esi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2bc3(%rip),%rax
mov    (%rax),%esi
lea    0x10dd(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2b9c(%rip),%rax
movsd  (%rax),%xmm0
lea    0x10f9(%rip),%rdi
mov    $0x1,%al
call   1030 <printf@plt>
mov    0x2bbb(%rip),%rax
movsd  (%rax),%xmm0
lea    0x1106(%rip),%rdi
mov    $0x1,%al
call   1030 <printf@plt>
mov    0x2b22(%rip),%rax
movsd  (%rax),%xmm0
lea    0x1113(%rip),%rdi
mov    $0x1,%al
call   1030 <printf@plt>
mov    0x2b01(%rip),%rax
movsd  (%rax),%xmm0
lea    0x1120(%rip),%rdi
mov    $0x1,%al
call   1030 <printf@plt>
lea    0x1139(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x1162(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2afc(%rip),%rax
movsd  (%rax),%xmm0
lea    0x117d(%rip),%rdi
mov    $0x1,%al
call   1030 <printf@plt>
mov    0x2ae3(%rip),%rax
movsd  (%rax),%xmm1
movsd  0xb77(%rip),%xmm0
divsd  %xmm0,%xmm1
movss  -0x8(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
addsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x8(%rbp)
movss  -0x8(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xb44(%rip),%xmm1
ucomisd %xmm1,%xmm0
jne    151b <main+0x40b>
jp     151b <main+0x40b>
mov    0x2a95(%rip),%rax
movsd  (%rax),%xmm1
movss  -0x8(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
addsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x8(%rbp)
movss  -0x8(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xb02(%rip),%xmm1
ucomisd %xmm1,%xmm0
jbe    1516 <main+0x406>
lea    0x1104(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    151b <main+0x40b>
lea    0x109c(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2a98(%rip),%rax
movsd  (%rax),%xmm0
lea    0x10e3(%rip),%rdi
mov    $0x1,%al
call   1030 <printf@plt>
mov    0x2a7f(%rip),%rax
movsd  (%rax),%xmm0
movsd  0xab3(%rip),%xmm1
divsd  %xmm1,%xmm0
addsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x10(%rbp)
movsd  -0x10(%rbp),%xmm0
movsd  0xa90(%rip),%xmm1
ucomisd %xmm1,%xmm0
jne    15bf <main+0x4af>
jp     15bf <main+0x4af>
mov    0x2a41(%rip),%rax
movsd  (%rax),%xmm0
addsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x10(%rbp)
movsd  -0x10(%rbp),%xmm0
movsd  0xa5e(%rip),%xmm1
ucomisd %xmm1,%xmm0
jbe    15ba <main+0x4aa>
lea    0x1060(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    15bf <main+0x4af>
lea    0xff8(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0x106a(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
xor    %eax,%eax
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbx
lea    0xedc(%rip),%rdi
xor    %eax,%eax
call   1050 <printf@plt>
lea    0xed3(%rip),%rdi
lea    0xee5(%rip),%rsi
xor    %eax,%eax
call   1050 <printf@plt>
lea    0x13a2(%rip),%rdi
call   1040 <puts@plt>
lea    0x142e(%rip),%rdi
call   1040 <puts@plt>
mov    0x2ded(%rip),%rax
mov    (%rax),%esi
lea    0xebc(%rip),%rdi
xor    %eax,%eax
call   1050 <printf@plt>
lea    0xecf(%rip),%rdi
mov    $0x1,%esi
xor    %eax,%eax
call   1050 <printf@plt>
lea    0xed6(%rip),%rdi
mov    $0x8,%esi
xor    %eax,%eax
call   1050 <printf@plt>
mov    0x2e20(%rip),%rbx
cmpl   $0x0,(%rbx)
lea    0x147e(%rip),%rax
lea    0x1357(%rip),%rdi
cmovs  %rax,%rdi
call   1040 <puts@plt>
mov    0x2e07(%rip),%rax
mov    (%rax),%esi
lea    0xeb5(%rip),%rdi
xor    %eax,%eax
call   1050 <printf@plt>
mov    (%rbx),%esi
lea    0xed7(%rip),%rdi
xor    %eax,%eax
call   1050 <printf@plt>
mov    0x2d78(%rip),%rax
mov    (%rax),%esi
lea    0xef3(%rip),%rdi
xor    %eax,%eax
call   1050 <printf@plt>
mov    0x2d69(%rip),%rax
mov    (%rax),%esi
lea    0xf0e(%rip),%rdi
xor    %eax,%eax
call   1050 <printf@plt>
mov    0x2dc2(%rip),%rax
mov    (%rax),%esi
lea    0xf2a(%rip),%rdi
xor    %eax,%eax
call   1050 <printf@plt>
lea    0xf51(%rip),%rdi
mov    $0x2,%esi
xor    %eax,%eax
call   1050 <printf@plt>
mov    0x2cf8(%rip),%rax
mov    (%rax),%esi
lea    0xf50(%rip),%rdi
xor    %eax,%eax
call   1050 <printf@plt>
mov    0x2ce9(%rip),%rax
mov    (%rax),%esi
lea    0xf64(%rip),%rdi
xor    %eax,%eax
call   1050 <printf@plt>
mov    0x2d3a(%rip),%rax
mov    (%rax),%esi
lea    0xf79(%rip),%rdi
xor    %eax,%eax
call   1050 <printf@plt>
lea    0xfa1(%rip),%rdi
mov    $0x4,%esi
xor    %eax,%eax
call   1050 <printf@plt>
mov    0x2d08(%rip),%rax
mov    (%rax),%esi
lea    0xf9e(%rip),%rdi
xor    %eax,%eax
call   1050 <printf@plt>
mov    0x2cd1(%rip),%rax
mov    (%rax),%esi
lea    0xfaf(%rip),%rdi
xor    %eax,%eax
call   1050 <printf@plt>
mov    0x2cd2(%rip),%rax
mov    (%rax),%esi
lea    0xfc1(%rip),%rdi
xor    %eax,%eax
call   1050 <printf@plt>
lea    0xfe6(%rip),%rdi
mov    $0x8,%esi
xor    %eax,%eax
call   1050 <printf@plt>
mov    0x2c58(%rip),%rax
mov    (%rax),%esi
lea    0xfe4(%rip),%rdi
xor    %eax,%eax
call   1050 <printf@plt>
mov    0x2c89(%rip),%rax
mov    (%rax),%esi
lea    0xff8(%rip),%rdi
xor    %eax,%eax
call   1050 <printf@plt>
mov    0x2bfa(%rip),%rax
mov    (%rax),%esi
lea    0x100d(%rip),%rdi
xor    %eax,%eax
call   1050 <printf@plt>
lea    0x11f2(%rip),%rdi
call   1040 <puts@plt>
lea    0x121a(%rip),%rdi
call   1040 <puts@plt>
lea    0x1231(%rip),%rdi
call   1040 <puts@plt>
lea    0x1011(%rip),%rdi
mov    $0x4,%esi
xor    %eax,%eax
call   1050 <printf@plt>
mov    0x2c7c(%rip),%rax
mov    (%rax),%esi
lea    0x1010(%rip),%rdi
xor    %eax,%eax
call   1050 <printf@plt>
lea    0x1036(%rip),%rdi
mov    $0x8,%esi
xor    %eax,%eax
call   1050 <printf@plt>
mov    0x2bf2(%rip),%rax
mov    (%rax),%esi
lea    0x1036(%rip),%rdi
xor    %eax,%eax
call   1050 <printf@plt>
mov    0x2bcb(%rip),%rax
movsd  (%rax),%xmm0
lea    0x1052(%rip),%rdi
mov    $0x1,%al
call   1050 <printf@plt>
mov    0x2bea(%rip),%rax
movsd  (%rax),%xmm0
lea    0x105f(%rip),%rdi
mov    $0x1,%al
call   1050 <printf@plt>
mov    0x2b51(%rip),%rax
movsd  (%rax),%xmm0
lea    0x106c(%rip),%rdi
mov    $0x1,%al
call   1050 <printf@plt>
mov    0x2b30(%rip),%rax
movsd  (%rax),%xmm0
lea    0x1079(%rip),%rdi
mov    $0x1,%al
call   1050 <printf@plt>
lea    0x118f(%rip),%rdi
call   1040 <puts@plt>
lea    0x11b9(%rip),%rdi
call   1040 <puts@plt>
mov    0x2b2f(%rip),%rbx
movsd  (%rbx),%xmm0
lea    0x106f(%rip),%rdi
mov    $0x1,%al
call   1050 <printf@plt>
movsd  (%rbx),%xmm0
movsd  0xba9(%rip),%xmm1
mulsd  %xmm0,%xmm1
addsd  0xba5(%rip),%xmm1
cvtsd2ss %xmm1,%xmm1
ucomiss 0xba2(%rip),%xmm1
jne    1495 <main+0x365>
jp     1495 <main+0x365>
addsd  0xb8e(%rip),%xmm0
cvtsd2ss %xmm0,%xmm0
ucomiss 0xb8b(%rip),%xmm0
jbe    1495 <main+0x365>
lea    0x1044(%rip),%rdi
xor    %eax,%eax
call   1050 <printf@plt>
mov    $0xa,%edi
call   1030 <putchar@plt>
mov    0x2b22(%rip),%rbx
movsd  (%rbx),%xmm0
lea    0x102c(%rip),%rdi
mov    $0x1,%al
call   1050 <printf@plt>
movsd  (%rbx),%xmm0
movsd  0xb3c(%rip),%xmm1
mulsd  %xmm0,%xmm1
movsd  0xb38(%rip),%xmm2
addsd  %xmm2,%xmm1
ucomisd %xmm2,%xmm1
jne    14f8 <main+0x3c8>
jp     14f8 <main+0x3c8>
addsd  %xmm1,%xmm0
ucomisd 0xb20(%rip),%xmm0
jbe    14f8 <main+0x3c8>
lea    0xfe1(%rip),%rdi
xor    %eax,%eax
call   1050 <printf@plt>
mov    $0xa,%edi
call   1030 <putchar@plt>
lea    0x1110(%rip),%rdi
call   1040 <puts@plt>
xor    %eax,%eax
pop    %rbx
ret

LLVM IR (-O0):
@.str = [5 x i8] c"GNU \00"
@.str.1 = [25 x i8] c"C Compiler version: %s\0A\0A\00"
@.str.2 = [6 x i8] c"9.4.0\00"
@.str.3 = [28 x i8] c"C compiler integer limits:\0A\00"
@.str.4 = [28 x i8] c"--------------------------\0A\00"
@.str.5 = [33 x i8] c"CHAR_BIT: Bits of type char: %d\0A\00"
@CHAR_BIT = global i32 0
@.str.6 = [26 x i8] c"sizeof(char) = %u bytes.\0A\00"
@.str.7 = [28 x i8] c"sizeof(char *) = %u bytes.\0A\00"
@CHAR_MIN = global i32 0
@.str.8 = [30 x i8] c"Current type char is signed.\0A\00"
@.str.9 = [32 x i8] c"Current type char is unsigned.\0A\00"
@.str.10 = [50 x i8] c"CHAR_MAX: Maximum numeric value of type char: %d\0A\00"
@CHAR_MAX = global i32 0
@.str.11 = [51 x i8] c"CHAR_MIN: Minimum numeric value of type char: %d\0A\0A\00"
@.str.12 = [50 x i8] c"SCHAR_MAX: Maximum value of type signed char: %d\0A\00"
@SCHAR_MAX = global i32 0
@.str.13 = [51 x i8] c"SCHAR_MIN: Minimum value of type signed char: %d\0A\0A\00"
@SCHAR_MIN = global i32 0
@.str.14 = [53 x i8] c"UCHAR_MAX: Maximum value of type unsigned char: %u\0A\0A\00"
@UCHAR_MAX = global i64 0
@.str.15 = [27 x i8] c"sizeof(short) = %u bytes.\0A\00"
@.str.16 = [43 x i8] c"SHRT_MAX: Maximum value of type short: %d\0A\00"
@SHRT_MAX = global i32 0
@.str.17 = [44 x i8] c"SHRT_MIN: Minimum value of type short: %d\0A\0A\00"
@SHRT_MIN = global i32 0
@.str.18 = [54 x i8] c"USHRT_MAX: Maximum value of type unsigned short: %u\0A\0A\00"
@USHRT_MAX = global i64 0
@.str.19 = [25 x i8] c"sizeof(int) = %u bytes.\0A\00"
@.str.20 = [40 x i8] c"INT_MAX: Maximum value of type int: %d\0A\00"
@INT_MAX = global i32 0
@.str.21 = [41 x i8] c"INT_MIN: Minimum value of type int: %d\0A\0A\00"
@INT_MIN = global i32 0
@.str.22 = [51 x i8] c"UINT_MAX: Maximum value of type unsigned int: %u\0A\0A\00"
@UINT_MAX = global i32 0
@.str.23 = [26 x i8] c"sizeof(long) = %u bytes.\0A\00"
@.str.24 = [43 x i8] c"LONG_MAX: Maximum value of type long: %ld\0A\00"
@LONG_MAX = global i32 0
@.str.25 = [44 x i8] c"LONG_MIN: Minimum value of type long: %ld\0A\0A\00"
@LONG_MIN = global i32 0
@.str.26 = [54 x i8] c"ULONG_MAX: Maximum value of type unsigned long: %lu\0A\0A\00"
@ULONG_MAX = global i32 0
@.str.27 = [53 x i8] c"Type \22long long\22 not supported by this C compiler.\0A\0A\00"
@.str.28 = [36 x i8] c"\0AC compiler floating point limits:\0A\00"
@.str.29 = [35 x i8] c"---------------------------------\0A\00"
@.str.30 = [27 x i8] c"sizeof(float) = %u bytes.\0A\00"
@.str.31 = [52 x i8] c"FLT_DIG: Decimal digits of precision for float: %d\0A\00"
@FLT_DIG = global i32 0
@.str.32 = [28 x i8] c"sizeof(double) = %u bytes.\0A\00"
@.str.33 = [53 x i8] c"DBL_DIG: Decimal digits of precision for double: %d\0A\00"
@DBL_DIG = global i32 0
@.str.34 = [38 x i8] c"\0AFLT_MAX: Maximum value of float: %g\0A\00"
@FLT_MAX = global double 0.000000e+00
@.str.35 = [38 x i8] c"FLT_MIN: Minimum value of float: %g\0A\0A\00"
@FLT_MIN = global double 0.000000e+00
@.str.36 = [38 x i8] c"DBL_MAX: Maximum value of double: %g\0A\00"
@DBL_MAX = global double 0.000000e+00
@.str.37 = [39 x i8] c"DBL_MIN: Minimum value of double: %g\0A\0A\00"
@DBL_MIN = global double 0.000000e+00
@.str.38 = [55 x i8] c"Type \22long double\22 not supported by this C compiler.\0A\0A\00"
@.str.39 = [52 x i8] c"Epsilon is the smallest x such that 1.0 + x != 1.0\0A\00"
@.str.40 = [31 x i8] c"FLT_EPSILON: Float epsilon: %g\00"
@FLT_EPSILON = global double 0.000000e+00
@.str.41 = [11 x i8] c" verified.\00"
@.str.42 = [2 x i8] c"\0A\00"
@.str.43 = [32 x i8] c"DBL_EPSILON: Double epsilon: %g\00"
@DBL_EPSILON = global double 0.000000e+00
@.str.44 = [32 x i8] c"\0AEnd of limits program output.\0A\00"
define i32 @main() {
%1 = alloca i32
%2 = alloca float
%3 = alloca double
store i32 0, i32* %1
store float 1.000000e+00, float* %2
store double 1.000000e+00, double* %3
%4 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str, i64 0, i64 0))
%5 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.2, i64 0, i64 0))
%6 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.3, i64 0, i64 0))
%7 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.4, i64 0, i64 0))
%8 = load i32, i32* @CHAR_BIT
%9 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([33 x i8], [33 x i8]* @.str.5, i64 0, i64 0), i32 %8)
%10 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([26 x i8], [26 x i8]* @.str.6, i64 0, i64 0), i32 1)
%11 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.7, i64 0, i64 0), i32 8)
%12 = load i32, i32* @CHAR_MIN
%13 = icmp slt i32 %12, 0
br i1 %13, label %14, label %16
14: ; preds = %0
%15 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.8, i64 0, i64 0))
br label %18
16: ; preds = %0
%17 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.9, i64 0, i64 0))
br label %18
18: ; preds = %16, %14
%19 = load i32, i32* @CHAR_MAX
%20 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([50 x i8], [50 x i8]* @.str.10, i64 0, i64 0), i32 %19)
%21 = load i32, i32* @CHAR_MIN
%22 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([51 x i8], [51 x i8]* @.str.11, i64 0, i64 0), i32 %21)
%23 = load i32, i32* @SCHAR_MAX
%24 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([50 x i8], [50 x i8]* @.str.12, i64 0, i64 0), i32 %23)
%25 = load i32, i32* @SCHAR_MIN
%26 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([51 x i8], [51 x i8]* @.str.13, i64 0, i64 0), i32 %25)
%27 = load i64, i64* @UCHAR_MAX
%28 = trunc i64 %27 to i32
%29 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([53 x i8], [53 x i8]* @.str.14, i64 0, i64 0), i32 %28)
%30 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([27 x i8], [27 x i8]* @.str.15, i64 0, i64 0), i32 2)
%31 = load i32, i32* @SHRT_MAX
%32 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([43 x i8], [43 x i8]* @.str.16, i64 0, i64 0), i32 %31)
%33 = load i32, i32* @SHRT_MIN
%34 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([44 x i8], [44 x i8]* @.str.17, i64 0, i64 0), i32 %33)
%35 = load i64, i64* @USHRT_MAX
%36 = trunc i64 %35 to i32
%37 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([54 x i8], [54 x i8]* @.str.18, i64 0, i64 0), i32 %36)
%38 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str.19, i64 0, i64 0), i32 4)
%39 = load i32, i32* @INT_MAX
%40 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([40 x i8], [40 x i8]* @.str.20, i64 0, i64 0), i32 %39)
%41 = load i32, i32* @INT_MIN
%42 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([41 x i8], [41 x i8]* @.str.21, i64 0, i64 0), i32 %41)
%43 = load i32, i32* @UINT_MAX
%44 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([51 x i8], [51 x i8]* @.str.22, i64 0, i64 0), i32 %43)
%45 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([26 x i8], [26 x i8]* @.str.23, i64 0, i64 0), i32 8)
%46 = load i32, i32* @LONG_MAX
%47 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([43 x i8], [43 x i8]* @.str.24, i64 0, i64 0), i32 %46)
%48 = load i32, i32* @LONG_MIN
%49 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([44 x i8], [44 x i8]* @.str.25, i64 0, i64 0), i32 %48)
%50 = load i32, i32* @ULONG_MAX
%51 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([54 x i8], [54 x i8]* @.str.26, i64 0, i64 0), i32 %50)
%52 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([53 x i8], [53 x i8]* @.str.27, i64 0, i64 0))
%53 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str.28, i64 0, i64 0))
%54 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([35 x i8], [35 x i8]* @.str.29, i64 0, i64 0))
%55 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([27 x i8], [27 x i8]* @.str.30, i64 0, i64 0), i32 4)
%56 = load i32, i32* @FLT_DIG
%57 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([52 x i8], [52 x i8]* @.str.31, i64 0, i64 0), i32 %56)
%58 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.32, i64 0, i64 0), i32 8)
%59 = load i32, i32* @DBL_DIG
%60 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([53 x i8], [53 x i8]* @.str.33, i64 0, i64 0), i32 %59)
%61 = load double, double* @FLT_MAX
%62 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([38 x i8], [38 x i8]* @.str.34, i64 0, i64 0), double %61)
%63 = load double, double* @FLT_MIN
%64 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([38 x i8], [38 x i8]* @.str.35, i64 0, i64 0), double %63)
%65 = load double, double* @DBL_MAX
%66 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([38 x i8], [38 x i8]* @.str.36, i64 0, i64 0), double %65)
%67 = load double, double* @DBL_MIN
%68 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([39 x i8], [39 x i8]* @.str.37, i64 0, i64 0), double %67)
%69 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([55 x i8], [55 x i8]* @.str.38, i64 0, i64 0))
%70 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([52 x i8], [52 x i8]* @.str.39, i64 0, i64 0))
%71 = load double, double* @FLT_EPSILON
%72 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.40, i64 0, i64 0), double %71)
%73 = load double, double* @FLT_EPSILON
%74 = fdiv double %73, 2.000000e+00
%75 = load float, float* %2
%76 = fpext float %75 to double
%77 = fadd double %76, %74
%78 = fptrunc double %77 to float
store float %78, float* %2
%79 = load float, float* %2
%80 = fpext float %79 to double
%81 = fcmp oeq double %80, 1.000000e+00
br i1 %81, label %82, label %94
82: ; preds = %18
%83 = load double, double* @FLT_EPSILON
%84 = load float, float* %2
%85 = fpext float %84 to double
%86 = fadd double %85, %83
%87 = fptrunc double %86 to float
store float %87, float* %2
%88 = load float, float* %2
%89 = fpext float %88 to double
%90 = fcmp ogt double %89, 1.000000e+00
br i1 %90, label %91, label %93
91: ; preds = %82
%92 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.41, i64 0, i64 0))
br label %93
93: ; preds = %91, %82
br label %94
94: ; preds = %93, %18
%95 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.42, i64 0, i64 0))
%96 = load double, double* @DBL_EPSILON
%97 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.43, i64 0, i64 0), double %96)
%98 = load double, double* @DBL_EPSILON
%99 = fdiv double %98, 2.000000e+00
%100 = load double, double* %3
%101 = fadd double %100, %99
store double %101, double* %3
%102 = load double, double* %3
%103 = fcmp oeq double %102, 1.000000e+00
br i1 %103, label %104, label %113
104: ; preds = %94
%105 = load double, double* @DBL_EPSILON
%106 = load double, double* %3
%107 = fadd double %106, %105
store double %107, double* %3
%108 = load double, double* %3
%109 = fcmp ogt double %108, 1.000000e+00
br i1 %109, label %110, label %112
110: ; preds = %104
%111 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.41, i64 0, i64 0))
br label %112
112: ; preds = %110, %104
br label %113
113: ; preds = %112, %94
%114 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.42, i64 0, i64 0))
%115 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.44, i64 0, i64 0))
ret i32 0
}

LLVM IR (-O2):
@.str = [5 x i8] c"GNU \00"
@.str.1 = [25 x i8] c"C Compiler version: %s\0A\0A\00"
@.str.2 = [6 x i8] c"9.4.0\00"
@.str.5 = [33 x i8] c"CHAR_BIT: Bits of type char: %d\0A\00"
@CHAR_BIT = global i32 0
@.str.6 = [26 x i8] c"sizeof(char) = %u bytes.\0A\00"
@.str.7 = [28 x i8] c"sizeof(char *) = %u bytes.\0A\00"
@CHAR_MIN = global i32 0
@.str.10 = [50 x i8] c"CHAR_MAX: Maximum numeric value of type char: %d\0A\00"
@CHAR_MAX = global i32 0
@.str.11 = [51 x i8] c"CHAR_MIN: Minimum numeric value of type char: %d\0A\0A\00"
@.str.12 = [50 x i8] c"SCHAR_MAX: Maximum value of type signed char: %d\0A\00"
@SCHAR_MAX = global i32 0
@.str.13 = [51 x i8] c"SCHAR_MIN: Minimum value of type signed char: %d\0A\0A\00"
@SCHAR_MIN = global i32 0
@.str.14 = [53 x i8] c"UCHAR_MAX: Maximum value of type unsigned char: %u\0A\0A\00"
@UCHAR_MAX = global i64 0
@.str.15 = [27 x i8] c"sizeof(short) = %u bytes.\0A\00"
@.str.16 = [43 x i8] c"SHRT_MAX: Maximum value of type short: %d\0A\00"
@SHRT_MAX = global i32 0
@.str.17 = [44 x i8] c"SHRT_MIN: Minimum value of type short: %d\0A\0A\00"
@SHRT_MIN = global i32 0
@.str.18 = [54 x i8] c"USHRT_MAX: Maximum value of type unsigned short: %u\0A\0A\00"
@USHRT_MAX = global i64 0
@.str.19 = [25 x i8] c"sizeof(int) = %u bytes.\0A\00"
@.str.20 = [40 x i8] c"INT_MAX: Maximum value of type int: %d\0A\00"
@INT_MAX = global i32 0
@.str.21 = [41 x i8] c"INT_MIN: Minimum value of type int: %d\0A\0A\00"
@INT_MIN = global i32 0
@.str.22 = [51 x i8] c"UINT_MAX: Maximum value of type unsigned int: %u\0A\0A\00"
@UINT_MAX = global i32 0
@.str.23 = [26 x i8] c"sizeof(long) = %u bytes.\0A\00"
@.str.24 = [43 x i8] c"LONG_MAX: Maximum value of type long: %ld\0A\00"
@LONG_MAX = global i32 0
@.str.25 = [44 x i8] c"LONG_MIN: Minimum value of type long: %ld\0A\0A\00"
@LONG_MIN = global i32 0
@.str.26 = [54 x i8] c"ULONG_MAX: Maximum value of type unsigned long: %lu\0A\0A\00"
@ULONG_MAX = global i32 0
@.str.30 = [27 x i8] c"sizeof(float) = %u bytes.\0A\00"
@.str.31 = [52 x i8] c"FLT_DIG: Decimal digits of precision for float: %d\0A\00"
@FLT_DIG = global i32 0
@.str.32 = [28 x i8] c"sizeof(double) = %u bytes.\0A\00"
@.str.33 = [53 x i8] c"DBL_DIG: Decimal digits of precision for double: %d\0A\00"
@DBL_DIG = global i32 0
@.str.34 = [38 x i8] c"\0AFLT_MAX: Maximum value of float: %g\0A\00"
@FLT_MAX = global double 0.000000e+00
@.str.35 = [38 x i8] c"FLT_MIN: Minimum value of float: %g\0A\0A\00"
@FLT_MIN = global double 0.000000e+00
@.str.36 = [38 x i8] c"DBL_MAX: Maximum value of double: %g\0A\00"
@DBL_MAX = global double 0.000000e+00
@.str.37 = [39 x i8] c"DBL_MIN: Minimum value of double: %g\0A\0A\00"
@DBL_MIN = global double 0.000000e+00
@.str.40 = [31 x i8] c"FLT_EPSILON: Float epsilon: %g\00"
@FLT_EPSILON = global double 0.000000e+00
@.str.41 = [11 x i8] c" verified.\00"
@.str.43 = [32 x i8] c"DBL_EPSILON: Double epsilon: %g\00"
@DBL_EPSILON = global double 0.000000e+00
@str = [27 x i8] c"C compiler integer limits:\00"
@str.45 = [27 x i8] c"--------------------------\00"
@str.46 = [31 x i8] c"Current type char is unsigned.\00"
@str.47 = [52 x i8] c"Type \22long long\22 not supported by this C compiler.\0A\00"
@str.48 = [35 x i8] c"\0AC compiler floating point limits:\00"
@str.49 = [34 x i8] c"---------------------------------\00"
@str.50 = [54 x i8] c"Type \22long double\22 not supported by this C compiler.\0A\00"
@str.51 = [51 x i8] c"Epsilon is the smallest x such that 1.0 + x != 1.0\00"
@str.52 = [31 x i8] c"\0AEnd of limits program output.\00"
@str.53 = [29 x i8] c"Current type char is signed.\00"
define i32 @main() {
%1 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([5 x i8], [5 x i8]* @.str, i64 0, i64 0))
%2 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([25 x i8], [25 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.2, i64 0, i64 0))
%3 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([27 x i8], [27 x i8]* @str, i64 0, i64 0))
%4 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([27 x i8], [27 x i8]* @str.45, i64 0, i64 0))
%5 = load i32, i32* @CHAR_BIT
%6 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([33 x i8], [33 x i8]* @.str.5, i64 0, i64 0), i32 %5)
%7 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([26 x i8], [26 x i8]* @.str.6, i64 0, i64 0), i32 1)
%8 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([28 x i8], [28 x i8]* @.str.7, i64 0, i64 0), i32 8)
%9 = load i32, i32* @CHAR_MIN
%10 = icmp slt i32 %9, 0
%11 = select i1 %10, i8* getelementptr inbounds ([29 x i8], [29 x i8]* @str.53, i64 0, i64 0), i8* getelementptr inbounds ([31 x i8], [31 x i8]* @str.46, i64 0, i64 0)
%12 = tail call i32 @puts(i8* dereferenceable(1) %11)
%13 = load i32, i32* @CHAR_MAX
%14 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([50 x i8], [50 x i8]* @.str.10, i64 0, i64 0), i32 %13)
%15 = load i32, i32* @CHAR_MIN
%16 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([51 x i8], [51 x i8]* @.str.11, i64 0, i64 0), i32 %15)
%17 = load i32, i32* @SCHAR_MAX
%18 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([50 x i8], [50 x i8]* @.str.12, i64 0, i64 0), i32 %17)
%19 = load i32, i32* @SCHAR_MIN
%20 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([51 x i8], [51 x i8]* @.str.13, i64 0, i64 0), i32 %19)
%21 = load i64, i64* @UCHAR_MAX
%22 = trunc i64 %21 to i32
%23 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([53 x i8], [53 x i8]* @.str.14, i64 0, i64 0), i32 %22)
%24 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([27 x i8], [27 x i8]* @.str.15, i64 0, i64 0), i32 2)
%25 = load i32, i32* @SHRT_MAX
%26 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([43 x i8], [43 x i8]* @.str.16, i64 0, i64 0), i32 %25)
%27 = load i32, i32* @SHRT_MIN
%28 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([44 x i8], [44 x i8]* @.str.17, i64 0, i64 0), i32 %27)
%29 = load i64, i64* @USHRT_MAX
%30 = trunc i64 %29 to i32
%31 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([54 x i8], [54 x i8]* @.str.18, i64 0, i64 0), i32 %30)
%32 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([25 x i8], [25 x i8]* @.str.19, i64 0, i64 0), i32 4)
%33 = load i32, i32* @INT_MAX
%34 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([40 x i8], [40 x i8]* @.str.20, i64 0, i64 0), i32 %33)
%35 = load i32, i32* @INT_MIN
%36 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([41 x i8], [41 x i8]* @.str.21, i64 0, i64 0), i32 %35)
%37 = load i32, i32* @UINT_MAX
%38 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([51 x i8], [51 x i8]* @.str.22, i64 0, i64 0), i32 %37)
%39 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([26 x i8], [26 x i8]* @.str.23, i64 0, i64 0), i32 8)
%40 = load i32, i32* @LONG_MAX
%41 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([43 x i8], [43 x i8]* @.str.24, i64 0, i64 0), i32 %40)
%42 = load i32, i32* @LONG_MIN
%43 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([44 x i8], [44 x i8]* @.str.25, i64 0, i64 0), i32 %42)
%44 = load i32, i32* @ULONG_MAX
%45 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([54 x i8], [54 x i8]* @.str.26, i64 0, i64 0), i32 %44)
%46 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([52 x i8], [52 x i8]* @str.47, i64 0, i64 0))
%47 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([35 x i8], [35 x i8]* @str.48, i64 0, i64 0))
%48 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([34 x i8], [34 x i8]* @str.49, i64 0, i64 0))
%49 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([27 x i8], [27 x i8]* @.str.30, i64 0, i64 0), i32 4)
%50 = load i32, i32* @FLT_DIG
%51 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([52 x i8], [52 x i8]* @.str.31, i64 0, i64 0), i32 %50)
%52 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([28 x i8], [28 x i8]* @.str.32, i64 0, i64 0), i32 8)
%53 = load i32, i32* @DBL_DIG
%54 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([53 x i8], [53 x i8]* @.str.33, i64 0, i64 0), i32 %53)
%55 = load double, double* @FLT_MAX
%56 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([38 x i8], [38 x i8]* @.str.34, i64 0, i64 0), double %55)
%57 = load double, double* @FLT_MIN
%58 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([38 x i8], [38 x i8]* @.str.35, i64 0, i64 0), double %57)
%59 = load double, double* @DBL_MAX
%60 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([38 x i8], [38 x i8]* @.str.36, i64 0, i64 0), double %59)
%61 = load double, double* @DBL_MIN
%62 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([39 x i8], [39 x i8]* @.str.37, i64 0, i64 0), double %61)
%63 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([54 x i8], [54 x i8]* @str.50, i64 0, i64 0))
%64 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([51 x i8], [51 x i8]* @str.51, i64 0, i64 0))
%65 = load double, double* @FLT_EPSILON
%66 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([31 x i8], [31 x i8]* @.str.40, i64 0, i64 0), double %65)
%67 = load double, double* @FLT_EPSILON
%68 = fmul double %67, 5.000000e-01
%69 = fadd double %68, 1.000000e+00
%70 = fptrunc double %69 to float
%71 = fcmp oeq float %70, 1.000000e+00
br i1 %71, label %72, label %78
72: ; preds = %0
%73 = fadd double %67, 1.000000e+00
%74 = fptrunc double %73 to float
%75 = fcmp ogt float %74, 1.000000e+00
br i1 %75, label %76, label %78
76: ; preds = %72
%77 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([11 x i8], [11 x i8]* @.str.41, i64 0, i64 0))
br label %78
78: ; preds = %72, %76, %0
%79 = tail call i32 @putchar(i32 10)
%80 = load double, double* @DBL_EPSILON
%81 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([32 x i8], [32 x i8]* @.str.43, i64 0, i64 0), double %80)
%82 = load double, double* @DBL_EPSILON
%83 = fmul double %82, 5.000000e-01
%84 = fadd double %83, 1.000000e+00
%85 = fcmp oeq double %84, 1.000000e+00
%86 = fadd double %82, %84
%87 = fcmp ogt double %86, 1.000000e+00
%88 = select i1 %85, i1 %87, i1 false
br i1 %88, label %89, label %91
89: ; preds = %78
%90 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([11 x i8], [11 x i8]* @.str.41, i64 0, i64 0))
br label %91
91: ; preds = %89, %78
%92 = tail call i32 @putchar(i32 10)
%93 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([31 x i8], [31 x i8]* @str.52, i64 0, i64 0))
ret i32 0
}