#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 */
float DBL_MAX;
int /*<<< orphan*/ assert(int);
float ldexp(long, int);
int /*<<< orphan*/ printf(char *, int, int, long);
float decode_ieee_single(const void *v) {
  const unsigned char *data = v;
  int s, e;
  unsigned long src;
  long f;
  float value;
  src = ((unsigned long)data[0] << 24) | ((unsigned long)data[1] << 16) |
        ((unsigned long)data[2] << 8) | ((unsigned long)data[3]);
  s = (src & 0x80000000UL) >> 31;
  e = (src & 0x7F800000UL) >> 23;
  f = (src & 0x007FFFFFUL);
  if (e == 255 && f != 0) {
    value = DBL_MAX;
  } else if (e == 255 && f == 0 && s == 1) {
    value = -DBL_MAX;
  } else if (e == 255 && f == 0 && s == 0) {
    value = DBL_MAX;
  } else if (e > 0 && e < 255) {
    f += 0x00800000UL;
    if (s)
      f = -f;
    value = ldexp(f, e - 150);
  } else if (e == 0 && f != 0) {
    if (s)
      f = -f;
    value = ldexp(f, -149);
  } else if (e == 0 && f == 0 && s == 1) {
    value = 0;
  } else if (e == 0 && f == 0 && s == 0) {
    value = 0;
  } else {
    printf("s = %d, e = %d, f = %lu\n", s, e, f);
    assert(!"Woops, unhandled case in decode_ieee_single()");
  }
  return value;
}


