#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 */
void reorderArray_general(int *number, int length, int (*rule)(int)) {
  if (number == NULL || length <= 0 || rule == NULL) {
    return;
  }
  int *head = number, *tail = number + length - 1;
  while (head < tail) {
    while (rule(*head)) {
      ++head;
    }
    while (!(rule(*tail))) {
      --tail;
    }
    if (head < tail) {
      int tmp;
      tmp = *head;
      *head = *tail;
      *tail = tmp;
    }
  }
}


x86 assembly (clang, -O0):
<reorderArray_general>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
cmpq   $0x0,-0x8(%rbp)
je     1133 <reorderArray_general+0x33>
cmpl   $0x0,-0xc(%rbp)
jle    1133 <reorderArray_general+0x33>
cmpq   $0x0,-0x18(%rbp)
jne    1138 <reorderArray_general+0x38>
jmp    11f8 <reorderArray_general+0xf8>
mov    -0x8(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
add    $0xfffffffffffffffc,%rax
mov    %rax,-0x28(%rbp)
mov    -0x20(%rbp),%rax
cmp    -0x28(%rbp),%rax
jae    11f8 <reorderArray_general+0xf8>
jmp    116a <reorderArray_general+0x6a>
mov    -0x18(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    (%rcx),%edi
call   *%rax
cmp    $0x0,%eax
je     1190 <reorderArray_general+0x90>
mov    -0x20(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x20(%rbp)
jmp    116a <reorderArray_general+0x6a>
jmp    1195 <reorderArray_general+0x95>
mov    -0x18(%rbp),%rax
mov    -0x28(%rbp),%rcx
mov    (%rcx),%edi
call   *%rax
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
test   $0x1,%al
jne    11b6 <reorderArray_general+0xb6>
jmp    11c7 <reorderArray_general+0xc7>
mov    -0x28(%rbp),%rax
add    $0xfffffffffffffffc,%rax
mov    %rax,-0x28(%rbp)
jmp    1195 <reorderArray_general+0x95>
mov    -0x20(%rbp),%rax
cmp    -0x28(%rbp),%rax
jae    11f3 <reorderArray_general+0xf3>
mov    -0x20(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x28(%rbp),%rax
mov    (%rax),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x2c(%rbp),%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,(%rax)
jmp    1157 <reorderArray_general+0x57>
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<reorderArray_general>:
push   %r15
push   %r14
push   %rbx
test   %rdi,%rdi
je     117f <reorderArray_general+0x7f>
test   %esi,%esi
jle    117f <reorderArray_general+0x7f>
mov    %rdx,%r14
test   %rdx,%rdx
je     117f <reorderArray_general+0x7f>
mov    %rdi,%r15
mov    %esi,%eax
lea    (%rdi,%rax,4),%rbx
add    $0xfffffffffffffffc,%rbx
cmp    %rdi,%rbx
jbe    117f <reorderArray_general+0x7f>
nopl   0x0(%rax,%rax,1)
add    $0xfffffffffffffffc,%r15
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    0x4(%r15),%edi
add    $0x4,%r15
call   *%r14
test   %eax,%eax
jne    1140 <reorderArray_general+0x40>
add    $0x4,%rbx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    -0x4(%rbx),%edi
add    $0xfffffffffffffffc,%rbx
call   *%r14
test   %eax,%eax
je     1160 <reorderArray_general+0x60>
cmp    %rbx,%r15
jae    117f <reorderArray_general+0x7f>
mov    (%r15),%eax
mov    (%rbx),%ecx
mov    %ecx,(%r15)
mov    %eax,(%rbx)
jmp    1130 <reorderArray_general+0x30>
pop    %rbx
pop    %r14
pop    %r15
ret

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

LLVM IR (-O2):
define void @reorderArray_general(i32* %0, i32 %1, i32 (i32)* %2) {
%4 = icmp eq i32* %0, null
%5 = icmp slt i32 %1, 1
%6 = or i1 %4, %5
%7 = icmp eq i32 (i32)* %2, null
%8 = or i1 %6, %7
%9 = xor i1 %8, true
%10 = zext i32 %1 to i64
%11 = getelementptr inbounds i32, i32* %0, i64 %10
%12 = getelementptr inbounds i32, i32* %11, i64 -1
%13 = icmp ugt i32* %12, %0
%14 = select i1 %9, i1 %13, i1 false
br i1 %14, label %15, label %35
15: ; preds = %3, %32
%16 = phi i32* [ %19, %32 ], [ %0, %3 ]
%17 = phi i32* [ %25, %32 ], [ %12, %3 ]
br label %18
18: ; preds = %18, %15
%19 = phi i32* [ %23, %18 ], [ %16, %15 ]
%20 = load i32, i32* %19
%21 = tail call i32 %2(i32 %20)
%22 = icmp eq i32 %21, 0
%23 = getelementptr inbounds i32, i32* %19, i64 1
br i1 %22, label %24, label %18
24: ; preds = %18, %24
%25 = phi i32* [ %29, %24 ], [ %17, %18 ]
%26 = load i32, i32* %25
%27 = tail call i32 %2(i32 %26)
%28 = icmp eq i32 %27, 0
%29 = getelementptr inbounds i32, i32* %25, i64 -1
br i1 %28, label %24, label %30
30: ; preds = %24
%31 = icmp ult i32* %19, %25
br i1 %31, label %32, label %35
32: ; preds = %30
%33 = load i32, i32* %19
%34 = load i32, i32* %25
store i32 %34, i32* %19
store i32 %33, i32* %25
br label %15
35: ; preds = %30, %3
ret void
}