void SolveMaze(char *maze, int width, int height) {
  int dir, count;
  int x, y;
  int dx, dy;
  int forward;
  maze[0 * width + 1] = 1;
  maze[(height - 1) * width + (width - 2)] = 1;
  forward = 1;
  dir = 0;
  count = 0;
  x = 1;
  y = 1;
  while (x != width - 2 || y != height - 2) {
    dx = 0;
    dy = 0;
    switch (dir) {
    case 0:
      dx = 1;
      break;
    case 1:
      dy = 1;
      break;
    case 2:
      dx = -1;
      break;
    default:
      dy = -1;
      break;
    }
    if ((forward && maze[(y + dy) * width + (x + dx)] == 0) ||
        (!forward && maze[(y + dy) * width + (x + dx)] == 2)) {
      maze[y * width + x] = forward ? 2 : 3;
      x += dx;
      y += dy;
      forward = 1;
      count = 0;
      dir = 0;
    } else {
      dir = (dir + 1) % 4;
      count += 1;
      if (count > 3) {
        forward = 0;
        count = 0;
      }
    }
  }
  maze[(height - 2) * width + (width - 2)] = 2;
  maze[(height - 1) * width + (width - 2)] = 2;
}


x86 assembly (clang, -O0):
<SolveMaze>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    -0x8(%rbp),%rax
imul   $0x0,-0xc(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movb   $0x1,(%rax,%rcx,1)
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
sub    $0x1,%ecx
imul   -0xc(%rbp),%ecx
mov    -0xc(%rbp),%edx
sub    $0x2,%edx
add    %edx,%ecx
movslq %ecx,%rcx
movb   $0x1,(%rax,%rcx,1)
movl   $0x1,-0x2c(%rbp)
movl   $0x0,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
movl   $0x1,-0x1c(%rbp)
movl   $0x1,-0x20(%rbp)
mov    -0x1c(%rbp),%ecx
mov    -0xc(%rbp),%edx
sub    $0x2,%edx
mov    $0x1,%al
cmp    %edx,%ecx
mov    %al,-0x2d(%rbp)
jne    1187 <SolveMaze+0x87>
mov    -0x20(%rbp),%eax
mov    -0x10(%rbp),%ecx
sub    $0x2,%ecx
cmp    %ecx,%eax
setne  %al
mov    %al,-0x2d(%rbp)
mov    -0x2d(%rbp),%al
test   $0x1,%al
jne    1197 <SolveMaze+0x97>
jmp    12f6 <SolveMaze+0x1f6>
movl   $0x0,-0x24(%rbp)
movl   $0x0,-0x28(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x34(%rbp)
test   %eax,%eax
je     11da <SolveMaze+0xda>
jmp    11b8 <SolveMaze+0xb8>
mov    -0x34(%rbp),%eax
sub    $0x1,%eax
je     11e6 <SolveMaze+0xe6>
jmp    11c9 <SolveMaze+0xc9>
mov    -0x34(%rbp),%eax
sub    $0x2,%eax
je     11f2 <SolveMaze+0xf2>
jmp    11fe <SolveMaze+0xfe>
movl   $0x1,-0x24(%rbp)
jmp    1205 <SolveMaze+0x105>
movl   $0x1,-0x28(%rbp)
jmp    1205 <SolveMaze+0x105>
movl   $0xffffffff,-0x24(%rbp)
jmp    1205 <SolveMaze+0x105>
movl   $0xffffffff,-0x28(%rbp)
cmpl   $0x0,-0x2c(%rbp)
je     1235 <SolveMaze+0x135>
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%ecx
add    -0x28(%rbp),%ecx
imul   -0xc(%rbp),%ecx
mov    -0x1c(%rbp),%edx
add    -0x24(%rbp),%edx
add    %edx,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     1265 <SolveMaze+0x165>
cmpl   $0x0,-0x2c(%rbp)
jne    12ba <SolveMaze+0x1ba>
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%ecx
add    -0x28(%rbp),%ecx
imul   -0xc(%rbp),%ecx
mov    -0x1c(%rbp),%edx
add    -0x24(%rbp),%edx
add    %edx,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2,%eax
jne    12ba <SolveMaze+0x1ba>
mov    -0x2c(%rbp),%edx
mov    $0x3,%eax
mov    $0x2,%ecx
cmp    $0x0,%edx
cmovne %ecx,%eax
mov    %al,%dl
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%ecx
imul   -0xc(%rbp),%ecx
add    -0x1c(%rbp),%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x24(%rbp),%eax
add    -0x1c(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x28(%rbp),%eax
add    -0x20(%rbp),%eax
mov    %eax,-0x20(%rbp)
movl   $0x1,-0x2c(%rbp)
movl   $0x0,-0x18(%rbp)
movl   $0x0,-0x14(%rbp)
jmp    12f1 <SolveMaze+0x1f1>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    $0x4,%ecx
cltd
idiv   %ecx
mov    %edx,-0x14(%rbp)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
cmpl   $0x3,-0x18(%rbp)
jle    12ec <SolveMaze+0x1ec>
movl   $0x0,-0x2c(%rbp)
movl   $0x0,-0x18(%rbp)
jmp    12f1 <SolveMaze+0x1f1>
jmp    1160 <SolveMaze+0x60>
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
sub    $0x2,%ecx
imul   -0xc(%rbp),%ecx
mov    -0xc(%rbp),%edx
sub    $0x2,%edx
add    %edx,%ecx
movslq %ecx,%rcx
movb   $0x2,(%rax,%rcx,1)
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
sub    $0x1,%ecx
imul   -0xc(%rbp),%ecx
mov    -0xc(%rbp),%edx
sub    $0x2,%edx
add    %edx,%ecx
movslq %ecx,%rcx
movb   $0x2,(%rax,%rcx,1)
pop    %rbp
ret

x86 assembly (clang, -O2):
<SolveMaze>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
movb   $0x1,0x1(%rdi)
lea    -0x1(%rdx),%eax
imul   %esi,%eax
lea    -0x2(%rsi),%r11d
add    %esi,%eax
add    $0xfffffffe,%eax
cltq
mov    %rax,-0x8(%rsp)
movb   $0x1,(%rdi,%rax,1)
add    $0xfffffffe,%edx
cmp    $0x1,%r11d
jne    113a <SolveMaze+0x3a>
cmp    $0x1,%edx
je     121a <SolveMaze+0x11a>
xor    %r10d,%r10d
mov    $0x1,%r15d
mov    $0x1,%r9d
mov    $0x1,%r12d
xor    %r14d,%r14d
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    $0xffffffff,%ebp
mov    $0x0,%eax
cmp    $0x2,%ebx
ja     1184 <SolveMaze+0x84>
mov    $0x1,%eax
sub    %ebx,%eax
movslq %ebx,%rcx
lea    0xe80(%rip),%rbp
mov    0x0(%rbp,%rcx,4),%ebp
add    %r9d,%ebp
mov    %ebp,%ecx
imul   %esi,%ecx
add    %r12d,%eax
add    %eax,%ecx
movslq %ecx,%rcx
movzbl (%rdi,%rcx,1),%r8d
test   %r15d,%r15d
je     11b0 <SolveMaze+0xb0>
test   %r8b,%r8b
jne    11e0 <SolveMaze+0xe0>
mov    $0x2,%r13b
jmp    11b9 <SolveMaze+0xb9>
nopl   0x0(%rax,%rax,1)
mov    $0x3,%r13b
cmp    $0x2,%r8b
jne    11e0 <SolveMaze+0xe0>
imul   %esi,%r9d
add    %r12d,%r9d
movslq %r9d,%rcx
mov    %r13b,(%rdi,%rcx,1)
mov    $0x1,%r15d
xor    %ebx,%ebx
xor    %r14d,%r14d
mov    %eax,%r12d
mov    %ebp,%r9d
cmp    %r11d,%r12d
je     1211 <SolveMaze+0x111>
jmp    1160 <SolveMaze+0x60>
nop
lea    0x1(%rbx),%eax
lea    0x4(%rbx),%ecx
test   %eax,%eax
cmovns %eax,%ecx
and    $0xfffffffc,%ecx
neg    %ecx
add    %ecx,%ebx
add    $0x1,%ebx
cmp    $0x3,%r14d
lea    0x1(%r14),%eax
cmovge %r10d,%eax
cmovge %r10d,%r15d
mov    %eax,%r14d
cmp    %r11d,%r12d
jne    1160 <SolveMaze+0x60>
cmp    %edx,%r9d
jne    1160 <SolveMaze+0x60>
imul   %esi,%edx
add    %r11d,%edx
movslq %edx,%rax
movb   $0x2,(%rdi,%rax,1)
mov    -0x8(%rsp),%rax
movb   $0x2,(%rdi,%rax,1)
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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