#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 pow(int, int);
int /*<<< orphan*/ read(int, unsigned char *, int);
float gds_read_float(int fd) {
  unsigned char e, m[8];
  int i, b, bit, sign, bitmask, exponent;
  float value, mantissa, number;
  read(fd, &e, 1);
  if (e >> 7)
    sign = -1;
  else
    sign = 1;
  exponent = (e % 128) - 64;
  read(fd, m, 7);
  value = 2.0;
  mantissa = 0.0;
  for (b = 0; b <= 6; b++) {
    bitmask = 0x80;
    for (bit = 7; bit >= 0; bit--) {
      i = (m[b] & bitmask) >> bit;
      mantissa += i / value;
      value = value + value;
      bitmask = bitmask >> 1;
    }
  }
  number = sign * mantissa * pow(16, exponent);
  return (number);
}


x86 assembly (clang, -O0):
<gds_read_float>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %edi,-0x4(%rbp)
mov    -0x4(%rbp),%edi
lea    -0x5(%rbp),%rsi
mov    $0x1,%edx
call   1030 <read@plt>
movzbl -0x5(%rbp),%eax
sar    $0x7,%eax
cmp    $0x0,%eax
je     1158 <gds_read_float+0x38>
movl   $0xffffffff,-0x20(%rbp)
jmp    115f <gds_read_float+0x3f>
movl   $0x1,-0x20(%rbp)
movzbl -0x5(%rbp),%eax
mov    $0x80,%ecx
cltd
idiv   %ecx
sub    $0x40,%edx
mov    %edx,-0x28(%rbp)
mov    -0x4(%rbp),%edi
lea    -0xd(%rbp),%rsi
mov    $0x7,%edx
call   1030 <read@plt>
movss  0xe76(%rip),%xmm0
movss  %xmm0,-0x2c(%rbp)
xorps  %xmm0,%xmm0
movss  %xmm0,-0x30(%rbp)
movl   $0x0,-0x18(%rbp)
cmpl   $0x6,-0x18(%rbp)
jg     1221 <gds_read_float+0x101>
movl   $0x80,-0x24(%rbp)
movl   $0x7,-0x1c(%rbp)
cmpl   $0x0,-0x1c(%rbp)
jl     120e <gds_read_float+0xee>
movslq -0x18(%rbp),%rax
movzbl -0xd(%rbp,%rax,1),%eax
and    -0x24(%rbp),%eax
mov    -0x1c(%rbp),%ecx
sar    %cl,%eax
mov    %eax,-0x14(%rbp)
cvtsi2ssl -0x14(%rbp),%xmm0
divss  -0x2c(%rbp),%xmm0
addss  -0x30(%rbp),%xmm0
movss  %xmm0,-0x30(%rbp)
movss  -0x2c(%rbp),%xmm0
addss  -0x2c(%rbp),%xmm0
movss  %xmm0,-0x2c(%rbp)
mov    -0x24(%rbp),%eax
sar    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x1c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
jmp    11b6 <gds_read_float+0x96>
jmp    1213 <gds_read_float+0xf3>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    119e <gds_read_float+0x7e>
cvtsi2ssl -0x20(%rbp),%xmm0
mulss  -0x30(%rbp),%xmm0
movss  %xmm0,-0x38(%rbp)
mov    -0x28(%rbp),%esi
mov    $0x10,%edi
call   1040 <pow@plt>
movss  -0x38(%rbp),%xmm0
cvtsi2ss %eax,%xmm1
mulss  %xmm1,%xmm0
movss  %xmm0,-0x34(%rbp)
movss  -0x34(%rbp),%xmm0
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<gds_read_float>:
push   %rbp
push   %rbx
sub    $0x28,%rsp
mov    %edi,%ebx
lea    0x7(%rsp),%rsi
mov    $0x1,%edx
call   1030 <read@plt>
movzbl 0x7(%rsp),%ebp
lea    0x8(%rsp),%rsi
mov    %ebx,%edi
mov    $0x7,%edx
call   1030 <read@plt>
movss  0xeab(%rip),%xmm0
xorps  %xmm2,%xmm2
xor    %eax,%eax
nopw   0x0(%rax,%rax,1)
movzbl 0x8(%rsp,%rax,1),%ecx
mov    %ecx,%edx
shr    $0x7,%edx
xorps  %xmm1,%xmm1
cvtsi2ss %edx,%xmm1
divss  %xmm0,%xmm1
addss  %xmm2,%xmm1
addss  %xmm0,%xmm0
mov    %ecx,%edx
shr    $0x6,%edx
and    $0x1,%edx
xorps  %xmm2,%xmm2
cvtsi2ss %edx,%xmm2
divss  %xmm0,%xmm2
addss  %xmm1,%xmm2
addss  %xmm0,%xmm0
mov    %ecx,%edx
shr    $0x5,%edx
and    $0x1,%edx
xorps  %xmm1,%xmm1
cvtsi2ss %edx,%xmm1
divss  %xmm0,%xmm1
addss  %xmm2,%xmm1
addss  %xmm0,%xmm0
mov    %ecx,%edx
shr    $0x4,%edx
and    $0x1,%edx
xorps  %xmm2,%xmm2
cvtsi2ss %edx,%xmm2
divss  %xmm0,%xmm2
addss  %xmm1,%xmm2
addss  %xmm0,%xmm0
mov    %ecx,%edx
shr    $0x3,%edx
and    $0x1,%edx
xorps  %xmm1,%xmm1
cvtsi2ss %edx,%xmm1
divss  %xmm0,%xmm1
addss  %xmm2,%xmm1
addss  %xmm0,%xmm0
mov    %ecx,%edx
shr    $0x2,%edx
and    $0x1,%edx
xorps  %xmm2,%xmm2
cvtsi2ss %edx,%xmm2
divss  %xmm0,%xmm2
addss  %xmm1,%xmm2
addss  %xmm0,%xmm0
mov    %ecx,%edx
shr    %edx
and    $0x1,%edx
xorps  %xmm1,%xmm1
cvtsi2ss %edx,%xmm1
divss  %xmm0,%xmm1
addss  %xmm2,%xmm1
addss  %xmm0,%xmm0
and    $0x1,%ecx
xorps  %xmm2,%xmm2
cvtsi2ss %ecx,%xmm2
divss  %xmm0,%xmm2
addss  %xmm1,%xmm2
addss  %xmm0,%xmm0
add    $0x1,%rax
cmp    $0x7,%rax
jne    1160 <gds_read_float+0x40>
mov    %ebp,%esi
and    $0x7f,%esi
add    $0xffffffc0,%esi
test   %bpl,%bpl
jns    1256 <gds_read_float+0x136>
xorps  0xdba(%rip),%xmm2
movaps %xmm2,0x10(%rsp)
mov    $0x10,%edi
call   1040 <pow@plt>
xorps  %xmm0,%xmm0
cvtsi2ss %eax,%xmm0
mulss  0x10(%rsp),%xmm0
add    $0x28,%rsp
pop    %rbx
pop    %rbp
ret

