#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 uint32_t;
typedef int uint16_t;
typedef int int32_t;
typedef int cl_half;
typedef int /*<<< orphan*/ cl_float;

/* Variables and functions */
int CL_FLT_MANT_DIG;
int CL_FLT_MAX_EXP;
int CL_HALF_MANT_DIG;
int CL_HALF_MAX_EXP;
cl_float cl_half_to_float(cl_half h) {
  union {
    cl_float f;
    uint32_t i;
  } f32;
  uint16_t sign = h >> 15;
  uint16_t h_exp = (h >> (CL_HALF_MANT_DIG - 1)) & 0x1F;
  uint16_t h_mant = h & 0x3FF;
  int32_t exp = h_exp - CL_HALF_MAX_EXP + 1;
  uint32_t f_exp = exp + CL_FLT_MAX_EXP - 1;
  if (h_exp == 0x1F) {
    if (h_mant) {
      uint32_t f_mant = h_mant << (CL_FLT_MANT_DIG - CL_HALF_MANT_DIG);
      f_mant |= 0x400000;
      f32.i = (sign << 31) | 0x7F800000 | f_mant;
      return f32.f;
    } else {
      f32.i = (sign << 31) | 0x7F800000;
      return f32.f;
    }
  }
  if (h_exp == 0) {
    if (h_mant == 0) {
      f_exp = 0;
    } else {
      uint32_t shift = 0;
      while ((h_mant & 0x400) == 0) {
        h_mant <<= 1;
        shift++;
      }
      h_mant &= 0x3FF;
      f_exp -= shift - 1;
    }
  }
  f32.i = (sign << 31) | (f_exp << 23) | (h_mant << 13);
  return f32.f;
}


