#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*/ void_ptr;
typedef int /*<<< orphan*/ short_var;
typedef int /*<<< orphan*/ long_var;
typedef int /*<<< orphan*/ int_var;
typedef int /*<<< orphan*/ float_var;
typedef int /*<<< orphan*/ char_var;

/* Variables and functions */
scalar_t__ CHAR_MAX;
scalar_t__ CHAR_MIN;
int /*<<< orphan*/ CompareReals(double, float, int *, int *, int *);
int DBL_MAX;
int DBL_MIN;
int FLT_MAX;
int FLT_MIN;
scalar_t__ INT_MAX;
scalar_t__ INT_MIN;
int LONG_MAX;
int LONG_MIN;
scalar_t__ RAND_MAX;
scalar_t__ SHRT_MAX;
scalar_t__ SHRT_MIN;
scalar_t__ UINT_MAX;
int /*<<< orphan*/ WrMessage(char *);
scalar_t__ fabs(double);
int /*<<< orphan*/ printf(char *, ...);
scalar_t__ rand();
void WrDataTypes(void) {
  char char_var;
  short short_var;
  int int_var;
  long long_var;
  float float_var;
  double double_var;
  void *void_ptr;
  int i;
  int no_dbl_greater;
  int no_dbl_lower;
  int no_dbl_equal;
  int no_real_greater;
  int no_real_lower;
  int no_real_equal;
  WrMessage("@BASIC-DATA-TYPES");
  printf("Type              Sizeof    Minimum        Maximum\n");
  printf("Character (char): %5ld     %10ld     %10ld\n", (long)sizeof(char_var),
         (long)CHAR_MIN, (long)CHAR_MAX);
  printf("Short integer:    %5ld     %10ld     %10ld\n",
         (long)sizeof(short_var), (long)SHRT_MIN, (long)SHRT_MAX);
  printf("Integer (int):    %5ld     %10ld     %10ld\n", (long)sizeof(int_var),
         (long)INT_MIN, (long)INT_MAX);
  printf("Long integer:     %5ld     %10ld     %10ld\n", (long)sizeof(long_var),
         LONG_MIN, LONG_MAX);
  printf("\n");
  printf("Type              Sizeof    Minimum         Maximum\n");
  printf("Float:            %5ld     %12g    %12g\n", (long)sizeof(float_var),
         FLT_MIN, FLT_MAX);
  printf("Double:           %5ld     %12lg    %12lg\n", (long)sizeof(float_var),
         DBL_MIN, DBL_MAX);
  printf("\n");
  WrMessage("@BASIC-DATA-TYPES-MEMORY");
  printf("Type              Sizeof    Maximum\n");
  printf("size_t:           %5ld     %10lu\n", (long)sizeof(size_t),
         (unsigned long)UINT_MAX);
  printf("ptrdiff_t         %5ld     %10ld\n", (long)sizeof(size_t),
         (long)INT_MAX);
  printf("Void pointer:     %5ld\n", (long)sizeof(void_ptr));
  printf("\n");
  float_var = 1.0e20F;
  WrMessage("@BASIC-DATA-TYPES-FORMAT");
  printf("1.0e20F printed with '%%g':     %g\n", float_var);
  printf("1.0e20F printed with '%%f':     %f\n", float_var);
  printf("1.0e20F printed with '%%5f':    %5f\n", float_var);
  float_var = 1.0e20;
  printf("1.0e20 (!) printed with '%%f':  %f\n", float_var);
  float_var = 1.0F;
  printf("1.0F printed with '%%g':        %g\n", float_var);
  printf("1.0F printed with '%%f':        %f\n", float_var);
  printf("1.0F printed with '%%5f':       %5f\n", float_var);
  float_var = 1.0e-20F;
  printf("1.0e-20F printed with '%%g':     %g\n", float_var);
  printf("1.0e-20F printed with '%%f':     %f\n", float_var);
  printf("1.0e-20F printed with '%%5f':    %5f\n", float_var);
  printf("\n");
  WrMessage("@BASIC-DATA-TYPES-CONVERSION-SIMPLE");
  no_dbl_greater = 0;
  no_dbl_lower = 0;
  no_dbl_equal = 0;
  for (i = 0; i < 100; i++) {
    double_var = (double)rand() / (double)RAND_MAX - 0.5;
    float_var = (float)double_var;
    if (fabs(double_var) > fabs((double)float_var)) {
      no_dbl_greater++;
    }
    if (fabs(double_var) < fabs((double)float_var)) {
      no_dbl_lower++;
    }
    if (fabs(double_var) == fabs((double)float_var)) {
      no_dbl_equal++;
    }
  }
  printf("Result of 100 trials:\nDouble variable greater than float variable: "
         "%d\nDouble variable lower than float variable:   %d\nDouble variable "
         "equal to float variable:     %d\n\n",
         no_dbl_greater, no_dbl_lower, no_dbl_equal);
  WrMessage("@BASIC-DATA-TYPES-CONVERSION-COMPLEX");
  no_real_greater = 0;
  no_real_lower = 0;
  no_real_equal = 0;
  for (i = 0; i < 100; i++) {
    double_var = (double)rand() / (double)RAND_MAX - 0.5;
    float_var = (float)double_var;
    CompareReals(double_var, float_var, &no_real_greater, &no_real_lower,
                 &no_real_equal);
  }
  printf("Result of 100 trials:\nDouble variable greater than float variable: "
         "%d\nDouble variable lower than float variable:   %d\nDouble variable "
         "equal to float variable:     %d\n\n",
         no_real_greater, no_real_lower, no_real_equal);
  return;
}


