double DEVfetlim(vnew, vold, vto)
double vnew;
double vold;
double vto;
{
  double vtsthi;
  double vtstlo;
  double vtox;
  double delv;
  double vtemp;
  vtsthi = fabs(2 * (vold - vto)) + 2;
  vtstlo = vtsthi / 2 + 2;
  vtox = vto + 3.5;
  delv = vnew - vold;
  if (vold >= vto) {
    if (vold >= vtox) {
      if (delv <= 0) {
        if (vnew >= vtox) {
          if (-delv > vtstlo) {
            vnew = vold - vtstlo;
          }
        } else {
          vnew = ((vnew) > (vto + 2) ? (vnew) : (vto + 2));
        }
      } else {
        if (delv >= vtsthi) {
          vnew = vold + vtsthi;
        }
      }
    } else {
      if (delv <= 0) {
        vnew = ((vnew) > (vto - .5) ? (vnew) : (vto - .5));
      } else {
        vnew = ((vnew) < (vto + 4) ? (vnew) : (vto + 4));
      }
    }
  } else {
    if (delv <= 0) {
      if (-delv > vtsthi) {
        vnew = vold - vtsthi;
      }
    } else {
      vtemp = vto + .5;
      if (vnew <= vtemp) {
        if (delv > vtstlo) {
          vnew = vold + vtstlo;
        }
      } else {
        vnew = vtemp;
      }
    }
  }
  return (vnew);
}


