void separation_point_U(double *x_loc, double dx, double dy, int il, int imax,
                        double **U, double **V) {
  int i;
  for (i = imax - 1; i > 1; i--) {
    if (U[i][1] < 0) {
      *x_loc = (il + i) * dx;
      break;
    }
  }
}


x86 assembly (clang, -O0):
<separation_point_U>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
movsd  %xmm0,-0x10(%rbp)
movsd  %xmm1,-0x18(%rbp)
mov    %esi,-0x1c(%rbp)
mov    %edx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
mov    %r8,-0x30(%rbp)
mov    -0x20(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x34(%rbp)
cmpl   $0x1,-0x34(%rbp)
jle    117c <separation_point_U+0x7c>
mov    -0x28(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
xorps  %xmm0,%xmm0
ucomisd 0x8(%rax),%xmm0
jbe    1169 <separation_point_U+0x69>
mov    -0x1c(%rbp),%eax
add    -0x34(%rbp),%eax
cvtsi2sd %eax,%xmm0
mulsd  -0x10(%rbp),%xmm0
mov    -0x8(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    117c <separation_point_U+0x7c>
jmp    116e <separation_point_U+0x6e>
mov    -0x34(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x34(%rbp)
jmp    1129 <separation_point_U+0x29>
pop    %rbp
ret

x86 assembly (clang, -O2):
<separation_point_U>:
lea    -0x1(%rdx),%eax
lea    (%rcx,%rax,8),%rax
xorpd  %xmm1,%xmm1
nopl   0x0(%rax,%rax,1)
cmp    $0x3,%edx
jl     1137 <separation_point_U+0x37>
mov    (%rax),%rcx
add    $0xffffffff,%edx
add    $0xfffffffffffffff8,%rax
ucomisd 0x8(%rcx),%xmm1
jbe    1110 <separation_point_U+0x10>
add    %edx,%esi
xorps  %xmm1,%xmm1
cvtsi2sd %esi,%xmm1
mulsd  %xmm0,%xmm1
movsd  %xmm1,(%rdi)
ret

LLVM IR (-O0):
define void @separation_point_U(double* %0, double %1, double %2, i32 %3, i32 %4, double** %5, double** %6) {
%8 = alloca double*
%9 = alloca double
%10 = alloca double
%11 = alloca i32
%12 = alloca i32
%13 = alloca double**
%14 = alloca double**
%15 = alloca i32
store double* %0, double** %8
store double %1, double* %9
store double %2, double* %10
store i32 %3, i32* %11
store i32 %4, i32* %12
store double** %5, double*** %13
store double** %6, double*** %14
%16 = load i32, i32* %12
%17 = sub nsw i32 %16, 1
store i32 %17, i32* %15
br label %18
18: ; preds = %39, %7
%19 = load i32, i32* %15
%20 = icmp sgt i32 %19, 1
br i1 %20, label %21, label %42
21: ; preds = %18
%22 = load double**, double*** %13
%23 = load i32, i32* %15
%24 = sext i32 %23 to i64
%25 = getelementptr inbounds double*, double** %22, i64 %24
%26 = load double*, double** %25
%27 = getelementptr inbounds double, double* %26, i64 1
%28 = load double, double* %27
%29 = fcmp olt double %28, 0.000000e+00
br i1 %29, label %30, label %38
30: ; preds = %21
%31 = load i32, i32* %11
%32 = load i32, i32* %15
%33 = add nsw i32 %31, %32
%34 = sitofp i32 %33 to double
%35 = load double, double* %9
%36 = fmul double %34, %35
%37 = load double*, double** %8
store double %36, double* %37
br label %42
38: ; preds = %21
br label %39
39: ; preds = %38
%40 = load i32, i32* %15
%41 = add nsw i32 %40, -1
store i32 %41, i32* %15
br label %18
42: ; preds = %30, %18
ret void
}

LLVM IR (-O2):
define void @separation_point_U(double* nocapture writeonly %0, double %1, double %2, i32 %3, i32 %4, double** nocapture %5, double** nocapture readnone %6) {
%8 = zext i32 %4 to i64
br label %9
9: ; preds = %14, %7
%10 = phi i64 [ %11, %14 ], [ %8, %7 ]
%11 = add nsw i64 %10, -1
%12 = trunc i64 %10 to i32
%13 = icmp sgt i32 %12, 2
br i1 %13, label %14, label %26
14: ; preds = %9
%15 = and i64 %11, 4294967295
%16 = getelementptr inbounds double*, double** %5, i64 %15
%17 = load double*, double** %16
%18 = getelementptr inbounds double, double* %17, i64 1
%19 = load double, double* %18
%20 = fcmp olt double %19, 0.000000e+00
br i1 %20, label %21, label %9
21: ; preds = %14
%22 = trunc i64 %11 to i32
%23 = add nsw i32 %22, %3
%24 = sitofp i32 %23 to double
%25 = fmul double %24, %1
store double %25, double* %0
br label %26
26: ; preds = %9, %21
ret void
}