#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 abs(int);
double double64_be_read(unsigned char *cptr) {
  int exponent, negative;
  double dvalue;
  negative = (cptr[0] & 0x80) ? 1 : 0;
  exponent = ((cptr[0] & 0x7F) << 4) | ((cptr[1] >> 4) & 0xF);
  dvalue =
      (((cptr[1] & 0xF) << 24) | (cptr[2] << 16) | (cptr[3] << 8) | cptr[4]);
  dvalue += ((cptr[5] << 16) | (cptr[6] << 8) | cptr[7]) / ((double)0x1000000);
  if (exponent == 0 && dvalue == 0.0)
    return 0.0;
  dvalue += 0x10000000;
  exponent = exponent - 0x3FF;
  dvalue = dvalue / ((double)0x10000000);
  if (negative)
    dvalue *= -1;
  if (exponent > 0)
    dvalue *= (1 << exponent);
  else if (exponent < 0)
    dvalue /= (1 << abs(exponent));
  return dvalue;
}


x86 assembly (clang, -O0):
<double64_be_read>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
movzbl (%rax),%edx
and    $0x80,%edx
xor    %eax,%eax
mov    $0x1,%ecx
cmp    $0x0,%edx
cmovne %ecx,%eax
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
and    $0x7f,%eax
shl    $0x4,%eax
mov    -0x10(%rbp),%rcx
movzbl 0x1(%rcx),%ecx
sar    $0x4,%ecx
and    $0xf,%ecx
or     %ecx,%eax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%rax
movzbl 0x1(%rax),%eax
and    $0xf,%eax
shl    $0x18,%eax
mov    -0x10(%rbp),%rcx
movzbl 0x2(%rcx),%ecx
shl    $0x10,%ecx
or     %ecx,%eax
mov    -0x10(%rbp),%rcx
movzbl 0x3(%rcx),%ecx
shl    $0x8,%ecx
or     %ecx,%eax
mov    -0x10(%rbp),%rcx
movzbl 0x4(%rcx),%ecx
or     %ecx,%eax
cvtsi2sd %eax,%xmm0
movsd  %xmm0,-0x20(%rbp)
mov    -0x10(%rbp),%rax
movzbl 0x5(%rax),%eax
shl    $0x10,%eax
mov    -0x10(%rbp),%rcx
movzbl 0x6(%rcx),%ecx
shl    $0x8,%ecx
or     %ecx,%eax
mov    -0x10(%rbp),%rcx
movzbl 0x7(%rcx),%ecx
or     %ecx,%eax
cvtsi2sd %eax,%xmm0
movsd  0xe3e(%rip),%xmm1
divsd  %xmm1,%xmm0
addsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x20(%rbp)
cmpl   $0x0,-0x14(%rbp)
jne    11ff <double64_be_read+0xef>
movsd  -0x20(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    11ff <double64_be_read+0xef>
jp     11ff <double64_be_read+0xef>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    12b1 <double64_be_read+0x1a1>
movsd  0xe01(%rip),%xmm0
addsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x20(%rbp)
mov    -0x14(%rbp),%eax
sub    $0x3ff,%eax
mov    %eax,-0x14(%rbp)
movsd  -0x20(%rbp),%xmm0
movsd  0xddf(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x20(%rbp)
cmpl   $0x0,-0x18(%rbp)
je     124e <double64_be_read+0x13e>
movsd  0xdcc(%rip),%xmm0
mulsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x20(%rbp)
cmpl   $0x0,-0x14(%rbp)
jle    1275 <double64_be_read+0x165>
mov    -0x14(%rbp),%ecx
mov    $0x1,%eax
shl    %cl,%eax
cvtsi2sd %eax,%xmm0
mulsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x20(%rbp)
jmp    12a7 <double64_be_read+0x197>
cmpl   $0x0,-0x14(%rbp)
jge    12a2 <double64_be_read+0x192>
mov    -0x14(%rbp),%edi
call   1030 <abs@plt>
mov    %eax,%ecx
mov    $0x1,%eax
shl    %cl,%eax
cvtsi2sd %eax,%xmm1
movsd  -0x20(%rbp),%xmm0
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x20(%rbp)
jmp    12a7 <double64_be_read+0x197>
movsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
movsd  -0x8(%rbp),%xmm0
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<double64_be_read>:
movzbl (%rdi),%r8d
mov    %r8d,%r9d
and    $0x7f,%r9d
shl    $0x4,%r9d
movzbl 0x1(%rdi),%esi
mov    %esi,%ecx
shr    $0x4,%ecx
and    $0xf,%esi
shl    $0x18,%esi
movzbl 0x2(%rdi),%eax
shl    $0x10,%eax
or     %esi,%eax
movzbl 0x3(%rdi),%esi
shl    $0x8,%esi
or     %eax,%esi
movzbl 0x4(%rdi),%eax
or     %esi,%eax
movzbl 0x5(%rdi),%esi
shl    $0x10,%esi
movzbl 0x6(%rdi),%edx
shl    $0x8,%edx
or     %esi,%edx
movzbl 0x7(%rdi),%esi
or     %edx,%esi
cvtsi2sd %eax,%xmm0
cvtsi2sd %esi,%xmm1
or     %r9d,%ecx
mulsd  0xea1(%rip),%xmm1
addsd  %xmm0,%xmm1
jne    1176 <double64_be_read+0x76>
xorpd  %xmm0,%xmm0
xorpd  %xmm2,%xmm2
ucomisd %xmm2,%xmm1
jne    1176 <double64_be_read+0x76>
jp     1176 <double64_be_read+0x76>
ret
addsd  0xe8a(%rip),%xmm1
movapd %xmm1,%xmm0
mulsd  0xe86(%rip),%xmm0
test   $0x80,%r8d
je     119b <double64_be_read+0x9b>
xorpd  0xe85(%rip),%xmm0
cmp    $0x400,%ecx
jb     11b9 <double64_be_read+0xb9>
add    $0x1,%cl
mov    $0x1,%eax
shl    %cl,%eax
xorps  %xmm1,%xmm1
cvtsi2sd %eax,%xmm1
mulsd  %xmm1,%xmm0
ret
cmp    $0x3ff,%ecx
je     1175 <double64_be_read+0x75>
not    %cl
mov    $0x1,%eax
shl    %cl,%eax
xorps  %xmm1,%xmm1
cvtsi2sd %eax,%xmm1
divsd  %xmm1,%xmm0
ret

LLVM IR (-O0):
define double @double64_be_read(i8* %0) {
%2 = alloca double
%3 = alloca i8*
%4 = alloca i32
%5 = alloca i32
%6 = alloca double
store i8* %0, i8** %3
%7 = load i8*, i8** %3
%8 = getelementptr inbounds i8, i8* %7, i64 0
%9 = load i8, i8* %8
%10 = zext i8 %9 to i32
%11 = and i32 %10, 128
%12 = icmp ne i32 %11, 0
%13 = zext i1 %12 to i64
%14 = select i1 %12, i32 1, i32 0
store i32 %14, i32* %5
%15 = load i8*, i8** %3
%16 = getelementptr inbounds i8, i8* %15, i64 0
%17 = load i8, i8* %16
%18 = zext i8 %17 to i32
%19 = and i32 %18, 127
%20 = shl i32 %19, 4
%21 = load i8*, i8** %3
%22 = getelementptr inbounds i8, i8* %21, i64 1
%23 = load i8, i8* %22
%24 = zext i8 %23 to i32
%25 = ashr i32 %24, 4
%26 = and i32 %25, 15
%27 = or i32 %20, %26
store i32 %27, i32* %4
%28 = load i8*, i8** %3
%29 = getelementptr inbounds i8, i8* %28, i64 1
%30 = load i8, i8* %29
%31 = zext i8 %30 to i32
%32 = and i32 %31, 15
%33 = shl i32 %32, 24
%34 = load i8*, i8** %3
%35 = getelementptr inbounds i8, i8* %34, i64 2
%36 = load i8, i8* %35
%37 = zext i8 %36 to i32
%38 = shl i32 %37, 16
%39 = or i32 %33, %38
%40 = load i8*, i8** %3
%41 = getelementptr inbounds i8, i8* %40, i64 3
%42 = load i8, i8* %41
%43 = zext i8 %42 to i32
%44 = shl i32 %43, 8
%45 = or i32 %39, %44
%46 = load i8*, i8** %3
%47 = getelementptr inbounds i8, i8* %46, i64 4
%48 = load i8, i8* %47
%49 = zext i8 %48 to i32
%50 = or i32 %45, %49
%51 = sitofp i32 %50 to double
store double %51, double* %6
%52 = load i8*, i8** %3
%53 = getelementptr inbounds i8, i8* %52, i64 5
%54 = load i8, i8* %53
%55 = zext i8 %54 to i32
%56 = shl i32 %55, 16
%57 = load i8*, i8** %3
%58 = getelementptr inbounds i8, i8* %57, i64 6
%59 = load i8, i8* %58
%60 = zext i8 %59 to i32
%61 = shl i32 %60, 8
%62 = or i32 %56, %61
%63 = load i8*, i8** %3
%64 = getelementptr inbounds i8, i8* %63, i64 7
%65 = load i8, i8* %64
%66 = zext i8 %65 to i32
%67 = or i32 %62, %66
%68 = sitofp i32 %67 to double
%69 = fdiv double %68, 0x4170000000000000
%70 = load double, double* %6
%71 = fadd double %70, %69
store double %71, double* %6
%72 = load i32, i32* %4
%73 = icmp eq i32 %72, 0
br i1 %73, label %74, label %78
74: ; preds = %1
%75 = load double, double* %6
%76 = fcmp oeq double %75, 0.000000e+00
br i1 %76, label %77, label %78
77: ; preds = %74
store double 0.000000e+00, double* %2
br label %112
78: ; preds = %74, %1
%79 = load double, double* %6
%80 = fadd double %79, 0x41B0000000000000
store double %80, double* %6
%81 = load i32, i32* %4
%82 = sub nsw i32 %81, 1023
store i32 %82, i32* %4
%83 = load double, double* %6
%84 = fdiv double %83, 0x41B0000000000000
store double %84, double* %6
%85 = load i32, i32* %5
%86 = icmp ne i32 %85, 0
br i1 %86, label %87, label %90
87: ; preds = %78
%88 = load double, double* %6
%89 = fmul double %88, -1.000000e+00
store double %89, double* %6
br label %90
90: ; preds = %87, %78
%91 = load i32, i32* %4
%92 = icmp sgt i32 %91, 0
br i1 %92, label %93, label %99
93: ; preds = %90
%94 = load i32, i32* %4
%95 = shl i32 1, %94
%96 = sitofp i32 %95 to double
%97 = load double, double* %6
%98 = fmul double %97, %96
store double %98, double* %6
br label %110
99: ; preds = %90
%100 = load i32, i32* %4
%101 = icmp slt i32 %100, 0
br i1 %101, label %102, label %109
102: ; preds = %99
%103 = load i32, i32* %4
%104 = call i32 @abs(i32 %103)
%105 = shl i32 1, %104
%106 = sitofp i32 %105 to double
%107 = load double, double* %6
%108 = fdiv double %107, %106
store double %108, double* %6
br label %109
109: ; preds = %102, %99
br label %110
110: ; preds = %109, %93
%111 = load double, double* %6
store double %111, double* %2
br label %112
112: ; preds = %110, %77
%113 = load double, double* %2
ret double %113
}

LLVM IR (-O2):
define double @double64_be_read(i8* nocapture %0) {
%2 = load i8, i8* %0
%3 = zext i8 %2 to i32
%4 = shl nuw nsw i32 %3, 4
%5 = and i32 %4, 2032
%6 = getelementptr inbounds i8, i8* %0, i64 1
%7 = load i8, i8* %6
%8 = zext i8 %7 to i32
%9 = lshr i32 %8, 4
%10 = or i32 %5, %9
%11 = shl nuw i32 %8, 24
%12 = and i32 %11, 251658240
%13 = getelementptr inbounds i8, i8* %0, i64 2
%14 = load i8, i8* %13
%15 = zext i8 %14 to i32
%16 = shl nuw nsw i32 %15, 16
%17 = or i32 %12, %16
%18 = getelementptr inbounds i8, i8* %0, i64 3
%19 = load i8, i8* %18
%20 = zext i8 %19 to i32
%21 = shl nuw nsw i32 %20, 8
%22 = or i32 %17, %21
%23 = getelementptr inbounds i8, i8* %0, i64 4
%24 = load i8, i8* %23
%25 = zext i8 %24 to i32
%26 = or i32 %22, %25
%27 = sitofp i32 %26 to double
%28 = getelementptr inbounds i8, i8* %0, i64 5
%29 = load i8, i8* %28
%30 = zext i8 %29 to i32
%31 = shl nuw nsw i32 %30, 16
%32 = getelementptr inbounds i8, i8* %0, i64 6
%33 = load i8, i8* %32
%34 = zext i8 %33 to i32
%35 = shl nuw nsw i32 %34, 8
%36 = or i32 %35, %31
%37 = getelementptr inbounds i8, i8* %0, i64 7
%38 = load i8, i8* %37
%39 = zext i8 %38 to i32
%40 = or i32 %36, %39
%41 = sitofp i32 %40 to double
%42 = fmul double %41, 0x3E70000000000000
%43 = fadd double %42, %27
%44 = icmp eq i32 %10, 0
%45 = fcmp oeq double %43, 0.000000e+00
%46 = select i1 %44, i1 %45, i1 false
br i1 %46, label %67, label %47
47: ; preds = %1
%48 = and i32 %3, 128
%49 = icmp eq i32 %48, 0
%50 = fadd double %43, 0x41B0000000000000
%51 = fmul double %50, 0x3E30000000000000
%52 = fneg double %51
%53 = select i1 %49, double %51, double %52
%54 = icmp ugt i32 %10, 1023
br i1 %54, label %55, label %60
55: ; preds = %47
%56 = add nsw i32 %10, -1023
%57 = shl nuw i32 1, %56
%58 = sitofp i32 %57 to double
%59 = fmul double %53, %58
br label %67
60: ; preds = %47
%61 = icmp eq i32 %10, 1023
br i1 %61, label %67, label %62
62: ; preds = %60
%63 = sub nuw nsw i32 1023, %10
%64 = shl nuw i32 1, %63
%65 = sitofp i32 %64 to double
%66 = fdiv double %53, %65
br label %67
67: ; preds = %55, %62, %60, %1
%68 = phi double [ 0.000000e+00, %1 ], [ %59, %55 ], [ %66, %62 ], [ %53, %60 ]
ret double %68
}