void individualise(int *lab, int *ptn, int level, int v, int *pos,
                   int *numcells, int n) {
  int i, j;
  for (i = 0; i < n; ++i)
    if (lab[i] == v)
      break;
  for (j = i; j > 0 && ptn[j - 1] > level; --j) {
  };
  *pos = j;
  if (ptn[j] <= level)
    return;
  lab[i] = lab[j];
  lab[j] = v;
  ptn[j] = level;
  ++*numcells;
}


x86 assembly (clang, -O0):
<individualise>:
push   %rbp
mov    %rsp,%rbp
mov    0x10(%rbp),%eax
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %ecx,-0x18(%rbp)
mov    %r8,-0x20(%rbp)
mov    %r9,-0x28(%rbp)
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    0x10(%rbp),%eax
jge    115c <individualise+0x5c>
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x18(%rbp),%eax
jne    1149 <individualise+0x49>
jmp    115c <individualise+0x5c>
jmp    114e <individualise+0x4e>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1124 <individualise+0x24>
mov    -0x2c(%rbp),%eax
mov    %eax,-0x30(%rbp)
xor    %eax,%eax
cmpl   $0x0,-0x30(%rbp)
mov    %al,-0x31(%rbp)
jle    118a <individualise+0x8a>
mov    -0x10(%rbp),%rax
mov    -0x30(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
setg   %al
mov    %al,-0x31(%rbp)
mov    -0x31(%rbp),%al
test   $0x1,%al
jne    119a <individualise+0x9a>
jmp    11ad <individualise+0xad>
jmp    119f <individualise+0x9f>
mov    -0x30(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x30(%rbp)
jmp    1162 <individualise+0x62>
mov    -0x30(%rbp),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x10(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
jg     11cf <individualise+0xcf>
jmp    120c <individualise+0x10c>
mov    -0x8(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x18(%rbp),%edx
mov    -0x8(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x14(%rbp),%edx
mov    -0x10(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x28(%rbp),%rax
mov    (%rax),%ecx
add    $0x1,%ecx
mov    %ecx,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<individualise>:
push   %rbx
mov    0x10(%rsp),%r10d
xor    %r11d,%r11d
mov    $0x0,%eax
test   %r10d,%r10d
jle    1131 <individualise+0x31>
mov    %r10d,%ebx
xor    %eax,%eax
nopl   0x0(%rax,%rax,1)
cmp    %ecx,(%rdi,%rax,4)
je     1131 <individualise+0x31>
add    $0x1,%rax
cmp    %rax,%rbx
jne    1120 <individualise+0x20>
mov    %r10d,%eax
mov    %eax,%r10d
test   %eax,%eax
cmovs  %eax,%r11d
mov    %r10,%rax
nopl   (%rax)
test   %eax,%eax
jle    1157 <individualise+0x57>
lea    -0x1(%rax),%rbx
cmp    %edx,-0x4(%rsi,%rax,4)
mov    %rbx,%rax
jg     1140 <individualise+0x40>
add    $0x1,%ebx
mov    %ebx,%r11d
mov    %r11d,(%r8)
movslq %r11d,%rax
cmp    %edx,(%rsi,%rax,4)
jle    1173 <individualise+0x73>
mov    (%rdi,%rax,4),%ebx
mov    %ebx,(%rdi,%r10,4)
mov    %ecx,(%rdi,%rax,4)
mov    %edx,(%rsi,%rax,4)
addl   $0x1,(%r9)
pop    %rbx
ret

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

LLVM IR (-O2):
define void @individualise(i32* nocapture %0, i32* nocapture %1, i32 %2, i32 %3, i32* nocapture writeonly %4, i32* nocapture %5, i32 %6) {
%8 = icmp sgt i32 %6, 0
br i1 %8, label %9, label %21
9: ; preds = %7
%10 = zext i32 %6 to i64
br label %11
11: ; preds = %9, %16
%12 = phi i64 [ 0, %9 ], [ %17, %16 ]
%13 = getelementptr inbounds i32, i32* %0, i64 %12
%14 = load i32, i32* %13
%15 = icmp eq i32 %14, %3
br i1 %15, label %19, label %16
16: ; preds = %11
%17 = add nuw nsw i64 %12, 1
%18 = icmp eq i64 %17, %10
br i1 %18, label %21, label %11
19: ; preds = %11
%20 = trunc i64 %12 to i32
br label %21
21: ; preds = %16, %19, %7
%22 = phi i32 [ 0, %7 ], [ %20, %19 ], [ %6, %16 ]
%23 = zext i32 %22 to i64
%24 = call i32 @llvm.smin.i32(i32 %22, i32 0)
br label %25
25: ; preds = %29, %21
%26 = phi i64 [ %30, %29 ], [ %23, %21 ]
%27 = trunc i64 %26 to i32
%28 = icmp sgt i32 %27, 0
br i1 %28, label %29, label %36
29: ; preds = %25
%30 = add nsw i64 %26, -1
%31 = getelementptr inbounds i32, i32* %1, i64 %30
%32 = load i32, i32* %31
%33 = icmp sgt i32 %32, %2
br i1 %33, label %25, label %34
34: ; preds = %29
%35 = trunc i64 %26 to i32
br label %36
36: ; preds = %25, %34
%37 = phi i32 [ %35, %34 ], [ %24, %25 ]
store i32 %37, i32* %4
%38 = sext i32 %37 to i64
%39 = getelementptr inbounds i32, i32* %1, i64 %38
%40 = load i32, i32* %39
%41 = icmp sgt i32 %40, %2
br i1 %41, label %42, label %48
42: ; preds = %36
%43 = getelementptr inbounds i32, i32* %0, i64 %38
%44 = load i32, i32* %43
%45 = getelementptr inbounds i32, i32* %0, i64 %23
store i32 %44, i32* %45
store i32 %3, i32* %43
store i32 %2, i32* %39
%46 = load i32, i32* %5
%47 = add nsw i32 %46, 1
store i32 %47, i32* %5
br label %48
48: ; preds = %36, %42
ret void
}