int bnodes_(int *n, int *list, int *lptr, int *lend, int *nodes, int *nb,
            int *na, int *nt) {
  int i__1;
  static int k, n0, lp, nn, nst;
  --lend;
  --list;
  --lptr;
  --nodes;
  nn = *n;
  i__1 = nn;
  for (nst = 1; nst <= i__1; ++nst) {
    lp = lend[nst];
    if (list[lp] < 0) {
      goto L2;
    }
  }
  *nb = 0;
  *na = (nn - 2) * 3;
  *nt = (nn - 2) << 1;
  return 0;
L2:
  nodes[1] = nst;
  k = 1;
  n0 = nst;
L3:
  lp = lend[n0];
  lp = lptr[lp];
  n0 = list[lp];
  if (n0 == nst) {
    goto L4;
  }
  ++k;
  nodes[k] = n0;
  goto L3;
L4:
  *nb = k;
  *nt = (*n << 1) - *nb - 2;
  *na = *nt + *n - 1;
  return 0;
}


x86 assembly (clang, -O0):
<bnodes_>:
push   %rbp
mov    %rsp,%rbp
mov    0x18(%rbp),%rax
mov    0x10(%rbp),%rax
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
mov    %r8,-0x30(%rbp)
mov    %r9,-0x38(%rbp)
mov    -0x28(%rbp),%rax
add    $0xfffffffffffffffc,%rax
mov    %rax,-0x28(%rbp)
mov    -0x18(%rbp),%rax
add    $0xfffffffffffffffc,%rax
mov    %rax,-0x18(%rbp)
mov    -0x20(%rbp),%rax
add    $0xfffffffffffffffc,%rax
mov    %rax,-0x20(%rbp)
mov    -0x30(%rbp),%rax
add    $0xfffffffffffffffc,%rax
mov    %rax,-0x30(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    %eax,0x2ed0(%rip)
mov    0x2eca(%rip),%eax
mov    %eax,-0x3c(%rbp)
movl   $0x1,0x2ec1(%rip)
mov    0x2ebb(%rip),%eax
cmp    -0x3c(%rbp),%eax
jg     11c9 <bnodes_+0xc9>
mov    -0x28(%rbp),%rax
movslq 0x2ea7(%rip),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,0x2e96(%rip)
mov    -0x18(%rbp),%rax
movslq 0x2e8b(%rip),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jge    11b0 <bnodes_+0xb0>
jmp    1203 <bnodes_+0x103>
jmp    11b5 <bnodes_+0xb5>
mov    0x2e79(%rip),%eax
add    $0x1,%eax
mov    %eax,0x2e70(%rip)
jmp    1173 <bnodes_+0x73>
mov    -0x38(%rbp),%rax
movl   $0x0,(%rax)
mov    0x2e57(%rip),%eax
sub    $0x2,%eax
imul   $0x3,%eax,%ecx
mov    0x10(%rbp),%rax
mov    %ecx,(%rax)
mov    0x2e45(%rip),%ecx
sub    $0x2,%ecx
shl    $0x1,%ecx
mov    0x18(%rbp),%rax
mov    %ecx,(%rax)
movl   $0x0,-0x4(%rbp)
jmp    12e1 <bnodes_+0x1e1>
mov    0x2e2b(%rip),%ecx
mov    -0x30(%rbp),%rax
mov    %ecx,0x4(%rax)
movl   $0x1,0x2e0a(%rip)
mov    0x2e14(%rip),%eax
mov    %eax,0x2e02(%rip)
mov    -0x28(%rbp),%rax
movslq 0x2df7(%rip),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,0x2df2(%rip)
mov    -0x20(%rbp),%rax
movslq 0x2de7(%rip),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,0x2dde(%rip)
mov    -0x18(%rbp),%rax
movslq 0x2dd3(%rip),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,0x2dc6(%rip)
mov    0x2dc0(%rip),%eax
cmp    0x2dc6(%rip),%eax
jne    1279 <bnodes_+0x179>
jmp    12a1 <bnodes_+0x1a1>
mov    0x2da5(%rip),%eax
add    $0x1,%eax
mov    %eax,0x2d9c(%rip)
mov    0x2d9a(%rip),%edx
mov    -0x30(%rbp),%rax
movslq 0x2d8b(%rip),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    1226 <bnodes_+0x126>
mov    0x2d7d(%rip),%ecx
mov    -0x38(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x10(%rbp),%rax
mov    (%rax),%ecx
shl    $0x1,%ecx
mov    -0x38(%rbp),%rax
sub    (%rax),%ecx
sub    $0x2,%ecx
mov    0x18(%rbp),%rax
mov    %ecx,(%rax)
mov    0x18(%rbp),%rax
mov    (%rax),%ecx
mov    -0x10(%rbp),%rax
add    (%rax),%ecx
sub    $0x1,%ecx
mov    0x10(%rbp),%rax
mov    %ecx,(%rax)
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<bnodes_>:
push   %rbp
push   %r14
push   %rbx
mov    0x28(%rsp),%r11
mov    0x20(%rsp),%r10
mov    (%rdi),%r14d
test   %r14d,%r14d
jle    1134 <bnodes_+0x34>
xor    %eax,%eax
nopl   0x0(%rax,%rax,1)
movslq (%rcx,%rax,4),%rbx
cmpl   $0x0,-0x4(%rsi,%rbx,4)
js     1151 <bnodes_+0x51>
add    $0x1,%rax
cmp    %rax,%r14
jne    1120 <bnodes_+0x20>
movl   $0x0,(%r9)
lea    (%r14,%r14,2),%eax
add    $0xfffffffa,%eax
mov    %eax,(%r10)
lea    (%r14,%r14,1),%eax
add    $0xfffffffc,%eax
mov    %eax,(%r11)
jmp    11bb <bnodes_+0xbb>
lea    0x1(%rax),%ebx
mov    %ebx,(%r8)
movslq (%rcx,%rax,4),%rbx
movslq -0x4(%rdx,%rbx,4),%rbx
mov    -0x4(%rsi,%rbx,4),%r14d
lea    -0x1(%r14),%ebp
mov    $0x1,%ebx
cmp    %eax,%ebp
je     11a2 <bnodes_+0xa2>
mov    $0x1,%ebx
nopw   0x0(%rax,%rax,1)
mov    %r14d,(%r8,%rbx,4)
add    $0x1,%rbx
movslq %r14d,%rbp
movslq -0x4(%rcx,%rbp,4),%rbp
movslq -0x4(%rdx,%rbp,4),%rbp
mov    -0x4(%rsi,%rbp,4),%r14d
lea    -0x1(%r14),%ebp
cmp    %eax,%ebp
jne    1180 <bnodes_+0x80>
mov    %ebx,(%r9)
mov    (%rdi),%eax
add    %eax,%eax
sub    %ebx,%eax
lea    -0x2(%rax),%ecx
mov    %ecx,(%r11)
mov    (%rdi),%ecx
add    %ecx,%eax
add    $0xfffffffd,%eax
mov    %eax,(%r10)
xor    %eax,%eax
pop    %rbx
pop    %r14
pop    %rbp
ret

LLVM IR (-O0):
@bnodes_.k = internal global i32 0
@bnodes_.n0 = internal global i32 0
@bnodes_.lp = internal global i32 0
@bnodes_.nn = internal global i32 0
@bnodes_.nst = internal global i32 0
define i32 @bnodes_(i32* %0, i32* %1, i32* %2, i32* %3, i32* %4, i32* %5, i32* %6, i32* %7) {
%9 = alloca i32
%10 = alloca i32*
%11 = alloca i32*
%12 = alloca i32*
%13 = alloca i32*
%14 = alloca i32*
%15 = alloca i32*
%16 = alloca i32*
%17 = alloca i32*
%18 = alloca i32
store i32* %0, i32** %10
store i32* %1, i32** %11
store i32* %2, i32** %12
store i32* %3, i32** %13
store i32* %4, i32** %14
store i32* %5, i32** %15
store i32* %6, i32** %16
store i32* %7, i32** %17
%19 = load i32*, i32** %13
%20 = getelementptr inbounds i32, i32* %19, i32 -1
store i32* %20, i32** %13
%21 = load i32*, i32** %11
%22 = getelementptr inbounds i32, i32* %21, i32 -1
store i32* %22, i32** %11
%23 = load i32*, i32** %12
%24 = getelementptr inbounds i32, i32* %23, i32 -1
store i32* %24, i32** %12
%25 = load i32*, i32** %14
%26 = getelementptr inbounds i32, i32* %25, i32 -1
store i32* %26, i32** %14
%27 = load i32*, i32** %10
%28 = load i32, i32* %27
store i32 %28, i32* @bnodes_.nn
%29 = load i32, i32* @bnodes_.nn
store i32 %29, i32* %18
store i32 1, i32* @bnodes_.nst
br label %30
30: ; preds = %48, %8
%31 = load i32, i32* @bnodes_.nst
%32 = load i32, i32* %18
%33 = icmp sle i32 %31, %32
br i1 %33, label %34, label %51
34: ; preds = %30
%35 = load i32*, i32** %13
%36 = load i32, i32* @bnodes_.nst
%37 = sext i32 %36 to i64
%38 = getelementptr inbounds i32, i32* %35, i64 %37
%39 = load i32, i32* %38
store i32 %39, i32* @bnodes_.lp
%40 = load i32*, i32** %11
%41 = load i32, i32* @bnodes_.lp
%42 = sext i32 %41 to i64
%43 = getelementptr inbounds i32, i32* %40, i64 %42
%44 = load i32, i32* %43
%45 = icmp slt i32 %44, 0
br i1 %45, label %46, label %47
46: ; preds = %34
br label %61
47: ; preds = %34
br label %48
48: ; preds = %47
%49 = load i32, i32* @bnodes_.nst
%50 = add nsw i32 %49, 1
store i32 %50, i32* @bnodes_.nst
br label %30
51: ; preds = %30
%52 = load i32*, i32** %15
store i32 0, i32* %52
%53 = load i32, i32* @bnodes_.nn
%54 = sub nsw i32 %53, 2
%55 = mul nsw i32 %54, 3
%56 = load i32*, i32** %16
store i32 %55, i32* %56
%57 = load i32, i32* @bnodes_.nn
%58 = sub nsw i32 %57, 2
%59 = shl i32 %58, 1
%60 = load i32*, i32** %17
store i32 %59, i32* %60
store i32 0, i32* %9
br label %112
61: ; preds = %46
%62 = load i32, i32* @bnodes_.nst
%63 = load i32*, i32** %14
%64 = getelementptr inbounds i32, i32* %63, i64 1
store i32 %62, i32* %64
store i32 1, i32* @bnodes_.k
%65 = load i32, i32* @bnodes_.nst
store i32 %65, i32* @bnodes_.n0
br label %66
66: ; preds = %86, %61
%67 = load i32*, i32** %13
%68 = load i32, i32* @bnodes_.n0
%69 = sext i32 %68 to i64
%70 = getelementptr inbounds i32, i32* %67, i64 %69
%71 = load i32, i32* %70
store i32 %71, i32* @bnodes_.lp
%72 = load i32*, i32** %12
%73 = load i32, i32* @bnodes_.lp
%74 = sext i32 %73 to i64
%75 = getelementptr inbounds i32, i32* %72, i64 %74
%76 = load i32, i32* %75
store i32 %76, i32* @bnodes_.lp
%77 = load i32*, i32** %11
%78 = load i32, i32* @bnodes_.lp
%79 = sext i32 %78 to i64
%80 = getelementptr inbounds i32, i32* %77, i64 %79
%81 = load i32, i32* %80
store i32 %81, i32* @bnodes_.n0
%82 = load i32, i32* @bnodes_.n0
%83 = load i32, i32* @bnodes_.nst
%84 = icmp eq i32 %82, %83
br i1 %84, label %85, label %86
85: ; preds = %66
br label %94
86: ; preds = %66
%87 = load i32, i32* @bnodes_.k
%88 = add nsw i32 %87, 1
store i32 %88, i32* @bnodes_.k
%89 = load i32, i32* @bnodes_.n0
%90 = load i32*, i32** %14
%91 = load i32, i32* @bnodes_.k
%92 = sext i32 %91 to i64
%93 = getelementptr inbounds i32, i32* %90, i64 %92
store i32 %89, i32* %93
br label %66
94: ; preds = %85
%95 = load i32, i32* @bnodes_.k
%96 = load i32*, i32** %15
store i32 %95, i32* %96
%97 = load i32*, i32** %10
%98 = load i32, i32* %97
%99 = shl i32 %98, 1
%100 = load i32*, i32** %15
%101 = load i32, i32* %100
%102 = sub nsw i32 %99, %101
%103 = sub nsw i32 %102, 2
%104 = load i32*, i32** %17
store i32 %103, i32* %104
%105 = load i32*, i32** %17
%106 = load i32, i32* %105
%107 = load i32*, i32** %10
%108 = load i32, i32* %107
%109 = add nsw i32 %106, %108
%110 = sub nsw i32 %109, 1
%111 = load i32*, i32** %16
store i32 %110, i32* %111
store i32 0, i32* %9
br label %112
112: ; preds = %94, %51
%113 = load i32, i32* %9
ret i32 %113
}

LLVM IR (-O2):
define i32 @bnodes_(i32* nocapture %0, i32* nocapture %1, i32* nocapture %2, i32* nocapture %3, i32* nocapture writeonly %4, i32* nocapture writeonly %5, i32* nocapture writeonly %6, i32* nocapture writeonly %7) {
%9 = getelementptr inbounds i32, i32* %3, i64 -1
%10 = getelementptr inbounds i32, i32* %1, i64 -1
%11 = getelementptr inbounds i32, i32* %2, i64 -1
%12 = load i32, i32* %0
%13 = icmp slt i32 %12, 1
br i1 %13, label %28, label %14
14: ; preds = %8
%15 = add nuw i32 %12, 1
%16 = zext i32 %15 to i64
br label %17
17: ; preds = %14, %25
%18 = phi i64 [ 1, %14 ], [ %26, %25 ]
%19 = getelementptr inbounds i32, i32* %9, i64 %18
%20 = load i32, i32* %19
%21 = sext i32 %20 to i64
%22 = getelementptr inbounds i32, i32* %10, i64 %21
%23 = load i32, i32* %22
%24 = icmp slt i32 %23, 0
br i1 %24, label %33, label %25
25: ; preds = %17
%26 = add nuw nsw i64 %18, 1
%27 = icmp eq i64 %26, %16
br i1 %27, label %28, label %17
28: ; preds = %25, %8
store i32 0, i32* %5
%29 = mul i32 %12, 3
%30 = add i32 %29, -6
store i32 %30, i32* %6
%31 = shl i32 %12, 1
%32 = add i32 %31, -4
store i32 %32, i32* %7
br label %71
33: ; preds = %17
%34 = trunc i64 %18 to i32
store i32 %34, i32* %4
%35 = and i64 %18, 4294967295
%36 = getelementptr inbounds i32, i32* %9, i64 %35
%37 = load i32, i32* %36
%38 = sext i32 %37 to i64
%39 = getelementptr inbounds i32, i32* %11, i64 %38
%40 = load i32, i32* %39
%41 = sext i32 %40 to i64
%42 = getelementptr inbounds i32, i32* %10, i64 %41
%43 = load i32, i32* %42
%44 = icmp eq i32 %43, %34
br i1 %44, label %62, label %45
45: ; preds = %33, %45
%46 = phi i64 [ %48, %45 ], [ 1, %33 ]
%47 = phi i32 [ %58, %45 ], [ %43, %33 ]
%48 = add nuw nsw i64 %46, 1
%49 = getelementptr inbounds i32, i32* %4, i64 %46
store i32 %47, i32* %49
%50 = sext i32 %47 to i64
%51 = getelementptr inbounds i32, i32* %9, i64 %50
%52 = load i32, i32* %51
%53 = sext i32 %52 to i64
%54 = getelementptr inbounds i32, i32* %11, i64 %53
%55 = load i32, i32* %54
%56 = sext i32 %55 to i64
%57 = getelementptr inbounds i32, i32* %10, i64 %56
%58 = load i32, i32* %57
%59 = icmp eq i32 %58, %34
br i1 %59, label %60, label %45
60: ; preds = %45
%61 = trunc i64 %48 to i32
br label %62
62: ; preds = %60, %33
%63 = phi i32 [ %61, %60 ], [ 1, %33 ]
store i32 %63, i32* %5
%64 = load i32, i32* %0
%65 = shl i32 %64, 1
%66 = sub nsw i32 %65, %63
%67 = add nsw i32 %66, -2
store i32 %67, i32* %7
%68 = load i32, i32* %0
%69 = add i32 %68, -1
%70 = add i32 %69, %67
store i32 %70, i32* %6
br label %71
71: ; preds = %62, %28
ret i32 0
}