LLVM IR (-O0):
define float @gds_read_float(i32 %0) {
%2 = alloca i32
%3 = alloca i8
%4 = alloca [8 x i8]
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca float
%12 = alloca float
%13 = alloca float
store i32 %0, i32* %2
%14 = load i32, i32* %2
%15 = call i32 @read(i32 %14, i8* %3, i32 1)
%16 = load i8, i8* %3
%17 = zext i8 %16 to i32
%18 = ashr i32 %17, 7
%19 = icmp ne i32 %18, 0
br i1 %19, label %20, label %21
20: ; preds = %1
store i32 -1, i32* %8
br label %22
21: ; preds = %1
store i32 1, i32* %8
br label %22
22: ; preds = %21, %20
%23 = load i8, i8* %3
%24 = zext i8 %23 to i32
%25 = srem i32 %24, 128
%26 = sub nsw i32 %25, 64
store i32 %26, i32* %10
%27 = load i32, i32* %2
%28 = getelementptr inbounds [8 x i8], [8 x i8]* %4, i64 0, i64 0
%29 = call i32 @read(i32 %27, i8* %28, i32 7)
store float 2.000000e+00, float* %11
store float 0.000000e+00, float* %12
store i32 0, i32* %6
br label %30
30: ; preds = %62, %22
%31 = load i32, i32* %6
%32 = icmp sle i32 %31, 6
br i1 %32, label %33, label %65
33: ; preds = %30
store i32 128, i32* %9
store i32 7, i32* %7
br label %34
34: ; preds = %58, %33
%35 = load i32, i32* %7
%36 = icmp sge i32 %35, 0
br i1 %36, label %37, label %61
37: ; preds = %34
%38 = load i32, i32* %6
%39 = sext i32 %38 to i64
%40 = getelementptr inbounds [8 x i8], [8 x i8]* %4, i64 0, i64 %39
%41 = load i8, i8* %40
%42 = zext i8 %41 to i32
%43 = load i32, i32* %9
%44 = and i32 %42, %43
%45 = load i32, i32* %7
%46 = ashr i32 %44, %45
store i32 %46, i32* %5
%47 = load i32, i32* %5
%48 = sitofp i32 %47 to float
%49 = load float, float* %11
%50 = fdiv float %48, %49
%51 = load float, float* %12
%52 = fadd float %51, %50
store float %52, float* %12
%53 = load float, float* %11
%54 = load float, float* %11
%55 = fadd float %53, %54
store float %55, float* %11
%56 = load i32, i32* %9
%57 = ashr i32 %56, 1
store i32 %57, i32* %9
br label %58
58: ; preds = %37
%59 = load i32, i32* %7
%60 = add nsw i32 %59, -1
store i32 %60, i32* %7
br label %34
61: ; preds = %34
br label %62
62: ; preds = %61
%63 = load i32, i32* %6
%64 = add nsw i32 %63, 1
store i32 %64, i32* %6
br label %30
65: ; preds = %30
%66 = load i32, i32* %8
%67 = sitofp i32 %66 to float
%68 = load float, float* %12
%69 = fmul float %67, %68
%70 = load i32, i32* %10
%71 = call i32 @pow(i32 16, i32 %70)
%72 = sitofp i32 %71 to float
%73 = fmul float %69, %72
store float %73, float* %13
%74 = load float, float* %13
ret float %74
}

