int analyze_road_or_river(const unsigned char *types, unsigned int size,
                          unsigned int x, unsigned int y, unsigned char *type,
                          unsigned char *adjacent) {
  unsigned int c_type;
  unsigned int nw_type;
  unsigned int n_type;
  unsigned int ne_type;
  unsigned int w_type;
  unsigned int e_type;
  unsigned int sw_type;
  unsigned int s_type;
  unsigned int se_type;
  c_type = types[x + (size * y)];
  *type = c_type;
  if (0 == c_type) {
    return 0;
  }
  nw_type = (y > 0 && x > 0) ? types[((x - 1) + (size * (y - 1)))] : c_type;
  n_type = (y > 0) ? types[(x + (size * (y - 1)))] : c_type;
  ne_type =
      (x < size - 1 && y > 0) ? types[((x + 1) + (size * (y - 1)))] : c_type;
  w_type = (x > 0) ? types[((x - 1) + (size * y))] : c_type;
  e_type = (x < size - 1) ? types[((x + 1) + (size * y))] : c_type;
  sw_type =
      (x > 0 && y < size - 1) ? types[((x - 1) + (size * (y + 1)))] : c_type;
  s_type = (y < size - 1) ? types[((x + (size * (y + 1))))] : c_type;
  se_type = (y < size - 1 && x < size - 1) ? types[((x + 1) + (size * (y + 1)))]
                                           : c_type;
  *adjacent =
      (0x01 * (0 != nw_type) + 0x02 * (0 != n_type) + 0x04 * (0 != ne_type) +
       0x08 * (0 != w_type) + 0x10 * (0 != e_type) + 0x20 * (0 != sw_type) +
       0x40 * (0 != s_type) + 0x80 * (0 != se_type));
  return 0;
}


