float from_vax_float(unsigned char *inp) {
  unsigned char exp;
  unsigned char c0, c1, c2, c3;
  float o;
  unsigned char *outp;
  outp = (unsigned char *)&o;
  c0 = inp[0];
  c1 = inp[1];
  c2 = inp[2];
  c3 = inp[3];
  exp = (c1 << 1) | (c0 >> 7);
  if (!exp && !c1)
    return (0.0);
  else if (exp > 2) {
    outp[0] = c1 - 1;
    outp[1] = c0;
    outp[2] = c3;
    outp[3] = c2;
  } else if (exp) {
    unsigned int shft;
    outp[0] = c1 & 0x80;
    shft = 3 - exp;
    outp[1] = ((c0 & 0x7f) >> shft) | (0x10 << exp);
    outp[2] = (c0 << (8 - shft)) | (c3 >> shft);
    outp[3] = (c3 << (8 - shft)) | (c2 >> shft);
  } else {
    outp[0] = 0xff;
    outp[1] = c0 | 0x80;
    outp[2] = c3;
    outp[3] = c2;
  }
  return (o);
}


x86 assembly (clang, -O0):
<from_vax_float>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
lea    -0x1c(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%al
mov    %al,-0x12(%rbp)
mov    -0x10(%rbp),%rax
mov    0x1(%rax),%al
mov    %al,-0x13(%rbp)
mov    -0x10(%rbp),%rax
mov    0x2(%rax),%al
mov    %al,-0x14(%rbp)
mov    -0x10(%rbp),%rax
mov    0x3(%rax),%al
mov    %al,-0x15(%rbp)
movzbl -0x13(%rbp),%eax
shl    $0x1,%eax
movzbl -0x12(%rbp),%ecx
sar    $0x7,%ecx
or     %ecx,%eax
mov    %al,-0x11(%rbp)
cmpb   $0x0,-0x11(%rbp)
jne    116b <from_vax_float+0x6b>
cmpb   $0x0,-0x13(%rbp)
jne    116b <from_vax_float+0x6b>
xorps  %xmm0,%xmm0
movss  %xmm0,-0x4(%rbp)
jmp    1285 <from_vax_float+0x185>
movzbl -0x11(%rbp),%eax
cmp    $0x2,%eax
jle    11aa <from_vax_float+0xaa>
movzbl -0x13(%rbp),%eax
sub    $0x1,%eax
mov    %al,%cl
mov    -0x28(%rbp),%rax
mov    %cl,(%rax)
mov    -0x12(%rbp),%cl
mov    -0x28(%rbp),%rax
mov    %cl,0x1(%rax)
mov    -0x15(%rbp),%cl
mov    -0x28(%rbp),%rax
mov    %cl,0x2(%rax)
mov    -0x14(%rbp),%cl
mov    -0x28(%rbp),%rax
mov    %cl,0x3(%rax)
jmp    1276 <from_vax_float+0x176>
cmpb   $0x0,-0x11(%rbp)
je     1244 <from_vax_float+0x144>
movzbl -0x13(%rbp),%eax
and    $0x80,%eax
mov    %al,%cl
mov    -0x28(%rbp),%rax
mov    %cl,(%rax)
movzbl -0x11(%rbp),%ecx
mov    $0x3,%eax
sub    %ecx,%eax
mov    %eax,-0x2c(%rbp)
movzbl -0x12(%rbp),%eax
and    $0x7f,%eax
mov    -0x2c(%rbp),%ecx
sar    %cl,%eax
movzbl -0x11(%rbp),%ecx
mov    $0x10,%edx
shl    %cl,%edx
mov    %edx,%ecx
or     %ecx,%eax
mov    %al,%cl
mov    -0x28(%rbp),%rax
mov    %cl,0x1(%rax)
movzbl -0x12(%rbp),%eax
mov    $0x8,%ecx
sub    -0x2c(%rbp),%ecx
shl    %cl,%eax
movzbl -0x15(%rbp),%edx
mov    -0x2c(%rbp),%ecx
sar    %cl,%edx
mov    %edx,%ecx
or     %ecx,%eax
mov    %al,%cl
mov    -0x28(%rbp),%rax
mov    %cl,0x2(%rax)
movzbl -0x15(%rbp),%eax
mov    $0x8,%ecx
sub    -0x2c(%rbp),%ecx
shl    %cl,%eax
movzbl -0x14(%rbp),%edx
mov    -0x2c(%rbp),%ecx
sar    %cl,%edx
mov    %edx,%ecx
or     %ecx,%eax
mov    %al,%cl
mov    -0x28(%rbp),%rax
mov    %cl,0x3(%rax)
jmp    1271 <from_vax_float+0x171>
mov    -0x28(%rbp),%rax
movb   $0xff,(%rax)
movzbl -0x12(%rbp),%eax
or     $0x80,%eax
mov    %al,%cl
mov    -0x28(%rbp),%rax
mov    %cl,0x1(%rax)
mov    -0x15(%rbp),%cl
mov    -0x28(%rbp),%rax
mov    %cl,0x2(%rax)
mov    -0x14(%rbp),%cl
mov    -0x28(%rbp),%rax
mov    %cl,0x3(%rax)
jmp    1276 <from_vax_float+0x176>
jmp    127b <from_vax_float+0x17b>
movss  -0x1c(%rbp),%xmm0
movss  %xmm0,-0x4(%rbp)
movss  -0x4(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<from_vax_float>:
movzbl (%rdi),%edx
movzbl 0x1(%rdi),%esi
mov    %edx,%ecx
shr    $0x7,%cl
lea    (%rsi,%rsi,1),%eax
or     %cl,%al
pxor   %xmm0,%xmm0
mov    %eax,%ecx
or     %sil,%cl
je     11cb <from_vax_float+0xcb>
movzbl 0x2(%rdi),%r9d
movzbl 0x3(%rdi),%r11d
cmp    $0x3,%al
jb     114b <from_vax_float+0x4b>
add    $0xff,%sil
movzbl %sil,%eax
shl    $0x8,%edx
or     %eax,%edx
shl    $0x10,%r11d
or     %edx,%r11d
shl    $0x18,%r9d
or     %r11d,%r9d
jmp    11c6 <from_vax_float+0xc6>
test   %al,%al
je     11a8 <from_vax_float+0xa8>
mov    %edx,%r10d
and    $0x7f,%r10d
mov    $0x3,%r8b
sub    %al,%r8b
mov    %r8d,%ecx
shr    %cl,%r10d
mov    $0x10,%edi
mov    %eax,%ecx
shl    %cl,%edi
or     %r10d,%edi
shl    $0x8,%edi
movzwl %di,%edi
or     %esi,%edi
add    $0x5,%al
mov    %eax,%ecx
shl    %cl,%edx
mov    %r11d,%esi
mov    %r8d,%ecx
shr    %cl,%esi
or     %edx,%esi
shl    $0x10,%esi
mov    %eax,%ecx
shl    %cl,%r11d
or     %edi,%esi
mov    %r8d,%ecx
shr    %cl,%r9d
or     %r11d,%r9d
shl    $0x18,%r9d
and    $0xffff80,%esi
or     %esi,%r9d
jmp    11c6 <from_vax_float+0xc6>
or     $0x80,%dl
movzbl %dl,%eax
shl    $0x8,%eax
shl    $0x10,%r11d
or     %eax,%r11d
shl    $0x18,%r9d
add    %r11d,%r9d
add    $0xff,%r9d
movd   %r9d,%xmm0
ret

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

LLVM IR (-O2):
define float @from_vax_float(i8* nocapture %0) {
%2 = load i8, i8* %0
%3 = getelementptr inbounds i8, i8* %0, i64 1
%4 = load i8, i8* %3
%5 = getelementptr inbounds i8, i8* %0, i64 2
%6 = load i8, i8* %5
%7 = getelementptr inbounds i8, i8* %0, i64 3
%8 = load i8, i8* %7
%9 = zext i8 %2 to i32
%10 = tail call i8 @llvm.fshl.i8(i8 %4, i8 %2, i8 1)
%11 = icmp ne i8 %10, 0
%12 = icmp ne i8 %4, 0
%13 = select i1 %11, i1 true, i1 %12
br i1 %13, label %14, label %67
14: ; preds = %1
%15 = zext i8 %10 to i32
%16 = icmp ugt i8 %10, 2
br i1 %16, label %17, label %28
17: ; preds = %14
%18 = add i8 %4, -1
%19 = zext i8 %18 to i32
%20 = shl nuw nsw i32 %9, 8
%21 = or i32 %20, %19
%22 = zext i8 %8 to i32
%23 = shl nuw nsw i32 %22, 16
%24 = or i32 %23, %21
%25 = zext i8 %6 to i32
%26 = shl nuw i32 %25, 24
%27 = or i32 %24, %26
br label %64
28: ; preds = %14
br i1 %11, label %29, label %53
29: ; preds = %28
%30 = sub nsw i32 3, %15
%31 = and i32 %9, 127
%32 = lshr i32 %31, %30
%33 = shl i32 16, %15
%34 = or i32 %32, %33
%35 = shl i32 %34, 8
%36 = and i32 %35, 65280
%37 = zext i8 %4 to i32
%38 = or i32 %36, %37
%39 = add nuw nsw i32 %15, 5
%40 = shl i32 %9, %39
%41 = zext i8 %8 to i32
%42 = lshr i32 %41, %30
%43 = or i32 %40, %42
%44 = shl i32 %43, 16
%45 = or i32 %38, %44
%46 = shl i32 %41, %39
%47 = zext i8 %6 to i32
%48 = lshr i32 %47, %30
%49 = or i32 %46, %48
%50 = shl i32 %49, 24
%51 = and i32 %45, 16777088
%52 = or i32 %51, %50
br label %64
53: ; preds = %28
%54 = or i8 %2, -128
%55 = zext i8 %54 to i32
%56 = shl nuw nsw i32 %55, 8
%57 = zext i8 %8 to i32
%58 = shl nuw nsw i32 %57, 16
%59 = or i32 %58, %56
%60 = zext i8 %6 to i32
%61 = shl nuw i32 %60, 24
%62 = or i32 %59, %61
%63 = or i32 %62, 255
br label %64
64: ; preds = %17, %53, %29
%65 = phi i32 [ %27, %17 ], [ %52, %29 ], [ %63, %53 ]
%66 = bitcast i32 %65 to float
br label %67
67: ; preds = %1, %64
%68 = phi float [ %66, %64 ], [ 0.000000e+00, %1 ]
ret float %68
}