x86 assembly (clang, -O0):
<WrDataTypes>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
lea    0xeb9(%rip),%rdi
call   1060 <WrMessage@plt>
lea    0xebf(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
mov    0x2e67(%rip),%rax
mov    (%rax),%rdx
mov    0x2e65(%rip),%rax
mov    (%rax),%rcx
lea    0xed1(%rip),%rdi
mov    $0x1,%esi
mov    $0x0,%al
call   1040 <printf@plt>
mov    0x2df0(%rip),%rax
mov    (%rax),%rdx
mov    0x2dde(%rip),%rax
mov    (%rax),%rcx
lea    0xed6(%rip),%rdi
mov    $0x2,%esi
mov    $0x0,%al
call   1040 <printf@plt>
mov    0x2de9(%rip),%rax
mov    (%rax),%rdx
mov    0x2dff(%rip),%rax
mov    (%rax),%rcx
lea    0xedb(%rip),%rdi
mov    $0x4,%esi
mov    $0x0,%al
call   1040 <printf@plt>
mov    0x2dd2(%rip),%rax
mov    (%rax),%edx
mov    0x2da1(%rip),%rax
mov    (%rax),%ecx
lea    0xee2(%rip),%rdi
mov    $0x8,%esi
mov    $0x0,%al
call   1040 <printf@plt>
lea    0x126f(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
lea    0xeed(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
mov    0x2da9(%rip),%rax
mov    (%rax),%edx
mov    0x2d70(%rip),%rax
mov    (%rax),%ecx
lea    0xf02(%rip),%rdi
mov    $0x4,%esi
mov    $0x0,%al
call   1040 <printf@plt>
mov    0x2d2c(%rip),%rax
mov    (%rax),%edx
mov    0x2d1b(%rip),%rax
mov    (%rax),%ecx
lea    0xf06(%rip),%rdi
mov    $0x4,%esi
mov    $0x0,%al
call   1040 <printf@plt>
lea    0x1209(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
lea    0xf10(%rip),%rdi
call   1060 <WrMessage@plt>
lea    0xf1d(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
mov    0x2d27(%rip),%rax
mov    (%rax),%rdx
lea    0xf2a(%rip),%rdi
mov    $0x8,%esi
mov    $0x0,%al
call   1040 <printf@plt>
mov    0x2d12(%rip),%rax
mov    (%rax),%rdx
lea    0xf2f(%rip),%rdi
mov    $0x8,%esi
mov    $0x0,%al
call   1040 <printf@plt>
lea    0xf3e(%rip),%rdi
mov    $0x8,%esi
mov    $0x0,%al
call   1040 <printf@plt>
lea    0x1194(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
movss  0xd0b(%rip),%xmm0
movss  %xmm0,-0x14(%rbp)
lea    0xf28(%rip),%rdi
call   1060 <WrMessage@plt>
movss  -0x14(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
lea    0xf2c(%rip),%rdi
mov    $0x1,%al
call   1040 <printf@plt>
movss  -0x14(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
lea    0xf39(%rip),%rdi
mov    $0x1,%al
call   1040 <printf@plt>
movss  -0x14(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
lea    0xf46(%rip),%rdi
mov    $0x1,%al
call   1040 <printf@plt>
movss  0xcad(%rip),%xmm0
movss  %xmm0,-0x14(%rbp)
movss  -0x14(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
lea    0xf47(%rip),%rdi
mov    $0x1,%al
call   1040 <printf@plt>
movss  0xc85(%rip),%xmm0
movss  %xmm0,-0x14(%rbp)
movss  -0x14(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
lea    0xf47(%rip),%rdi
mov    $0x1,%al
call   1040 <printf@plt>
movss  -0x14(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
lea    0xf54(%rip),%rdi
mov    $0x1,%al
call   1040 <printf@plt>
movss  -0x14(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
lea    0xf61(%rip),%rdi
mov    $0x1,%al
call   1040 <printf@plt>
movss  0xc2f(%rip),%xmm0
movss  %xmm0,-0x14(%rbp)
movss  -0x14(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
lea    0xf62(%rip),%rdi
mov    $0x1,%al
call   1040 <printf@plt>
movss  -0x14(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
lea    0xf70(%rip),%rdi
mov    $0x1,%al
call   1040 <printf@plt>
movss  -0x14(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
lea    0xf7e(%rip),%rdi
mov    $0x1,%al
call   1040 <printf@plt>
lea    0x1060(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
lea    0xf88(%rip),%rdi
call   1060 <WrMessage@plt>
movl   $0x0,-0x30(%rbp)
movl   $0x0,-0x34(%rbp)
movl   $0x0,-0x38(%rbp)
movl   $0x0,-0x2c(%rbp)
cmpl   $0x64,-0x2c(%rbp)
jge    1548 <WrDataTypes+0x3f8>
mov    $0x0,%al
call   1070 <rand@plt>
cvtsi2sd %rax,%xmm0
mov    0x2b4a(%rip),%rax
cvtsi2sdq (%rax),%xmm1
divsd  %xmm1,%xmm0
movsd  0xb91(%rip),%xmm1
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x20(%rbp)
movsd  -0x20(%rbp),%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x14(%rbp)
movsd  -0x20(%rbp),%xmm0
call   1050 <fabs@plt>
mov    %rax,-0x50(%rbp)
movss  -0x14(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
call   1050 <fabs@plt>
mov    %rax,%rcx
mov    -0x50(%rbp),%rax
cmp    %rcx,%rax
jle    14cb <WrDataTypes+0x37b>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
movsd  -0x20(%rbp),%xmm0
call   1050 <fabs@plt>
mov    %rax,-0x58(%rbp)
movss  -0x14(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
call   1050 <fabs@plt>
mov    %rax,%rcx
mov    -0x58(%rbp),%rax
cmp    %rcx,%rax
jge    1500 <WrDataTypes+0x3b0>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
movsd  -0x20(%rbp),%xmm0
call   1050 <fabs@plt>
mov    %rax,-0x60(%rbp)
movss  -0x14(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
call   1050 <fabs@plt>
mov    %rax,%rcx
mov    -0x60(%rbp),%rax
cmp    %rcx,%rax
jne    1535 <WrDataTypes+0x3e5>
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    153a <WrDataTypes+0x3ea>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1451 <WrDataTypes+0x301>
mov    -0x30(%rbp),%esi
mov    -0x34(%rbp),%edx
mov    -0x38(%rbp),%ecx
lea    0xe84(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
lea    0xf1e(%rip),%rdi
call   1060 <WrMessage@plt>
movl   $0x0,-0x3c(%rbp)
movl   $0x0,-0x40(%rbp)
movl   $0x0,-0x44(%rbp)
movl   $0x0,-0x2c(%rbp)
cmpl   $0x64,-0x2c(%rbp)
jge    15f5 <WrDataTypes+0x4a5>
mov    $0x0,%al
call   1070 <rand@plt>
cvtsi2sd %rax,%xmm0
mov    0x2a14(%rip),%rax
cvtsi2sdq (%rax),%xmm1
divsd  %xmm1,%xmm0
movsd  0xa5b(%rip),%xmm1
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x20(%rbp)
movsd  -0x20(%rbp),%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x14(%rbp)
movsd  -0x20(%rbp),%xmm0
movss  -0x14(%rbp),%xmm1
lea    -0x3c(%rbp),%rdi
lea    -0x40(%rbp),%rsi
lea    -0x44(%rbp),%rdx
call   1030 <CompareReals@plt>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1587 <WrDataTypes+0x437>
mov    -0x3c(%rbp),%esi
mov    -0x40(%rbp),%edx
mov    -0x44(%rbp),%ecx
lea    0xdd7(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<WrDataTypes>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
lea    0xe9b(%rip),%rdi
call   1080 <WrMessage@plt>
lea    0x1292(%rip),%rdi
call   1050 <puts@plt>
mov    0x2e43(%rip),%rax
mov    (%rax),%rdx
mov    0x2e41(%rip),%rax
mov    (%rax),%rcx
lea    0xe81(%rip),%rdi
mov    $0x1,%esi
xor    %eax,%eax
call   1060 <printf@plt>
mov    0x2dcc(%rip),%rax
mov    (%rax),%rdx
mov    0x2dba(%rip),%rax
mov    (%rax),%rcx
lea    0xe86(%rip),%rdi
mov    $0x2,%esi
xor    %eax,%eax
call   1060 <printf@plt>
mov    0x2dc5(%rip),%rax
mov    (%rax),%rdx
mov    0x2ddb(%rip),%rbx
mov    (%rbx),%rcx
lea    0xe8b(%rip),%rdi
mov    $0x4,%esi
xor    %eax,%eax
call   1060 <printf@plt>
mov    0x2dae(%rip),%rax
mov    (%rax),%edx
mov    0x2d7d(%rip),%rax
mov    (%rax),%ecx
lea    0xe92(%rip),%rdi
mov    $0x8,%esi
xor    %eax,%eax
call   1060 <printf@plt>
mov    $0xa,%edi
call   1040 <putchar@plt>
lea    0x1215(%rip),%rdi
call   1050 <puts@plt>
mov    0x2d8b(%rip),%rax
mov    (%rax),%edx
mov    0x2d52(%rip),%rax
mov    (%rax),%ecx
lea    0xe83(%rip),%rdi
mov    $0x4,%esi
xor    %eax,%eax
call   1060 <printf@plt>
mov    0x2d0e(%rip),%rax
mov    (%rax),%edx
mov    0x2cfd(%rip),%rax
mov    (%rax),%ecx
lea    0xe87(%rip),%rdi
mov    $0x4,%esi
xor    %eax,%eax
call   1060 <printf@plt>
mov    $0xa,%edi
call   1040 <putchar@plt>
lea    0xe95(%rip),%rdi
call   1080 <WrMessage@plt>
lea    0x11dd(%rip),%rdi
call   1050 <puts@plt>
mov    0x2d0f(%rip),%rax
mov    (%rax),%rdx
lea    0xe8c(%rip),%rdi
mov    $0x8,%esi
xor    %eax,%eax
call   1060 <printf@plt>
mov    (%rbx),%rdx
lea    0xe98(%rip),%rdi
mov    $0x8,%esi
xor    %eax,%eax
call   1060 <printf@plt>
lea    0xea7(%rip),%rdi
mov    $0x8,%esi
xor    %eax,%eax
call   1060 <printf@plt>
mov    $0xa,%edi
call   1040 <putchar@plt>
lea    0xea2(%rip),%rdi
call   1080 <WrMessage@plt>
lea    0xeaf(%rip),%rdi
movsd  0xce3(%rip),%xmm0
mov    $0x1,%al
call   1060 <printf@plt>
lea    0xebd(%rip),%rdi
movsd  0xccd(%rip),%xmm0
mov    $0x1,%al
call   1060 <printf@plt>
lea    0xecb(%rip),%rdi
movsd  0xcb7(%rip),%xmm0
mov    $0x1,%al
call   1060 <printf@plt>
lea    0xeda(%rip),%rdi
movsd  0xca1(%rip),%xmm0
mov    $0x1,%al
call   1060 <printf@plt>
lea    0xee8(%rip),%rdi
movsd  0xc93(%rip),%xmm0
mov    $0x1,%al
call   1060 <printf@plt>
lea    0xef6(%rip),%rdi
movsd  0xc7d(%rip),%xmm0
mov    $0x1,%al
call   1060 <printf@plt>
lea    0xf04(%rip),%rdi
movsd  0xc67(%rip),%xmm0
mov    $0x1,%al
call   1060 <printf@plt>
lea    0xf13(%rip),%rdi
movsd  0xc59(%rip),%xmm0
mov    $0x1,%al
call   1060 <printf@plt>
lea    0xf22(%rip),%rdi
movsd  0xc43(%rip),%xmm0
mov    $0x1,%al
call   1060 <printf@plt>
lea    0xf31(%rip),%rdi
movsd  0xc2d(%rip),%xmm0
mov    $0x1,%al
call   1060 <printf@plt>
mov    $0xa,%edi
call   1040 <putchar@plt>
lea    0xf37(%rip),%rdi
call   1080 <WrMessage@plt>
mov    $0x64,%r13d
mov    0x2bab(%rip),%r12
xor    %r14d,%r14d
xor    %r15d,%r15d
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
nop
xor    %eax,%eax
call   1090 <rand@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %rax,%xmm0
xorps  %xmm1,%xmm1
cvtsi2sdq (%r12),%xmm1
divsd  %xmm1,%xmm0
addsd  0xbd4(%rip),%xmm0
movsd  %xmm0,0x20(%rsp)
xorps  %xmm1,%xmm1
cvtsd2ss %xmm0,%xmm1
movss  %xmm1,0x18(%rsp)
call   1070 <fabs@plt>
mov    %rax,%rbp
movss  0x18(%rsp),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  %xmm0,0x18(%rsp)
call   1070 <fabs@plt>
xor    %ecx,%ecx
cmp    %rax,%rbp
setg   %cl
add    %ecx,%ebx
movsd  0x20(%rsp),%xmm0
call   1070 <fabs@plt>
mov    %rax,%rbp
movsd  0x18(%rsp),%xmm0
call   1070 <fabs@plt>
xor    %ecx,%ecx
cmp    %rax,%rbp
setl   %cl
add    %ecx,%r15d
movsd  0x20(%rsp),%xmm0
call   1070 <fabs@plt>
mov    %rax,%rbp
movsd  0x18(%rsp),%xmm0
call   1070 <fabs@plt>
xor    %ecx,%ecx
cmp    %rax,%rbp
sete   %cl
add    %ecx,%r14d
add    $0xffffffff,%r13d
jne    1420 <WrDataTypes+0x2b0>
lea    0xe7f(%rip),%rdi
mov    %ebx,%esi
mov    %r15d,%edx
mov    %r14d,%ecx
xor    %eax,%eax
call   1060 <printf@plt>
lea    0xf11(%rip),%rdi
call   1080 <WrMessage@plt>
movl   $0x0,0x14(%rsp)
movl   $0x0,0x10(%rsp)
movl   $0x0,0xc(%rsp)
mov    $0x64,%ebp
lea    0x14(%rsp),%r14
lea    0x10(%rsp),%r15
lea    0xc(%rsp),%rbx
xchg   %ax,%ax
xor    %eax,%eax
call   1090 <rand@plt>
xorps  %xmm0,%xmm0
cvtsi2sd %rax,%xmm0
xorps  %xmm1,%xmm1
cvtsi2sdq (%r12),%xmm1
divsd  %xmm1,%xmm0
addsd  0xad4(%rip),%xmm0
xorps  %xmm1,%xmm1
cvtsd2ss %xmm0,%xmm1
mov    %r14,%rdi
mov    %r15,%rsi
mov    %rbx,%rdx
call   1030 <CompareReals@plt>
add    $0xffffffff,%ebp
jne    1520 <WrDataTypes+0x3b0>
mov    0x14(%rsp),%esi
mov    0x10(%rsp),%edx
mov    0xc(%rsp),%ecx
lea    0xde5(%rip),%rdi
xor    %eax,%eax
call   1060 <printf@plt>
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [18 x i8] c"@BASIC-DATA-TYPES\00"
@.str.1 = [52 x i8] c"Type Sizeof Minimum Maximum\0A\00"
@.str.2 = [44 x i8] c"Character (char): %5ld %10ld %10ld\0A\00"
@CHAR_MIN = global i64 0
@CHAR_MAX = global i64 0
@.str.3 = [44 x i8] c"Short integer: %5ld %10ld %10ld\0A\00"
@SHRT_MIN = global i64 0
@SHRT_MAX = global i64 0
@.str.4 = [44 x i8] c"Integer (int): %5ld %10ld %10ld\0A\00"
@INT_MIN = global i64 0
@INT_MAX = global i64 0
@.str.5 = [44 x i8] c"Long integer: %5ld %10ld %10ld\0A\00"
@LONG_MIN = global i32 0
@LONG_MAX = global i32 0
@.str.6 = [2 x i8] c"\0A\00"
@.str.7 = [53 x i8] c"Type Sizeof Minimum Maximum\0A\00"
@.str.8 = [41 x i8] c"Float: %5ld %12g %12g\0A\00"
@FLT_MIN = global i32 0
@FLT_MAX = global i32 0
@.str.9 = [43 x i8] c"Double: %5ld %12lg %12lg\0A\00"
@DBL_MIN = global i32 0
@DBL_MAX = global i32 0
@.str.10 = [25 x i8] c"@BASIC-DATA-TYPES-MEMORY\00"
@.str.11 = [37 x i8] c"Type Sizeof Maximum\0A\00"
@.str.12 = [34 x i8] c"size_t: %5ld %10lu\0A\00"
@UINT_MAX = global i64 0
@.str.13 = [34 x i8] c"ptrdiff_t %5ld %10ld\0A\00"
@.str.14 = [24 x i8] c"Void pointer: %5ld\0A\00"
@.str.15 = [25 x i8] c"@BASIC-DATA-TYPES-FORMAT\00"
@.str.16 = [36 x i8] c"1.0e20F printed with '%%g': %g\0A\00"
@.str.17 = [36 x i8] c"1.0e20F printed with '%%f': %f\0A\00"
@.str.18 = [37 x i8] c"1.0e20F printed with '%%5f': %5f\0A\00"
@.str.19 = [36 x i8] c"1.0e20 (!) printed with '%%f': %f\0A\00"
@.str.20 = [36 x i8] c"1.0F printed with '%%g': %g\0A\00"
@.str.21 = [36 x i8] c"1.0F printed with '%%f': %f\0A\00"
@.str.22 = [37 x i8] c"1.0F printed with '%%5f': %5f\0A\00"
@.str.23 = [37 x i8] c"1.0e-20F printed with '%%g': %g\0A\00"
@.str.24 = [37 x i8] c"1.0e-20F printed with '%%f': %f\0A\00"
@.str.25 = [38 x i8] c"1.0e-20F printed with '%%5f': %5f\0A\00"
@.str.26 = [36 x i8] c"@BASIC-DATA-TYPES-CONVERSION-SIMPLE\00"
@RAND_MAX = global i64 0
@.str.27 = [168 x i8] c"Result of 100 trials:\0ADouble variable greater than float variable: %d\0ADouble variable lower than float variable: %d\0ADouble variable equal to float variable: %d\0A\0A\00"
@.str.28 = [37 x i8] c"@BASIC-DATA-TYPES-CONVERSION-COMPLEX\00"
define void @WrDataTypes() {
%1 = alloca i8
%2 = alloca i16
%3 = alloca i32
%4 = alloca i64
%5 = alloca float
%6 = alloca double
%7 = alloca i8*
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
%15 = call i32 @WrMessage(i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str, i64 0, i64 0))
%16 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([52 x i8], [52 x i8]* @.str.1, i64 0, i64 0))
%17 = load i64, i64* @CHAR_MIN
%18 = load i64, i64* @CHAR_MAX
%19 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([44 x i8], [44 x i8]* @.str.2, i64 0, i64 0), i64 1, i64 %17, i64 %18)
%20 = load i64, i64* @SHRT_MIN
%21 = load i64, i64* @SHRT_MAX
%22 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([44 x i8], [44 x i8]* @.str.3, i64 0, i64 0), i64 2, i64 %20, i64 %21)
%23 = load i64, i64* @INT_MIN
%24 = load i64, i64* @INT_MAX
%25 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([44 x i8], [44 x i8]* @.str.4, i64 0, i64 0), i64 4, i64 %23, i64 %24)
%26 = load i32, i32* @LONG_MIN
%27 = load i32, i32* @LONG_MAX
%28 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([44 x i8], [44 x i8]* @.str.5, i64 0, i64 0), i64 8, i32 %26, i32 %27)
%29 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.6, i64 0, i64 0))
%30 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([53 x i8], [53 x i8]* @.str.7, i64 0, i64 0))
%31 = load i32, i32* @FLT_MIN
%32 = load i32, i32* @FLT_MAX
%33 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([41 x i8], [41 x i8]* @.str.8, i64 0, i64 0), i64 4, i32 %31, i32 %32)
%34 = load i32, i32* @DBL_MIN
%35 = load i32, i32* @DBL_MAX
%36 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([43 x i8], [43 x i8]* @.str.9, i64 0, i64 0), i64 4, i32 %34, i32 %35)
%37 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.6, i64 0, i64 0))
%38 = call i32 @WrMessage(i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str.10, i64 0, i64 0))
%39 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([37 x i8], [37 x i8]* @.str.11, i64 0, i64 0))
%40 = load i64, i64* @UINT_MAX
%41 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([34 x i8], [34 x i8]* @.str.12, i64 0, i64 0), i64 8, i64 %40)
%42 = load i64, i64* @INT_MAX
%43 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([34 x i8], [34 x i8]* @.str.13, i64 0, i64 0), i64 8, i64 %42)
%44 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str.14, i64 0, i64 0), i64 8)
%45 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.6, i64 0, i64 0))
store float 0x4415AF1D80000000, float* %5
%46 = call i32 @WrMessage(i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str.15, i64 0, i64 0))
%47 = load float, float* %5
%48 = fpext float %47 to double
%49 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str.16, i64 0, i64 0), double %48)
%50 = load float, float* %5
%51 = fpext float %50 to double
%52 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str.17, i64 0, i64 0), double %51)
%53 = load float, float* %5
%54 = fpext float %53 to double
%55 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([37 x i8], [37 x i8]* @.str.18, i64 0, i64 0), double %54)
store float 0x4415AF1D80000000, float* %5
%56 = load float, float* %5
%57 = fpext float %56 to double
%58 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str.19, i64 0, i64 0), double %57)
store float 1.000000e+00, float* %5
%59 = load float, float* %5
%60 = fpext float %59 to double
%61 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str.20, i64 0, i64 0), double %60)
%62 = load float, float* %5
%63 = fpext float %62 to double
%64 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str.21, i64 0, i64 0), double %63)
%65 = load float, float* %5
%66 = fpext float %65 to double
%67 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([37 x i8], [37 x i8]* @.str.22, i64 0, i64 0), double %66)
store float 0x3BC79CA100000000, float* %5
%68 = load float, float* %5
%69 = fpext float %68 to double
%70 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([37 x i8], [37 x i8]* @.str.23, i64 0, i64 0), double %69)
%71 = load float, float* %5
%72 = fpext float %71 to double
%73 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([37 x i8], [37 x i8]* @.str.24, i64 0, i64 0), double %72)
%74 = load float, float* %5
%75 = fpext float %74 to double
%76 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([38 x i8], [38 x i8]* @.str.25, i64 0, i64 0), double %75)
%77 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.6, i64 0, i64 0))
%78 = call i32 @WrMessage(i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str.26, i64 0, i64 0))
store i32 0, i32* %9
store i32 0, i32* %10
store i32 0, i32* %11
store i32 0, i32* %8
br label %79
79: ; preds = %121, %0
%80 = load i32, i32* %8
%81 = icmp slt i32 %80, 100
br i1 %81, label %82, label %124
82: ; preds = %79
%83 = call i64 (...) @rand()
%84 = sitofp i64 %83 to double
%85 = load i64, i64* @RAND_MAX
%86 = sitofp i64 %85 to double
%87 = fdiv double %84, %86
%88 = fsub double %87, 5.000000e-01
store double %88, double* %6
%89 = load double, double* %6
%90 = fptrunc double %89 to float
store float %90, float* %5
%91 = load double, double* %6
%92 = call i64 @fabs(double %91)
%93 = load float, float* %5
%94 = fpext float %93 to double
%95 = call i64 @fabs(double %94)
%96 = icmp sgt i64 %92, %95
br i1 %96, label %97, label %100
97: ; preds = %82
%98 = load i32, i32* %9
%99 = add nsw i32 %98, 1
store i32 %99, i32* %9
br label %100
100: ; preds = %97, %82
%101 = load double, double* %6
%102 = call i64 @fabs(double %101)
%103 = load float, float* %5
%104 = fpext float %103 to double
%105 = call i64 @fabs(double %104)
%106 = icmp slt i64 %102, %105
br i1 %106, label %107, label %110
107: ; preds = %100
%108 = load i32, i32* %10
%109 = add nsw i32 %108, 1
store i32 %109, i32* %10
br label %110
110: ; preds = %107, %100
%111 = load double, double* %6
%112 = call i64 @fabs(double %111)
%113 = load float, float* %5
%114 = fpext float %113 to double
%115 = call i64 @fabs(double %114)
%116 = icmp eq i64 %112, %115
br i1 %116, label %117, label %120
117: ; preds = %110
%118 = load i32, i32* %11
%119 = add nsw i32 %118, 1
store i32 %119, i32* %11
br label %120
120: ; preds = %117, %110
br label %121
121: ; preds = %120
%122 = load i32, i32* %8
%123 = add nsw i32 %122, 1
store i32 %123, i32* %8
br label %79
124: ; preds = %79
%125 = load i32, i32* %9
%126 = load i32, i32* %10
%127 = load i32, i32* %11
%128 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([168 x i8], [168 x i8]* @.str.27, i64 0, i64 0), i32 %125, i32 %126, i32 %127)
%129 = call i32 @WrMessage(i8* getelementptr inbounds ([37 x i8], [37 x i8]* @.str.28, i64 0, i64 0))
store i32 0, i32* %12
store i32 0, i32* %13
store i32 0, i32* %14
store i32 0, i32* %8
br label %130
130: ; preds = %145, %124
%131 = load i32, i32* %8
%132 = icmp slt i32 %131, 100
br i1 %132, label %133, label %148
133: ; preds = %130
%134 = call i64 (...) @rand()
%135 = sitofp i64 %134 to double
%136 = load i64, i64* @RAND_MAX
%137 = sitofp i64 %136 to double
%138 = fdiv double %135, %137
%139 = fsub double %138, 5.000000e-01
store double %139, double* %6
%140 = load double, double* %6
%141 = fptrunc double %140 to float
store float %141, float* %5
%142 = load double, double* %6
%143 = load float, float* %5
%144 = call i32 @CompareReals(double %142, float %143, i32* %12, i32* %13, i32* %14)
br label %145
145: ; preds = %133
%146 = load i32, i32* %8
%147 = add nsw i32 %146, 1
store i32 %147, i32* %8
br label %130
148: ; preds = %130
%149 = load i32, i32* %12
%150 = load i32, i32* %13
%151 = load i32, i32* %14
%152 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([168 x i8], [168 x i8]* @.str.27, i64 0, i64 0), i32 %149, i32 %150, i32 %151)
ret void
}

