#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 sqrtf(float);
int ex_get_lowest_root(float a, float b, float c, float max, float *root) {
  float determinant = b * b - 4.0f * a * c;
  if (determinant < 0.0f)
    return 0;
  float sqrtD = sqrtf(determinant);
  float r1 = (-b - sqrtD) / (2.0f * a);
  float r2 = (-b + sqrtD) / (2.0f * a);
  if (r1 > r2) {
    float temp = r2;
    r2 = r1;
    r1 = temp;
  }
  if (r1 > 0 && r1 < max) {
    *root = r1;
    return 1;
  }
  if (r2 > 0 && r2 < max) {
    *root = r2;
    return 1;
  }
  return 0;
}


x86 assembly (clang, -O0):
<ex_get_lowest_root>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
movss  %xmm0,-0x8(%rbp)
movss  %xmm1,-0xc(%rbp)
movss  %xmm2,-0x10(%rbp)
movss  %xmm3,-0x14(%rbp)
mov    %rdi,-0x20(%rbp)
movss  -0xc(%rbp),%xmm0
movss  -0xc(%rbp),%xmm2
movss  0xebe(%rip),%xmm1
mulss  -0x8(%rbp),%xmm1
mulss  -0x10(%rbp),%xmm1
movd   %xmm1,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x24(%rbp)
xorps  %xmm0,%xmm0
ucomiss -0x24(%rbp),%xmm0
jbe    117f <ex_get_lowest_root+0x6f>
movl   $0x0,-0x4(%rbp)
jmp    1296 <ex_get_lowest_root+0x186>
movss  -0x24(%rbp),%xmm0
call   1030 <sqrtf@plt>
movss  %xmm0,-0x28(%rbp)
movss  -0xc(%rbp),%xmm0
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
subss  -0x28(%rbp),%xmm0
movss  0xe57(%rip),%xmm1
mulss  -0x8(%rbp),%xmm1
divss  %xmm1,%xmm0
movss  %xmm0,-0x2c(%rbp)
movss  -0xc(%rbp),%xmm0
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
addss  -0x28(%rbp),%xmm0
movss  0xe2a(%rip),%xmm1
mulss  -0x8(%rbp),%xmm1
divss  %xmm1,%xmm0
movss  %xmm0,-0x30(%rbp)
movss  -0x2c(%rbp),%xmm0
ucomiss -0x30(%rbp),%xmm0
jbe    1215 <ex_get_lowest_root+0x105>
movss  -0x30(%rbp),%xmm0
movss  %xmm0,-0x34(%rbp)
movss  -0x2c(%rbp),%xmm0
movss  %xmm0,-0x30(%rbp)
movss  -0x34(%rbp),%xmm0
movss  %xmm0,-0x2c(%rbp)
movss  -0x2c(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomiss %xmm1,%xmm0
jbe    1252 <ex_get_lowest_root+0x142>
movss  -0x2c(%rbp),%xmm1
movss  -0x14(%rbp),%xmm0
ucomiss %xmm1,%xmm0
jbe    1252 <ex_get_lowest_root+0x142>
movss  -0x2c(%rbp),%xmm0
mov    -0x20(%rbp),%rax
movss  %xmm0,(%rax)
movl   $0x1,-0x4(%rbp)
jmp    1296 <ex_get_lowest_root+0x186>
movss  -0x30(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomiss %xmm1,%xmm0
jbe    128f <ex_get_lowest_root+0x17f>
movss  -0x30(%rbp),%xmm1
movss  -0x14(%rbp),%xmm0
ucomiss %xmm1,%xmm0
jbe    128f <ex_get_lowest_root+0x17f>
movss  -0x30(%rbp),%xmm0
mov    -0x20(%rbp),%rax
movss  %xmm0,(%rax)
movl   $0x1,-0x4(%rbp)
jmp    1296 <ex_get_lowest_root+0x186>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<ex_get_lowest_root>:
push   %rbp
push   %rbx
sub    $0x38,%rsp
movaps %xmm0,%xmm4
movss  0xedf(%rip),%xmm5
mulss  %xmm0,%xmm5
mulss  %xmm2,%xmm5
movaps %xmm1,%xmm0
mulss  %xmm1,%xmm0
addss  %xmm5,%xmm0
xor    %ebp,%ebp
xorps  %xmm2,%xmm2
ucomiss %xmm0,%xmm2
ja     11c8 <ex_get_lowest_root+0xb8>
mov    %rdi,%rbx
ucomiss %xmm2,%xmm0
jb     1150 <ex_get_lowest_root+0x40>
sqrtss %xmm0,%xmm0
jmp    1175 <ex_get_lowest_root+0x65>
movss  %xmm3,0xc(%rsp)
movaps %xmm4,0x20(%rsp)
movaps %xmm1,0x10(%rsp)
call   1030 <sqrtf@plt>
movaps 0x10(%rsp),%xmm1
movaps 0x20(%rsp),%xmm4
movss  0xc(%rsp),%xmm3
movaps 0xe94(%rip),%xmm5
xorps  %xmm1,%xmm5
addss  %xmm4,%xmm4
unpcklps %xmm0,%xmm5
unpcklps %xmm1,%xmm0
subps  %xmm0,%xmm5
shufps $0x0,%xmm4,%xmm4
divps  %xmm4,%xmm5
movaps %xmm5,%xmm2
shufps $0x55,%xmm5,%xmm2
movaps %xmm2,%xmm0
minss  %xmm5,%xmm0
xorps  %xmm4,%xmm4
ucomiss %xmm4,%xmm0
jbe    11ae <ex_get_lowest_root+0x9e>
ucomiss %xmm0,%xmm3
ja     11bf <ex_get_lowest_root+0xaf>
maxss  %xmm2,%xmm5
ucomiss %xmm4,%xmm5
jbe    11c8 <ex_get_lowest_root+0xb8>
ucomiss %xmm5,%xmm3
movaps %xmm5,%xmm0
jbe    11c8 <ex_get_lowest_root+0xb8>
movss  %xmm0,(%rbx)
mov    $0x1,%ebp
mov    %ebp,%eax
add    $0x38,%rsp
pop    %rbx
pop    %rbp
ret

LLVM IR (-O0):
define i32 @ex_get_lowest_root(float %0, float %1, float %2, float %3, float* %4) {
%6 = alloca i32
%7 = alloca float
%8 = alloca float
%9 = alloca float
%10 = alloca float
%11 = alloca float*
%12 = alloca float
%13 = alloca float
%14 = alloca float
%15 = alloca float
%16 = 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
%17 = load float, float* %8
%18 = load float, float* %8
%19 = load float, float* %7
%20 = fmul float 4.000000e+00, %19
%21 = load float, float* %9
%22 = fmul float %20, %21
%23 = fneg float %22
%24 = call float @llvm.fmuladd.f32(float %17, float %18, float %23)
store float %24, float* %12
%25 = load float, float* %12
%26 = fcmp olt float %25, 0.000000e+00
br i1 %26, label %27, label %28
27: ; preds = %5
store i32 0, i32* %6
br label %73
28: ; preds = %5
%29 = load float, float* %12
%30 = call float @sqrtf(float %29)
store float %30, float* %13
%31 = load float, float* %8
%32 = fneg float %31
%33 = load float, float* %13
%34 = fsub float %32, %33
%35 = load float, float* %7
%36 = fmul float 2.000000e+00, %35
%37 = fdiv float %34, %36
store float %37, float* %14
%38 = load float, float* %8
%39 = fneg float %38
%40 = load float, float* %13
%41 = fadd float %39, %40
%42 = load float, float* %7
%43 = fmul float 2.000000e+00, %42
%44 = fdiv float %41, %43
store float %44, float* %15
%45 = load float, float* %14
%46 = load float, float* %15
%47 = fcmp ogt float %45, %46
br i1 %47, label %48, label %52
48: ; preds = %28
%49 = load float, float* %15
store float %49, float* %16
%50 = load float, float* %14
store float %50, float* %15
%51 = load float, float* %16
store float %51, float* %14
br label %52
52: ; preds = %48, %28
%53 = load float, float* %14
%54 = fcmp ogt float %53, 0.000000e+00
br i1 %54, label %55, label %62
55: ; preds = %52
%56 = load float, float* %14
%57 = load float, float* %10
%58 = fcmp olt float %56, %57
br i1 %58, label %59, label %62
59: ; preds = %55
%60 = load float, float* %14
%61 = load float*, float** %11
store float %60, float* %61
store i32 1, i32* %6
br label %73
62: ; preds = %55, %52
%63 = load float, float* %15
%64 = fcmp ogt float %63, 0.000000e+00
br i1 %64, label %65, label %72
65: ; preds = %62
%66 = load float, float* %15
%67 = load float, float* %10
%68 = fcmp olt float %66, %67
br i1 %68, label %69, label %72
69: ; preds = %65
%70 = load float, float* %15
%71 = load float*, float** %11
store float %70, float* %71
store i32 1, i32* %6
br label %73
72: ; preds = %65, %62
store i32 0, i32* %6
br label %73
73: ; preds = %72, %69, %59, %27
%74 = load i32, i32* %6
ret i32 %74
}

LLVM IR (-O2):
define i32 @ex_get_lowest_root(float %0, float %1, float %2, float %3, float* nocapture writeonly %4) {
%6 = fmul float %0, -4.000000e+00
%7 = fmul float %6, %2
%8 = tail call float @llvm.fmuladd.f32(float %1, float %1, float %7)
%9 = fcmp olt float %8, 0.000000e+00
br i1 %9, label %36, label %10
10: ; preds = %5
%11 = tail call float @sqrtf(float %8)
%12 = fneg float %1
%13 = fmul float %0, 2.000000e+00
%14 = insertelement <2 x float> poison, float %12, i64 0
%15 = insertelement <2 x float> %14, float %11, i64 1
%16 = insertelement <2 x float> poison, float %1, i64 1
%17 = insertelement <2 x float> %16, float %11, i64 0
%18 = fsub <2 x float> %15, %17
%19 = insertelement <2 x float> poison, float %13, i64 0
%20 = shufflevector <2 x float> %19, <2 x float> poison, <2 x i32> zeroinitializer
%21 = fdiv <2 x float> %18, %20
%22 = extractelement <2 x float> %21, i64 0
%23 = extractelement <2 x float> %21, i64 1
%24 = fcmp ogt float %22, %23
%25 = select i1 %24, float %23, float %22
%26 = select i1 %24, float %22, float %23
%27 = fcmp ogt float %25, 0.000000e+00
%28 = fcmp olt float %25, %3
%29 = and i1 %27, %28
br i1 %29, label %34, label %30
30: ; preds = %10
%31 = fcmp ogt float %26, 0.000000e+00
%32 = fcmp olt float %26, %3
%33 = and i1 %31, %32
br i1 %33, label %34, label %36
34: ; preds = %30, %10
%35 = phi float [ %25, %10 ], [ %26, %30 ]
store float %35, float* %4
br label %36
36: ; preds = %34, %30, %5
%37 = phi i32 [ 0, %5 ], [ 0, %30 ], [ 1, %34 ]
ret i32 %37
}