x86 assembly (clang, -O0):
<DEVfetlim>:
push   %rbp
mov    %rsp,%rbp
movsd  %xmm0,-0x8(%rbp)
movsd  %xmm1,-0x10(%rbp)
movsd  %xmm2,-0x18(%rbp)
movsd  -0x10(%rbp),%xmm1
subsd  -0x18(%rbp),%xmm1
movsd  0xee3(%rip),%xmm0
mulsd  %xmm1,%xmm0
movaps 0xef0(%rip),%xmm1
pand   %xmm1,%xmm0
movsd  0xecc(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x20(%rbp)
movsd  -0x20(%rbp),%xmm0
movsd  0xeb6(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  0xeaa(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  0xe91(%rip),%xmm0
addsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x30(%rbp)
movsd  -0x8(%rbp),%xmm0
subsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x38(%rbp)
movsd  -0x10(%rbp),%xmm0
ucomisd -0x18(%rbp),%xmm0
jb     1329 <DEVfetlim+0x229>
movsd  -0x10(%rbp),%xmm0
ucomisd -0x30(%rbp),%xmm0
jb     1276 <DEVfetlim+0x176>
xorps  %xmm0,%xmm0
ucomisd -0x38(%rbp),%xmm0
jb     124d <DEVfetlim+0x14d>
movsd  -0x8(%rbp),%xmm0
ucomisd -0x30(%rbp),%xmm0
jb     1201 <DEVfetlim+0x101>
movsd  -0x38(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
ucomisd -0x28(%rbp),%xmm0
jbe    11fc <DEVfetlim+0xfc>
movsd  -0x10(%rbp),%xmm0
subsd  -0x28(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1248 <DEVfetlim+0x148>
movsd  -0x8(%rbp),%xmm0
movsd  0xdfa(%rip),%xmm1
addsd  -0x18(%rbp),%xmm1
ucomisd %xmm1,%xmm0
jbe    122c <DEVfetlim+0x12c>
movsd  -0x8(%rbp),%xmm0
movsd  %xmm0,-0x48(%rbp)
jmp    123e <DEVfetlim+0x13e>
movsd  0xdd4(%rip),%xmm0
addsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x48(%rbp)
movsd  -0x48(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1271 <DEVfetlim+0x171>
movsd  -0x38(%rbp),%xmm0
ucomisd -0x20(%rbp),%xmm0
jb     126c <DEVfetlim+0x16c>
movsd  -0x10(%rbp),%xmm0
addsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1271 <DEVfetlim+0x171>
jmp    1324 <DEVfetlim+0x224>
xorps  %xmm0,%xmm0
ucomisd -0x38(%rbp),%xmm0
jb     12d8 <DEVfetlim+0x1d8>
movsd  -0x8(%rbp),%xmm0
movsd  -0x18(%rbp),%xmm1
movsd  0xd7a(%rip),%xmm2
subsd  %xmm2,%xmm1
ucomisd %xmm1,%xmm0
jbe    12b3 <DEVfetlim+0x1b3>
movsd  -0x8(%rbp),%xmm0
movsd  %xmm0,-0x50(%rbp)
jmp    12c9 <DEVfetlim+0x1c9>
movsd  -0x18(%rbp),%xmm0
movsd  0xd50(%rip),%xmm1
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x50(%rbp)
movsd  -0x50(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    131f <DEVfetlim+0x21f>
movsd  -0x8(%rbp),%xmm1
movsd  0xd33(%rip),%xmm0
addsd  -0x18(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    1303 <DEVfetlim+0x203>
movsd  -0x8(%rbp),%xmm0
movsd  %xmm0,-0x58(%rbp)
jmp    1315 <DEVfetlim+0x215>
movsd  0xd0d(%rip),%xmm0
addsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x58(%rbp)
movsd  -0x58(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1324 <DEVfetlim+0x224>
jmp    13d0 <DEVfetlim+0x2d0>
xorps  %xmm0,%xmm0
ucomisd -0x38(%rbp),%xmm0
jb     1372 <DEVfetlim+0x272>
movsd  -0x38(%rbp),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
ucomisd -0x20(%rbp),%xmm0
jbe    136d <DEVfetlim+0x26d>
movsd  -0x10(%rbp),%xmm0
subsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    13cb <DEVfetlim+0x2cb>
movsd  0xc96(%rip),%xmm0
addsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x40(%rbp)
movsd  -0x8(%rbp),%xmm1
movsd  -0x40(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jb     13bc <DEVfetlim+0x2bc>
movsd  -0x38(%rbp),%xmm0
ucomisd -0x28(%rbp),%xmm0
jbe    13b7 <DEVfetlim+0x2b7>
movsd  -0x10(%rbp),%xmm0
addsd  -0x28(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    13c6 <DEVfetlim+0x2c6>
movsd  -0x40(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    13cb <DEVfetlim+0x2cb>
jmp    13d0 <DEVfetlim+0x2d0>
movsd  -0x8(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<DEVfetlim>:
movapd %xmm1,%xmm4
subsd  %xmm2,%xmm4
addsd  %xmm4,%xmm4
andpd  0xeec(%rip),%xmm4
movsd  0xf04(%rip),%xmm5
addsd  %xmm5,%xmm4
movsd  0xf00(%rip),%xmm3
mulsd  %xmm4,%xmm3
addsd  %xmm5,%xmm3
movapd %xmm0,%xmm5
subsd  %xmm1,%xmm5
ucomisd %xmm2,%xmm1
jae    1175 <DEVfetlim+0x75>
xorpd  %xmm6,%xmm6
ucomisd %xmm5,%xmm6
jae    119e <DEVfetlim+0x9e>
addsd  0xed8(%rip),%xmm2
ucomisd %xmm0,%xmm2
jb     1211 <DEVfetlim+0x111>
ucomisd %xmm3,%xmm5
movapd %xmm0,%xmm2
jbe    1211 <DEVfetlim+0x111>
addsd  %xmm1,%xmm3
movapd %xmm3,%xmm2
jmp    1211 <DEVfetlim+0x111>
movsd  0xeb3(%rip),%xmm6
addsd  %xmm2,%xmm6
ucomisd %xmm6,%xmm1
jae    11b9 <DEVfetlim+0xb9>
xorpd  %xmm1,%xmm1
ucomisd %xmm5,%xmm1
jae    11d6 <DEVfetlim+0xd6>
addsd  0xea7(%rip),%xmm2
minsd  %xmm2,%xmm0
ret
xorpd  0xe6a(%rip),%xmm5
ucomisd %xmm4,%xmm5
movapd %xmm0,%xmm2
jbe    1211 <DEVfetlim+0x111>
subsd  %xmm4,%xmm1
movapd %xmm1,%xmm0
ret
xorpd  %xmm7,%xmm7
ucomisd %xmm5,%xmm7
jae    11e3 <DEVfetlim+0xe3>
ucomisd %xmm4,%xmm5
movapd %xmm0,%xmm2
jb     1211 <DEVfetlim+0x111>
addsd  %xmm1,%xmm4
movapd %xmm4,%xmm0
ret
addsd  0xe5a(%rip),%xmm2
maxsd  %xmm2,%xmm0
ret
ucomisd %xmm6,%xmm0
jae    11f6 <DEVfetlim+0xf6>
addsd  0xe2f(%rip),%xmm2
maxsd  %xmm2,%xmm0
ret
xorpd  0xe12(%rip),%xmm5
ucomisd %xmm3,%xmm5
movapd %xmm0,%xmm2
jbe    1211 <DEVfetlim+0x111>
subsd  %xmm3,%xmm1
movapd %xmm1,%xmm0
ret
movapd %xmm2,%xmm0
ret

LLVM IR (-O0):
define double @DEVfetlim(double %0, double %1, double %2) {
%4 = alloca double
%5 = alloca double
%6 = alloca double
%7 = alloca double
%8 = alloca double
%9 = alloca double
%10 = alloca double
%11 = alloca double
store double %0, double* %4
store double %1, double* %5
store double %2, double* %6
%12 = load double, double* %5
%13 = load double, double* %6
%14 = fsub double %12, %13
%15 = fmul double 2.000000e+00, %14
%16 = call double @llvm.fabs.f64(double %15)
%17 = fadd double %16, 2.000000e+00
store double %17, double* %7
%18 = load double, double* %7
%19 = fdiv double %18, 2.000000e+00
%20 = fadd double %19, 2.000000e+00
store double %20, double* %8
%21 = load double, double* %6
%22 = fadd double %21, 3.500000e+00
store double %22, double* %9
%23 = load double, double* %4
%24 = load double, double* %5
%25 = fsub double %23, %24
store double %25, double* %10
%26 = load double, double* %5
%27 = load double, double* %6
%28 = fcmp oge double %26, %27
br i1 %28, label %29, label %102
29: ; preds = %3
%30 = load double, double* %5
%31 = load double, double* %9
%32 = fcmp oge double %30, %31
br i1 %32, label %33, label %73
33: ; preds = %29
%34 = load double, double* %10
%35 = fcmp ole double %34, 0.000000e+00
br i1 %35, label %36, label %63
36: ; preds = %33
%37 = load double, double* %4
%38 = load double, double* %9
%39 = fcmp oge double %37, %38
br i1 %39, label %40, label %50
40: ; preds = %36
%41 = load double, double* %10
%42 = fneg double %41
%43 = load double, double* %8
%44 = fcmp ogt double %42, %43
br i1 %44, label %45, label %49
45: ; preds = %40
%46 = load double, double* %5
%47 = load double, double* %8
%48 = fsub double %46, %47
store double %48, double* %4
br label %49
49: ; preds = %45, %40
br label %62
50: ; preds = %36
%51 = load double, double* %4
%52 = load double, double* %6
%53 = fadd double %52, 2.000000e+00
%54 = fcmp ogt double %51, %53
br i1 %54, label %55, label %57
55: ; preds = %50
%56 = load double, double* %4
br label %60
57: ; preds = %50
%58 = load double, double* %6
%59 = fadd double %58, 2.000000e+00
br label %60
60: ; preds = %57, %55
%61 = phi double [ %56, %55 ], [ %59, %57 ]
store double %61, double* %4
br label %62
62: ; preds = %60, %49
br label %72
63: ; preds = %33
%64 = load double, double* %10
%65 = load double, double* %7
%66 = fcmp oge double %64, %65
br i1 %66, label %67, label %71
67: ; preds = %63
%68 = load double, double* %5
%69 = load double, double* %7
%70 = fadd double %68, %69
store double %70, double* %4
br label %71
71: ; preds = %67, %63
br label %72
72: ; preds = %71, %62
br label %101
73: ; preds = %29
%74 = load double, double* %10
%75 = fcmp ole double %74, 0.000000e+00
br i1 %75, label %76, label %88
76: ; preds = %73
%77 = load double, double* %4
%78 = load double, double* %6
%79 = fsub double %78, 5.000000e-01
%80 = fcmp ogt double %77, %79
br i1 %80, label %81, label %83
81: ; preds = %76
%82 = load double, double* %4
br label %86
83: ; preds = %76
%84 = load double, double* %6
%85 = fsub double %84, 5.000000e-01
br label %86
86: ; preds = %83, %81
%87 = phi double [ %82, %81 ], [ %85, %83 ]
store double %87, double* %4
br label %100
88: ; preds = %73
%89 = load double, double* %4
%90 = load double, double* %6
%91 = fadd double %90, 4.000000e+00
%92 = fcmp olt double %89, %91
br i1 %92, label %93, label %95
93: ; preds = %88
%94 = load double, double* %4
br label %98
95: ; preds = %88
%96 = load double, double* %6
%97 = fadd double %96, 4.000000e+00
br label %98
98: ; preds = %95, %93
%99 = phi double [ %94, %93 ], [ %97, %95 ]
store double %99, double* %4
br label %100
100: ; preds = %98, %86
br label %101
101: ; preds = %100, %72
br label %134
102: ; preds = %3
%103 = load double, double* %10
%104 = fcmp ole double %103, 0.000000e+00
br i1 %104, label %105, label %115
105: ; preds = %102
%106 = load double, double* %10
%107 = fneg double %106
%108 = load double, double* %7
%109 = fcmp ogt double %107, %108
br i1 %109, label %110, label %114
110: ; preds = %105
%111 = load double, double* %5
%112 = load double, double* %7
%113 = fsub double %111, %112
store double %113, double* %4
br label %114
114: ; preds = %110, %105
br label %133
115: ; preds = %102
%116 = load double, double* %6
%117 = fadd double %116, 5.000000e-01
store double %117, double* %11
%118 = load double, double* %4
%119 = load double, double* %11
%120 = fcmp ole double %118, %119
br i1 %120, label %121, label %130
121: ; preds = %115
%122 = load double, double* %10
%123 = load double, double* %8
%124 = fcmp ogt double %122, %123
br i1 %124, label %125, label %129
125: ; preds = %121
%126 = load double, double* %5
%127 = load double, double* %8
%128 = fadd double %126, %127
store double %128, double* %4
br label %129
129: ; preds = %125, %121
br label %132
130: ; preds = %115
%131 = load double, double* %11
store double %131, double* %4
br label %132
132: ; preds = %130, %129
br label %133
133: ; preds = %132, %114
br label %134
134: ; preds = %133, %101
%135 = load double, double* %4
ret double %135
}

LLVM IR (-O2):
define double @DEVfetlim(double %0, double %1, double %2) {
%4 = fsub double %1, %2
%5 = fmul double %4, 2.000000e+00
%6 = tail call double @llvm.fabs.f64(double %5)
%7 = fadd double %6, 2.000000e+00
%8 = fmul double %7, 5.000000e-01
%9 = fadd double %8, 2.000000e+00
%10 = fadd double %2, 3.500000e+00
%11 = fsub double %0, %1
%12 = fcmp ult double %1, %2
br i1 %12, label %41, label %13
13: ; preds = %3
%14 = fcmp ugt double %10, %1
%15 = fcmp ugt double %11, 0.000000e+00
br i1 %14, label %32, label %16
16: ; preds = %13
br i1 %15, label %28, label %17
17: ; preds = %16
%18 = fcmp ugt double %10, %0
br i1 %18, label %24, label %19
19: ; preds = %17
%20 = fneg double %11
%21 = fcmp olt double %9, %20
br i1 %21, label %22, label %55
22: ; preds = %19
%23 = fsub double %1, %9
br label %55
24: ; preds = %17
%25 = fadd double %2, 2.000000e+00
%26 = fcmp olt double %25, %0
%27 = select i1 %26, double %0, double %25
br label %55
28: ; preds = %16
%29 = fcmp ult double %11, %7
br i1 %29, label %55, label %30
30: ; preds = %28
%31 = fadd double %7, %1
br label %55
32: ; preds = %13
br i1 %15, label %37, label %33
33: ; preds = %32
%34 = fadd double %2, -5.000000e-01
%35 = fcmp olt double %34, %0
%36 = select i1 %35, double %0, double %34
br label %55
37: ; preds = %32
%38 = fadd double %2, 4.000000e+00
%39 = fcmp ogt double %38, %0
%40 = select i1 %39, double %0, double %38
br label %55
41: ; preds = %3
%42 = fcmp ugt double %11, 0.000000e+00
br i1 %42, label %48, label %43
43: ; preds = %41
%44 = fneg double %11
%45 = fcmp olt double %7, %44
br i1 %45, label %46, label %55
46: ; preds = %43
%47 = fsub double %1, %7
br label %55
48: ; preds = %41
%49 = fadd double %2, 5.000000e-01
%50 = fcmp ult double %49, %0
br i1 %50, label %55, label %51
51: ; preds = %48
%52 = fcmp ogt double %11, %9
br i1 %52, label %53, label %55
53: ; preds = %51
%54 = fadd double %9, %1
br label %55
55: ; preds = %48, %46, %43, %51, %53, %28, %30, %24, %22, %19, %37, %33
%56 = phi double [ %23, %22 ], [ %0, %19 ], [ %27, %24 ], [ %31, %30 ], [ %0, %28 ], [ %36, %33 ], [ %40, %37 ], [ %47, %46 ], [ %0, %43 ], [ %54, %53 ], [ %0, %51 ], [ %49, %48 ]
ret double %56
}