#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
int /*<<< orphan*/ swap(int *, int *);
int hoare_partition(register int a[], register int left, register int right) {
  register int pivot = left;
  while (left < right) {
    if (*(a + left) < *(a + right)) {
      swap(a + pivot, a + left);
      pivot++;
    }
    left++;
  }
  swap((a + pivot), (a + right));
  return pivot;
}


x86 assembly (clang, -O0):
<hoare_partition>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    -0xc(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0xc(%rbp),%eax
cmp    -0x10(%rbp),%eax
jge    118a <hoare_partition+0x7a>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
movslq -0x10(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jge    117c <hoare_partition+0x6c>
mov    -0x8(%rbp),%rdi
movslq -0x14(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rdi
mov    -0x8(%rbp),%rsi
movslq -0xc(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rsi
call   1030 <swap@plt>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1128 <hoare_partition+0x18>
mov    -0x8(%rbp),%rdi
movslq -0x14(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rdi
mov    -0x8(%rbp),%rsi
movslq -0x10(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rsi
call   1030 <swap@plt>
mov    -0x14(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<hoare_partition>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
mov    %esi,%r15d
mov    %rdi,%r14
movslq %edx,%r12
cmp    %edx,%esi
jge    1166 <hoare_partition+0x56>
mov    %edx,%ebp
movslq %r15d,%rax
lea    (%r14,%rax,4),%rbx
sub    %r15d,%ebp
jmp    1149 <hoare_partition+0x39>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
add    $0x4,%rbx
add    $0xffffffff,%ebp
je     1166 <hoare_partition+0x56>
mov    (%rbx),%eax
cmp    (%r14,%r12,4),%eax
jge    1140 <hoare_partition+0x30>
movslq %r15d,%r15
lea    (%r14,%r15,4),%rdi
mov    %rbx,%rsi
call   1030 <swap@plt>
add    $0x1,%r15d
jmp    1140 <hoare_partition+0x30>
movslq %r15d,%rbx
lea    (%r14,%rbx,4),%rdi
lea    (%r14,%r12,4),%rsi
call   1030 <swap@plt>
mov    %ebx,%eax
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @hoare_partition(i32* %0, i32 %1, i32 %2) {
%4 = alloca i32*
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
store i32* %0, i32** %4
store i32 %1, i32* %5
store i32 %2, i32* %6
%8 = load i32, i32* %5
store i32 %8, i32* %7
br label %9
9: ; preds = %37, %3
%10 = load i32, i32* %5
%11 = load i32, i32* %6
%12 = icmp slt i32 %10, %11
br i1 %12, label %13, label %40
13: ; preds = %9
%14 = load i32*, i32** %4
%15 = load i32, i32* %5
%16 = sext i32 %15 to i64
%17 = getelementptr inbounds i32, i32* %14, i64 %16
%18 = load i32, i32* %17
%19 = load i32*, i32** %4
%20 = load i32, i32* %6
%21 = sext i32 %20 to i64
%22 = getelementptr inbounds i32, i32* %19, i64 %21
%23 = load i32, i32* %22
%24 = icmp slt i32 %18, %23
br i1 %24, label %25, label %37
25: ; preds = %13
%26 = load i32*, i32** %4
%27 = load i32, i32* %7
%28 = sext i32 %27 to i64
%29 = getelementptr inbounds i32, i32* %26, i64 %28
%30 = load i32*, i32** %4
%31 = load i32, i32* %5
%32 = sext i32 %31 to i64
%33 = getelementptr inbounds i32, i32* %30, i64 %32
%34 = call i32 @swap(i32* %29, i32* %33)
%35 = load i32, i32* %7
%36 = add nsw i32 %35, 1
store i32 %36, i32* %7
br label %37
37: ; preds = %25, %13
%38 = load i32, i32* %5
%39 = add nsw i32 %38, 1
store i32 %39, i32* %5
br label %9
40: ; preds = %9
%41 = load i32*, i32** %4
%42 = load i32, i32* %7
%43 = sext i32 %42 to i64
%44 = getelementptr inbounds i32, i32* %41, i64 %43
%45 = load i32*, i32** %4
%46 = load i32, i32* %6
%47 = sext i32 %46 to i64
%48 = getelementptr inbounds i32, i32* %45, i64 %47
%49 = call i32 @swap(i32* %44, i32* %48)
%50 = load i32, i32* %7
ret i32 %50
}

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