#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 ulong;

/* Variables and functions */
float __addsf3(float a, float b) {
  long lc;
  int expt = ((((*(const long *)&a)) >> 23) & 0xff);
  int shift = expt - ((((*(const long *)&b)) >> 23) & 0xff);
  long sign;
  ulong ma, mb;
  if (shift < 0) {
    long temp = (*(const long *)&a);
    *(long *)&a = (*(const long *)&b);
    *(long *)&b = temp;
    expt += (shift = -shift);
  }
  if (shift >= 25)
    return a;
  if (!((*(const long *)&b) & 0x7fffffff))
    return a;
  sign = (*(const long *)&a) & 0x80000000;
  ma = ((*(const long *)&a) & 0x7fffff) + 0x800000;
  mb = ((*(const long *)&b) & 0x7fffff) + 0x800000;
  if (((*(const long *)&a) ^ (*(const long *)&b)) >= 0) {
    if (shift) {
      --shift;
      mb = ((mb >> shift) + 1) >> 1;
    }
    ma += mb;
    if (ma > 0xffffff) {
      ma = (ma + 1) >> 1;
      ++expt;
    }
  } else {
    if (shift > 24)
      return a;
    if (shift == 0 && mb >= ma) {
      sign ^= 0x80000000;
      ma = mb - ma;
    } else {
      if (shift) {
        --shift;
        mb = ((mb >> shift) + 1) >> 1;
      }
      ma -= mb;
    }
    if (!ma)
      return 0;
    while (ma < 0x800000) {
      ma <<= 1;
      expt -= 1;
    }
    if (expt <= 0) {
      lc = sign;
      return (*(const float *)&lc);
    }
  }
  lc = sign + ((ulong)expt << 23) + (ma & 0x7fffff);
  return (*(const float *)&lc);
}