x86 assembly (clang, -O0):
<cl_half_to_float>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x8(%rbp)
mov    -0x8(%rbp),%eax
sar    $0xf,%eax
mov    %eax,-0x14(%rbp)
mov    -0x8(%rbp),%eax
mov    0x2ece(%rip),%rcx
mov    (%rcx),%ecx
sub    $0x1,%ecx
sar    %cl,%eax
and    $0x1f,%eax
mov    %eax,-0x18(%rbp)
mov    -0x8(%rbp),%eax
and    $0x3ff,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x18(%rbp),%eax
mov    0x2e94(%rip),%rcx
sub    (%rcx),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%eax
mov    0x2e7a(%rip),%rcx
add    (%rcx),%eax
sub    $0x1,%eax
mov    %eax,-0x24(%rbp)
cmpl   $0x1f,-0x18(%rbp)
jne    11c4 <cl_half_to_float+0xc4>
cmpl   $0x0,-0x1c(%rbp)
je     11ab <cl_half_to_float+0xab>
mov    -0x1c(%rbp),%eax
mov    0x2e6c(%rip),%rcx
mov    (%rcx),%ecx
mov    0x2e6b(%rip),%rdx
sub    (%rdx),%ecx
shl    %cl,%eax
mov    %eax,-0x28(%rbp)
mov    -0x28(%rbp),%eax
or     $0x400000,%eax
mov    %eax,-0x28(%rbp)
mov    -0x14(%rbp),%eax
shl    $0x1f,%eax
or     $0x7f800000,%eax
or     -0x28(%rbp),%eax
mov    %eax,-0x10(%rbp)
mov    -0x10(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1250 <cl_half_to_float+0x150>
mov    -0x14(%rbp),%eax
shl    $0x1f,%eax
or     $0x7f800000,%eax
mov    %eax,-0x10(%rbp)
mov    -0x10(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1250 <cl_half_to_float+0x150>
cmpl   $0x0,-0x18(%rbp)
jne    1231 <cl_half_to_float+0x131>
cmpl   $0x0,-0x1c(%rbp)
jne    11e4 <cl_half_to_float+0xe4>
movl   $0x0,-0x24(%rbp)
jmp    122c <cl_half_to_float+0x12c>
movl   $0x0,-0x2c(%rbp)
mov    -0x1c(%rbp),%eax
and    $0x400,%eax
cmp    $0x0,%eax
jne    1213 <cl_half_to_float+0x113>
mov    -0x1c(%rbp),%eax
shl    $0x1,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    11eb <cl_half_to_float+0xeb>
mov    -0x1c(%rbp),%eax
and    $0x3ff,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x2c(%rbp),%ecx
sub    $0x1,%ecx
mov    -0x24(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x24(%rbp)
jmp    1231 <cl_half_to_float+0x131>
mov    -0x14(%rbp),%eax
shl    $0x1f,%eax
mov    -0x24(%rbp),%ecx
shl    $0x17,%ecx
or     %ecx,%eax
mov    -0x1c(%rbp),%ecx
shl    $0xd,%ecx
or     %ecx,%eax
mov    %eax,-0x10(%rbp)
mov    -0x10(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<cl_half_to_float>:
mov    %edi,%eax
mov    %edi,%edx
mov    0x2edd(%rip),%rcx
mov    (%rcx),%edi
lea    -0x1(%rdi),%ecx
mov    %eax,%esi
sar    %cl,%esi
sar    $0xf,%edx
and    $0x1f,%esi
and    $0x3ff,%eax
mov    0x2eaa(%rip),%rcx
mov    (%rcx),%r8d
mov    0x2e98(%rip),%rcx
mov    (%rcx),%ecx
test   %esi,%esi
je     115a <cl_half_to_float+0x5a>
cmp    $0x1f,%esi
jne    1187 <cl_half_to_float+0x87>
test   %eax,%eax
je     118e <cl_half_to_float+0x8e>
mov    0x2e9a(%rip),%rcx
mov    (%rcx),%ecx
sub    %edi,%ecx
shl    %cl,%eax
shl    $0x1f,%edx
or     %eax,%edx
or     $0x7fc00000,%edx
mov    %edx,%eax
ret
test   %eax,%eax
je     119a <cl_half_to_float+0x9a>
add    %esi,%ecx
sub    %r8d,%ecx
add    $0x1,%ecx
mov    %ecx,%esi
nopl   0x0(%rax,%rax,1)
mov    %eax,%ecx
lea    (%rcx,%rcx,1),%eax
add    $0xffffffff,%esi
test   $0x200,%ecx
je     1170 <cl_half_to_float+0x70>
and    $0x3fe,%eax
jmp    119e <cl_half_to_float+0x9e>
sub    %r8d,%esi
add    %ecx,%esi
jmp    119e <cl_half_to_float+0x9e>
shl    $0x1f,%edx
or     $0x7f800000,%edx
mov    %edx,%eax
ret
xor    %eax,%eax
xor    %esi,%esi
shl    $0x1f,%edx
shl    $0x17,%esi
or     %edx,%esi
shl    $0xd,%eax
or     %esi,%eax
ret

LLVM IR (-O0):
%union.anon = type { i32 }
@CL_HALF_MANT_DIG = global i32 0
@CL_HALF_MAX_EXP = global i32 0
@CL_FLT_MAX_EXP = global i32 0
@CL_FLT_MANT_DIG = global i32 0
define i32 @cl_half_to_float(i32 %0) {
%2 = alloca i32
%3 = alloca i32
%4 = alloca %union.anon
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
store i32 %0, i32* %3
%12 = load i32, i32* %3
%13 = ashr i32 %12, 15
store i32 %13, i32* %5
%14 = load i32, i32* %3
%15 = load i32, i32* @CL_HALF_MANT_DIG
%16 = sub nsw i32 %15, 1
%17 = ashr i32 %14, %16
%18 = and i32 %17, 31
store i32 %18, i32* %6
%19 = load i32, i32* %3
%20 = and i32 %19, 1023
store i32 %20, i32* %7
%21 = load i32, i32* %6
%22 = load i32, i32* @CL_HALF_MAX_EXP
%23 = sub nsw i32 %21, %22
%24 = add nsw i32 %23, 1
store i32 %24, i32* %8
%25 = load i32, i32* %8
%26 = load i32, i32* @CL_FLT_MAX_EXP
%27 = add nsw i32 %25, %26
%28 = sub nsw i32 %27, 1
store i32 %28, i32* %9
%29 = load i32, i32* %6
%30 = icmp eq i32 %29, 31
br i1 %30, label %31, label %57
31: ; preds = %1
%32 = load i32, i32* %7
%33 = icmp ne i32 %32, 0
br i1 %33, label %34, label %50
34: ; preds = %31
%35 = load i32, i32* %7
%36 = load i32, i32* @CL_FLT_MANT_DIG
%37 = load i32, i32* @CL_HALF_MANT_DIG
%38 = sub nsw i32 %36, %37
%39 = shl i32 %35, %38
store i32 %39, i32* %10
%40 = load i32, i32* %10
%41 = or i32 %40, 4194304
store i32 %41, i32* %10
%42 = load i32, i32* %5
%43 = shl i32 %42, 31
%44 = or i32 %43, 2139095040
%45 = load i32, i32* %10
%46 = or i32 %44, %45
%47 = bitcast %union.anon* %4 to i32*
store i32 %46, i32* %47
%48 = bitcast %union.anon* %4 to i32*
%49 = load i32, i32* %48
store i32 %49, i32* %2
br label %94
50: ; preds = %31
%51 = load i32, i32* %5
%52 = shl i32 %51, 31
%53 = or i32 %52, 2139095040
%54 = bitcast %union.anon* %4 to i32*
store i32 %53, i32* %54
%55 = bitcast %union.anon* %4 to i32*
%56 = load i32, i32* %55
store i32 %56, i32* %2
br label %94
57: ; preds = %1
%58 = load i32, i32* %6
%59 = icmp eq i32 %58, 0
br i1 %59, label %60, label %82
60: ; preds = %57
%61 = load i32, i32* %7
%62 = icmp eq i32 %61, 0
br i1 %62, label %63, label %64
63: ; preds = %60
store i32 0, i32* %9
br label %81
64: ; preds = %60
store i32 0, i32* %11
br label %65
65: ; preds = %69, %64
%66 = load i32, i32* %7
%67 = and i32 %66, 1024
%68 = icmp eq i32 %67, 0
br i1 %68, label %69, label %74
69: ; preds = %65
%70 = load i32, i32* %7
%71 = shl i32 %70, 1
store i32 %71, i32* %7
%72 = load i32, i32* %11
%73 = add nsw i32 %72, 1
store i32 %73, i32* %11
br label %65
74: ; preds = %65
%75 = load i32, i32* %7
%76 = and i32 %75, 1023
store i32 %76, i32* %7
%77 = load i32, i32* %11
%78 = sub nsw i32 %77, 1
%79 = load i32, i32* %9
%80 = sub nsw i32 %79, %78
store i32 %80, i32* %9
br label %81
81: ; preds = %74, %63
br label %82
82: ; preds = %81, %57
%83 = load i32, i32* %5
%84 = shl i32 %83, 31
%85 = load i32, i32* %9
%86 = shl i32 %85, 23
%87 = or i32 %84, %86
%88 = load i32, i32* %7
%89 = shl i32 %88, 13
%90 = or i32 %87, %89
%91 = bitcast %union.anon* %4 to i32*
store i32 %90, i32* %91
%92 = bitcast %union.anon* %4 to i32*
%93 = load i32, i32* %92
store i32 %93, i32* %2
br label %94
94: ; preds = %82, %50, %34
%95 = load i32, i32* %2
ret i32 %95
}

LLVM IR (-O2):
@CL_HALF_MANT_DIG = global i32 0
@CL_HALF_MAX_EXP = global i32 0
@CL_FLT_MAX_EXP = global i32 0
@CL_FLT_MANT_DIG = global i32 0
define i32 @cl_half_to_float(i32 %0) {
%2 = ashr i32 %0, 15
%3 = load i32, i32* @CL_HALF_MANT_DIG
%4 = add nsw i32 %3, -1
%5 = ashr i32 %0, %4
%6 = and i32 %5, 31
%7 = and i32 %0, 1023
%8 = load i32, i32* @CL_HALF_MAX_EXP
%9 = sub nsw i32 %6, %8
%10 = load i32, i32* @CL_FLT_MAX_EXP
%11 = add i32 %9, %10
switch i32 %6, label %36 [
i32 31, label %12
i32 0, label %24
]
12: ; preds = %1
%13 = icmp eq i32 %7, 0
br i1 %13, label %21, label %14
14: ; preds = %12
%15 = load i32, i32* @CL_FLT_MANT_DIG
%16 = sub nsw i32 %15, %3
%17 = shl i32 %7, %16
%18 = shl i32 %2, 31
%19 = or i32 %18, %17
%20 = or i32 %19, 2143289344
br label %44
21: ; preds = %12
%22 = shl i32 %2, 31
%23 = or i32 %22, 2139095040
br label %44
24: ; preds = %1
%25 = icmp eq i32 %7, 0
br i1 %25, label %36, label %26
26: ; preds = %24, %26
%27 = phi i32 [ %30, %26 ], [ 0, %24 ]
%28 = phi i32 [ %29, %26 ], [ %7, %24 ]
%29 = shl i32 %28, 1
%30 = add nuw nsw i32 %27, 1
%31 = and i32 %28, 512
%32 = icmp eq i32 %31, 0
br i1 %32, label %26, label %33
33: ; preds = %26
%34 = and i32 %29, 1022
%35 = sub i32 %11, %27
br label %36
36: ; preds = %24, %1, %33
%37 = phi i32 [ %34, %33 ], [ %7, %1 ], [ 0, %24 ]
%38 = phi i32 [ %35, %33 ], [ %11, %1 ], [ 0, %24 ]
%39 = shl i32 %2, 31
%40 = shl i32 %38, 23
%41 = or i32 %39, %40
%42 = shl nuw nsw i32 %37, 13
%43 = or i32 %41, %42
br label %44
44: ; preds = %36, %21, %14
%45 = phi i32 [ %20, %14 ], [ %23, %21 ], [ %43, %36 ]
ret i32 %45
}