int interpolationSearch(int A[], int n, int data) {
  int low = 0, mid, high = n - 1;
  while (low <= high) {
    mid = low + (((data - A[low]) * (high - low)) / (A[high] - A[low]));
    if (data == A[mid])
      return mid + 1;
    if (data < A[mid])
      high = mid - 1;
    else
      low = mid + 1;
  }
  return -1;
}


x86 assembly (clang, -O0):
<interpolationSearch>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x24(%rbp),%eax
jg     11bc <interpolationSearch+0xbc>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x18(%rbp),%eax
mov    -0x10(%rbp),%rcx
movslq -0x1c(%rbp),%rdx
sub    (%rcx,%rdx,4),%eax
mov    -0x24(%rbp),%ecx
sub    -0x1c(%rbp),%ecx
imul   %ecx,%eax
mov    -0x10(%rbp),%rcx
movslq -0x24(%rbp),%rdx
mov    (%rcx,%rdx,4),%ecx
mov    -0x10(%rbp),%rdx
movslq -0x1c(%rbp),%rsi
sub    (%rdx,%rsi,4),%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x28(%rbp),%eax
add    %ecx,%eax
mov    %eax,-0x20(%rbp)
mov    -0x18(%rbp),%eax
mov    -0x10(%rbp),%rcx
movslq -0x20(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jne    118c <interpolationSearch+0x8c>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
jmp    11c3 <interpolationSearch+0xc3>
mov    -0x18(%rbp),%eax
mov    -0x10(%rbp),%rcx
movslq -0x20(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jge    11ae <interpolationSearch+0xae>
mov    -0x20(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    11b7 <interpolationSearch+0xb7>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    111e <interpolationSearch+0x1e>
movl   $0xffffffff,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<interpolationSearch>:
push   %rbx
mov    $0xffffffff,%r8d
test   %esi,%esi
jle    116c <interpolationSearch+0x6c>
mov    %edx,%r9d
add    $0xffffffff,%esi
xor    %r10d,%r10d
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movslq %r10d,%rcx
mov    (%rdi,%rcx,4),%r11d
mov    %r9d,%edx
sub    %r11d,%edx
mov    %esi,%eax
sub    %ecx,%eax
imul   %edx,%eax
movslq %esi,%rdx
mov    (%rdi,%rdx,4),%ebx
sub    %r11d,%ebx
cltd
idiv   %ebx
add    %ecx,%eax
movslq %eax,%rcx
mov    (%rdi,%rcx,4),%edx
cmp    %r9d,%edx
je     1166 <interpolationSearch+0x66>
lea    -0x1(%rax),%ecx
add    $0x1,%eax
cmp    %r9d,%edx
cmovg  %r10d,%eax
cmovg  %ecx,%esi
mov    %eax,%r10d
cmp    %eax,%esi
jge    1120 <interpolationSearch+0x20>
jmp    116c <interpolationSearch+0x6c>
add    $0x1,%eax
mov    %eax,%r8d
mov    %r8d,%eax
pop    %rbx
ret

LLVM IR (-O0):
define i32 @interpolationSearch(i32* %0, i32 %1, i32 %2) {
%4 = alloca i32
%5 = alloca i32*
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
store i32* %0, i32** %5
store i32 %1, i32* %6
store i32 %2, i32* %7
store i32 0, i32* %8
%11 = load i32, i32* %6
%12 = sub nsw i32 %11, 1
store i32 %12, i32* %10
br label %13
13: ; preds = %67, %3
%14 = load i32, i32* %8
%15 = load i32, i32* %10
%16 = icmp sle i32 %14, %15
br i1 %16, label %17, label %68
17: ; preds = %13
%18 = load i32, i32* %8
%19 = load i32, i32* %7
%20 = load i32*, i32** %5
%21 = load i32, i32* %8
%22 = sext i32 %21 to i64
%23 = getelementptr inbounds i32, i32* %20, i64 %22
%24 = load i32, i32* %23
%25 = sub nsw i32 %19, %24
%26 = load i32, i32* %10
%27 = load i32, i32* %8
%28 = sub nsw i32 %26, %27
%29 = mul nsw i32 %25, %28
%30 = load i32*, i32** %5
%31 = load i32, i32* %10
%32 = sext i32 %31 to i64
%33 = getelementptr inbounds i32, i32* %30, i64 %32
%34 = load i32, i32* %33
%35 = load i32*, i32** %5
%36 = load i32, i32* %8
%37 = sext i32 %36 to i64
%38 = getelementptr inbounds i32, i32* %35, i64 %37
%39 = load i32, i32* %38
%40 = sub nsw i32 %34, %39
%41 = sdiv i32 %29, %40
%42 = add nsw i32 %18, %41
store i32 %42, i32* %9
%43 = load i32, i32* %7
%44 = load i32*, i32** %5
%45 = load i32, i32* %9
%46 = sext i32 %45 to i64
%47 = getelementptr inbounds i32, i32* %44, i64 %46
%48 = load i32, i32* %47
%49 = icmp eq i32 %43, %48
br i1 %49, label %50, label %53
50: ; preds = %17
%51 = load i32, i32* %9
%52 = add nsw i32 %51, 1
store i32 %52, i32* %4
br label %69
53: ; preds = %17
%54 = load i32, i32* %7
%55 = load i32*, i32** %5
%56 = load i32, i32* %9
%57 = sext i32 %56 to i64
%58 = getelementptr inbounds i32, i32* %55, i64 %57
%59 = load i32, i32* %58
%60 = icmp slt i32 %54, %59
br i1 %60, label %61, label %64
61: ; preds = %53
%62 = load i32, i32* %9
%63 = sub nsw i32 %62, 1
store i32 %63, i32* %10
br label %67
64: ; preds = %53
%65 = load i32, i32* %9
%66 = add nsw i32 %65, 1
store i32 %66, i32* %8
br label %67
67: ; preds = %64, %61
br label %13
68: ; preds = %13
store i32 -1, i32* %4
br label %69
69: ; preds = %68, %50
%70 = load i32, i32* %4
ret i32 %70
}

LLVM IR (-O2):
define i32 @interpolationSearch(i32* nocapture %0, i32 %1, i32 %2) {
%4 = icmp slt i32 %1, 1
br i1 %4, label %35, label %5
5: ; preds = %3
%6 = add nsw i32 %1, -1
br label %7
7: ; preds = %5, %28
%8 = phi i32 [ %33, %28 ], [ %6, %5 ]
%9 = phi i32 [ %32, %28 ], [ 0, %5 ]
%10 = sext i32 %9 to i64
%11 = getelementptr inbounds i32, i32* %0, i64 %10
%12 = load i32, i32* %11
%13 = sub nsw i32 %2, %12
%14 = sub nsw i32 %8, %9
%15 = mul nsw i32 %13, %14
%16 = sext i32 %8 to i64
%17 = getelementptr inbounds i32, i32* %0, i64 %16
%18 = load i32, i32* %17
%19 = sub nsw i32 %18, %12
%20 = sdiv i32 %15, %19
%21 = add nsw i32 %20, %9
%22 = sext i32 %21 to i64
%23 = getelementptr inbounds i32, i32* %0, i64 %22
%24 = load i32, i32* %23
%25 = icmp eq i32 %24, %2
br i1 %25, label %26, label %28
26: ; preds = %7
%27 = add nsw i32 %21, 1
br label %35
28: ; preds = %7
%29 = icmp sgt i32 %24, %2
%30 = add nsw i32 %21, -1
%31 = add nsw i32 %21, 1
%32 = select i1 %29, i32 %9, i32 %31
%33 = select i1 %29, i32 %30, i32 %8
%34 = icmp slt i32 %33, %32
br i1 %34, label %35, label %7
35: ; preds = %28, %3, %26
%36 = phi i32 [ %27, %26 ], [ -1, %3 ], [ -1, %28 ]
ret i32 %36
}