void trace_edge(unsigned char *edgesImage, int width, int height, int x, int y,
                int image_border, int *perimeter_tx, int *perimeter_ty,
                int *perimeter_bx, int *perimeter_by, int ignore_periphery,
                int max_members, int *members, int *no_of_members) {
  int following, n, xx, yy;
  *no_of_members = 0;
  following = 1;
  while (following != 0) {
    following = 0;
    if ((ignore_periphery == 0) ||
        ((ignore_periphery != 0) &&
         ((x >= image_border) && (x <= width - 1 - image_border) &&
          (y >= image_border) && (y <= height - 1 - image_border)))) {
      edgesImage[(y * width) + x] = 255;
      if (*no_of_members < max_members) {
        members[*no_of_members * 2] = x;
        members[*no_of_members * 2 + 1] = y;
        *no_of_members = *no_of_members + 1;
      }
      if (x < *perimeter_tx) {
        *perimeter_tx = x;
      } else {
        if (x > *perimeter_bx)
          *perimeter_bx = x;
      }
      if (y < *perimeter_ty) {
        *perimeter_ty = y;
      } else {
        if (y > *perimeter_by)
          *perimeter_by = y;
      }
      yy = y - 1;
      xx = x - 1;
      if (yy > -1) {
        n = yy * width;
        if (xx > -1) {
          if (edgesImage[n + xx] == 0) {
            x = xx;
            y = yy;
            following = 1;
          }
        }
        xx = x;
        if ((following == 0) && (edgesImage[n + xx] == 0)) {
          x = xx;
          y = yy;
          following = 1;
        }
        xx = x + 1;
        if ((following == 0) && (xx < width)) {
          if (edgesImage[n + xx] == 0) {
            x = xx;
            y = yy;
            following = 1;
          }
        }
      }
      if (following == 0) {
        yy = y;
        n = yy * width;
        if (x > 0) {
          xx = x - 1;
          if (edgesImage[n + xx] == 0) {
            x = xx;
            y = yy;
            following = 1;
          }
        }
        if ((following == 0) && (x < width - 1)) {
          xx = x + 1;
          if (edgesImage[n + xx] == 0) {
            x = xx;
            y = yy;
            following = 1;
          }
        }
      }
      if (following == 0) {
        yy = y + 1;
        n = yy * width;
        if (yy < height) {
          xx = x - 1;
          if (xx > -1) {
            if (edgesImage[n + xx] == 0) {
              x = xx;
              y = yy;
              following = 1;
            }
          }
          if (following == 0) {
            xx++;
            if (edgesImage[n + xx] == 0) {
              x = xx;
              y = yy;
              following = 1;
            }
          }
          if (following == 0) {
            xx++;
            if (xx < width) {
              if (edgesImage[n + xx] == 0) {
                x = xx;
                y = yy;
                following = 1;
              }
            }
          }
        }
      }
    }
  }
}


