float check_value(float from, float to, float value) {
  if (from == to)
    value = from;
  if (from < to) {
    if (value < from)
      value = from;
    if (value > to)
      value = to;
  }
  if (from > to) {
    if (value > from)
      value = from;
    if (value < to)
      value = to;
  }
  return value;
}


x86 assembly (clang, -O0):
<check_value>:
push   %rbp
mov    %rsp,%rbp
movss  %xmm0,-0x4(%rbp)
movss  %xmm1,-0x8(%rbp)
movss  %xmm2,-0xc(%rbp)
movss  -0x4(%rbp),%xmm0
ucomiss -0x8(%rbp),%xmm0
jne    1132 <check_value+0x32>
jp     1132 <check_value+0x32>
movss  -0x4(%rbp),%xmm0
movss  %xmm0,-0xc(%rbp)
movss  -0x4(%rbp),%xmm1
movss  -0x8(%rbp),%xmm0
ucomiss %xmm1,%xmm0
jbe    1180 <check_value+0x80>
movss  -0xc(%rbp),%xmm1
movss  -0x4(%rbp),%xmm0
ucomiss %xmm1,%xmm0
jbe    1162 <check_value+0x62>
movss  -0x4(%rbp),%xmm0
movss  %xmm0,-0xc(%rbp)
movss  -0xc(%rbp),%xmm0
ucomiss -0x8(%rbp),%xmm0
jbe    117b <check_value+0x7b>
movss  -0x8(%rbp),%xmm0
movss  %xmm0,-0xc(%rbp)
jmp    1180 <check_value+0x80>
movss  -0x4(%rbp),%xmm0
ucomiss -0x8(%rbp),%xmm0
jbe    11ca <check_value+0xca>
movss  -0xc(%rbp),%xmm0
ucomiss -0x4(%rbp),%xmm0
jbe    11a8 <check_value+0xa8>
movss  -0x4(%rbp),%xmm0
movss  %xmm0,-0xc(%rbp)
movss  -0xc(%rbp),%xmm1
movss  -0x8(%rbp),%xmm0
ucomiss %xmm1,%xmm0
jbe    11c5 <check_value+0xc5>
movss  -0x8(%rbp),%xmm0
movss  %xmm0,-0xc(%rbp)
jmp    11ca <check_value+0xca>
movss  -0xc(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<check_value>:
movaps %xmm0,%xmm3
cmpeqss %xmm1,%xmm3
movaps %xmm3,%xmm4
andps  %xmm0,%xmm4
andnps %xmm2,%xmm3
orps   %xmm4,%xmm3
ucomiss %xmm0,%xmm1
movaps %xmm3,%xmm2
jbe    112b <check_value+0x2b>
movaps %xmm0,%xmm2
maxss  %xmm3,%xmm2
ucomiss %xmm1,%xmm2
jbe    112b <check_value+0x2b>
movaps %xmm1,%xmm2
ucomiss %xmm1,%xmm0
jbe    113f <check_value+0x3f>
minss  %xmm2,%xmm0
ucomiss %xmm0,%xmm1
movaps %xmm0,%xmm2
jbe    113f <check_value+0x3f>
movaps %xmm1,%xmm2
movaps %xmm2,%xmm0
ret

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

LLVM IR (-O2):
define float @check_value(float %0, float %1, float %2) {
%4 = fcmp oeq float %0, %1
%5 = select i1 %4, float %0, float %2
%6 = fcmp olt float %0, %1
br i1 %6, label %7, label %12
7: ; preds = %3
%8 = fcmp olt float %5, %0
%9 = select i1 %8, float %0, float %5
%10 = fcmp ogt float %9, %1
br i1 %10, label %11, label %12
11: ; preds = %7
br label %12
12: ; preds = %7, %11, %3
%13 = phi float [ %1, %11 ], [ %9, %7 ], [ %5, %3 ]
%14 = fcmp ogt float %0, %1
br i1 %14, label %15, label %20
15: ; preds = %12
%16 = fcmp ogt float %13, %0
%17 = select i1 %16, float %0, float %13
%18 = fcmp olt float %17, %1
br i1 %18, label %19, label %20
19: ; preds = %15
br label %20
20: ; preds = %15, %19, %12
%21 = phi float [ %1, %19 ], [ %17, %15 ], [ %13, %12 ]
ret float %21
}