int Ternary_Search(int array[], int left, int right, int find) {
  if (right >= left) {
    int mid1 = left + (right - left) / 3;
    int mid2 = mid1 + (right - left) / 3;
    if (array[mid1] == find)
      return mid1;
    if (array[mid2] == find)
      return mid2;
    if (array[mid1] > find)
      return Ternary_Search(array, left, mid1 - 1, find);
    else if (array[mid2] < find)
      return Ternary_Search(array, mid2 + 1, right, find);
    else
      return Ternary_Search(array, mid1 + 1, mid2 - 1, find);
  }
  return -1;
}


x86 assembly (clang, -O0):
<Ternary_Search>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x14(%rbp),%eax
jl     122d <Ternary_Search+0x11d>
mov    -0x14(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x18(%rbp),%eax
sub    -0x14(%rbp),%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x2c(%rbp),%eax
add    %ecx,%eax
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x18(%rbp),%eax
sub    -0x14(%rbp),%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x28(%rbp),%eax
add    %ecx,%eax
mov    %eax,-0x24(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x1c(%rbp),%eax
jne    118c <Ternary_Search+0x7c>
mov    -0x20(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1234 <Ternary_Search+0x124>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x1c(%rbp),%eax
jne    11ab <Ternary_Search+0x9b>
mov    -0x24(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1234 <Ternary_Search+0x124>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x1c(%rbp),%eax
jle    11dc <Ternary_Search+0xcc>
mov    -0x10(%rbp),%rdi
mov    -0x14(%rbp),%esi
mov    -0x20(%rbp),%edx
sub    $0x1,%edx
mov    -0x1c(%rbp),%ecx
call   1030 <Ternary_Search@plt>
mov    %eax,-0x4(%rbp)
jmp    1234 <Ternary_Search+0x124>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x1c(%rbp),%eax
jge    120d <Ternary_Search+0xfd>
mov    -0x10(%rbp),%rdi
mov    -0x24(%rbp),%esi
add    $0x1,%esi
mov    -0x18(%rbp),%edx
mov    -0x1c(%rbp),%ecx
call   1030 <Ternary_Search@plt>
mov    %eax,-0x4(%rbp)
jmp    1234 <Ternary_Search+0x124>
mov    -0x10(%rbp),%rdi
mov    -0x20(%rbp),%esi
add    $0x1,%esi
mov    -0x24(%rbp),%edx
sub    $0x1,%edx
mov    -0x1c(%rbp),%ecx
call   1030 <Ternary_Search@plt>
mov    %eax,-0x4(%rbp)
jmp    1234 <Ternary_Search+0x124>
movl   $0xffffffff,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<Ternary_Search>:
push   %rbx
mov    $0xffffffff,%eax
cmp    %esi,%edx
jge    1110 <Ternary_Search+0x10>
pop    %rbx
ret
nopl   0x0(%rax)
mov    %edx,%r8d
sub    %esi,%r8d
movslq %r8d,%rbx
imul   $0x55555556,%rbx,%r9
mov    %r9,%rbx
shr    $0x3f,%rbx
shr    $0x20,%r9
add    %ebx,%r9d
lea    (%r9,%rsi,1),%r10d
movslq %r10d,%rbx
mov    (%rdi,%rbx,4),%r11d
cmp    %ecx,%r11d
je     1177 <Ternary_Search+0x77>
add    %r10d,%r9d
movslq %r9d,%rbx
mov    (%rdi,%rbx,4),%ebx
cmp    %ecx,%ebx
je     117c <Ternary_Search+0x7c>
cmp    %ecx,%r11d
jle    115f <Ternary_Search+0x5f>
add    $0xffffffff,%r10d
mov    %r10d,%edx
cmp    $0x2,%r8d
jg     1110 <Ternary_Search+0x10>
jmp    110a <Ternary_Search+0xa>
lea    -0x1(%r9),%esi
cmp    %ecx,%ebx
cmovl  %r9d,%r10d
cmovge %esi,%edx
lea    0x1(%r10),%esi
cmp    %r10d,%edx
jg     1110 <Ternary_Search+0x10>
jmp    110a <Ternary_Search+0xa>
mov    %r10d,%eax
pop    %rbx
ret
mov    %r9d,%eax
pop    %rbx
ret

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

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