void cs_cedge(int j, int i, const int *first, int *maxfirst, int *delta,
              int *prevleaf, int *ancestor) {
  int q, s, sparent, jprev;
  if (i <= j || first[j] <= maxfirst[i])
    return;
  maxfirst[i] = first[j];
  jprev = prevleaf[i];
  delta[j]++;
  if (jprev != -1) {
    for (q = jprev; q != ancestor[q]; q = ancestor[q])
      ;
    for (s = jprev; s != q; s = sparent) {
      sparent = ancestor[s];
      ancestor[s] = q;
    }
    delta[q]--;
  }
  prevleaf[i] = j;
}


x86 assembly (clang, -O0):
<cs_cedge>:
push   %rbp
mov    %rsp,%rbp
mov    0x10(%rbp),%rax
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %rdx,-0x10(%rbp)
mov    %rcx,-0x18(%rbp)
mov    %r8,-0x20(%rbp)
mov    %r9,-0x28(%rbp)
mov    -0x8(%rbp),%eax
cmp    -0x4(%rbp),%eax
jle    1146 <cs_cedge+0x46>
mov    -0x10(%rbp),%rax
movslq -0x4(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x18(%rbp),%rcx
movslq -0x8(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jg     114b <cs_cedge+0x4b>
jmp    1214 <cs_cedge+0x114>
mov    -0x10(%rbp),%rax
movslq -0x4(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x18(%rbp),%rax
movslq -0x8(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x28(%rbp),%rax
movslq -0x8(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x38(%rbp)
mov    -0x20(%rbp),%rax
movslq -0x4(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
add    $0x1,%edx
mov    %edx,(%rax,%rcx,4)
cmpl   $0xffffffff,-0x38(%rbp)
je     1206 <cs_cedge+0x106>
mov    -0x38(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
mov    0x10(%rbp),%rcx
movslq -0x2c(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
je     11bc <cs_cedge+0xbc>
jmp    11a9 <cs_cedge+0xa9>
mov    0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x2c(%rbp)
jmp    1190 <cs_cedge+0x90>
mov    -0x38(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x2c(%rbp),%eax
je     11f5 <cs_cedge+0xf5>
mov    0x10(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x34(%rbp)
mov    -0x2c(%rbp),%edx
mov    0x10(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x34(%rbp),%eax
mov    %eax,-0x30(%rbp)
jmp    11c2 <cs_cedge+0xc2>
mov    -0x20(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
add    $0xffffffff,%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x4(%rbp),%edx
mov    -0x28(%rbp),%rax
movslq -0x8(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
pop    %rbp
ret

x86 assembly (clang, -O2):
<cs_cedge>:
cmp    %edi,%esi
jle    1158 <cs_cedge+0x58>
movslq %edi,%rax
mov    (%rdx,%rax,4),%edx
movslq %esi,%r10
cmp    (%rcx,%r10,4),%edx
jle    1158 <cs_cedge+0x58>
mov    %edx,(%rcx,%r10,4)
mov    (%r9,%r10,4),%ecx
addl   $0x1,(%r8,%rax,4)
cmp    $0xffffffff,%ecx
je     1154 <cs_cedge+0x54>
mov    0x8(%rsp),%r11
mov    %ecx,%eax
nopl   0x0(%rax)
mov    %eax,%edx
movslq %eax,%rsi
mov    (%r11,%rsi,4),%eax
cmp    %eax,%esi
jne    1130 <cs_cedge+0x30>
jmp    114b <cs_cedge+0x4b>
nop
movslq %ecx,%rax
mov    (%r11,%rax,4),%ecx
mov    %edx,(%r11,%rax,4)
cmp    %edx,%ecx
jne    1140 <cs_cedge+0x40>
addl   $0xffffffff,(%r8,%rsi,4)
mov    %edi,(%r9,%r10,4)
ret

LLVM IR (-O0):
define void @cs_cedge(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
%17 = alloca i32
%18 = 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
%19 = load i32, i32* %9
%20 = load i32, i32* %8
%21 = icmp sle i32 %19, %20
br i1 %21, label %34, label %22
22: ; preds = %7
%23 = load i32*, i32** %10
%24 = load i32, i32* %8
%25 = sext i32 %24 to i64
%26 = getelementptr inbounds i32, i32* %23, i64 %25
%27 = load i32, i32* %26
%28 = load i32*, i32** %11
%29 = load i32, i32* %9
%30 = sext i32 %29 to i64
%31 = getelementptr inbounds i32, i32* %28, i64 %30
%32 = load i32, i32* %31
%33 = icmp sle i32 %27, %32
br i1 %33, label %34, label %35
34: ; preds = %22, %7
br label %107
35: ; preds = %22
%36 = load i32*, i32** %10
%37 = load i32, i32* %8
%38 = sext i32 %37 to i64
%39 = getelementptr inbounds i32, i32* %36, i64 %38
%40 = load i32, i32* %39
%41 = load i32*, i32** %11
%42 = load i32, i32* %9
%43 = sext i32 %42 to i64
%44 = getelementptr inbounds i32, i32* %41, i64 %43
store i32 %40, i32* %44
%45 = load i32*, i32** %13
%46 = load i32, i32* %9
%47 = sext i32 %46 to i64
%48 = getelementptr inbounds i32, i32* %45, i64 %47
%49 = load i32, i32* %48
store i32 %49, i32* %18
%50 = load i32*, i32** %12
%51 = load i32, i32* %8
%52 = sext i32 %51 to i64
%53 = getelementptr inbounds i32, i32* %50, i64 %52
%54 = load i32, i32* %53
%55 = add nsw i32 %54, 1
store i32 %55, i32* %53
%56 = load i32, i32* %18
%57 = icmp ne i32 %56, -1
br i1 %57, label %58, label %101
58: ; preds = %35
%59 = load i32, i32* %18
store i32 %59, i32* %15
br label %60
60: ; preds = %69, %58
%61 = load i32, i32* %15
%62 = load i32*, i32** %14
%63 = load i32, i32* %15
%64 = sext i32 %63 to i64
%65 = getelementptr inbounds i32, i32* %62, i64 %64
%66 = load i32, i32* %65
%67 = icmp ne i32 %61, %66
br i1 %67, label %68, label %75
68: ; preds = %60
br label %69
69: ; preds = %68
%70 = load i32*, i32** %14
%71 = load i32, i32* %15
%72 = sext i32 %71 to i64
%73 = getelementptr inbounds i32, i32* %70, i64 %72
%74 = load i32, i32* %73
store i32 %74, i32* %15
br label %60
75: ; preds = %60
%76 = load i32, i32* %18
store i32 %76, i32* %16
br label %77
77: ; preds = %92, %75
%78 = load i32, i32* %16
%79 = load i32, i32* %15
%80 = icmp ne i32 %78, %79
br i1 %80, label %81, label %94
81: ; preds = %77
%82 = load i32*, i32** %14
%83 = load i32, i32* %16
%84 = sext i32 %83 to i64
%85 = getelementptr inbounds i32, i32* %82, i64 %84
%86 = load i32, i32* %85
store i32 %86, i32* %17
%87 = load i32, i32* %15
%88 = load i32*, i32** %14
%89 = load i32, i32* %16
%90 = sext i32 %89 to i64
%91 = getelementptr inbounds i32, i32* %88, i64 %90
store i32 %87, i32* %91
br label %92
92: ; preds = %81
%93 = load i32, i32* %17
store i32 %93, i32* %16
br label %77
94: ; preds = %77
%95 = load i32*, i32** %12
%96 = load i32, i32* %15
%97 = sext i32 %96 to i64
%98 = getelementptr inbounds i32, i32* %95, i64 %97
%99 = load i32, i32* %98
%100 = add nsw i32 %99, -1
store i32 %100, i32* %98
br label %101
101: ; preds = %94, %35
%102 = load i32, i32* %8
%103 = load i32*, i32** %13
%104 = load i32, i32* %9
%105 = sext i32 %104 to i64
%106 = getelementptr inbounds i32, i32* %103, i64 %105
store i32 %102, i32* %106
br label %107
107: ; preds = %101, %34
ret void
}

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