void fixit(int *lab, int *ptn, int *numcells, int fixedvertex, int n) {
  int i;
  for (i = 1; i < n; ++i) {
    lab[i] = i;
    ptn[i] = 1;
  }
  lab[0] = fixedvertex;
  lab[fixedvertex] = 0;
  ptn[0] = 0;
  ptn[n - 1] = 0;
  if (n == 1)
    *numcells = 1;
  else
    *numcells = 2;
}


x86 assembly (clang, -O0):
<fixit>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    %r8d,-0x20(%rbp)
movl   $0x1,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x20(%rbp),%eax
jge    1155 <fixit+0x55>
mov    -0x24(%rbp),%edx
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
movl   $0x1,(%rax,%rcx,4)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    111e <fixit+0x1e>
mov    -0x1c(%rbp),%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
mov    -0x10(%rbp),%rax
movl   $0x0,(%rax)
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movl   $0x0,(%rax,%rcx,4)
cmpl   $0x1,-0x20(%rbp)
jne    11a4 <fixit+0xa4>
mov    -0x18(%rbp),%rax
movl   $0x1,(%rax)
jmp    11ae <fixit+0xae>
mov    -0x18(%rbp),%rax
movl   $0x2,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<fixit>:
push   %r14
push   %rbx
cmp    $0x2,%r8d
jl     12a0 <fixit+0x1a0>
mov    %r8d,%r9d
lea    -0x1(%r9),%r10
mov    $0x1,%eax
cmp    $0x8,%r10
jb     1229 <fixit+0x129>
lea    0x4(%rdi),%r11
lea    (%rsi,%r9,4),%rbx
cmp    %rbx,%r11
jae    1141 <fixit+0x41>
lea    (%rdi,%r9,4),%r11
lea    0x4(%rsi),%rbx
cmp    %r11,%rbx
jb     1229 <fixit+0x129>
mov    %r10,%rax
and    $0xfffffffffffffff8,%rax
lea    -0x8(%rax),%rbx
mov    %rbx,%r11
shr    $0x3,%r11
add    $0x1,%r11
test   %rbx,%rbx
je     12d3 <fixit+0x1d3>
mov    %r11,%r14
and    $0xfffffffffffffffe,%r14
movdqa 0xe91(%rip),%xmm0
mov    $0x1,%ebx
movdqa 0xe94(%rip),%xmm1
movaps 0xe9d(%rip),%xmm2
movdqa 0xea5(%rip),%xmm3
movdqa 0xead(%rip),%xmm4
movdqa 0xeb5(%rip),%xmm5
nopl   0x0(%rax,%rax,1)
movdqa %xmm0,%xmm6
paddd  %xmm1,%xmm6
movdqu %xmm0,(%rdi,%rbx,4)
movdqu %xmm6,0x10(%rdi,%rbx,4)
movups %xmm2,(%rsi,%rbx,4)
movups %xmm2,0x10(%rsi,%rbx,4)
movdqa %xmm0,%xmm6
paddd  %xmm3,%xmm6
movdqa %xmm0,%xmm7
paddd  %xmm4,%xmm7
movdqu %xmm6,0x20(%rdi,%rbx,4)
movdqu %xmm7,0x30(%rdi,%rbx,4)
movups %xmm2,0x20(%rsi,%rbx,4)
movups %xmm2,0x30(%rsi,%rbx,4)
paddd  %xmm5,%xmm0
add    $0x10,%rbx
add    $0xfffffffffffffffe,%r14
jne    11a0 <fixit+0xa0>
test   $0x1,%r11b
je     1220 <fixit+0x120>
movdqa 0xe12(%rip),%xmm1
paddd  %xmm0,%xmm1
movdqu %xmm0,(%rdi,%rbx,4)
movdqu %xmm1,0x10(%rdi,%rbx,4)
movdqa 0xe0b(%rip),%xmm0
movdqu %xmm0,(%rsi,%rbx,4)
movdqu %xmm0,0x10(%rsi,%rbx,4)
cmp    %rax,%r10
je     12a0 <fixit+0x1a0>
or     $0x1,%rax
mov    %r9d,%ebx
sub    %eax,%ebx
mov    %rax,%r10
not    %r10
add    %r9,%r10
and    $0x3,%rbx
je     1254 <fixit+0x154>
nopl   (%rax)
mov    %eax,(%rdi,%rax,4)
movl   $0x1,(%rsi,%rax,4)
add    $0x1,%rax
add    $0xffffffffffffffff,%rbx
jne    1240 <fixit+0x140>
cmp    $0x3,%r10
jb     12a0 <fixit+0x1a0>
nopw   0x0(%rax,%rax,1)
mov    %eax,(%rdi,%rax,4)
movl   $0x1,(%rsi,%rax,4)
lea    0x1(%rax),%ebx
mov    %ebx,0x4(%rdi,%rax,4)
movl   $0x1,0x4(%rsi,%rax,4)
lea    0x2(%rax),%ebx
mov    %ebx,0x8(%rdi,%rax,4)
movl   $0x1,0x8(%rsi,%rax,4)
lea    0x3(%rax),%ebx
mov    %ebx,0xc(%rdi,%rax,4)
movl   $0x1,0xc(%rsi,%rax,4)
add    $0x4,%rax
cmp    %r9,%rax
jne    1260 <fixit+0x160>
mov    %ecx,(%rdi)
movslq %ecx,%rax
movl   $0x0,(%rdi,%rax,4)
movl   $0x0,(%rsi)
movslq %r8d,%rax
movl   $0x0,-0x4(%rsi,%rax,4)
xor    %eax,%eax
cmp    $0x1,%r8d
sete   %al
mov    $0x2,%ecx
sub    %eax,%ecx
mov    %ecx,(%rdx)
pop    %rbx
pop    %r14
ret
movdqa 0xd25(%rip),%xmm0
mov    $0x1,%ebx
test   $0x1,%r11b
jne    11f6 <fixit+0xf6>
jmp    1220 <fixit+0x120>

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

