int WasGapHere(trace, i, j, M, N)
int *trace;
int i, j;
int M, N;
{
  int O = N + 1;
  int t;
  int gapfound = 0;
  int compj = j;
  j--;
  if (j < 1) {
    j = N;
    i--;
  }
  t = trace[(i * O + j)];
  while ((t != 0) && (!gapfound)) {
    switch (t) {
    case -2:
      if (j == compj) {
        gapfound = 1;
      }
      j--;
      if (j < 1) {
        j = N;
        i--;
      }
      break;
    case -1:
      i--;
      break;
    case -3:
      i--;
      j--;
      if (j < 1) {
        j = N;
      }
      break;
    case -4:
      j--;
      if (j < 1) {
        j = N;
      }
      break;
    }
    t = trace[(i * O + j)];
  }
  return gapfound;
}


x86 assembly (clang, -O0):
<WasGapHere>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %ecx,-0x14(%rbp)
mov    %r8d,-0x18(%rbp)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
movl   $0x0,-0x24(%rbp)
mov    -0x10(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x10(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x10(%rbp)
cmpl   $0x1,-0x10(%rbp)
jge    114d <WasGapHere+0x4d>
mov    -0x18(%rbp),%eax
mov    %eax,-0x10(%rbp)
mov    -0xc(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
imul   -0x1c(%rbp),%ecx
add    -0x10(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x20(%rbp)
xor    %eax,%eax
cmpl   $0x0,-0x20(%rbp)
mov    %al,-0x29(%rbp)
je     117f <WasGapHere+0x7f>
cmpl   $0x0,-0x24(%rbp)
setne  %al
xor    $0xff,%al
mov    %al,-0x29(%rbp)
mov    -0x29(%rbp),%al
test   $0x1,%al
jne    118f <WasGapHere+0x8f>
jmp    1261 <WasGapHere+0x161>
mov    -0x20(%rbp),%eax
add    $0x4,%eax
mov    %eax,%ecx
mov    %rcx,-0x38(%rbp)
sub    $0x3,%eax
ja     1245 <WasGapHere+0x145>
mov    -0x38(%rbp),%rax
lea    0xe51(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
mov    -0x10(%rbp),%eax
cmp    -0x28(%rbp),%eax
jne    11cb <WasGapHere+0xcb>
movl   $0x1,-0x24(%rbp)
mov    -0x10(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x10(%rbp)
cmpl   $0x1,-0x10(%rbp)
jge    11ed <WasGapHere+0xed>
mov    -0x18(%rbp),%eax
mov    %eax,-0x10(%rbp)
mov    -0xc(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0xc(%rbp)
jmp    1245 <WasGapHere+0x145>
mov    -0xc(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0xc(%rbp)
jmp    1245 <WasGapHere+0x145>
mov    -0xc(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0xc(%rbp)
mov    -0x10(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x10(%rbp)
cmpl   $0x1,-0x10(%rbp)
jge    1222 <WasGapHere+0x122>
mov    -0x18(%rbp),%eax
mov    %eax,-0x10(%rbp)
jmp    1245 <WasGapHere+0x145>
mov    -0x10(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x10(%rbp)
cmpl   $0x1,-0x10(%rbp)
jge    1240 <WasGapHere+0x140>
mov    -0x18(%rbp),%eax
mov    %eax,-0x10(%rbp)
jmp    1245 <WasGapHere+0x145>
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
imul   -0x1c(%rbp),%ecx
add    -0x10(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x20(%rbp)
jmp    1164 <WasGapHere+0x64>
mov    -0x24(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<WasGapHere>:
push   %rbx
lea    0x1(%r8),%r9d
lea    -0x1(%rdx),%r11d
xor    %eax,%eax
cmp    $0x2,%edx
setl   %al
cmovl  %r8d,%r11d
sub    %eax,%esi
mov    %esi,%eax
imul   %r9d,%eax
add    %r11d,%eax
cltq
mov    (%rdi,%rax,4),%ecx
test   %ecx,%ecx
je     11b9 <WasGapHere+0xb9>
lea    0xecc(%rip),%r10
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
xor    %eax,%eax
add    $0x4,%ecx
cmp    $0x3,%ecx
ja     11a0 <WasGapHere+0xa0>
movslq (%r10,%rcx,4),%rcx
add    %r10,%rcx
jmp    *%rcx
add    $0xffffffff,%esi
cmp    $0x2,%r11d
lea    -0x1(%r11),%ecx
cmovl  %r8d,%ecx
jmp    118b <WasGapHere+0x8b>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
xor    %eax,%eax
cmp    %edx,%r11d
sete   %al
xor    %ebx,%ebx
cmp    $0x2,%r11d
lea    -0x1(%r11),%ecx
setl   %bl
cmovl  %r8d,%ecx
sub    %ebx,%esi
mov    %ecx,%r11d
jmp    11a0 <WasGapHere+0xa0>
add    $0xffffffff,%esi
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    %esi,%ecx
imul   %r9d,%ecx
add    %r11d,%ecx
movslq %ecx,%rcx
mov    (%rdi,%rcx,4),%ecx
test   %ecx,%ecx
je     11b7 <WasGapHere+0xb7>
test   %eax,%eax
je     1140 <WasGapHere+0x40>
pop    %rbx
ret
xor    %eax,%eax
pop    %rbx
ret

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

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