void update_sets(unsigned short node, int *old_sets, int old_not_end,
                 int old_cand_end, int *new_sets, int *new_not_end,
                 int *new_cand_end, char **adj_table) {
  char *conn_map = adj_table[node];
  int i;
  *new_not_end = 0;
  for (i = old_not_end; i; i--, old_sets++)
    if (conn_map[*old_sets]) {
      *new_sets = *old_sets;
      (*new_not_end)++;
      new_sets++;
    }
  *new_cand_end = *new_not_end;
  old_sets++;
  for (i = old_not_end + 1; i < old_cand_end; i++, old_sets++)
    if (conn_map[*old_sets]) {
      *new_sets = *old_sets;
      (*new_cand_end)++;
      new_sets++;
    }
}


x86 assembly (clang, -O0):
<update_sets>:
push   %rbp
mov    %rsp,%rbp
mov    %di,%ax
mov    0x18(%rbp),%rdi
mov    0x10(%rbp),%rdi
mov    %ax,-0x2(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %ecx,-0x18(%rbp)
mov    %r8,-0x20(%rbp)
mov    %r9,-0x28(%rbp)
mov    0x18(%rbp),%rax
movzwl -0x2(%rbp),%ecx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0x30(%rbp)
mov    -0x28(%rbp),%rax
movl   $0x0,(%rax)
mov    -0x14(%rbp),%eax
mov    %eax,-0x34(%rbp)
cmpl   $0x0,-0x34(%rbp)
je     11a6 <update_sets+0xa6>
mov    -0x30(%rbp),%rax
mov    -0x10(%rbp),%rcx
movslq (%rcx),%rcx
cmpb   $0x0,(%rax,%rcx,1)
je     1187 <update_sets+0x87>
mov    -0x10(%rbp),%rax
mov    (%rax),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x28(%rbp),%rax
mov    (%rax),%ecx
add    $0x1,%ecx
mov    %ecx,(%rax)
mov    -0x20(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x20(%rbp)
jmp    118c <update_sets+0x8c>
mov    -0x34(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x34(%rbp)
mov    -0x10(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x10(%rbp)
jmp    1145 <update_sets+0x45>
mov    -0x28(%rbp),%rax
mov    (%rax),%ecx
mov    0x10(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x10(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x10(%rbp)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x18(%rbp),%eax
jge    122a <update_sets+0x12a>
mov    -0x30(%rbp),%rax
mov    -0x10(%rbp),%rcx
movslq (%rcx),%rcx
cmpb   $0x0,(%rax,%rcx,1)
je     120b <update_sets+0x10b>
mov    -0x10(%rbp),%rax
mov    (%rax),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,(%rax)
mov    0x10(%rbp),%rax
mov    (%rax),%ecx
add    $0x1,%ecx
mov    %ecx,(%rax)
mov    -0x20(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x20(%rbp)
jmp    1210 <update_sets+0x110>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
mov    -0x10(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x10(%rbp)
jmp    11c7 <update_sets+0xc7>
pop    %rbp
ret

x86 assembly (clang, -O2):
<update_sets>:
push   %rbx
mov    0x10(%rsp),%r10
mov    0x18(%rsp),%rax
mov    %edi,%edi
mov    (%rax,%rdi,8),%r11
movl   $0x0,(%r9)
test   %edx,%edx
je     1148 <update_sets+0x48>
cmp    $0x1,%edx
jne    1185 <update_sets+0x85>
xor    %eax,%eax
test   $0x1,%dl
je     114a <update_sets+0x4a>
movslq (%rsi),%rdi
cmpb   $0x0,(%r11,%rdi,1)
je     1142 <update_sets+0x42>
mov    %edi,(%r8)
mov    (%r9),%eax
add    $0x1,%eax
mov    %eax,(%r9)
add    $0x4,%r8
add    $0x4,%rsi
jmp    114a <update_sets+0x4a>
xor    %eax,%eax
mov    %eax,(%r10)
lea    0x1(%rdx),%edi
cmp    %ecx,%edi
jge    1183 <update_sets+0x83>
mov    %edx,%ebx
not    %ebx
add    %ecx,%ebx
lea    -0x2(%rcx),%eax
test   $0x1,%bl
je     117f <update_sets+0x7f>
movslq 0x4(%rsi),%rdi
cmpb   $0x0,(%r11,%rdi,1)
je     1178 <update_sets+0x78>
mov    %edi,(%r8)
addl   $0x1,(%r10)
add    $0x4,%r8
add    $0x4,%rsi
lea    0x2(%rdx),%edi
cmp    %edx,%eax
jne    11d0 <update_sets+0xd0>
pop    %rbx
ret
mov    %edx,%edi
and    $0xfffffffe,%edi
xor    %eax,%eax
jmp    1199 <update_sets+0x99>
xchg   %ax,%ax
add    $0x8,%rsi
add    $0xfffffffe,%edi
je     1123 <update_sets+0x23>
movslq (%rsi),%rbx
cmpb   $0x0,(%r11,%rbx,1)
je     11b3 <update_sets+0xb3>
mov    %ebx,(%r8)
mov    (%r9),%eax
add    $0x1,%eax
mov    %eax,(%r9)
add    $0x4,%r8
movslq 0x4(%rsi),%rbx
cmpb   $0x0,(%r11,%rbx,1)
je     1190 <update_sets+0x90>
mov    %ebx,(%r8)
mov    (%r9),%eax
add    $0x1,%eax
mov    %eax,(%r9)
add    $0x4,%r8
jmp    1190 <update_sets+0x90>
sub    %edi,%ecx
xor    %eax,%eax
jmp    11e8 <update_sets+0xe8>
cs nopw 0x0(%rax,%rax,1)
add    $0x2,%rax
cmp    %eax,%ecx
je     1183 <update_sets+0x83>
movslq 0x4(%rsi,%rax,4),%rdx
cmpb   $0x0,(%r11,%rdx,1)
je     11ff <update_sets+0xff>
mov    %edx,(%r8)
addl   $0x1,(%r10)
add    $0x4,%r8
movslq 0x8(%rsi,%rax,4),%rdx
cmpb   $0x0,(%r11,%rdx,1)
je     11e0 <update_sets+0xe0>
mov    %edx,(%r8)
addl   $0x1,(%r10)
add    $0x4,%r8
jmp    11e0 <update_sets+0xe0>

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

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