LLVM IR (-O2):
define void @fixit(i32* nocapture writeonly %0, i32* nocapture writeonly %1, i32* nocapture writeonly %2, i32 %3, i32 %4) {
%6 = icmp sgt i32 %4, 1
br i1 %6, label %7, label %114
7: ; preds = %5
%8 = zext i32 %4 to i64
%9 = add nsw i64 %8, -1
%10 = icmp ult i64 %9, 8
br i1 %10, label %76, label %11
11: ; preds = %7
%12 = getelementptr i32, i32* %0, i64 1
%13 = getelementptr i32, i32* %0, i64 %8
%14 = getelementptr i32, i32* %1, i64 1
%15 = getelementptr i32, i32* %1, i64 %8
%16 = icmp ult i32* %12, %15
%17 = icmp ult i32* %14, %13
%18 = and i1 %16, %17
br i1 %18, label %76, label %19
19: ; preds = %11
%20 = and i64 %9, -8
%21 = or i64 %20, 1
%22 = add nsw i64 %20, -8
%23 = lshr exact i64 %22, 3
%24 = add nuw nsw i64 %23, 1
%25 = and i64 %24, 1
%26 = icmp eq i64 %22, 0
br i1 %26, label %60, label %27
27: ; preds = %19
%28 = and i64 %24, 4611686018427387902
br label %29
29: ; preds = %29, %27
%30 = phi i64 [ 0, %27 ], [ %54, %29 ]
%31 = phi <4 x i32> [ <i32 1, i32 2, i32 3, i32 4>, %27 ], [ %55, %29 ]
%32 = phi i64 [ 0, %27 ], [ %56, %29 ]
%33 = or i64 %30, 1
%34 = add <4 x i32> %31, <i32 4, i32 4, i32 4, i32 4>
%35 = getelementptr inbounds i32, i32* %0, i64 %33
%36 = bitcast i32* %35 to <4 x i32>*
store <4 x i32> %31, <4 x i32>* %36
%37 = getelementptr inbounds i32, i32* %35, i64 4
%38 = bitcast i32* %37 to <4 x i32>*
store <4 x i32> %34, <4 x i32>* %38
%39 = getelementptr inbounds i32, i32* %1, i64 %33
%40 = bitcast i32* %39 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %40
%41 = getelementptr inbounds i32, i32* %39, i64 4
%42 = bitcast i32* %41 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %42
%43 = add <4 x i32> %31, <i32 8, i32 8, i32 8, i32 8>
%44 = or i64 %30, 9
%45 = add <4 x i32> %31, <i32 12, i32 12, i32 12, i32 12>
%46 = getelementptr inbounds i32, i32* %0, i64 %44
%47 = bitcast i32* %46 to <4 x i32>*
store <4 x i32> %43, <4 x i32>* %47
%48 = getelementptr inbounds i32, i32* %46, i64 4
%49 = bitcast i32* %48 to <4 x i32>*
store <4 x i32> %45, <4 x i32>* %49
%50 = getelementptr inbounds i32, i32* %1, i64 %44
%51 = bitcast i32* %50 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %51
%52 = getelementptr inbounds i32, i32* %50, i64 4
%53 = bitcast i32* %52 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %53
%54 = add nuw i64 %30, 16
%55 = add <4 x i32> %31, <i32 16, i32 16, i32 16, i32 16>
%56 = add i64 %32, 2
%57 = icmp eq i64 %56, %28
br i1 %57, label %58, label %29
58: ; preds = %29
%59 = or i64 %54, 1
br label %60
60: ; preds = %58, %19
%61 = phi i64 [ 1, %19 ], [ %59, %58 ]
%62 = phi <4 x i32> [ <i32 1, i32 2, i32 3, i32 4>, %19 ], [ %55, %58 ]
%63 = icmp eq i64 %25, 0
br i1 %63, label %74, label %64
64: ; preds = %60
%65 = add <4 x i32> %62, <i32 4, i32 4, i32 4, i32 4>
%66 = getelementptr inbounds i32, i32* %0, i64 %61
%67 = bitcast i32* %66 to <4 x i32>*
store <4 x i32> %62, <4 x i32>* %67
%68 = getelementptr inbounds i32, i32* %66, i64 4
%69 = bitcast i32* %68 to <4 x i32>*
store <4 x i32> %65, <4 x i32>* %69
%70 = getelementptr inbounds i32, i32* %1, i64 %61
%71 = bitcast i32* %70 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %71
%72 = getelementptr inbounds i32, i32* %70, i64 4
%73 = bitcast i32* %72 to <4 x i32>*
store <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32>* %73
br label %74
74: ; preds = %60, %64
%75 = icmp eq i64 %9, %20
br i1 %75, label %114, label %76
76: ; preds = %11, %7, %74
%77 = phi i64 [ 1, %11 ], [ 1, %7 ], [ %21, %74 ]
%78 = sub nsw i64 %8, %77
%79 = xor i64 %77, -1
%80 = add nsw i64 %79, %8
%81 = and i64 %78, 3
%82 = icmp eq i64 %81, 0
br i1 %82, label %92, label %83
83: ; preds = %76, %83
%84 = phi i64 [ %89, %83 ], [ %77, %76 ]
%85 = phi i64 [ %90, %83 ], [ 0, %76 ]
%86 = getelementptr inbounds i32, i32* %0, i64 %84
%87 = trunc i64 %84 to i32
store i32 %87, i32* %86
%88 = getelementptr inbounds i32, i32* %1, i64 %84
store i32 1, i32* %88
%89 = add nuw nsw i64 %84, 1
%90 = add i64 %85, 1
%91 = icmp eq i64 %90, %81
br i1 %91, label %92, label %83
92: ; preds = %83, %76
%93 = phi i64 [ %77, %76 ], [ %89, %83 ]
%94 = icmp ult i64 %80, 3
br i1 %94, label %114, label %95
95: ; preds = %92, %95
%96 = phi i64 [ %112, %95 ], [ %93, %92 ]
%97 = getelementptr inbounds i32, i32* %0, i64 %96
%98 = trunc i64 %96 to i32
store i32 %98, i32* %97
%99 = getelementptr inbounds i32, i32* %1, i64 %96
store i32 1, i32* %99
%100 = add nuw nsw i64 %96, 1
%101 = getelementptr inbounds i32, i32* %0, i64 %100
%102 = trunc i64 %100 to i32
store i32 %102, i32* %101
%103 = getelementptr inbounds i32, i32* %1, i64 %100
store i32 1, i32* %103
%104 = add nuw nsw i64 %96, 2
%105 = getelementptr inbounds i32, i32* %0, i64 %104
%106 = trunc i64 %104 to i32
store i32 %106, i32* %105
%107 = getelementptr inbounds i32, i32* %1, i64 %104
store i32 1, i32* %107
%108 = add nuw nsw i64 %96, 3
%109 = getelementptr inbounds i32, i32* %0, i64 %108
%110 = trunc i64 %108 to i32
store i32 %110, i32* %109
%111 = getelementptr inbounds i32, i32* %1, i64 %108
store i32 1, i32* %111
%112 = add nuw nsw i64 %96, 4
%113 = icmp eq i64 %112, %8
br i1 %113, label %114, label %95
114: ; preds = %92, %95, %74, %5
store i32 %3, i32* %0
%115 = sext i32 %3 to i64
%116 = getelementptr inbounds i32, i32* %0, i64 %115
store i32 0, i32* %116
store i32 0, i32* %1
%117 = add nsw i32 %4, -1
%118 = sext i32 %117 to i64
%119 = getelementptr inbounds i32, i32* %1, i64 %118
store i32 0, i32* %119
%120 = icmp eq i32 %4, 1
%121 = select i1 %120, i32 1, i32 2
store i32 %121, i32* %2
ret void
}