#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 overlap(float x1, float w1, float x2, float w2) {
  float l1 = x1 - w1 / 2;
  float l2 = x2 - w2 / 2;
  float left = l1 > l2 ? l1 : l2;
  float r1 = x1 + w1 / 2;
  float r2 = x2 + w2 / 2;
  float right = r1 < r2 ? r1 : r2;
  return right - left;
}


x86 assembly (clang, -O0):
<overlap>:
push   %rbp
mov    %rsp,%rbp
movss  %xmm0,-0x4(%rbp)
movss  %xmm1,-0x8(%rbp)
movss  %xmm2,-0xc(%rbp)
movss  %xmm3,-0x10(%rbp)
movss  -0x4(%rbp),%xmm0
movss  -0x8(%rbp),%xmm1
movss  0xed6(%rip),%xmm2
divss  %xmm2,%xmm1
subss  %xmm1,%xmm0
movss  %xmm0,-0x14(%rbp)
movss  -0xc(%rbp),%xmm0
movss  -0x10(%rbp),%xmm1
movss  0xeb7(%rip),%xmm2
divss  %xmm2,%xmm1
subss  %xmm1,%xmm0
movss  %xmm0,-0x18(%rbp)
movss  -0x14(%rbp),%xmm0
ucomiss -0x18(%rbp),%xmm0
jbe    1174 <overlap+0x74>
movss  -0x14(%rbp),%xmm0
movss  %xmm0,-0x2c(%rbp)
jmp    117e <overlap+0x7e>
movss  -0x18(%rbp),%xmm0
movss  %xmm0,-0x2c(%rbp)
movss  -0x2c(%rbp),%xmm0
movss  %xmm0,-0x1c(%rbp)
movss  -0x4(%rbp),%xmm0
movss  -0x8(%rbp),%xmm1
movss  0xe66(%rip),%xmm2
divss  %xmm2,%xmm1
addss  %xmm1,%xmm0
movss  %xmm0,-0x20(%rbp)
movss  -0xc(%rbp),%xmm0
movss  -0x10(%rbp),%xmm1
movss  0xe47(%rip),%xmm2
divss  %xmm2,%xmm1
addss  %xmm1,%xmm0
movss  %xmm0,-0x24(%rbp)
movss  -0x20(%rbp),%xmm1
movss  -0x24(%rbp),%xmm0
ucomiss %xmm1,%xmm0
jbe    11e8 <overlap+0xe8>
movss  -0x20(%rbp),%xmm0
movss  %xmm0,-0x30(%rbp)
jmp    11f2 <overlap+0xf2>
movss  -0x24(%rbp),%xmm0
movss  %xmm0,-0x30(%rbp)
movss  -0x30(%rbp),%xmm0
movss  %xmm0,-0x28(%rbp)
movss  -0x28(%rbp),%xmm0
subss  -0x1c(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<overlap>:
movss  0xef8(%rip),%xmm4
mulss  %xmm4,%xmm1
movaps %xmm0,%xmm5
subss  %xmm1,%xmm5
mulss  %xmm4,%xmm3
movaps %xmm2,%xmm4
subss  %xmm3,%xmm4
maxss  %xmm4,%xmm5
addss  %xmm1,%xmm0
addss  %xmm2,%xmm3
minss  %xmm3,%xmm0
subss  %xmm5,%xmm0
ret

LLVM IR (-O0):
define float @overlap(float %0, float %1, float %2, float %3) {
%5 = alloca float
%6 = alloca float
%7 = alloca float
%8 = alloca float
%9 = alloca float
%10 = alloca float
%11 = alloca float
%12 = alloca float
%13 = alloca float
%14 = alloca float
store float %0, float* %5
store float %1, float* %6
store float %2, float* %7
store float %3, float* %8
%15 = load float, float* %5
%16 = load float, float* %6
%17 = fdiv float %16, 2.000000e+00
%18 = fsub float %15, %17
store float %18, float* %9
%19 = load float, float* %7
%20 = load float, float* %8
%21 = fdiv float %20, 2.000000e+00
%22 = fsub float %19, %21
store float %22, float* %10
%23 = load float, float* %9
%24 = load float, float* %10
%25 = fcmp ogt float %23, %24
br i1 %25, label %26, label %28
26: ; preds = %4
%27 = load float, float* %9
br label %30
28: ; preds = %4
%29 = load float, float* %10
br label %30
30: ; preds = %28, %26
%31 = phi float [ %27, %26 ], [ %29, %28 ]
store float %31, float* %11
%32 = load float, float* %5
%33 = load float, float* %6
%34 = fdiv float %33, 2.000000e+00
%35 = fadd float %32, %34
store float %35, float* %12
%36 = load float, float* %7
%37 = load float, float* %8
%38 = fdiv float %37, 2.000000e+00
%39 = fadd float %36, %38
store float %39, float* %13
%40 = load float, float* %12
%41 = load float, float* %13
%42 = fcmp olt float %40, %41
br i1 %42, label %43, label %45
43: ; preds = %30
%44 = load float, float* %12
br label %47
45: ; preds = %30
%46 = load float, float* %13
br label %47
47: ; preds = %45, %43
%48 = phi float [ %44, %43 ], [ %46, %45 ]
store float %48, float* %14
%49 = load float, float* %14
%50 = load float, float* %11
%51 = fsub float %49, %50
ret float %51
}

LLVM IR (-O2):
define float @overlap(float %0, float %1, float %2, float %3) {
%5 = fmul float %1, 5.000000e-01
%6 = fsub float %0, %5
%7 = fmul float %3, 5.000000e-01
%8 = fsub float %2, %7
%9 = fcmp ogt float %6, %8
%10 = select i1 %9, float %6, float %8
%11 = fadd float %5, %0
%12 = fadd float %7, %2
%13 = fcmp olt float %11, %12
%14 = select i1 %13, float %11, float %12
%15 = fsub float %14, %10
ret float %15
}