double DEVpnjlim(vnew, vold, vt, vcrit, icheck)
double vnew;
double vold;
double vt;
double vcrit;
int *icheck;
{
  double arg;
  if ((vnew > vcrit) && (fabs(vnew - vold) > (vt + vt))) {
    if (vold > 0) {
      arg = 1 + (vnew - vold) / vt;
      if (arg > 0) {
        vnew = vold + vt * log(arg);
      } else {
        vnew = vcrit;
      }
    } else {
      vnew = vt * log(vnew / vt);
    }
    *icheck = 1;
  } else {
    *icheck = 0;
  }
  return (vnew);
}


x86 assembly (clang, -O0):
<DEVpnjlim>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
movsd  %xmm0,-0x8(%rbp)
movsd  %xmm1,-0x10(%rbp)
movsd  %xmm2,-0x18(%rbp)
movsd  %xmm3,-0x20(%rbp)
mov    %rdi,-0x28(%rbp)
movsd  -0x8(%rbp),%xmm0
ucomisd -0x20(%rbp),%xmm0
jbe    1232 <DEVpnjlim+0x122>
movsd  -0x8(%rbp),%xmm0
subsd  -0x10(%rbp),%xmm0
movaps 0xeaf(%rip),%xmm1
pand   %xmm1,%xmm0
movsd  -0x18(%rbp),%xmm1
addsd  -0x18(%rbp),%xmm1
ucomisd %xmm1,%xmm0
jbe    1232 <DEVpnjlim+0x122>
movsd  -0x10(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jbe    11f9 <DEVpnjlim+0xe9>
movsd  -0x8(%rbp),%xmm1
subsd  -0x10(%rbp),%xmm1
divsd  -0x18(%rbp),%xmm1
movsd  0xe7e(%rip),%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x30(%rbp)
movsd  -0x30(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jbe    11ea <DEVpnjlim+0xda>
movsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x40(%rbp)
movsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x38(%rbp)
movsd  -0x30(%rbp),%xmm0
call   1030 <log@plt>
movsd  -0x40(%rbp),%xmm1
movaps %xmm0,%xmm2
movsd  -0x38(%rbp),%xmm0
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    11f4 <DEVpnjlim+0xe4>
movsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1223 <DEVpnjlim+0x113>
movsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x48(%rbp)
movsd  -0x8(%rbp),%xmm0
divsd  -0x18(%rbp),%xmm0
call   1030 <log@plt>
movaps %xmm0,%xmm1
movsd  -0x48(%rbp),%xmm0
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0x8(%rbp)
mov    -0x28(%rbp),%rax
movl   $0x1,(%rax)
jmp    123c <DEVpnjlim+0x12c>
mov    -0x28(%rbp),%rax
movl   $0x0,(%rax)
movsd  -0x8(%rbp),%xmm0
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<DEVpnjlim>:
push   %rbp
push   %rbx
sub    $0x18,%rsp
mov    %rdi,%rbx
xor    %ebp,%ebp
ucomisd %xmm3,%xmm0
jbe    11b3 <DEVpnjlim+0xa3>
movapd %xmm0,%xmm6
subsd  %xmm1,%xmm6
movapd 0xecb(%rip),%xmm5
andpd  %xmm6,%xmm5
movapd %xmm2,%xmm4
addsd  %xmm2,%xmm4
ucomisd %xmm4,%xmm5
jbe    11b3 <DEVpnjlim+0xa3>
xorpd  %xmm4,%xmm4
ucomisd %xmm4,%xmm1
jbe    1193 <DEVpnjlim+0x83>
divsd  %xmm2,%xmm6
addsd  0xeb3(%rip),%xmm6
mov    $0x1,%ebp
ucomisd %xmm4,%xmm6
jbe    11af <DEVpnjlim+0x9f>
movapd %xmm6,%xmm0
movsd  %xmm2,0x8(%rsp)
movsd  %xmm1,0x10(%rsp)
call   1030 <log@plt>
movsd  0x8(%rsp),%xmm1
mulsd  %xmm0,%xmm1
addsd  0x10(%rsp),%xmm1
movapd %xmm1,%xmm0
jmp    11b3 <DEVpnjlim+0xa3>
divsd  %xmm2,%xmm0
movsd  %xmm2,0x8(%rsp)
call   1030 <log@plt>
mulsd  0x8(%rsp),%xmm0
mov    $0x1,%ebp
jmp    11b3 <DEVpnjlim+0xa3>
movapd %xmm3,%xmm0
mov    %ebp,(%rbx)
add    $0x18,%rsp
pop    %rbx
pop    %rbp
ret

LLVM IR (-O0):
define double @DEVpnjlim(double %0, double %1, double %2, double %3, i32* %4) {
%6 = alloca double
%7 = alloca double
%8 = alloca double
%9 = alloca double
%10 = alloca i32*
%11 = alloca double
store double %0, double* %6
store double %1, double* %7
store double %2, double* %8
store double %3, double* %9
store i32* %4, i32** %10
%12 = load double, double* %6
%13 = load double, double* %9
%14 = fcmp ogt double %12, %13
br i1 %14, label %15, label %54
15: ; preds = %5
%16 = load double, double* %6
%17 = load double, double* %7
%18 = fsub double %16, %17
%19 = call double @llvm.fabs.f64(double %18)
%20 = load double, double* %8
%21 = load double, double* %8
%22 = fadd double %20, %21
%23 = fcmp ogt double %19, %22
br i1 %23, label %24, label %54
24: ; preds = %15
%25 = load double, double* %7
%26 = fcmp ogt double %25, 0.000000e+00
br i1 %26, label %27, label %45
27: ; preds = %24
%28 = load double, double* %6
%29 = load double, double* %7
%30 = fsub double %28, %29
%31 = load double, double* %8
%32 = fdiv double %30, %31
%33 = fadd double 1.000000e+00, %32
store double %33, double* %11
%34 = load double, double* %11
%35 = fcmp ogt double %34, 0.000000e+00
br i1 %35, label %36, label %42
36: ; preds = %27
%37 = load double, double* %7
%38 = load double, double* %8
%39 = load double, double* %11
%40 = call double @log(double %39)
%41 = call double @llvm.fmuladd.f64(double %38, double %40, double %37)
store double %41, double* %6
br label %44
42: ; preds = %27
%43 = load double, double* %9
store double %43, double* %6
br label %44
44: ; preds = %42, %36
br label %52
45: ; preds = %24
%46 = load double, double* %8
%47 = load double, double* %6
%48 = load double, double* %8
%49 = fdiv double %47, %48
%50 = call double @log(double %49)
%51 = fmul double %46, %50
store double %51, double* %6
br label %52
52: ; preds = %45, %44
%53 = load i32*, i32** %10
store i32 1, i32* %53
br label %56
54: ; preds = %15, %5
%55 = load i32*, i32** %10
store i32 0, i32* %55
br label %56
56: ; preds = %54, %52
%57 = load double, double* %6
ret double %57
}

LLVM IR (-O2):
define double @DEVpnjlim(double %0, double %1, double %2, double %3, i32* nocapture writeonly %4) {
%6 = fcmp ogt double %0, %3
br i1 %6, label %7, label %25
7: ; preds = %5
%8 = fsub double %0, %1
%9 = tail call double @llvm.fabs.f64(double %8)
%10 = fadd double %2, %2
%11 = fcmp ogt double %9, %10
br i1 %11, label %12, label %25
12: ; preds = %7
%13 = fcmp ogt double %1, 0.000000e+00
br i1 %13, label %14, label %21
14: ; preds = %12
%15 = fdiv double %8, %2
%16 = fadd double %15, 1.000000e+00
%17 = fcmp ogt double %16, 0.000000e+00
br i1 %17, label %18, label %25
18: ; preds = %14
%19 = tail call double @log(double %16)
%20 = tail call double @llvm.fmuladd.f64(double %2, double %19, double %1)
br label %25
21: ; preds = %12
%22 = fdiv double %0, %2
%23 = tail call double @log(double %22)
%24 = fmul double %23, %2
br label %25
25: ; preds = %5, %7, %21, %18, %14
%26 = phi i32 [ 1, %14 ], [ 1, %18 ], [ 1, %21 ], [ 0, %7 ], [ 0, %5 ]
%27 = phi double [ %3, %14 ], [ %20, %18 ], [ %24, %21 ], [ %0, %7 ], [ %0, %5 ]
store i32 %26, i32* %4
ret double %27
}