x86 assembly (clang, -O0):
<decode_ieee_single>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
shl    $0x18,%rax
mov    -0x10(%rbp),%rcx
movzbl 0x1(%rcx),%ecx
shl    $0x10,%rcx
or     %rcx,%rax
mov    -0x10(%rbp),%rcx
movzbl 0x2(%rcx),%ecx
shl    $0x8,%rcx
or     %rcx,%rax
mov    -0x10(%rbp),%rcx
movzbl 0x3(%rcx),%ecx
or     %rcx,%rax
mov    %rax,-0x20(%rbp)
movabs $0x80000000,%rax
and    -0x20(%rbp),%rax
shr    $0x1f,%rax
mov    %eax,-0x14(%rbp)
mov    -0x20(%rbp),%rax
and    $0x7f800000,%rax
shr    $0x17,%rax
mov    %eax,-0x18(%rbp)
mov    -0x20(%rbp),%rax
and    $0x7fffff,%rax
mov    %rax,-0x28(%rbp)
cmpl   $0xff,-0x18(%rbp)
jne    11dd <decode_ieee_single+0xad>
cmpq   $0x0,-0x28(%rbp)
je     11dd <decode_ieee_single+0xad>
mov    0x2e11(%rip),%rax
movss  (%rax),%xmm0
movss  %xmm0,-0x2c(%rbp)
jmp    1381 <decode_ieee_single+0x251>
cmpl   $0xff,-0x18(%rbp)
jne    1221 <decode_ieee_single+0xf1>
cmpq   $0x0,-0x28(%rbp)
jne    1221 <decode_ieee_single+0xf1>
cmpl   $0x1,-0x14(%rbp)
jne    1221 <decode_ieee_single+0xf1>
mov    0x2dda(%rip),%rax
movss  (%rax),%xmm0
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
movss  %xmm0,-0x2c(%rbp)
jmp    137c <decode_ieee_single+0x24c>
cmpl   $0xff,-0x18(%rbp)
jne    1258 <decode_ieee_single+0x128>
cmpq   $0x0,-0x28(%rbp)
jne    1258 <decode_ieee_single+0x128>
cmpl   $0x0,-0x14(%rbp)
jne    1258 <decode_ieee_single+0x128>
mov    0x2d96(%rip),%rax
movss  (%rax),%xmm0
movss  %xmm0,-0x2c(%rbp)
jmp    1377 <decode_ieee_single+0x247>
cmpl   $0x0,-0x18(%rbp)
jle    12ad <decode_ieee_single+0x17d>
cmpl   $0xff,-0x18(%rbp)
jge    12ad <decode_ieee_single+0x17d>
mov    -0x28(%rbp),%rax
add    $0x800000,%rax
mov    %rax,-0x28(%rbp)
cmpl   $0x0,-0x14(%rbp)
je     1291 <decode_ieee_single+0x161>
xor    %eax,%eax
sub    -0x28(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rdi
mov    -0x18(%rbp),%esi
sub    $0x96,%esi
call   1030 <ldexp@plt>
movss  %xmm0,-0x2c(%rbp)
jmp    1372 <decode_ieee_single+0x242>
cmpl   $0x0,-0x18(%rbp)
jne    12ee <decode_ieee_single+0x1be>
cmpq   $0x0,-0x28(%rbp)
je     12ee <decode_ieee_single+0x1be>
cmpl   $0x0,-0x14(%rbp)
je     12d6 <decode_ieee_single+0x1a6>
xor    %eax,%eax
sub    -0x28(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rdi
mov    $0xffffff6b,%esi
call   1030 <ldexp@plt>
movss  %xmm0,-0x2c(%rbp)
jmp    136d <decode_ieee_single+0x23d>
cmpl   $0x0,-0x18(%rbp)
jne    131a <decode_ieee_single+0x1ea>
cmpq   $0x0,-0x28(%rbp)
jne    131a <decode_ieee_single+0x1ea>
cmpl   $0x1,-0x14(%rbp)
jne    131a <decode_ieee_single+0x1ea>
xorps  %xmm0,%xmm0
movss  %xmm0,-0x2c(%rbp)
jmp    1368 <decode_ieee_single+0x238>
cmpl   $0x0,-0x18(%rbp)
jne    1346 <decode_ieee_single+0x216>
cmpq   $0x0,-0x28(%rbp)
jne    1346 <decode_ieee_single+0x216>
cmpl   $0x0,-0x14(%rbp)
jne    1346 <decode_ieee_single+0x216>
xorps  %xmm0,%xmm0
movss  %xmm0,-0x2c(%rbp)
jmp    1363 <decode_ieee_single+0x233>
mov    -0x14(%rbp),%esi
mov    -0x18(%rbp),%edx
mov    -0x28(%rbp),%rcx
lea    0xca9(%rip),%rdi
call   1040 <printf@plt>
xor    %edi,%edi
call   1050 <assert@plt>
jmp    1368 <decode_ieee_single+0x238>
jmp    136d <decode_ieee_single+0x23d>
jmp    1372 <decode_ieee_single+0x242>
jmp    1377 <decode_ieee_single+0x247>
jmp    137c <decode_ieee_single+0x24c>
jmp    1381 <decode_ieee_single+0x251>
movss  -0x2c(%rbp),%xmm0
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<decode_ieee_single>:
push   %rax
movzbl (%rdi),%esi
mov    %esi,%eax
shl    $0x18,%eax
movzbl 0x1(%rdi),%ecx
shl    $0x10,%rcx
or     %ecx,%eax
movzbl 0x2(%rdi),%edx
shl    $0x8,%rdx
movzbl 0x3(%rdi),%edi
shr    $0x17,%eax
movzbl %al,%r8d
and    $0x7f0000,%ecx
or     %rdx,%rcx
or     %rdi,%rcx
cmp    $0xff,%r8d
jne    117d <decode_ieee_single+0x4d>
test   %rcx,%rcx
je     117d <decode_ieee_single+0x4d>
mov    0x2e69(%rip),%rax
movss  (%rax),%xmm0
pop    %rax
ret
movzbl %sil,%esi
shr    $0x7,%rsi
cmp    $0xff,%r8d
sete   %dil
test   %rcx,%rcx
sete   %r9b
and    %dil,%r9b
cmp    $0x1,%r9b
jne    11b8 <decode_ieee_single+0x88>
test   %esi,%esi
je     11b8 <decode_ieee_single+0x88>
mov    0x2e35(%rip),%rax
movss  (%rax),%xmm0
xorps  0xe4a(%rip),%xmm0
pop    %rax
ret
test   %esi,%esi
sete   %dl
and    %dl,%r9b
cmp    $0x1,%r9b
je     1170 <decode_ieee_single+0x40>
add    $0x1,%al
cmp    $0x2,%al
jae    11ed <decode_ieee_single+0xbd>
test   %r8d,%r8d
jne    1210 <decode_ieee_single+0xe0>
test   %rcx,%rcx
je     1210 <decode_ieee_single+0xe0>
mov    %rcx,%rdi
neg    %rdi
test   %esi,%esi
cmove  %rcx,%rdi
mov    $0xffffff6b,%esi
pop    %rax
jmp    1030 <ldexp@plt>
or     $0x800000,%rcx
mov    %rcx,%rdi
neg    %rdi
test   %esi,%esi
cmove  %rcx,%rdi
add    $0xffffff6a,%r8d
mov    %r8d,%esi
pop    %rax
jmp    1030 <ldexp@plt>
test   %r8d,%r8d
sete   %dl
test   %rcx,%rcx
sete   %al
and    %dl,%al
xorps  %xmm0,%xmm0
cmp    $0x1,%al
jne    1229 <decode_ieee_single+0xf9>
test   %esi,%esi
jne    1248 <decode_ieee_single+0x118>
test   %esi,%esi
sete   %dl
test   %dl,%al
jne    1248 <decode_ieee_single+0x118>
lea    0xdd7(%rip),%rdi
mov    %r8d,%edx
call   1040 <printf@plt>
xor    %edi,%edi
call   1050 <assert@plt>
pop    %rax
ret

LLVM IR (-O0):
@DBL_MAX = global float 0.000000e+00
@.str = [25 x i8] c"s = %d, e = %d, f = %lu\0A\00"
@.str.1 = [46 x i8] c"Woops, unhandled case in decode_ieee_single()\00"
define float @decode_ieee_single(i8* %0) {
%2 = alloca i8*
%3 = alloca i8*
%4 = alloca i32
%5 = alloca i32
%6 = alloca i64
%7 = alloca i64
%8 = alloca float
store i8* %0, i8** %2
%9 = load i8*, i8** %2
store i8* %9, i8** %3
%10 = load i8*, i8** %3
%11 = getelementptr inbounds i8, i8* %10, i64 0
%12 = load i8, i8* %11
%13 = zext i8 %12 to i64
%14 = shl i64 %13, 24
%15 = load i8*, i8** %3
%16 = getelementptr inbounds i8, i8* %15, i64 1
%17 = load i8, i8* %16
%18 = zext i8 %17 to i64
%19 = shl i64 %18, 16
%20 = or i64 %14, %19
%21 = load i8*, i8** %3
%22 = getelementptr inbounds i8, i8* %21, i64 2
%23 = load i8, i8* %22
%24 = zext i8 %23 to i64
%25 = shl i64 %24, 8
%26 = or i64 %20, %25
%27 = load i8*, i8** %3
%28 = getelementptr inbounds i8, i8* %27, i64 3
%29 = load i8, i8* %28
%30 = zext i8 %29 to i64
%31 = or i64 %26, %30
store i64 %31, i64* %6
%32 = load i64, i64* %6
%33 = and i64 %32, 2147483648
%34 = lshr i64 %33, 31
%35 = trunc i64 %34 to i32
store i32 %35, i32* %4
%36 = load i64, i64* %6
%37 = and i64 %36, 2139095040
%38 = lshr i64 %37, 23
%39 = trunc i64 %38 to i32
store i32 %39, i32* %5
%40 = load i64, i64* %6
%41 = and i64 %40, 8388607
store i64 %41, i64* %7
%42 = load i32, i32* %5
%43 = icmp eq i32 %42, 255
br i1 %43, label %44, label %49
44: ; preds = %1
%45 = load i64, i64* %7
%46 = icmp ne i64 %45, 0
br i1 %46, label %47, label %49
47: ; preds = %44
%48 = load float, float* @DBL_MAX
store float %48, float* %8
br label %138
49: ; preds = %44, %1
%50 = load i32, i32* %5
%51 = icmp eq i32 %50, 255
br i1 %51, label %52, label %61
52: ; preds = %49
%53 = load i64, i64* %7
%54 = icmp eq i64 %53, 0
br i1 %54, label %55, label %61
55: ; preds = %52
%56 = load i32, i32* %4
%57 = icmp eq i32 %56, 1
br i1 %57, label %58, label %61
58: ; preds = %55
%59 = load float, float* @DBL_MAX
%60 = fneg float %59
store float %60, float* %8
br label %137
61: ; preds = %55, %52, %49
%62 = load i32, i32* %5
%63 = icmp eq i32 %62, 255
br i1 %63, label %64, label %72
64: ; preds = %61
%65 = load i64, i64* %7
%66 = icmp eq i64 %65, 0
br i1 %66, label %67, label %72
67: ; preds = %64
%68 = load i32, i32* %4
%69 = icmp eq i32 %68, 0
br i1 %69, label %70, label %72
70: ; preds = %67
%71 = load float, float* @DBL_MAX
store float %71, float* %8
br label %136
72: ; preds = %67, %64, %61
%73 = load i32, i32* %5
%74 = icmp sgt i32 %73, 0
br i1 %74, label %75, label %91
75: ; preds = %72
%76 = load i32, i32* %5
%77 = icmp slt i32 %76, 255
br i1 %77, label %78, label %91
78: ; preds = %75
%79 = load i64, i64* %7
%80 = add i64 %79, 8388608
store i64 %80, i64* %7
%81 = load i32, i32* %4
%82 = icmp ne i32 %81, 0
br i1 %82, label %83, label %86
83: ; preds = %78
%84 = load i64, i64* %7
%85 = sub nsw i64 0, %84
store i64 %85, i64* %7
br label %86
86: ; preds = %83, %78
%87 = load i64, i64* %7
%88 = load i32, i32* %5
%89 = sub nsw i32 %88, 150
%90 = call float @ldexp(i64 %87, i32 %89)
store float %90, float* %8
br label %135
91: ; preds = %75, %72
%92 = load i32, i32* %5
%93 = icmp eq i32 %92, 0
br i1 %93, label %94, label %106
94: ; preds = %91
%95 = load i64, i64* %7
%96 = icmp ne i64 %95, 0
br i1 %96, label %97, label %106
97: ; preds = %94
%98 = load i32, i32* %4
%99 = icmp ne i32 %98, 0
br i1 %99, label %100, label %103
100: ; preds = %97
%101 = load i64, i64* %7
%102 = sub nsw i64 0, %101
store i64 %102, i64* %7
br label %103
103: ; preds = %100, %97
%104 = load i64, i64* %7
%105 = call float @ldexp(i64 %104, i32 -149)
store float %105, float* %8
br label %134
106: ; preds = %94, %91
%107 = load i32, i32* %5
%108 = icmp eq i32 %107, 0
br i1 %108, label %109, label %116
109: ; preds = %106
%110 = load i64, i64* %7
%111 = icmp eq i64 %110, 0
br i1 %111, label %112, label %116
112: ; preds = %109
%113 = load i32, i32* %4
%114 = icmp eq i32 %113, 1
br i1 %114, label %115, label %116
115: ; preds = %112
store float 0.000000e+00, float* %8
br label %133
116: ; preds = %112, %109, %106
%117 = load i32, i32* %5
%118 = icmp eq i32 %117, 0
br i1 %118, label %119, label %126
119: ; preds = %116
%120 = load i64, i64* %7
%121 = icmp eq i64 %120, 0
br i1 %121, label %122, label %126
122: ; preds = %119
%123 = load i32, i32* %4
%124 = icmp eq i32 %123, 0
br i1 %124, label %125, label %126
125: ; preds = %122
store float 0.000000e+00, float* %8
br label %132
126: ; preds = %122, %119, %116
%127 = load i32, i32* %4
%128 = load i32, i32* %5
%129 = load i64, i64* %7
%130 = call i32 @printf(i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str, i64 0, i64 0), i32 %127, i32 %128, i64 %129)
%131 = call i32 @assert(i32 0)
br label %132
132: ; preds = %126, %125
br label %133
133: ; preds = %132, %115
br label %134
134: ; preds = %133, %103
br label %135
135: ; preds = %134, %86
br label %136
136: ; preds = %135, %70
br label %137
137: ; preds = %136, %58
br label %138
138: ; preds = %137, %47
%139 = load float, float* %8
ret float %139
}

LLVM IR (-O2):
@DBL_MAX = global float 0.000000e+00
@.str = [25 x i8] c"s = %d, e = %d, f = %lu\0A\00"
define float @decode_ieee_single(i8* nocapture %0) {
%2 = load i8, i8* %0
%3 = zext i8 %2 to i64
%4 = shl nuw nsw i64 %3, 24
%5 = getelementptr inbounds i8, i8* %0, i64 1
%6 = load i8, i8* %5
%7 = zext i8 %6 to i64
%8 = shl nuw nsw i64 %7, 16
%9 = or i64 %8, %4
%10 = getelementptr inbounds i8, i8* %0, i64 2
%11 = load i8, i8* %10
%12 = zext i8 %11 to i64
%13 = shl nuw nsw i64 %12, 8
%14 = getelementptr inbounds i8, i8* %0, i64 3
%15 = load i8, i8* %14
%16 = zext i8 %15 to i64
%17 = lshr i64 %3, 7
%18 = trunc i64 %17 to i32
%19 = trunc i64 %9 to i32
%20 = lshr i32 %19, 23
%21 = and i32 %20, 255
%22 = and i64 %8, 8323072
%23 = or i64 %22, %13
%24 = or i64 %23, %16
%25 = icmp eq i32 %21, 255
%26 = icmp ne i64 %24, 0
%27 = select i1 %25, i1 %26, i1 false
br i1 %27, label %28, label %30
28: ; preds = %1
%29 = load float, float* @DBL_MAX
br label %66
30: ; preds = %1
%31 = icmp eq i64 %24, 0
%32 = select i1 %25, i1 %31, i1 false
%33 = icmp eq i32 %18, 1
%34 = select i1 %32, i1 %33, i1 false
br i1 %34, label %35, label %38
35: ; preds = %30
%36 = load float, float* @DBL_MAX
%37 = fneg float %36
br label %66
38: ; preds = %30
%39 = icmp eq i32 %18, 0
%40 = select i1 %32, i1 %39, i1 false
br i1 %40, label %41, label %43
41: ; preds = %38
%42 = load float, float* @DBL_MAX
br label %66
43: ; preds = %38
%44 = trunc i32 %20 to i8
switch i8 %44, label %45 [
i8 -1, label %51
i8 0, label %51
]
45: ; preds = %43
%46 = or i64 %24, 8388608
%47 = sub nsw i64 0, %46
%48 = select i1 %39, i64 %46, i64 %47
%49 = add nsw i32 %21, -150
%50 = tail call float @ldexp(i64 %48, i32 %49)
br label %66
51: ; preds = %43, %43
%52 = icmp eq i32 %21, 0
%53 = select i1 %52, i1 %26, i1 false
br i1 %53, label %54, label %58
54: ; preds = %51
%55 = sub nsw i64 0, %24
%56 = select i1 %39, i64 %24, i64 %55
%57 = tail call float @ldexp(i64 %56, i32 -149)
br label %66
58: ; preds = %51
%59 = select i1 %52, i1 %31, i1 false
%60 = select i1 %59, i1 %33, i1 false
br i1 %60, label %66, label %61
61: ; preds = %58
%62 = select i1 %59, i1 %39, i1 false
br i1 %62, label %66, label %63
63: ; preds = %61
%64 = tail call i32 @printf(i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str, i64 0, i64 0), i32 %18, i32 %21, i64 %24)
%65 = tail call i32 @assert(i32 0)
br label %66
66: ; preds = %61, %58, %35, %45, %63, %54, %41, %28
%67 = phi float [ %29, %28 ], [ %37, %35 ], [ %42, %41 ], [ %50, %45 ], [ %57, %54 ], [ undef, %63 ], [ 0.000000e+00, %58 ], [ 0.000000e+00, %61 ]
ret float %67
}