x86 assembly (clang, -O0):
<analyze_road_or_river>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    %r8,-0x28(%rbp)
mov    %r9,-0x30(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    -0x14(%rbp),%edx
imul   -0x1c(%rbp),%edx
add    %edx,%ecx
mov    %ecx,%ecx
movzbl (%rax,%rcx,1),%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
mov    %al,%cl
mov    -0x28(%rbp),%rax
mov    %cl,(%rax)
xor    %eax,%eax
cmp    -0x34(%rbp),%eax
jne    1154 <analyze_road_or_river+0x54>
movl   $0x0,-0x4(%rbp)
jmp    141a <analyze_road_or_river+0x31a>
cmpl   $0x0,-0x1c(%rbp)
jbe    118e <analyze_road_or_river+0x8e>
cmpl   $0x0,-0x18(%rbp)
jbe    118e <analyze_road_or_river+0x8e>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
sub    $0x1,%ecx
mov    -0x14(%rbp),%edx
mov    -0x1c(%rbp),%esi
sub    $0x1,%esi
imul   %esi,%edx
add    %edx,%ecx
mov    %ecx,%ecx
movzbl (%rax,%rcx,1),%eax
mov    %eax,-0x58(%rbp)
jmp    1194 <analyze_road_or_river+0x94>
mov    -0x34(%rbp),%eax
mov    %eax,-0x58(%rbp)
mov    -0x58(%rbp),%eax
mov    %eax,-0x38(%rbp)
cmpl   $0x0,-0x1c(%rbp)
jbe    11c7 <analyze_road_or_river+0xc7>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    -0x14(%rbp),%edx
mov    -0x1c(%rbp),%esi
sub    $0x1,%esi
imul   %esi,%edx
add    %edx,%ecx
mov    %ecx,%ecx
movzbl (%rax,%rcx,1),%eax
mov    %eax,-0x5c(%rbp)
jmp    11cd <analyze_road_or_river+0xcd>
mov    -0x34(%rbp),%eax
mov    %eax,-0x5c(%rbp)
mov    -0x5c(%rbp),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x18(%rbp),%eax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jae    1214 <analyze_road_or_river+0x114>
cmpl   $0x0,-0x1c(%rbp)
jbe    1214 <analyze_road_or_river+0x114>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
add    $0x1,%ecx
mov    -0x14(%rbp),%edx
mov    -0x1c(%rbp),%esi
sub    $0x1,%esi
imul   %esi,%edx
add    %edx,%ecx
mov    %ecx,%ecx
movzbl (%rax,%rcx,1),%eax
mov    %eax,-0x60(%rbp)
jmp    121a <analyze_road_or_river+0x11a>
mov    -0x34(%rbp),%eax
mov    %eax,-0x60(%rbp)
mov    -0x60(%rbp),%eax
mov    %eax,-0x40(%rbp)
cmpl   $0x0,-0x18(%rbp)
jbe    124b <analyze_road_or_river+0x14b>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
sub    $0x1,%ecx
mov    -0x14(%rbp),%edx
imul   -0x1c(%rbp),%edx
add    %edx,%ecx
mov    %ecx,%ecx
movzbl (%rax,%rcx,1),%eax
mov    %eax,-0x64(%rbp)
jmp    1251 <analyze_road_or_river+0x151>
mov    -0x34(%rbp),%eax
mov    %eax,-0x64(%rbp)
mov    -0x64(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x18(%rbp),%eax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jae    1289 <analyze_road_or_river+0x189>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
add    $0x1,%ecx
mov    -0x14(%rbp),%edx
imul   -0x1c(%rbp),%edx
add    %edx,%ecx
mov    %ecx,%ecx
movzbl (%rax,%rcx,1),%eax
mov    %eax,-0x68(%rbp)
jmp    128f <analyze_road_or_river+0x18f>
mov    -0x34(%rbp),%eax
mov    %eax,-0x68(%rbp)
mov    -0x68(%rbp),%eax
mov    %eax,-0x48(%rbp)
cmpl   $0x0,-0x18(%rbp)
jbe    12d6 <analyze_road_or_river+0x1d6>
mov    -0x1c(%rbp),%eax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jae    12d6 <analyze_road_or_river+0x1d6>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
sub    $0x1,%ecx
mov    -0x14(%rbp),%edx
mov    -0x1c(%rbp),%esi
add    $0x1,%esi
imul   %esi,%edx
add    %edx,%ecx
mov    %ecx,%ecx
movzbl (%rax,%rcx,1),%eax
mov    %eax,-0x6c(%rbp)
jmp    12dc <analyze_road_or_river+0x1dc>
mov    -0x34(%rbp),%eax
mov    %eax,-0x6c(%rbp)
mov    -0x6c(%rbp),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x1c(%rbp),%eax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jae    1316 <analyze_road_or_river+0x216>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    -0x14(%rbp),%edx
mov    -0x1c(%rbp),%esi
add    $0x1,%esi
imul   %esi,%edx
add    %edx,%ecx
mov    %ecx,%ecx
movzbl (%rax,%rcx,1),%eax
mov    %eax,-0x70(%rbp)
jmp    131c <analyze_road_or_river+0x21c>
mov    -0x34(%rbp),%eax
mov    %eax,-0x70(%rbp)
mov    -0x70(%rbp),%eax
mov    %eax,-0x50(%rbp)
mov    -0x1c(%rbp),%eax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jae    136a <analyze_road_or_river+0x26a>
mov    -0x18(%rbp),%eax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jae    136a <analyze_road_or_river+0x26a>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
add    $0x1,%ecx
mov    -0x14(%rbp),%edx
mov    -0x1c(%rbp),%esi
add    $0x1,%esi
imul   %esi,%edx
add    %edx,%ecx
mov    %ecx,%ecx
movzbl (%rax,%rcx,1),%eax
mov    %eax,-0x74(%rbp)
jmp    1370 <analyze_road_or_river+0x270>
mov    -0x34(%rbp),%eax
mov    %eax,-0x74(%rbp)
mov    -0x74(%rbp),%eax
mov    %eax,-0x54(%rbp)
xor    %eax,%eax
cmp    -0x38(%rbp),%eax
setne  %al
and    $0x1,%al
movzbl %al,%eax
shl    $0x0,%eax
xor    %ecx,%ecx
cmp    -0x3c(%rbp),%ecx
setne  %cl
and    $0x1,%cl
movzbl %cl,%ecx
shl    $0x1,%ecx
add    %ecx,%eax
xor    %ecx,%ecx
cmp    -0x40(%rbp),%ecx
setne  %cl
and    $0x1,%cl
movzbl %cl,%ecx
shl    $0x2,%ecx
add    %ecx,%eax
xor    %ecx,%ecx
cmp    -0x44(%rbp),%ecx
setne  %cl
and    $0x1,%cl
movzbl %cl,%ecx
shl    $0x3,%ecx
add    %ecx,%eax
xor    %ecx,%ecx
cmp    -0x48(%rbp),%ecx
setne  %cl
and    $0x1,%cl
movzbl %cl,%ecx
shl    $0x4,%ecx
add    %ecx,%eax
xor    %ecx,%ecx
cmp    -0x4c(%rbp),%ecx
setne  %cl
and    $0x1,%cl
movzbl %cl,%ecx
shl    $0x5,%ecx
add    %ecx,%eax
xor    %ecx,%ecx
cmp    -0x50(%rbp),%ecx
setne  %cl
and    $0x1,%cl
movzbl %cl,%ecx
shl    $0x6,%ecx
add    %ecx,%eax
xor    %ecx,%ecx
cmp    -0x54(%rbp),%ecx
setne  %cl
and    $0x1,%cl
movzbl %cl,%ecx
shl    $0x7,%ecx
add    %ecx,%eax
mov    %al,%cl
mov    -0x30(%rbp),%rax
mov    %cl,(%rax)
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<analyze_road_or_river>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    %ecx,%eax
imul   %esi,%eax
lea    (%rax,%rdx,1),%ebp
mov    (%rdi,%rbp,1),%bl
mov    %bl,(%r8)
test   %bl,%bl
je     123e <analyze_road_or_river+0x13e>
mov    $0x1,%r11d
test   %edx,%edx
je     113e <analyze_road_or_river+0x3e>
test   %ecx,%ecx
je     113e <analyze_road_or_river+0x3e>
lea    -0x1(%rcx),%ebp
imul   %esi,%ebp
add    %edx,%ebp
add    $0xffffffff,%ebp
movzbl (%rdi,%rbp,1),%r11d
test   %ecx,%ecx
je     1165 <analyze_road_or_river+0x65>
lea    -0x1(%rcx),%ebp
imul   %esi,%ebp
lea    (%rdx,%rbp,1),%ebx
mov    (%rdi,%rbx,1),%r8b
lea    -0x1(%rsi),%ebx
cmp    %edx,%ebx
jbe    1179 <analyze_road_or_river+0x79>
add    %edx,%ebp
add    $0x1,%ebp
movzbl (%rdi,%rbp,1),%r10d
mov    $0x1,%r12b
jmp    1182 <analyze_road_or_river+0x82>
lea    -0x1(%rsi),%ebx
cmp    %edx,%ebx
seta   %r12b
mov    $0x1,%r10d
mov    $0x1,%r8b
jmp    1182 <analyze_road_or_river+0x82>
mov    $0x1,%r10d
xor    %r12d,%r12d
mov    $0x1,%r14d
mov    $0x1,%r15d
test   %edx,%edx
je     119d <analyze_road_or_river+0x9d>
lea    (%rdx,%rax,1),%ebp
add    $0xffffffff,%ebp
movzbl (%rdi,%rbp,1),%r15d
test   %r12b,%r12b
je     11ac <analyze_road_or_river+0xac>
add    %edx,%eax
add    $0x1,%eax
movzbl (%rdi,%rax,1),%r14d
mov    $0x1,%ebp
test   %edx,%edx
je     11c8 <analyze_road_or_river+0xc8>
cmp    %ecx,%ebx
jbe    11c8 <analyze_road_or_river+0xc8>
lea    0x1(%rcx),%eax
imul   %esi,%eax
add    %edx,%eax
add    $0xffffffff,%eax
movzbl (%rdi,%rax,1),%ebp
mov    $0x80,%r13b
mov    $0x1,%al
cmp    %ecx,%ebx
jbe    11f3 <analyze_road_or_river+0xf3>
add    $0x1,%ecx
imul   %esi,%ecx
lea    (%rcx,%rdx,1),%eax
mov    (%rdi,%rax,1),%al
test   %r12b,%r12b
je     11f3 <analyze_road_or_river+0xf3>
add    %edx,%ecx
add    $0x1,%ecx
cmpb   $0x0,(%rdi,%rcx,1)
setne  %r13b
shl    $0x7,%r13b
test   %r11d,%r11d
setne  %cl
test   %r8b,%r8b
setne  %dl
add    %dl,%dl
or     %cl,%dl
test   %r10d,%r10d
setne  %cl
shl    $0x2,%cl
or     %dl,%cl
test   %r15d,%r15d
setne  %dl
shl    $0x3,%dl
or     %cl,%dl
test   %r14d,%r14d
setne  %cl
shl    $0x4,%cl
or     %dl,%cl
test   %ebp,%ebp
setne  %dl
shl    $0x5,%dl
or     %cl,%dl
test   %al,%al
setne  %al
shl    $0x6,%al
or     %r13b,%dl
add    %al,%dl
mov    %dl,(%r9)
xor    %eax,%eax
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @analyze_road_or_river(i8* %0, i32 %1, i32 %2, i32 %3, i8* %4, i8* %5) {
%7 = alloca i32
%8 = alloca i8*
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i8*
%13 = alloca i8*
%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
store i8* %0, i8** %8
store i32 %1, i32* %9
store i32 %2, i32* %10
store i32 %3, i32* %11
store i8* %4, i8** %12
store i8* %5, i8** %13
%23 = load i8*, i8** %8
%24 = load i32, i32* %10
%25 = load i32, i32* %9
%26 = load i32, i32* %11
%27 = mul i32 %25, %26
%28 = add i32 %24, %27
%29 = zext i32 %28 to i64
%30 = getelementptr inbounds i8, i8* %23, i64 %29
%31 = load i8, i8* %30
%32 = zext i8 %31 to i32
store i32 %32, i32* %14
%33 = load i32, i32* %14
%34 = trunc i32 %33 to i8
%35 = load i8*, i8** %12
store i8 %34, i8* %35
%36 = load i32, i32* %14
%37 = icmp eq i32 0, %36
br i1 %37, label %38, label %39
38: ; preds = %6
store i32 0, i32* %7
br label %253
39: ; preds = %6
%40 = load i32, i32* %11
%41 = icmp ugt i32 %40, 0
br i1 %41, label %42, label %58
42: ; preds = %39
%43 = load i32, i32* %10
%44 = icmp ugt i32 %43, 0
br i1 %44, label %45, label %58
45: ; preds = %42
%46 = load i8*, i8** %8
%47 = load i32, i32* %10
%48 = sub i32 %47, 1
%49 = load i32, i32* %9
%50 = load i32, i32* %11
%51 = sub i32 %50, 1
%52 = mul i32 %49, %51
%53 = add i32 %48, %52
%54 = zext i32 %53 to i64
%55 = getelementptr inbounds i8, i8* %46, i64 %54
%56 = load i8, i8* %55
%57 = zext i8 %56 to i32
br label %60
58: ; preds = %42, %39
%59 = load i32, i32* %14
br label %60
60: ; preds = %58, %45
%61 = phi i32 [ %57, %45 ], [ %59, %58 ]
store i32 %61, i32* %15
%62 = load i32, i32* %11
%63 = icmp ugt i32 %62, 0
br i1 %63, label %64, label %76
64: ; preds = %60
%65 = load i8*, i8** %8
%66 = load i32, i32* %10
%67 = load i32, i32* %9
%68 = load i32, i32* %11
%69 = sub i32 %68, 1
%70 = mul i32 %67, %69
%71 = add i32 %66, %70
%72 = zext i32 %71 to i64
%73 = getelementptr inbounds i8, i8* %65, i64 %72
%74 = load i8, i8* %73
%75 = zext i8 %74 to i32
br label %78
76: ; preds = %60
%77 = load i32, i32* %14
br label %78
78: ; preds = %76, %64
%79 = phi i32 [ %75, %64 ], [ %77, %76 ]
store i32 %79, i32* %16
%80 = load i32, i32* %10
%81 = load i32, i32* %9
%82 = sub i32 %81, 1
%83 = icmp ult i32 %80, %82
br i1 %83, label %84, label %100
84: ; preds = %78
%85 = load i32, i32* %11
%86 = icmp ugt i32 %85, 0
br i1 %86, label %87, label %100
87: ; preds = %84
%88 = load i8*, i8** %8
%89 = load i32, i32* %10
%90 = add i32 %89, 1
%91 = load i32, i32* %9
%92 = load i32, i32* %11
%93 = sub i32 %92, 1
%94 = mul i32 %91, %93
%95 = add i32 %90, %94
%96 = zext i32 %95 to i64
%97 = getelementptr inbounds i8, i8* %88, i64 %96
%98 = load i8, i8* %97
%99 = zext i8 %98 to i32
br label %102
100: ; preds = %84, %78
%101 = load i32, i32* %14
br label %102
102: ; preds = %100, %87
%103 = phi i32 [ %99, %87 ], [ %101, %100 ]
store i32 %103, i32* %17
%104 = load i32, i32* %10
%105 = icmp ugt i32 %104, 0
br i1 %105, label %106, label %118
106: ; preds = %102
%107 = load i8*, i8** %8
%108 = load i32, i32* %10
%109 = sub i32 %108, 1
%110 = load i32, i32* %9
%111 = load i32, i32* %11
%112 = mul i32 %110, %111
%113 = add i32 %109, %112
%114 = zext i32 %113 to i64
%115 = getelementptr inbounds i8, i8* %107, i64 %114
%116 = load i8, i8* %115
%117 = zext i8 %116 to i32
br label %120
118: ; preds = %102
%119 = load i32, i32* %14
br label %120
120: ; preds = %118, %106
%121 = phi i32 [ %117, %106 ], [ %119, %118 ]
store i32 %121, i32* %18
%122 = load i32, i32* %10
%123 = load i32, i32* %9
%124 = sub i32 %123, 1
%125 = icmp ult i32 %122, %124
br i1 %125, label %126, label %138
126: ; preds = %120
%127 = load i8*, i8** %8
%128 = load i32, i32* %10
%129 = add i32 %128, 1
%130 = load i32, i32* %9
%131 = load i32, i32* %11
%132 = mul i32 %130, %131
%133 = add i32 %129, %132
%134 = zext i32 %133 to i64
%135 = getelementptr inbounds i8, i8* %127, i64 %134
%136 = load i8, i8* %135
%137 = zext i8 %136 to i32
br label %140
138: ; preds = %120
%139 = load i32, i32* %14
br label %140
140: ; preds = %138, %126
%141 = phi i32 [ %137, %126 ], [ %139, %138 ]
store i32 %141, i32* %19
%142 = load i32, i32* %10
%143 = icmp ugt i32 %142, 0
br i1 %143, label %144, label %162
144: ; preds = %140
%145 = load i32, i32* %11
%146 = load i32, i32* %9
%147 = sub i32 %146, 1
%148 = icmp ult i32 %145, %147
br i1 %148, label %149, label %162
149: ; preds = %144
%150 = load i8*, i8** %8
%151 = load i32, i32* %10
%152 = sub i32 %151, 1
%153 = load i32, i32* %9
%154 = load i32, i32* %11
%155 = add i32 %154, 1
%156 = mul i32 %153, %155
%157 = add i32 %152, %156
%158 = zext i32 %157 to i64
%159 = getelementptr inbounds i8, i8* %150, i64 %158
%160 = load i8, i8* %159
%161 = zext i8 %160 to i32
br label %164
162: ; preds = %144, %140
%163 = load i32, i32* %14
br label %164
164: ; preds = %162, %149
%165 = phi i32 [ %161, %149 ], [ %163, %162 ]
store i32 %165, i32* %20
%166 = load i32, i32* %11
%167 = load i32, i32* %9
%168 = sub i32 %167, 1
%169 = icmp ult i32 %166, %168
br i1 %169, label %170, label %182
170: ; preds = %164
%171 = load i8*, i8** %8
%172 = load i32, i32* %10
%173 = load i32, i32* %9
%174 = load i32, i32* %11
%175 = add i32 %174, 1
%176 = mul i32 %173, %175
%177 = add i32 %172, %176
%178 = zext i32 %177 to i64
%179 = getelementptr inbounds i8, i8* %171, i64 %178
%180 = load i8, i8* %179
%181 = zext i8 %180 to i32
br label %184
182: ; preds = %164
%183 = load i32, i32* %14
br label %184
184: ; preds = %182, %170
%185 = phi i32 [ %181, %170 ], [ %183, %182 ]
store i32 %185, i32* %21
%186 = load i32, i32* %11
%187 = load i32, i32* %9
%188 = sub i32 %187, 1
%189 = icmp ult i32 %186, %188
br i1 %189, label %190, label %208
190: ; preds = %184
%191 = load i32, i32* %10
%192 = load i32, i32* %9
%193 = sub i32 %192, 1
%194 = icmp ult i32 %191, %193
br i1 %194, label %195, label %208
195: ; preds = %190
%196 = load i8*, i8** %8
%197 = load i32, i32* %10
%198 = add i32 %197, 1
%199 = load i32, i32* %9
%200 = load i32, i32* %11
%201 = add i32 %200, 1
%202 = mul i32 %199, %201
%203 = add i32 %198, %202
%204 = zext i32 %203 to i64
%205 = getelementptr inbounds i8, i8* %196, i64 %204
%206 = load i8, i8* %205
%207 = zext i8 %206 to i32
br label %210
208: ; preds = %190, %184
%209 = load i32, i32* %14
br label %210
210: ; preds = %208, %195
%211 = phi i32 [ %207, %195 ], [ %209, %208 ]
store i32 %211, i32* %22
%212 = load i32, i32* %15
%213 = icmp ne i32 0, %212
%214 = zext i1 %213 to i32
%215 = mul nsw i32 1, %214
%216 = load i32, i32* %16
%217 = icmp ne i32 0, %216
%218 = zext i1 %217 to i32
%219 = mul nsw i32 2, %218
%220 = add nsw i32 %215, %219
%221 = load i32, i32* %17
%222 = icmp ne i32 0, %221
%223 = zext i1 %222 to i32
%224 = mul nsw i32 4, %223
%225 = add nsw i32 %220, %224
%226 = load i32, i32* %18
%227 = icmp ne i32 0, %226
%228 = zext i1 %227 to i32
%229 = mul nsw i32 8, %228
%230 = add nsw i32 %225, %229
%231 = load i32, i32* %19
%232 = icmp ne i32 0, %231
%233 = zext i1 %232 to i32
%234 = mul nsw i32 16, %233
%235 = add nsw i32 %230, %234
%236 = load i32, i32* %20
%237 = icmp ne i32 0, %236
%238 = zext i1 %237 to i32
%239 = mul nsw i32 32, %238
%240 = add nsw i32 %235, %239
%241 = load i32, i32* %21
%242 = icmp ne i32 0, %241
%243 = zext i1 %242 to i32
%244 = mul nsw i32 64, %243
%245 = add nsw i32 %240, %244
%246 = load i32, i32* %22
%247 = icmp ne i32 0, %246
%248 = zext i1 %247 to i32
%249 = mul nsw i32 128, %248
%250 = add nsw i32 %245, %249
%251 = trunc i32 %250 to i8
%252 = load i8*, i8** %13
store i8 %251, i8* %252
store i32 0, i32* %7
br label %253
253: ; preds = %210, %38
%254 = load i32, i32* %7
ret i32 %254
}

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