void canny_follow(unsigned int x1, unsigned int y1, unsigned int i1,
                  int *threshold, int *followedEdges, int *magnitude,
                  int *width, int *height) {
  int following = 1;
  unsigned int x0, x2, y0, y2, x, y, i2, i3;
  while (following != 0) {
    following = 0;
    x0 = x1 == 0 ? x1 : x1 - 1;
    x2 = x1 == (unsigned int)*width - 1 ? x1 : x1 + 1;
    y0 = y1 == 0 ? y1 : y1 - 1;
    y2 = y1 == (unsigned int)*height - 1 ? y1 : y1 + 1;
    followedEdges[i1] = magnitude[i1];
    y = y0;
    while ((y <= y2) && (following == 0)) {
      i2 = y * *width;
      i3 = i2 + x0;
      x = x0;
      while ((x <= x2) && (following == 0)) {
        if (followedEdges[i3] == 0) {
          if (magnitude[i3] >= *threshold) {
            i1 = i3;
            x1 = x;
            y1 = y;
            following = 1;
          }
        }
        x++;
        i3++;
      }
      y++;
    }
  }
}


x86 assembly (clang, -O0):
<canny_follow>:
push   %rbp
mov    %rsp,%rbp
mov    0x18(%rbp),%rax
mov    0x10(%rbp),%rax
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %edx,-0xc(%rbp)
mov    %rcx,-0x18(%rbp)
mov    %r8,-0x20(%rbp)
mov    %r9,-0x28(%rbp)
movl   $0x1,-0x2c(%rbp)
cmpl   $0x0,-0x2c(%rbp)
je     12d8 <canny_follow+0x1d8>
movl   $0x0,-0x2c(%rbp)
cmpl   $0x0,-0x4(%rbp)
jne    114e <canny_follow+0x4e>
mov    -0x4(%rbp),%eax
mov    %eax,-0x50(%rbp)
jmp    1157 <canny_follow+0x57>
mov    -0x4(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x50(%rbp)
mov    -0x50(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x4(%rbp),%eax
mov    0x10(%rbp),%rcx
mov    (%rcx),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jne    117c <canny_follow+0x7c>
mov    -0x4(%rbp),%eax
mov    %eax,-0x54(%rbp)
jmp    1185 <canny_follow+0x85>
mov    -0x4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x54(%rbp)
mov    -0x54(%rbp),%eax
mov    %eax,-0x34(%rbp)
cmpl   $0x0,-0x8(%rbp)
jne    11a0 <canny_follow+0xa0>
mov    -0x8(%rbp),%eax
mov    %eax,-0x58(%rbp)
jmp    11a9 <canny_follow+0xa9>
mov    -0x8(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x58(%rbp)
mov    -0x58(%rbp),%eax
mov    %eax,-0x38(%rbp)
mov    -0x8(%rbp),%eax
mov    0x18(%rbp),%rcx
mov    (%rcx),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jne    11ce <canny_follow+0xce>
mov    -0x8(%rbp),%eax
mov    %eax,-0x5c(%rbp)
jmp    11d7 <canny_follow+0xd7>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x5c(%rbp)
mov    -0x5c(%rbp),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x28(%rbp),%rax
mov    -0xc(%rbp),%ecx
mov    (%rax,%rcx,4),%edx
mov    -0x20(%rbp),%rax
mov    -0xc(%rbp),%ecx
mov    %edx,(%rax,%rcx,4)
mov    -0x38(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x44(%rbp),%ecx
xor    %eax,%eax
cmp    -0x3c(%rbp),%ecx
mov    %al,-0x5d(%rbp)
ja     1212 <canny_follow+0x112>
cmpl   $0x0,-0x2c(%rbp)
sete   %al
mov    %al,-0x5d(%rbp)
mov    -0x5d(%rbp),%al
test   $0x1,%al
jne    1222 <canny_follow+0x122>
jmp    12d3 <canny_follow+0x1d3>
mov    -0x44(%rbp),%eax
mov    0x10(%rbp),%rcx
imul   (%rcx),%eax
mov    %eax,-0x48(%rbp)
mov    -0x48(%rbp),%eax
add    -0x30(%rbp),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x30(%rbp),%eax
mov    %eax,-0x40(%rbp)
mov    -0x40(%rbp),%ecx
xor    %eax,%eax
cmp    -0x34(%rbp),%ecx
mov    %al,-0x5e(%rbp)
ja     1259 <canny_follow+0x159>
cmpl   $0x0,-0x2c(%rbp)
sete   %al
mov    %al,-0x5e(%rbp)
mov    -0x5e(%rbp),%al
test   $0x1,%al
jne    1269 <canny_follow+0x169>
jmp    12c5 <canny_follow+0x1c5>
mov    -0x20(%rbp),%rax
mov    -0x4c(%rbp),%ecx
cmpl   $0x0,(%rax,%rcx,4)
jne    12ae <canny_follow+0x1ae>
mov    -0x28(%rbp),%rax
mov    -0x4c(%rbp),%ecx
mov    (%rax,%rcx,4),%eax
mov    -0x18(%rbp),%rcx
cmp    (%rcx),%eax
jl     12a9 <canny_follow+0x1a9>
mov    -0x4c(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x40(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x44(%rbp),%eax
mov    %eax,-0x8(%rbp)
movl   $0x1,-0x2c(%rbp)
jmp    12ae <canny_follow+0x1ae>
mov    -0x40(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x40(%rbp)
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
jmp    123e <canny_follow+0x13e>
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    11f7 <canny_follow+0xf7>
jmp    1128 <canny_follow+0x28>
pop    %rbp
ret

x86 assembly (clang, -O2):
<canny_follow>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    0x38(%rsp),%r11
xor    %r14d,%r14d
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    %esi,%r15d
mov    %edi,%r12d
sub    $0x1,%r12d
cmovb  %r14d,%r12d
mov    (%r11),%eax
add    $0xffffffff,%eax
xor    %ebx,%ebx
cmp    %eax,%edi
setne  %r13b
sub    $0x1,%esi
cmovb  %r14d,%esi
mov    0x40(%rsp),%rax
mov    (%rax),%eax
add    $0xffffffff,%eax
xor    %r10d,%r10d
cmp    %eax,%r15d
setne  %r10b
add    %r15d,%r10d
mov    %edx,%eax
mov    (%r9,%rax,4),%edx
mov    %edx,(%r8,%rax,4)
cmp    %r10d,%esi
ja     11be <canny_follow+0xbe>
mov    %r13b,%bl
mov    %edi,%eax
add    %ebx,%eax
mov    (%r11),%r15d
mov    %r15d,%ebx
imul   %esi,%ebx
jmp    118b <canny_follow+0x8b>
nopl   0x0(%rax,%rax,1)
add    $0x1,%esi
add    %r15d,%ebx
cmp    %r10d,%esi
ja     11be <canny_follow+0xbe>
cmp    %eax,%r12d
ja     1180 <canny_follow+0x80>
mov    %r12d,%edi
jmp    11a7 <canny_follow+0xa7>
cs nopw 0x0(%rax,%rax,1)
nop
add    $0x1,%edi
cmp    %eax,%edi
ja     1180 <canny_follow+0x80>
lea    (%rbx,%rdi,1),%edx
cmpl   $0x0,(%r8,%rdx,4)
jne    11a0 <canny_follow+0xa0>
mov    (%r9,%rdx,4),%ebp
cmp    (%rcx),%ebp
jl     11a0 <canny_follow+0xa0>
jmp    1120 <canny_follow+0x20>
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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