x86 assembly (clang, -O0):
<trace_edge>:
push   %rbp
mov    %rsp,%rbp
mov    0x48(%rbp),%rax
mov    0x40(%rbp),%rax
mov    0x38(%rbp),%eax
mov    0x30(%rbp),%eax
mov    0x28(%rbp),%rax
mov    0x20(%rbp),%rax
mov    0x18(%rbp),%rax
mov    0x10(%rbp),%rax
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %ecx,-0x14(%rbp)
mov    %r8d,-0x18(%rbp)
mov    %r9d,-0x1c(%rbp)
mov    0x48(%rbp),%rax
movl   $0x0,(%rax)
movl   $0x1,-0x20(%rbp)
cmpl   $0x0,-0x20(%rbp)
je     154f <trace_edge+0x44f>
movl   $0x0,-0x20(%rbp)
cmpl   $0x0,0x30(%rbp)
je     11ad <trace_edge+0xad>
cmpl   $0x0,0x30(%rbp)
je     154a <trace_edge+0x44a>
mov    -0x14(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jl     154a <trace_edge+0x44a>
mov    -0x14(%rbp),%eax
mov    -0xc(%rbp),%ecx
sub    $0x1,%ecx
sub    -0x1c(%rbp),%ecx
cmp    %ecx,%eax
jg     154a <trace_edge+0x44a>
mov    -0x18(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jl     154a <trace_edge+0x44a>
mov    -0x18(%rbp),%eax
mov    -0x10(%rbp),%ecx
sub    $0x1,%ecx
sub    -0x1c(%rbp),%ecx
cmp    %ecx,%eax
jg     154a <trace_edge+0x44a>
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
imul   -0xc(%rbp),%ecx
add    -0x14(%rbp),%ecx
movslq %ecx,%rcx
movb   $0xff,(%rax,%rcx,1)
mov    0x48(%rbp),%rax
mov    (%rax),%eax
cmp    0x38(%rbp),%eax
jge    120f <trace_edge+0x10f>
mov    -0x14(%rbp),%edx
mov    0x40(%rbp),%rax
mov    0x48(%rbp),%rcx
mov    (%rcx),%ecx
shl    $0x1,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x18(%rbp),%edx
mov    0x40(%rbp),%rax
mov    0x48(%rbp),%rcx
mov    (%rcx),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    0x48(%rbp),%rax
mov    (%rax),%ecx
add    $0x1,%ecx
mov    0x48(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x14(%rbp),%eax
mov    0x10(%rbp),%rcx
cmp    (%rcx),%eax
jge    122c <trace_edge+0x12c>
mov    -0x14(%rbp),%ecx
mov    0x10(%rbp),%rax
mov    %ecx,(%rax)
jmp    1249 <trace_edge+0x149>
mov    -0x14(%rbp),%eax
mov    0x20(%rbp),%rcx
cmp    (%rcx),%eax
jle    1244 <trace_edge+0x144>
mov    -0x14(%rbp),%ecx
mov    0x20(%rbp),%rax
mov    %ecx,(%rax)
jmp    1249 <trace_edge+0x149>
mov    -0x18(%rbp),%eax
mov    0x18(%rbp),%rcx
cmp    (%rcx),%eax
jge    1266 <trace_edge+0x166>
mov    -0x18(%rbp),%ecx
mov    0x18(%rbp),%rax
mov    %ecx,(%rax)
jmp    1283 <trace_edge+0x183>
mov    -0x18(%rbp),%eax
mov    0x28(%rbp),%rcx
cmp    (%rcx),%eax
jle    127e <trace_edge+0x17e>
mov    -0x18(%rbp),%ecx
mov    0x28(%rbp),%rax
mov    %ecx,(%rax)
jmp    1283 <trace_edge+0x183>
mov    -0x18(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x28(%rbp)
cmpl   $0xffffffff,-0x2c(%rbp)
jle    1378 <trace_edge+0x278>
mov    -0x2c(%rbp),%eax
imul   -0xc(%rbp),%eax
mov    %eax,-0x24(%rbp)
cmpl   $0xffffffff,-0x28(%rbp)
jle    12e5 <trace_edge+0x1e5>
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    -0x28(%rbp),%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
jne    12e0 <trace_edge+0x1e0>
mov    -0x28(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x2c(%rbp),%eax
mov    %eax,-0x18(%rbp)
movl   $0x1,-0x20(%rbp)
jmp    12e5 <trace_edge+0x1e5>
mov    -0x14(%rbp),%eax
mov    %eax,-0x28(%rbp)
cmpl   $0x0,-0x20(%rbp)
jne    1322 <trace_edge+0x222>
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    -0x28(%rbp),%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
jne    1322 <trace_edge+0x222>
mov    -0x28(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x2c(%rbp),%eax
mov    %eax,-0x18(%rbp)
movl   $0x1,-0x20(%rbp)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
cmpl   $0x0,-0x20(%rbp)
jne    1373 <trace_edge+0x273>
mov    -0x28(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    1373 <trace_edge+0x273>
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    -0x28(%rbp),%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
jne    136e <trace_edge+0x26e>
mov    -0x28(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x2c(%rbp),%eax
mov    %eax,-0x18(%rbp)
movl   $0x1,-0x20(%rbp)
jmp    1373 <trace_edge+0x273>
jmp    1378 <trace_edge+0x278>
cmpl   $0x0,-0x20(%rbp)
jne    1432 <trace_edge+0x332>
mov    -0x18(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
imul   -0xc(%rbp),%eax
mov    %eax,-0x24(%rbp)
cmpl   $0x0,-0x14(%rbp)
jle    13d7 <trace_edge+0x2d7>
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x28(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    -0x28(%rbp),%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
jne    13d2 <trace_edge+0x2d2>
mov    -0x28(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x2c(%rbp),%eax
mov    %eax,-0x18(%rbp)
movl   $0x1,-0x20(%rbp)
jmp    13d7 <trace_edge+0x2d7>
cmpl   $0x0,-0x20(%rbp)
jne    142d <trace_edge+0x32d>
mov    -0x14(%rbp),%eax
mov    -0xc(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    142d <trace_edge+0x32d>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    -0x28(%rbp),%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
jne    1428 <trace_edge+0x328>
mov    -0x28(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x2c(%rbp),%eax
mov    %eax,-0x18(%rbp)
movl   $0x1,-0x20(%rbp)
jmp    142d <trace_edge+0x32d>
jmp    1432 <trace_edge+0x332>
cmpl   $0x0,-0x20(%rbp)
jne    1545 <trace_edge+0x445>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
imul   -0xc(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x10(%rbp),%eax
jge    1540 <trace_edge+0x440>
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x28(%rbp)
cmpl   $0xffffffff,-0x28(%rbp)
jle    14a0 <trace_edge+0x3a0>
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    -0x28(%rbp),%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
jne    149b <trace_edge+0x39b>
mov    -0x28(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x2c(%rbp),%eax
mov    %eax,-0x18(%rbp)
movl   $0x1,-0x20(%rbp)
jmp    14a0 <trace_edge+0x3a0>
cmpl   $0x0,-0x20(%rbp)
jne    14e5 <trace_edge+0x3e5>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    -0x28(%rbp),%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
jne    14e0 <trace_edge+0x3e0>
mov    -0x28(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x2c(%rbp),%eax
mov    %eax,-0x18(%rbp)
movl   $0x1,-0x20(%rbp)
jmp    14e5 <trace_edge+0x3e5>
cmpl   $0x0,-0x20(%rbp)
jne    153b <trace_edge+0x43b>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    1536 <trace_edge+0x436>
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    -0x28(%rbp),%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
jne    1531 <trace_edge+0x431>
mov    -0x28(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x2c(%rbp),%eax
mov    %eax,-0x18(%rbp)
movl   $0x1,-0x20(%rbp)
jmp    1536 <trace_edge+0x436>
jmp    153b <trace_edge+0x43b>
jmp    1540 <trace_edge+0x440>
jmp    1545 <trace_edge+0x445>
jmp    154a <trace_edge+0x44a>
jmp    1148 <trace_edge+0x48>
pop    %rbp
ret

x86 assembly (clang, -O2):
<trace_edge>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    %ecx,%r14d
mov    0x70(%rsp),%rax
mov    0x40(%rsp),%rbx
movl   $0x0,(%rax)
mov    %r9d,%r13d
not    %r13d
lea    (%rsi,%r13,1),%ecx
mov    %ecx,-0x4(%rsp)
mov    %edx,-0xc(%rsp)
add    %edx,%r13d
mov    0x38(%rsp),%r10
lea    -0x1(%rsi),%ecx
mov    %ecx,-0x8(%rsp)
xchg   %ax,%ax
mov    %r8d,%r11d
mov    %r14d,%ecx
cmpl   $0x0,0x58(%rsp)
je     1172 <trace_edge+0x72>
cmp    %r9d,%ecx
jl     12cb <trace_edge+0x1cb>
cmp    -0x4(%rsp),%ecx
jg     12cb <trace_edge+0x1cb>
cmp    %r9d,%r11d
jl     12cb <trace_edge+0x1cb>
cmp    %r13d,%r11d
jg     12cb <trace_edge+0x1cb>
mov    %r11d,%r15d
imul   %esi,%r15d
lea    (%r15,%rcx,1),%edx
movslq %edx,%rdx
movb   $0xff,(%rdi,%rdx,1)
movslq (%rax),%rdx
cmp    0x60(%rsp),%edx
jge    11a1 <trace_edge+0xa1>
mov    0x68(%rsp),%rbp
mov    %ecx,0x0(%rbp,%rdx,8)
movslq (%rax),%rdx
mov    %r11d,0x4(%rbp,%rdx,8)
addl   $0x1,(%rax)
mov    %r10,%rdx
cmp    (%r10),%ecx
jl     11b6 <trace_edge+0xb6>
mov    0x48(%rsp),%rbp
mov    %rbp,%rdx
cmp    0x0(%rbp),%ecx
jle    11b8 <trace_edge+0xb8>
mov    %ecx,(%rdx)
mov    %rbx,%rdx
cmp    (%rbx),%r11d
jl     11ce <trace_edge+0xce>
mov    0x50(%rsp),%rbp
mov    %rbp,%rdx
cmp    0x0(%rbp),%r11d
jle    11d1 <trace_edge+0xd1>
mov    %r11d,(%rdx)
lea    -0x1(%rcx),%r12d
test   %r11d,%r11d
jle    1230 <trace_edge+0x130>
lea    -0x1(%r11),%r8d
mov    %r8d,%edx
imul   %esi,%edx
test   %ecx,%ecx
jle    11fc <trace_edge+0xfc>
lea    (%rdx,%r12,1),%ebp
movslq %ebp,%rbp
cmpb   $0x0,(%rdi,%rbp,1)
mov    %r12d,%r14d
je     1140 <trace_edge+0x40>
lea    (%rdx,%rcx,1),%ebp
movslq %ebp,%rbp
cmpb   $0x0,(%rdi,%rbp,1)
mov    %ecx,%r14d
je     1140 <trace_edge+0x40>
lea    0x1(%rcx),%r14d
cmp    %esi,%r14d
jge    1230 <trace_edge+0x130>
add    %r14d,%edx
movslq %edx,%rdx
cmpb   $0x0,(%rdi,%rdx,1)
je     1140 <trace_edge+0x40>
nopl   0x0(%rax,%rax,1)
test   %ecx,%ecx
jle    124b <trace_edge+0x14b>
lea    (%r15,%r12,1),%edx
movslq %edx,%rdx
cmpb   $0x0,(%rdi,%rdx,1)
mov    %r12d,%r14d
mov    %r11d,%r8d
je     1140 <trace_edge+0x40>
cmp    -0x8(%rsp),%ecx
jge    126c <trace_edge+0x16c>
lea    0x1(%rcx),%r14d
lea    (%rcx,%r15,1),%edx
add    $0x1,%edx
movslq %edx,%rdx
cmpb   $0x0,(%rdi,%rdx,1)
mov    %r11d,%r8d
je     1140 <trace_edge+0x40>
add    $0x1,%r11d
cmp    -0xc(%rsp),%r11d
jge    12cb <trace_edge+0x1cb>
mov    %r11d,%edx
imul   %esi,%edx
test   %ecx,%ecx
jle    1299 <trace_edge+0x199>
lea    -0x1(%rcx),%r14d
lea    (%r14,%rdx,1),%ebp
movslq %ebp,%rbp
cmpb   $0x0,(%rdi,%rbp,1)
mov    %r11d,%r8d
je     1140 <trace_edge+0x40>
lea    (%rcx,%rdx,1),%ebp
movslq %ebp,%rbp
cmpb   $0x0,(%rdi,%rbp,1)
mov    %ecx,%r14d
mov    %r11d,%r8d
je     1140 <trace_edge+0x40>
add    $0x1,%ecx
cmp    %esi,%ecx
jge    12cb <trace_edge+0x1cb>
add    %ecx,%edx
movslq %edx,%rdx
cmpb   $0x0,(%rdi,%rdx,1)
mov    %ecx,%r14d
mov    %r11d,%r8d
je     1140 <trace_edge+0x40>
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @trace_edge(i8* %0, i32 %1, i32 %2, i32 %3, i32 %4, i32 %5, i32* %6, i32* %7, i32* %8, i32* %9, i32 %10, i32 %11, i32* %12, i32* %13) {
%15 = alloca i8*
%16 = alloca i32
%17 = alloca i32
%18 = alloca i32
%19 = alloca i32
%20 = alloca i32
%21 = alloca i32*
%22 = alloca i32*
%23 = alloca i32*
%24 = alloca i32*
%25 = alloca i32
%26 = alloca i32
%27 = alloca i32*
%28 = alloca i32*
%29 = alloca i32
%30 = alloca i32
%31 = alloca i32
%32 = alloca i32
store i8* %0, i8** %15
store i32 %1, i32* %16
store i32 %2, i32* %17
store i32 %3, i32* %18
store i32 %4, i32* %19
store i32 %5, i32* %20
store i32* %6, i32** %21
store i32* %7, i32** %22
store i32* %8, i32** %23
store i32* %9, i32** %24
store i32 %10, i32* %25
store i32 %11, i32* %26
store i32* %12, i32** %27
store i32* %13, i32** %28
%33 = load i32*, i32** %28
store i32 0, i32* %33
store i32 1, i32* %29
br label %34
34: ; preds = %328, %14
%35 = load i32, i32* %29
%36 = icmp ne i32 %35, 0
br i1 %36, label %37, label %329
37: ; preds = %34
store i32 0, i32* %29
%38 = load i32, i32* %25
%39 = icmp eq i32 %38, 0
br i1 %39, label %65, label %40
40: ; preds = %37
%41 = load i32, i32* %25
%42 = icmp ne i32 %41, 0
br i1 %42, label %43, label %328
43: ; preds = %40
%44 = load i32, i32* %18
%45 = load i32, i32* %20
%46 = icmp sge i32 %44, %45
br i1 %46, label %47, label %328
47: ; preds = %43
%48 = load i32, i32* %18
%49 = load i32, i32* %16
%50 = sub nsw i32 %49, 1
%51 = load i32, i32* %20
%52 = sub nsw i32 %50, %51
%53 = icmp sle i32 %48, %52
br i1 %53, label %54, label %328
54: ; preds = %47
%55 = load i32, i32* %19
%56 = load i32, i32* %20
%57 = icmp sge i32 %55, %56
br i1 %57, label %58, label %328
58: ; preds = %54
%59 = load i32, i32* %19
%60 = load i32, i32* %17
%61 = sub nsw i32 %60, 1
%62 = load i32, i32* %20
%63 = sub nsw i32 %61, %62
%64 = icmp sle i32 %59, %63
br i1 %64, label %65, label %328
65: ; preds = %58, %37
%66 = load i8*, i8** %15
%67 = load i32, i32* %19
%68 = load i32, i32* %16
%69 = mul nsw i32 %67, %68
%70 = load i32, i32* %18
%71 = add nsw i32 %69, %70
%72 = sext i32 %71 to i64
%73 = getelementptr inbounds i8, i8* %66, i64 %72
store i8 -1, i8* %73
%74 = load i32*, i32** %28
%75 = load i32, i32* %74
%76 = load i32, i32* %26
%77 = icmp slt i32 %75, %76
br i1 %77, label %78, label %98
78: ; preds = %65
%79 = load i32, i32* %18
%80 = load i32*, i32** %27
%81 = load i32*, i32** %28
%82 = load i32, i32* %81
%83 = mul nsw i32 %82, 2
%84 = sext i32 %83 to i64
%85 = getelementptr inbounds i32, i32* %80, i64 %84
store i32 %79, i32* %85
%86 = load i32, i32* %19
%87 = load i32*, i32** %27
%88 = load i32*, i32** %28
%89 = load i32, i32* %88
%90 = mul nsw i32 %89, 2
%91 = add nsw i32 %90, 1
%92 = sext i32 %91 to i64
%93 = getelementptr inbounds i32, i32* %87, i64 %92
store i32 %86, i32* %93
%94 = load i32*, i32** %28
%95 = load i32, i32* %94
%96 = add nsw i32 %95, 1
%97 = load i32*, i32** %28
store i32 %96, i32* %97
br label %98
98: ; preds = %78, %65
%99 = load i32, i32* %18
%100 = load i32*, i32** %21
%101 = load i32, i32* %100
%102 = icmp slt i32 %99, %101
br i1 %102, label %103, label %106
103: ; preds = %98
%104 = load i32, i32* %18
%105 = load i32*, i32** %21
store i32 %104, i32* %105
br label %115
106: ; preds = %98
%107 = load i32, i32* %18
%108 = load i32*, i32** %23
%109 = load i32, i32* %108
%110 = icmp sgt i32 %107, %109
br i1 %110, label %111, label %114
111: ; preds = %106
%112 = load i32, i32* %18
%113 = load i32*, i32** %23
store i32 %112, i32* %113
br label %114
114: ; preds = %111, %106
br label %115
115: ; preds = %114, %103
%116 = load i32, i32* %19
%117 = load i32*, i32** %22
%118 = load i32, i32* %117
%119 = icmp slt i32 %116, %118
br i1 %119, label %120, label %123
120: ; preds = %115
%121 = load i32, i32* %19
%122 = load i32*, i32** %22
store i32 %121, i32* %122
br label %132
123: ; preds = %115
%124 = load i32, i32* %19
%125 = load i32*, i32** %24
%126 = load i32, i32* %125
%127 = icmp sgt i32 %124, %126
br i1 %127, label %128, label %131
128: ; preds = %123
%129 = load i32, i32* %19
%130 = load i32*, i32** %24
store i32 %129, i32* %130
br label %131
131: ; preds = %128, %123
br label %132
132: ; preds = %131, %120
%133 = load i32, i32* %19
%134 = sub nsw i32 %133, 1
store i32 %134, i32* %32
%135 = load i32, i32* %18
%136 = sub nsw i32 %135, 1
store i32 %136, i32* %31
%137 = load i32, i32* %32
%138 = icmp sgt i32 %137, -1
br i1 %138, label %139, label %200
139: ; preds = %132
%140 = load i32, i32* %32
%141 = load i32, i32* %16
%142 = mul nsw i32 %140, %141
store i32 %142, i32* %30
%143 = load i32, i32* %31
%144 = icmp sgt i32 %143, -1
br i1 %144, label %145, label %159
145: ; preds = %139
%146 = load i8*, i8** %15
%147 = load i32, i32* %30
%148 = load i32, i32* %31
%149 = add nsw i32 %147, %148
%150 = sext i32 %149 to i64
%151 = getelementptr inbounds i8, i8* %146, i64 %150
%152 = load i8, i8* %151
%153 = zext i8 %152 to i32
%154 = icmp eq i32 %153, 0
br i1 %154, label %155, label %158
155: ; preds = %145
%156 = load i32, i32* %31
store i32 %156, i32* %18
%157 = load i32, i32* %32
store i32 %157, i32* %19
store i32 1, i32* %29
br label %158
158: ; preds = %155, %145
br label %159
159: ; preds = %158, %139
%160 = load i32, i32* %18
store i32 %160, i32* %31
%161 = load i32, i32* %29
%162 = icmp eq i32 %161, 0
br i1 %162, label %163, label %176
163: ; preds = %159
%164 = load i8*, i8** %15
%165 = load i32, i32* %30
%166 = load i32, i32* %31
%167 = add nsw i32 %165, %166
%168 = sext i32 %167 to i64
%169 = getelementptr inbounds i8, i8* %164, i64 %168
%170 = load i8, i8* %169
%171 = zext i8 %170 to i32
%172 = icmp eq i32 %171, 0
br i1 %172, label %173, label %176
173: ; preds = %163
%174 = load i32, i32* %31
store i32 %174, i32* %18
%175 = load i32, i32* %32
store i32 %175, i32* %19
store i32 1, i32* %29
br label %176
176: ; preds = %173, %163, %159
%177 = load i32, i32* %18
%178 = add nsw i32 %177, 1
store i32 %178, i32* %31
%179 = load i32, i32* %29
%180 = icmp eq i32 %179, 0
br i1 %180, label %181, label %199
181: ; preds = %176
%182 = load i32, i32* %31
%183 = load i32, i32* %16
%184 = icmp slt i32 %182, %183
br i1 %184, label %185, label %199
185: ; preds = %181
%186 = load i8*, i8** %15
%187 = load i32, i32* %30
%188 = load i32, i32* %31
%189 = add nsw i32 %187, %188
%190 = sext i32 %189 to i64
%191 = getelementptr inbounds i8, i8* %186, i64 %190
%192 = load i8, i8* %191
%193 = zext i8 %192 to i32
%194 = icmp eq i32 %193, 0
br i1 %194, label %195, label %198
195: ; preds = %185
%196 = load i32, i32* %31
store i32 %196, i32* %18
%197 = load i32, i32* %32
store i32 %197, i32* %19
store i32 1, i32* %29
br label %198
198: ; preds = %195, %185
br label %199
199: ; preds = %198, %181, %176
br label %200
200: ; preds = %199, %132
%201 = load i32, i32* %29
%202 = icmp eq i32 %201, 0
br i1 %202, label %203, label %251
203: ; preds = %200
%204 = load i32, i32* %19
store i32 %204, i32* %32
%205 = load i32, i32* %32
%206 = load i32, i32* %16
%207 = mul nsw i32 %205, %206
store i32 %207, i32* %30
%208 = load i32, i32* %18
%209 = icmp sgt i32 %208, 0
br i1 %209, label %210, label %226
210: ; preds = %203
%211 = load i32, i32* %18
%212 = sub nsw i32 %211, 1
store i32 %212, i32* %31
%213 = load i8*, i8** %15
%214 = load i32, i32* %30
%215 = load i32, i32* %31
%216 = add nsw i32 %214, %215
%217 = sext i32 %216 to i64
%218 = getelementptr inbounds i8, i8* %213, i64 %217
%219 = load i8, i8* %218
%220 = zext i8 %219 to i32
%221 = icmp eq i32 %220, 0
br i1 %221, label %222, label %225
222: ; preds = %210
%223 = load i32, i32* %31
store i32 %223, i32* %18
%224 = load i32, i32* %32
store i32 %224, i32* %19
store i32 1, i32* %29
br label %225
225: ; preds = %222, %210
br label %226
226: ; preds = %225, %203
%227 = load i32, i32* %29
%228 = icmp eq i32 %227, 0
br i1 %228, label %229, label %250
229: ; preds = %226
%230 = load i32, i32* %18
%231 = load i32, i32* %16
%232 = sub nsw i32 %231, 1
%233 = icmp slt i32 %230, %232
br i1 %233, label %234, label %250
234: ; preds = %229
%235 = load i32, i32* %18
%236 = add nsw i32 %235, 1
store i32 %236, i32* %31
%237 = load i8*, i8** %15
%238 = load i32, i32* %30
%239 = load i32, i32* %31
%240 = add nsw i32 %238, %239
%241 = sext i32 %240 to i64
%242 = getelementptr inbounds i8, i8* %237, i64 %241
%243 = load i8, i8* %242
%244 = zext i8 %243 to i32
%245 = icmp eq i32 %244, 0
br i1 %245, label %246, label %249
246: ; preds = %234
%247 = load i32, i32* %31
store i32 %247, i32* %18
%248 = load i32, i32* %32
store i32 %248, i32* %19
store i32 1, i32* %29
br label %249
249: ; preds = %246, %234
br label %250
250: ; preds = %249, %229, %226
br label %251
251: ; preds = %250, %200
%252 = load i32, i32* %29
%253 = icmp eq i32 %252, 0
br i1 %253, label %254, label %327
254: ; preds = %251
%255 = load i32, i32* %19
%256 = add nsw i32 %255, 1
store i32 %256, i32* %32
%257 = load i32, i32* %32
%258 = load i32, i32* %16
%259 = mul nsw i32 %257, %258
store i32 %259, i32* %30
%260 = load i32, i32* %32
%261 = load i32, i32* %17
%262 = icmp slt i32 %260, %261
br i1 %262, label %263, label %326
263: ; preds = %254
%264 = load i32, i32* %18
%265 = sub nsw i32 %264, 1
store i32 %265, i32* %31
%266 = load i32, i32* %31
%267 = icmp sgt i32 %266, -1
br i1 %267, label %268, label %282
268: ; preds = %263
%269 = load i8*, i8** %15
%270 = load i32, i32* %30
%271 = load i32, i32* %31
%272 = add nsw i32 %270, %271
%273 = sext i32 %272 to i64
%274 = getelementptr inbounds i8, i8* %269, i64 %273
%275 = load i8, i8* %274
%276 = zext i8 %275 to i32
%277 = icmp eq i32 %276, 0
br i1 %277, label %278, label %281
278: ; preds = %268
%279 = load i32, i32* %31
store i32 %279, i32* %18
%280 = load i32, i32* %32
store i32 %280, i32* %19
store i32 1, i32* %29
br label %281
281: ; preds = %278, %268
br label %282
282: ; preds = %281, %263
%283 = load i32, i32* %29
%284 = icmp eq i32 %283, 0
br i1 %284, label %285, label %301
285: ; preds = %282
%286 = load i32, i32* %31
%287 = add nsw i32 %286, 1
store i32 %287, i32* %31
%288 = load i8*, i8** %15
%289 = load i32, i32* %30
%290 = load i32, i32* %31
%291 = add nsw i32 %289, %290
%292 = sext i32 %291 to i64
%293 = getelementptr inbounds i8, i8* %288, i64 %292
%294 = load i8, i8* %293
%295 = zext i8 %294 to i32
%296 = icmp eq i32 %295, 0
br i1 %296, label %297, label %300
297: ; preds = %285
%298 = load i32, i32* %31
store i32 %298, i32* %18
%299 = load i32, i32* %32
store i32 %299, i32* %19
store i32 1, i32* %29
br label %300
300: ; preds = %297, %285
br label %301
301: ; preds = %300, %282
%302 = load i32, i32* %29
%303 = icmp eq i32 %302, 0
br i1 %303, label %304, label %325
304: ; preds = %301
%305 = load i32, i32* %31
%306 = add nsw i32 %305, 1
store i32 %306, i32* %31
%307 = load i32, i32* %31
%308 = load i32, i32* %16
%309 = icmp slt i32 %307, %308
br i1 %309, label %310, label %324
310: ; preds = %304
%311 = load i8*, i8** %15
%312 = load i32, i32* %30
%313 = load i32, i32* %31
%314 = add nsw i32 %312, %313
%315 = sext i32 %314 to i64
%316 = getelementptr inbounds i8, i8* %311, i64 %315
%317 = load i8, i8* %316
%318 = zext i8 %317 to i32
%319 = icmp eq i32 %318, 0
br i1 %319, label %320, label %323
320: ; preds = %310
%321 = load i32, i32* %31
store i32 %321, i32* %18
%322 = load i32, i32* %32
store i32 %322, i32* %19
store i32 1, i32* %29
br label %323
323: ; preds = %320, %310
br label %324
324: ; preds = %323, %304
br label %325
325: ; preds = %324, %301
br label %326
326: ; preds = %325, %254
br label %327
327: ; preds = %326, %251
br label %328
328: ; preds = %327, %58, %54, %47, %43, %40
br label %34
329: ; preds = %34
ret void
}

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