LLVM IR (-O2):
define float @gds_read_float(i32 %0) {
%2 = alloca i8
%3 = alloca [8 x i8]
%4 = getelementptr inbounds [8 x i8], [8 x i8]* %3, i64 0, i64 0
%5 = call i32 @read(i32 %0, i8* %2, i32 1)
%6 = load i8, i8* %2
%7 = call i32 @read(i32 %0, i8* %4, i32 7)
br label %8
8: ; preds = %1, %8
%9 = phi i64 [ 0, %1 ], [ %61, %8 ]
%10 = phi float [ 0.000000e+00, %1 ], [ %59, %8 ]
%11 = phi float [ 2.000000e+00, %1 ], [ %60, %8 ]
%12 = getelementptr inbounds [8 x i8], [8 x i8]* %3, i64 0, i64 %9
%13 = load i8, i8* %12
%14 = zext i8 %13 to i32
%15 = lshr i32 %14, 7
%16 = sitofp i32 %15 to float
%17 = fdiv float %16, %11
%18 = fadd float %10, %17
%19 = fadd float %11, %11
%20 = lshr i32 %14, 6
%21 = and i32 %20, 1
%22 = sitofp i32 %21 to float
%23 = fdiv float %22, %19
%24 = fadd float %18, %23
%25 = fadd float %19, %19
%26 = lshr i32 %14, 5
%27 = and i32 %26, 1
%28 = sitofp i32 %27 to float
%29 = fdiv float %28, %25
%30 = fadd float %24, %29
%31 = fadd float %25, %25
%32 = lshr i32 %14, 4
%33 = and i32 %32, 1
%34 = sitofp i32 %33 to float
%35 = fdiv float %34, %31
%36 = fadd float %30, %35
%37 = fadd float %31, %31
%38 = lshr i32 %14, 3
%39 = and i32 %38, 1
%40 = sitofp i32 %39 to float
%41 = fdiv float %40, %37
%42 = fadd float %36, %41
%43 = fadd float %37, %37
%44 = lshr i32 %14, 2
%45 = and i32 %44, 1
%46 = sitofp i32 %45 to float
%47 = fdiv float %46, %43
%48 = fadd float %42, %47
%49 = fadd float %43, %43
%50 = lshr i32 %14, 1
%51 = and i32 %50, 1
%52 = sitofp i32 %51 to float
%53 = fdiv float %52, %49
%54 = fadd float %48, %53
%55 = fadd float %49, %49
%56 = and i32 %14, 1
%57 = sitofp i32 %56 to float
%58 = fdiv float %57, %55
%59 = fadd float %54, %58
%60 = fadd float %55, %55
%61 = add nuw nsw i64 %9, 1
%62 = icmp eq i64 %61, 7
br i1 %62, label %63, label %8
63: ; preds = %8
%64 = icmp sgt i8 %6, -1
%65 = and i8 %6, 127
%66 = zext i8 %65 to i32
%67 = add nsw i32 %66, -64
%68 = fneg float %59
%69 = select i1 %64, float %59, float %68
%70 = tail call i32 @pow(i32 16, i32 %67)
%71 = sitofp i32 %70 to float
%72 = fmul float %69, %71
ret float %72
}