x86 assembly (clang, -O0):
<__addsf3>:
push   %rbp
mov    %rsp,%rbp
movss  %xmm0,-0x8(%rbp)
movss  %xmm1,-0xc(%rbp)
mov    -0x8(%rbp),%rax
sar    $0x17,%rax
and    $0xff,%rax
mov    %eax,-0x1c(%rbp)
movslq -0x1c(%rbp),%rax
mov    -0xc(%rbp),%rcx
sar    $0x17,%rcx
and    $0xff,%rcx
sub    %rcx,%rax
mov    %eax,-0x20(%rbp)
cmpl   $0x0,-0x20(%rbp)
jge    1168 <__addsf3+0x68>
mov    -0x8(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0xc(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x38(%rbp),%rax
mov    %rax,-0xc(%rbp)
xor    %eax,%eax
sub    -0x20(%rbp),%eax
mov    %eax,-0x20(%rbp)
add    -0x1c(%rbp),%eax
mov    %eax,-0x1c(%rbp)
cmpl   $0x19,-0x20(%rbp)
jl     1181 <__addsf3+0x81>
movss  -0x8(%rbp),%xmm0
movss  %xmm0,-0x4(%rbp)
jmp    1353 <__addsf3+0x253>
mov    -0xc(%rbp),%rax
and    $0x7fffffff,%rax
cmp    $0x0,%rax
jne    11a4 <__addsf3+0xa4>
movss  -0x8(%rbp),%xmm0
movss  %xmm0,-0x4(%rbp)
jmp    1353 <__addsf3+0x253>
movabs $0x80000000,%rax
and    -0x8(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x8(%rbp),%rax
and    $0x7fffff,%rax
add    $0x800000,%rax
mov    %eax,-0x2c(%rbp)
mov    -0xc(%rbp),%rax
and    $0x7fffff,%rax
add    $0x800000,%rax
mov    %eax,-0x30(%rbp)
mov    -0x8(%rbp),%rax
xor    -0xc(%rbp),%rax
cmp    $0x0,%rax
jl     1242 <__addsf3+0x142>
cmpl   $0x0,-0x20(%rbp)
je     1212 <__addsf3+0x112>
mov    -0x20(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x20(%rbp)
mov    -0x30(%rbp),%eax
mov    -0x20(%rbp),%ecx
sar    %cl,%eax
add    $0x1,%eax
sar    $0x1,%eax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%eax
add    -0x2c(%rbp),%eax
mov    %eax,-0x2c(%rbp)
cmpl   $0xffffff,-0x2c(%rbp)
jle    123d <__addsf3+0x13d>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
sar    $0x1,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1326 <__addsf3+0x226>
cmpl   $0x18,-0x20(%rbp)
jle    125b <__addsf3+0x15b>
movss  -0x8(%rbp),%xmm0
movss  %xmm0,-0x4(%rbp)
jmp    1353 <__addsf3+0x253>
cmpl   $0x0,-0x20(%rbp)
jne    1291 <__addsf3+0x191>
mov    -0x30(%rbp),%eax
cmp    -0x2c(%rbp),%eax
jl     1291 <__addsf3+0x191>
movabs $0x80000000,%rax
xor    -0x28(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x30(%rbp),%eax
sub    -0x2c(%rbp),%eax
mov    %eax,-0x2c(%rbp)
jmp    12c0 <__addsf3+0x1c0>
cmpl   $0x0,-0x20(%rbp)
je     12b5 <__addsf3+0x1b5>
mov    -0x20(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x20(%rbp)
mov    -0x30(%rbp),%eax
mov    -0x20(%rbp),%ecx
sar    %cl,%eax
add    $0x1,%eax
sar    $0x1,%eax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%ecx
mov    -0x2c(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x2c(%rbp)
cmpl   $0x0,-0x2c(%rbp)
jne    12d7 <__addsf3+0x1d7>
xorps  %xmm0,%xmm0
movss  %xmm0,-0x4(%rbp)
jmp    1353 <__addsf3+0x253>
jmp    12dc <__addsf3+0x1dc>
cmpl   $0x800000,-0x2c(%rbp)
jge    1300 <__addsf3+0x200>
mov    -0x2c(%rbp),%eax
shl    $0x1,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x1c(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    12dc <__addsf3+0x1dc>
cmpl   $0x0,-0x1c(%rbp)
jg     1321 <__addsf3+0x221>
mov    -0x28(%rbp),%rax
mov    %rax,-0x18(%rbp)
movss  -0x18(%rbp),%xmm0
movss  %xmm0,-0x4(%rbp)
jmp    1353 <__addsf3+0x253>
jmp    1326 <__addsf3+0x226>
mov    -0x28(%rbp),%rax
mov    -0x1c(%rbp),%ecx
shl    $0x17,%ecx
movslq %ecx,%rcx
add    %rcx,%rax
mov    -0x2c(%rbp),%ecx
and    $0x7fffff,%ecx
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x18(%rbp)
movss  -0x18(%rbp),%xmm0
movss  %xmm0,-0x4(%rbp)
movss  -0x4(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<__addsf3>:
movd   %xmm0,-0x8(%rsp)
movss  %xmm1,-0x10(%rsp)
mov    -0x8(%rsp),%r11
mov    %r11d,%eax
shr    $0x17,%eax
movzbl %al,%eax
mov    -0x10(%rsp),%rcx
mov    %ecx,%edx
shr    $0x17,%edx
movzbl %dl,%edi
mov    %eax,%edx
sub    %edi,%edx
cmovs  %edi,%eax
mov    %edx,%edi
neg    %edi
cmovs  %edx,%edi
cmp    $0x18,%edi
ja     121c <__addsf3+0x11c>
mov    %ecx,%esi
and    $0x7fffffff,%esi
test   %rsi,%rsi
je     121c <__addsf3+0x11c>
mov    %r11d,%r8d
and    $0x80000000,%r8d
mov    %r11d,%r9d
and    $0x7fffff,%r9d
or     $0x800000,%r9d
mov    %ecx,%r10d
and    $0x7fffff,%r10d
or     $0x800000,%r10d
xor    %r11,%rcx
js     11a9 <__addsf3+0xa9>
lea    -0x1(%rdi),%ecx
mov    %r10d,%esi
shr    %cl,%esi
add    $0x1,%esi
shr    %esi
cmp    $0x1,%edi
cmovb  %r10d,%esi
add    %r9d,%esi
cmp    $0x1000000,%esi
jl     11e1 <__addsf3+0xe1>
add    $0x1,%esi
shr    %esi
add    $0x1,%eax
jmp    11e1 <__addsf3+0xe1>
test   %edx,%edx
jne    11f4 <__addsf3+0xf4>
mov    %r10d,%esi
sub    %r9d,%esi
jb     11f4 <__addsf3+0xf4>
xor    $0x80000000,%r8d
test   %esi,%esi
je     1212 <__addsf3+0x112>
cmp    $0x7fffff,%esi
jg     11dd <__addsf3+0xdd>
nopl   0x0(%rax,%rax,1)
add    %esi,%esi
add    $0xffffffff,%eax
cmp    $0x800000,%esi
jl     11d0 <__addsf3+0xd0>
test   %eax,%eax
jle    1217 <__addsf3+0x117>
shl    $0x17,%eax
add    %r8d,%eax
and    $0x7fffff,%esi
add    %eax,%esi
movd   %esi,%xmm0
ret
lea    -0x1(%rdi),%ecx
mov    %r10d,%edx
shr    %cl,%edx
add    $0x1,%edx
shr    %edx
cmp    $0x1,%edi
cmovb  %r10d,%edx
sub    %edx,%r9d
mov    %r9d,%esi
test   %esi,%esi
jne    11c0 <__addsf3+0xc0>
pxor   %xmm0,%xmm0
ret
movd   %r8d,%xmm0
ret

LLVM IR (-O0):
define float @__addsf3(float %0, float %1) {
%3 = alloca float
%4 = alloca float
%5 = alloca float
%6 = alloca i64
%7 = alloca i32
%8 = alloca i32
%9 = alloca i64
%10 = alloca i32
%11 = alloca i32
%12 = alloca i64
store float %0, float* %4
store float %1, float* %5
%13 = bitcast float* %4 to i64*
%14 = load i64, i64* %13
%15 = ashr i64 %14, 23
%16 = and i64 %15, 255
%17 = trunc i64 %16 to i32
store i32 %17, i32* %7
%18 = load i32, i32* %7
%19 = sext i32 %18 to i64
%20 = bitcast float* %5 to i64*
%21 = load i64, i64* %20
%22 = ashr i64 %21, 23
%23 = and i64 %22, 255
%24 = sub nsw i64 %19, %23
%25 = trunc i64 %24 to i32
store i32 %25, i32* %8
%26 = load i32, i32* %8
%27 = icmp slt i32 %26, 0
br i1 %27, label %28, label %40
28: ; preds = %2
%29 = bitcast float* %4 to i64*
%30 = load i64, i64* %29
store i64 %30, i64* %12
%31 = bitcast float* %5 to i64*
%32 = load i64, i64* %31
%33 = bitcast float* %4 to i64*
store i64 %32, i64* %33
%34 = load i64, i64* %12
%35 = bitcast float* %5 to i64*
store i64 %34, i64* %35
%36 = load i32, i32* %8
%37 = sub nsw i32 0, %36
store i32 %37, i32* %8
%38 = load i32, i32* %7
%39 = add nsw i32 %38, %37
store i32 %39, i32* %7
br label %40
40: ; preds = %28, %2
%41 = load i32, i32* %8
%42 = icmp sge i32 %41, 25
br i1 %42, label %43, label %45
43: ; preds = %40
%44 = load float, float* %4
store float %44, float* %3
br label %162
45: ; preds = %40
%46 = bitcast float* %5 to i64*
%47 = load i64, i64* %46
%48 = and i64 %47, 2147483647
%49 = icmp ne i64 %48, 0
br i1 %49, label %52, label %50
50: ; preds = %45
%51 = load float, float* %4
store float %51, float* %3
br label %162
52: ; preds = %45
%53 = bitcast float* %4 to i64*
%54 = load i64, i64* %53
%55 = and i64 %54, 2147483648
store i64 %55, i64* %9
%56 = bitcast float* %4 to i64*
%57 = load i64, i64* %56
%58 = and i64 %57, 8388607
%59 = add nsw i64 %58, 8388608
%60 = trunc i64 %59 to i32
store i32 %60, i32* %10
%61 = bitcast float* %5 to i64*
%62 = load i64, i64* %61
%63 = and i64 %62, 8388607
%64 = add nsw i64 %63, 8388608
%65 = trunc i64 %64 to i32
store i32 %65, i32* %11
%66 = bitcast float* %4 to i64*
%67 = load i64, i64* %66
%68 = bitcast float* %5 to i64*
%69 = load i64, i64* %68
%70 = xor i64 %67, %69
%71 = icmp sge i64 %70, 0
br i1 %71, label %72, label %96
72: ; preds = %52
%73 = load i32, i32* %8
%74 = icmp ne i32 %73, 0
br i1 %74, label %75, label %83
75: ; preds = %72
%76 = load i32, i32* %8
%77 = add nsw i32 %76, -1
store i32 %77, i32* %8
%78 = load i32, i32* %11
%79 = load i32, i32* %8
%80 = ashr i32 %78, %79
%81 = add nsw i32 %80, 1
%82 = ashr i32 %81, 1
store i32 %82, i32* %11
br label %83
83: ; preds = %75, %72
%84 = load i32, i32* %11
%85 = load i32, i32* %10
%86 = add nsw i32 %85, %84
store i32 %86, i32* %10
%87 = load i32, i32* %10
%88 = icmp sgt i32 %87, 16777215
br i1 %88, label %89, label %95
89: ; preds = %83
%90 = load i32, i32* %10
%91 = add nsw i32 %90, 1
%92 = ashr i32 %91, 1
store i32 %92, i32* %10
%93 = load i32, i32* %7
%94 = add nsw i32 %93, 1
store i32 %94, i32* %7
br label %95
95: ; preds = %89, %83
br label %150
96: ; preds = %52
%97 = load i32, i32* %8
%98 = icmp sgt i32 %97, 24
br i1 %98, label %99, label %101
99: ; preds = %96
%100 = load float, float* %4
store float %100, float* %3
br label %162
101: ; preds = %96
%102 = load i32, i32* %8
%103 = icmp eq i32 %102, 0
br i1 %103, label %104, label %114
104: ; preds = %101
%105 = load i32, i32* %11
%106 = load i32, i32* %10
%107 = icmp sge i32 %105, %106
br i1 %107, label %108, label %114
108: ; preds = %104
%109 = load i64, i64* %9
%110 = xor i64 %109, 2147483648
store i64 %110, i64* %9
%111 = load i32, i32* %11
%112 = load i32, i32* %10
%113 = sub nsw i32 %111, %112
store i32 %113, i32* %10
br label %129
114: ; preds = %104, %101
%115 = load i32, i32* %8
%116 = icmp ne i32 %115, 0
br i1 %116, label %117, label %125
117: ; preds = %114
%118 = load i32, i32* %8
%119 = add nsw i32 %118, -1
store i32 %119, i32* %8
%120 = load i32, i32* %11
%121 = load i32, i32* %8
%122 = ashr i32 %120, %121
%123 = add nsw i32 %122, 1
%124 = ashr i32 %123, 1
store i32 %124, i32* %11
br label %125
125: ; preds = %117, %114
%126 = load i32, i32* %11
%127 = load i32, i32* %10
%128 = sub nsw i32 %127, %126
store i32 %128, i32* %10
br label %129
129: ; preds = %125, %108
%130 = load i32, i32* %10
%131 = icmp ne i32 %130, 0
br i1 %131, label %133, label %132
132: ; preds = %129
store float 0.000000e+00, float* %3
br label %162
133: ; preds = %129
br label %134
134: ; preds = %137, %133
%135 = load i32, i32* %10
%136 = icmp slt i32 %135, 8388608
br i1 %136, label %137, label %142
137: ; preds = %134
%138 = load i32, i32* %10
%139 = shl i32 %138, 1
store i32 %139, i32* %10
%140 = load i32, i32* %7
%141 = sub nsw i32 %140, 1
store i32 %141, i32* %7
br label %134
142: ; preds = %134
%143 = load i32, i32* %7
%144 = icmp sle i32 %143, 0
br i1 %144, label %145, label %149
145: ; preds = %142
%146 = load i64, i64* %9
store i64 %146, i64* %6
%147 = bitcast i64* %6 to float*
%148 = load float, float* %147
store float %148, float* %3
br label %162
149: ; preds = %142
br label %150
150: ; preds = %149, %95
%151 = load i64, i64* %9
%152 = load i32, i32* %7
%153 = shl i32 %152, 23
%154 = sext i32 %153 to i64
%155 = add nsw i64 %151, %154
%156 = load i32, i32* %10
%157 = and i32 %156, 8388607
%158 = sext i32 %157 to i64
%159 = add nsw i64 %155, %158
store i64 %159, i64* %6
%160 = bitcast i64* %6 to float*
%161 = load float, float* %160
store float %161, float* %3
br label %162
162: ; preds = %150, %145, %132, %99, %50, %43
%163 = load float, float* %3
ret float %163
}

LLVM IR (-O2):
define float @__addsf3(float %0, float %1) {
%3 = alloca float
%4 = alloca float
store float %0, float* %3
store float %1, float* %4
%5 = bitcast float* %3 to i64*
%6 = load i64, i64* %5
%7 = trunc i64 %6 to i32
%8 = lshr i32 %7, 23
%9 = and i32 %8, 255
%10 = bitcast float* %4 to i64*
%11 = load i64, i64* %10
%12 = trunc i64 %11 to i32
%13 = lshr i32 %12, 23
%14 = and i32 %13, 255
%15 = sub nsw i32 %9, %14
%16 = icmp slt i32 %15, 0
%17 = sub nsw i32 0, %15
%18 = select i1 %16, i32 %14, i32 %9
%19 = select i1 %16, i32 %17, i32 %15
%20 = icmp ugt i32 %19, 24
%21 = and i64 %11, 2147483647
%22 = icmp eq i64 %21, 0
%23 = select i1 %20, i1 true, i1 %22
br i1 %23, label %87, label %24
24: ; preds = %2
%25 = and i32 %7, -2147483648
%26 = and i32 %7, 8388607
%27 = or i32 %26, 8388608
%28 = and i32 %12, 8388607
%29 = or i32 %28, 8388608
%30 = xor i64 %11, %6
%31 = icmp sgt i64 %30, -1
br i1 %31, label %32, label %45
32: ; preds = %24
%33 = icmp eq i32 %19, 0
%34 = add nsw i32 %19, -1
%35 = lshr i32 %29, %34
%36 = add nsw i32 %35, 1
%37 = ashr i32 %36, 1
%38 = select i1 %33, i32 %29, i32 %37
%39 = add nsw i32 %38, %27
%40 = icmp sgt i32 %39, 16777215
br i1 %40, label %41, label %78
41: ; preds = %32
%42 = add nuw nsw i32 %39, 1
%43 = lshr i32 %42, 1
%44 = add nuw nsw i32 %18, 1
br label %78
45: ; preds = %24
%46 = icmp ne i32 %15, 0
%47 = icmp ult i32 %29, %27
%48 = select i1 %46, i1 true, i1 %47
br i1 %48, label %52, label %49
49: ; preds = %45
%50 = xor i32 %25, -2147483648
%51 = sub nsw i32 %29, %27
br label %60
52: ; preds = %45
%53 = icmp eq i32 %19, 0
%54 = add nsw i32 %19, -1
%55 = lshr i32 %29, %54
%56 = add nsw i32 %55, 1
%57 = ashr i32 %56, 1
%58 = select i1 %53, i32 %29, i32 %57
%59 = sub nsw i32 %27, %58
br label %60
60: ; preds = %52, %49
%61 = phi i32 [ %50, %49 ], [ %25, %52 ]
%62 = phi i32 [ %51, %49 ], [ %59, %52 ]
%63 = icmp eq i32 %62, 0
br i1 %63, label %87, label %64
64: ; preds = %60
%65 = icmp slt i32 %62, 8388608
br i1 %65, label %66, label %72
66: ; preds = %64, %66
%67 = phi i32 [ %69, %66 ], [ %62, %64 ]
%68 = phi i32 [ %70, %66 ], [ %18, %64 ]
%69 = shl i32 %67, 1
%70 = add nsw i32 %68, -1
%71 = icmp slt i32 %69, 8388608
br i1 %71, label %66, label %72
72: ; preds = %66, %64
%73 = phi i32 [ %18, %64 ], [ %70, %66 ]
%74 = phi i32 [ %62, %64 ], [ %69, %66 ]
%75 = icmp slt i32 %73, 1
br i1 %75, label %76, label %78
76: ; preds = %72
%77 = bitcast i32 %61 to float
br label %87
78: ; preds = %72, %32, %41
%79 = phi i32 [ %25, %41 ], [ %25, %32 ], [ %61, %72 ]
%80 = phi i32 [ %44, %41 ], [ %18, %32 ], [ %73, %72 ]
%81 = phi i32 [ %43, %41 ], [ %39, %32 ], [ %74, %72 ]
%82 = shl i32 %80, 23
%83 = add i32 %82, %79
%84 = and i32 %81, 8388607
%85 = add i32 %83, %84
%86 = bitcast i32 %85 to float
br label %87
87: ; preds = %2, %60, %78, %76
%88 = phi float [ %86, %78 ], [ %77, %76 ], [ 0.000000e+00, %60 ], [ %0, %2 ]
ret float %88
}