LLVM IR (-O2):
@.str = [18 x i8] c"@BASIC-DATA-TYPES\00"
@.str.2 = [44 x i8] c"Character (char): %5ld %10ld %10ld\0A\00"
@CHAR_MIN = global i64 0
@CHAR_MAX = global i64 0
@.str.3 = [44 x i8] c"Short integer: %5ld %10ld %10ld\0A\00"
@SHRT_MIN = global i64 0
@SHRT_MAX = global i64 0
@.str.4 = [44 x i8] c"Integer (int): %5ld %10ld %10ld\0A\00"
@INT_MIN = global i64 0
@INT_MAX = global i64 0
@.str.5 = [44 x i8] c"Long integer: %5ld %10ld %10ld\0A\00"
@LONG_MIN = global i32 0
@LONG_MAX = global i32 0
@.str.8 = [41 x i8] c"Float: %5ld %12g %12g\0A\00"
@FLT_MIN = global i32 0
@FLT_MAX = global i32 0
@.str.9 = [43 x i8] c"Double: %5ld %12lg %12lg\0A\00"
@DBL_MIN = global i32 0
@DBL_MAX = global i32 0
@.str.10 = [25 x i8] c"@BASIC-DATA-TYPES-MEMORY\00"
@.str.12 = [34 x i8] c"size_t: %5ld %10lu\0A\00"
@UINT_MAX = global i64 0
@.str.13 = [34 x i8] c"ptrdiff_t %5ld %10ld\0A\00"
@.str.14 = [24 x i8] c"Void pointer: %5ld\0A\00"
@.str.15 = [25 x i8] c"@BASIC-DATA-TYPES-FORMAT\00"
@.str.16 = [36 x i8] c"1.0e20F printed with '%%g': %g\0A\00"
@.str.17 = [36 x i8] c"1.0e20F printed with '%%f': %f\0A\00"
@.str.18 = [37 x i8] c"1.0e20F printed with '%%5f': %5f\0A\00"
@.str.19 = [36 x i8] c"1.0e20 (!) printed with '%%f': %f\0A\00"
@.str.20 = [36 x i8] c"1.0F printed with '%%g': %g\0A\00"
@.str.21 = [36 x i8] c"1.0F printed with '%%f': %f\0A\00"
@.str.22 = [37 x i8] c"1.0F printed with '%%5f': %5f\0A\00"
@.str.23 = [37 x i8] c"1.0e-20F printed with '%%g': %g\0A\00"
@.str.24 = [37 x i8] c"1.0e-20F printed with '%%f': %f\0A\00"
@.str.25 = [38 x i8] c"1.0e-20F printed with '%%5f': %5f\0A\00"
@.str.26 = [36 x i8] c"@BASIC-DATA-TYPES-CONVERSION-SIMPLE\00"
@RAND_MAX = global i64 0
@.str.27 = [168 x i8] c"Result of 100 trials:\0ADouble variable greater than float variable: %d\0ADouble variable lower than float variable: %d\0ADouble variable equal to float variable: %d\0A\0A\00"
@.str.28 = [37 x i8] c"@BASIC-DATA-TYPES-CONVERSION-COMPLEX\00"
@str = [51 x i8] c"Type Sizeof Minimum Maximum\00"
@str.29 = [52 x i8] c"Type Sizeof Minimum Maximum\00"
@str.30 = [36 x i8] c"Type Sizeof Maximum\00"
define void @WrDataTypes() {
%1 = alloca i32
%2 = alloca i32
%3 = alloca i32
%4 = bitcast i32* %1 to i8*
%5 = bitcast i32* %2 to i8*
%6 = bitcast i32* %3 to i8*
%7 = tail call i32 @WrMessage(i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str, i64 0, i64 0))
%8 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([51 x i8], [51 x i8]* @str, i64 0, i64 0))
%9 = load i64, i64* @CHAR_MIN
%10 = load i64, i64* @CHAR_MAX
%11 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([44 x i8], [44 x i8]* @.str.2, i64 0, i64 0), i64 1, i64 %9, i64 %10)
%12 = load i64, i64* @SHRT_MIN
%13 = load i64, i64* @SHRT_MAX
%14 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([44 x i8], [44 x i8]* @.str.3, i64 0, i64 0), i64 2, i64 %12, i64 %13)
%15 = load i64, i64* @INT_MIN
%16 = load i64, i64* @INT_MAX
%17 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([44 x i8], [44 x i8]* @.str.4, i64 0, i64 0), i64 4, i64 %15, i64 %16)
%18 = load i32, i32* @LONG_MIN
%19 = load i32, i32* @LONG_MAX
%20 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([44 x i8], [44 x i8]* @.str.5, i64 0, i64 0), i64 8, i32 %18, i32 %19)
%21 = tail call i32 @putchar(i32 10)
%22 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([52 x i8], [52 x i8]* @str.29, i64 0, i64 0))
%23 = load i32, i32* @FLT_MIN
%24 = load i32, i32* @FLT_MAX
%25 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([41 x i8], [41 x i8]* @.str.8, i64 0, i64 0), i64 4, i32 %23, i32 %24)
%26 = load i32, i32* @DBL_MIN
%27 = load i32, i32* @DBL_MAX
%28 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([43 x i8], [43 x i8]* @.str.9, i64 0, i64 0), i64 4, i32 %26, i32 %27)
%29 = tail call i32 @putchar(i32 10)
%30 = tail call i32 @WrMessage(i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str.10, i64 0, i64 0))
%31 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([36 x i8], [36 x i8]* @str.30, i64 0, i64 0))
%32 = load i64, i64* @UINT_MAX
%33 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([34 x i8], [34 x i8]* @.str.12, i64 0, i64 0), i64 8, i64 %32)
%34 = load i64, i64* @INT_MAX
%35 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([34 x i8], [34 x i8]* @.str.13, i64 0, i64 0), i64 8, i64 %34)
%36 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([24 x i8], [24 x i8]* @.str.14, i64 0, i64 0), i64 8)
%37 = tail call i32 @putchar(i32 10)
%38 = tail call i32 @WrMessage(i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str.15, i64 0, i64 0))
%39 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([36 x i8], [36 x i8]* @.str.16, i64 0, i64 0), double 0x4415AF1D80000000)
%40 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([36 x i8], [36 x i8]* @.str.17, i64 0, i64 0), double 0x4415AF1D80000000)
%41 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([37 x i8], [37 x i8]* @.str.18, i64 0, i64 0), double 0x4415AF1D80000000)
%42 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([36 x i8], [36 x i8]* @.str.19, i64 0, i64 0), double 0x4415AF1D80000000)
%43 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([36 x i8], [36 x i8]* @.str.20, i64 0, i64 0), double 1.000000e+00)
%44 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([36 x i8], [36 x i8]* @.str.21, i64 0, i64 0), double 1.000000e+00)
%45 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([37 x i8], [37 x i8]* @.str.22, i64 0, i64 0), double 1.000000e+00)
%46 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([37 x i8], [37 x i8]* @.str.23, i64 0, i64 0), double 0x3BC79CA100000000)
%47 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([37 x i8], [37 x i8]* @.str.24, i64 0, i64 0), double 0x3BC79CA100000000)
%48 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([38 x i8], [38 x i8]* @.str.25, i64 0, i64 0), double 0x3BC79CA100000000)
%49 = tail call i32 @putchar(i32 10)
%50 = tail call i32 @WrMessage(i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str.26, i64 0, i64 0))
br label %51
51: ; preds = %0, %51
%52 = phi i32 [ 0, %0 ], [ %78, %51 ]
%53 = phi i32 [ 0, %0 ], [ %73, %51 ]
%54 = phi i32 [ 0, %0 ], [ %68, %51 ]
%55 = phi i32 [ 0, %0 ], [ %79, %51 ]
%56 = tail call i64 (...) @rand()
%57 = sitofp i64 %56 to double
%58 = load i64, i64* @RAND_MAX
%59 = sitofp i64 %58 to double
%60 = fdiv double %57, %59
%61 = fadd double %60, -5.000000e-01
%62 = fptrunc double %61 to float
%63 = tail call i64 @fabs(double %61)
%64 = fpext float %62 to double
%65 = tail call i64 @fabs(double %64)
%66 = icmp sgt i64 %63, %65
%67 = zext i1 %66 to i32
%68 = add nuw nsw i32 %54, %67
%69 = tail call i64 @fabs(double %61)
%70 = tail call i64 @fabs(double %64)
%71 = icmp slt i64 %69, %70
%72 = zext i1 %71 to i32
%73 = add nuw nsw i32 %53, %72
%74 = tail call i64 @fabs(double %61)
%75 = tail call i64 @fabs(double %64)
%76 = icmp eq i64 %74, %75
%77 = zext i1 %76 to i32
%78 = add nuw nsw i32 %52, %77
%79 = add nuw nsw i32 %55, 1
%80 = icmp eq i32 %79, 100
br i1 %80, label %81, label %51
81: ; preds = %51
%82 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([168 x i8], [168 x i8]* @.str.27, i64 0, i64 0), i32 %68, i32 %73, i32 %78)
%83 = tail call i32 @WrMessage(i8* getelementptr inbounds ([37 x i8], [37 x i8]* @.str.28, i64 0, i64 0))
store i32 0, i32* %1
store i32 0, i32* %2
store i32 0, i32* %3
br label %84
84: ; preds = %81, %84
%85 = phi i32 [ 0, %81 ], [ %94, %84 ]
%86 = call i64 (...) @rand()
%87 = sitofp i64 %86 to double
%88 = load i64, i64* @RAND_MAX
%89 = sitofp i64 %88 to double
%90 = fdiv double %87, %89
%91 = fadd double %90, -5.000000e-01
%92 = fptrunc double %91 to float
%93 = call i32 @CompareReals(double %91, float %92, i32* %1, i32* %2, i32* %3)
%94 = add nuw nsw i32 %85, 1
%95 = icmp eq i32 %94, 100
br i1 %95, label %96, label %84
96: ; preds = %84
%97 = load i32, i32* %1
%98 = load i32, i32* %2
%99 = load i32, i32* %3
%100 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([168 x i8], [168 x i8]* @.str.27, i64 0, i64 0), i32 %97, i32 %98, i32 %99)
ret void
}