#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 */
int /*<<< orphan*/ assert(int);
float linear(float x, float x1, float y1, float x2, float y2) {
  if (x2 == x1) {
    assert(x == x1);
    return (y1 + y2) / 2;
  } else {
    return (x - x1) / (x2 - x1) * (y2 - y1) + y1;
  }
}


x86 assembly (clang, -O0):
<linear>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
movss  %xmm0,-0x8(%rbp)
movss  %xmm1,-0xc(%rbp)
movss  %xmm2,-0x10(%rbp)
movss  %xmm3,-0x14(%rbp)
movss  %xmm4,-0x18(%rbp)
movss  -0x14(%rbp),%xmm0
ucomiss -0xc(%rbp),%xmm0
jne    1181 <linear+0x71>
jp     1181 <linear+0x71>
movss  -0x8(%rbp),%xmm0
ucomiss -0xc(%rbp),%xmm0
sete   %al
setnp  %cl
and    %cl,%al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
movss  -0x10(%rbp),%xmm0
addss  -0x18(%rbp),%xmm0
movss  0xe8d(%rip),%xmm1
divss  %xmm1,%xmm0
movss  %xmm0,-0x4(%rbp)
jmp    11b5 <linear+0xa5>
movss  -0x8(%rbp),%xmm0
subss  -0xc(%rbp),%xmm0
movss  -0x14(%rbp),%xmm1
subss  -0xc(%rbp),%xmm1
divss  %xmm1,%xmm0
movss  -0x18(%rbp),%xmm2
subss  -0x10(%rbp),%xmm2
movss  -0x10(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x4(%rbp)
movss  -0x4(%rbp),%xmm0
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<linear>:
ucomiss %xmm1,%xmm3
jne    1149 <linear+0x39>
jp     1149 <linear+0x39>
push   %rax
cmpeqss %xmm1,%xmm0
movd   %xmm0,%edi
and    $0x1,%edi
movss  %xmm4,0x4(%rsp)
movss  %xmm2,(%rsp)
call   1030 <assert@plt>
movss  (%rsp),%xmm0
addss  0x4(%rsp),%xmm0
mulss  0xeb9(%rip),%xmm0
pop    %rax
ret
subss  %xmm1,%xmm0
subss  %xmm1,%xmm3
divss  %xmm3,%xmm0
subss  %xmm2,%xmm4
mulss  %xmm0,%xmm4
addss  %xmm2,%xmm4
movaps %xmm4,%xmm0
ret

LLVM IR (-O0):
define float @linear(float %0, float %1, float %2, float %3, float %4) {
%6 = alloca float
%7 = alloca float
%8 = alloca float
%9 = alloca float
%10 = alloca float
%11 = alloca float
store float %0, float* %7
store float %1, float* %8
store float %2, float* %9
store float %3, float* %10
store float %4, float* %11
%12 = load float, float* %10
%13 = load float, float* %8
%14 = fcmp oeq float %12, %13
br i1 %14, label %15, label %25
15: ; preds = %5
%16 = load float, float* %7
%17 = load float, float* %8
%18 = fcmp oeq float %16, %17
%19 = zext i1 %18 to i32
%20 = call i32 @assert(i32 %19)
%21 = load float, float* %9
%22 = load float, float* %11
%23 = fadd float %21, %22
%24 = fdiv float %23, 2.000000e+00
store float %24, float* %6
br label %38
25: ; preds = %5
%26 = load float, float* %7
%27 = load float, float* %8
%28 = fsub float %26, %27
%29 = load float, float* %10
%30 = load float, float* %8
%31 = fsub float %29, %30
%32 = fdiv float %28, %31
%33 = load float, float* %11
%34 = load float, float* %9
%35 = fsub float %33, %34
%36 = load float, float* %9
%37 = call float @llvm.fmuladd.f32(float %32, float %35, float %36)
store float %37, float* %6
br label %38
38: ; preds = %25, %15
%39 = load float, float* %6
ret float %39
}

LLVM IR (-O2):
define float @linear(float %0, float %1, float %2, float %3, float %4) {
%6 = fcmp oeq float %3, %1
br i1 %6, label %7, label %13
7: ; preds = %5
%8 = fcmp oeq float %0, %1
%9 = zext i1 %8 to i32
%10 = tail call i32 @assert(i32 %9)
%11 = fadd float %2, %4
%12 = fmul float %11, 5.000000e-01
br label %19
13: ; preds = %5
%14 = fsub float %0, %1
%15 = fsub float %3, %1
%16 = fdiv float %14, %15
%17 = fsub float %4, %2
%18 = tail call float @llvm.fmuladd.f32(float %16, float %17, float %2)
br label %19
19: ; preds = %13, %7
%20 = phi float [ %12, %7 ], [ %18, %13 ]
ret float %20
}