#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
int /*<<< orphan*/ ai_surroundingverts(int, int *);
int ai_vertweight(int, int);
int data_getroadlen(int);
int data_hypotheticalroadlength(int, int *, int);
scalar_t__ data_poslegal(int);
scalar_t__ road_freeedge(int, int);
int *ai_roadfromvert(int player, int vert, int ret[2]) {
  int i, j, weight, w;
  int maxweight = 0;
  int dest = 0;
  int sur[3];
  ai_surroundingverts(vert, sur);
  int handicap = 0;
  int roadlen, newroadlen, nextlongest;
  nextlongest = 0;
  for (j = 1; j < 4; j++) {
    if (data_getroadlen((player + j) % 4) > nextlongest) {
      nextlongest = data_getroadlen((player + j) % 4);
    }
  }
  if (data_poslegal(vert)) {
    handicap = ai_vertweight(player, vert);
    handicap *= handicap;
  }
  for (i = 0; i < 3; i++) {
    weight = handicap * -1;
    if (road_freeedge(vert, sur[i])) {
      roadlen = data_hypotheticalroadlength(player, ret, 0);
      ret[0] = vert;
      ret[1] = sur[i];
      newroadlen = data_hypotheticalroadlength(player, ret, 1);
      if (newroadlen >= 5 && newroadlen > nextlongest && newroadlen > roadlen) {
        weight += 5;
      }
      if (data_poslegal(sur[i]))
        weight +=
            ai_vertweight(player, sur[i]) * ai_vertweight(player, sur[i]) * 2;
      int sur2[3];
      ai_surroundingverts(sur[i], sur2);
      w = 0;
      for (j = 0; j < 3; j++) {
        if (road_freeedge(sur[i], sur2[j]) && data_poslegal(sur2[j]))
          if (ai_vertweight(player, sur2[j]) > w)
            w = ai_vertweight(player, sur2[j]);
      }
      weight += w * w;
      if (weight > maxweight) {
        maxweight = weight;
        dest = sur[i];
      }
    }
  }
  ret[0] = dest;
  ret[1] = maxweight;
  return ret;
}


x86 assembly (clang, -O0):
<ai_roadfromvert>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %rdx,-0x10(%rbp)
movl   $0x0,-0x24(%rbp)
movl   $0x0,-0x28(%rbp)
mov    -0x8(%rbp),%edi
lea    -0x34(%rbp),%rsi
call   1040 <ai_surroundingverts@plt>
movl   $0x0,-0x38(%rbp)
movl   $0x0,-0x44(%rbp)
movl   $0x1,-0x18(%rbp)
cmpl   $0x4,-0x18(%rbp)
jge    11f4 <ai_roadfromvert+0x94>
mov    -0x4(%rbp),%eax
add    -0x18(%rbp),%eax
mov    $0x4,%ecx
cltd
idiv   %ecx
mov    %edx,%edi
call   1080 <data_getroadlen@plt>
cmp    -0x44(%rbp),%eax
jle    11e1 <ai_roadfromvert+0x81>
mov    -0x4(%rbp),%eax
add    -0x18(%rbp),%eax
mov    $0x4,%ecx
cltd
idiv   %ecx
mov    %edx,%edi
call   1080 <data_getroadlen@plt>
mov    %eax,-0x44(%rbp)
jmp    11e6 <ai_roadfromvert+0x86>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    11a1 <ai_roadfromvert+0x41>
mov    -0x8(%rbp),%edi
call   1060 <data_poslegal@plt>
cmp    $0x0,%rax
je     121e <ai_roadfromvert+0xbe>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
call   1070 <ai_vertweight@plt>
mov    %eax,-0x38(%rbp)
mov    -0x38(%rbp),%eax
imul   -0x38(%rbp),%eax
mov    %eax,-0x38(%rbp)
movl   $0x0,-0x14(%rbp)
cmpl   $0x3,-0x14(%rbp)
jge    13e8 <ai_roadfromvert+0x288>
imul   $0xffffffff,-0x38(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x8(%rbp),%edi
movslq -0x14(%rbp),%rax
mov    -0x34(%rbp,%rax,4),%esi
call   1050 <road_freeedge@plt>
cmp    $0x0,%rax
je     13d5 <ai_roadfromvert+0x275>
mov    -0x4(%rbp),%edi
mov    -0x10(%rbp),%rsi
xor    %edx,%edx
call   1030 <data_hypotheticalroadlength@plt>
mov    %eax,-0x3c(%rbp)
mov    -0x8(%rbp),%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,(%rax)
movslq -0x14(%rbp),%rax
mov    -0x34(%rbp,%rax,4),%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,0x4(%rax)
mov    -0x4(%rbp),%edi
mov    -0x10(%rbp),%rsi
mov    $0x1,%edx
call   1030 <data_hypotheticalroadlength@plt>
mov    %eax,-0x40(%rbp)
cmpl   $0x5,-0x40(%rbp)
jl     12b8 <ai_roadfromvert+0x158>
mov    -0x40(%rbp),%eax
cmp    -0x44(%rbp),%eax
jle    12b8 <ai_roadfromvert+0x158>
mov    -0x40(%rbp),%eax
cmp    -0x3c(%rbp),%eax
jle    12b8 <ai_roadfromvert+0x158>
mov    -0x1c(%rbp),%eax
add    $0x5,%eax
mov    %eax,-0x1c(%rbp)
movslq -0x14(%rbp),%rax
mov    -0x34(%rbp,%rax,4),%edi
call   1060 <data_poslegal@plt>
cmp    $0x0,%rax
je     1303 <ai_roadfromvert+0x1a3>
mov    -0x4(%rbp),%edi
movslq -0x14(%rbp),%rax
mov    -0x34(%rbp,%rax,4),%esi
call   1070 <ai_vertweight@plt>
mov    %eax,-0x54(%rbp)
mov    -0x4(%rbp),%edi
movslq -0x14(%rbp),%rax
mov    -0x34(%rbp,%rax,4),%esi
call   1070 <ai_vertweight@plt>
mov    %eax,%ecx
mov    -0x54(%rbp),%eax
imul   %ecx,%eax
shl    $0x1,%eax
add    -0x1c(%rbp),%eax
mov    %eax,-0x1c(%rbp)
movslq -0x14(%rbp),%rax
mov    -0x34(%rbp,%rax,4),%edi
lea    -0x50(%rbp),%rsi
call   1040 <ai_surroundingverts@plt>
movl   $0x0,-0x20(%rbp)
movl   $0x0,-0x18(%rbp)
cmpl   $0x3,-0x18(%rbp)
jge    13a6 <ai_roadfromvert+0x246>
movslq -0x14(%rbp),%rax
mov    -0x34(%rbp,%rax,4),%edi
movslq -0x18(%rbp),%rax
mov    -0x50(%rbp,%rax,4),%esi
call   1050 <road_freeedge@plt>
cmp    $0x0,%rax
je     1393 <ai_roadfromvert+0x233>
movslq -0x18(%rbp),%rax
mov    -0x50(%rbp,%rax,4),%edi
call   1060 <data_poslegal@plt>
cmp    $0x0,%rax
je     1393 <ai_roadfromvert+0x233>
mov    -0x4(%rbp),%edi
movslq -0x18(%rbp),%rax
mov    -0x50(%rbp,%rax,4),%esi
call   1070 <ai_vertweight@plt>
cmp    -0x20(%rbp),%eax
jle    138e <ai_roadfromvert+0x22e>
mov    -0x4(%rbp),%edi
movslq -0x18(%rbp),%rax
mov    -0x50(%rbp,%rax,4),%esi
call   1070 <ai_vertweight@plt>
mov    %eax,-0x20(%rbp)
jmp    1393 <ai_roadfromvert+0x233>
jmp    1398 <ai_roadfromvert+0x238>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1322 <ai_roadfromvert+0x1c2>
mov    -0x20(%rbp),%eax
imul   -0x20(%rbp),%eax
add    -0x1c(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x24(%rbp),%eax
jle    13d0 <ai_roadfromvert+0x270>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x24(%rbp)
movslq -0x14(%rbp),%rax
mov    -0x34(%rbp,%rax,4),%eax
mov    %eax,-0x28(%rbp)
jmp    13d5 <ai_roadfromvert+0x275>
jmp    13da <ai_roadfromvert+0x27a>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1225 <ai_roadfromvert+0xc5>
mov    -0x28(%rbp),%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x24(%rbp),%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,0x4(%rax)
mov    -0x10(%rbp),%rax
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<ai_roadfromvert>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
mov    %rdx,0x30(%rsp)
mov    %esi,%r14d
mov    %edi,%r15d
lea    0x10(%rsp),%rsi
mov    %r14d,%edi
call   1040 <ai_surroundingverts@plt>
lea    0x1(%r15),%eax
lea    0x4(%r15),%ecx
test   %eax,%eax
cmovns %eax,%ecx
and    $0xfffffffc,%ecx
neg    %ecx
lea    (%r15,%rcx,1),%ebx
add    $0x1,%ebx
mov    %ebx,%edi
call   1080 <data_getroadlen@plt>
test   %eax,%eax
jle    11b6 <ai_roadfromvert+0x56>
mov    %ebx,%edi
call   1080 <data_getroadlen@plt>
mov    %eax,%r13d
jmp    11b9 <ai_roadfromvert+0x59>
xor    %r13d,%r13d
lea    0x2(%r15),%eax
lea    0x5(%r15),%ecx
test   %eax,%eax
cmovns %eax,%ecx
and    $0xfffffffc,%ecx
neg    %ecx
lea    (%r15,%rcx,1),%r12d
add    $0x2,%r12d
mov    %r12d,%edi
call   1080 <data_getroadlen@plt>
cmp    %r13d,%eax
jle    11eb <ai_roadfromvert+0x8b>
mov    %r12d,%edi
call   1080 <data_getroadlen@plt>
mov    %eax,%r13d
lea    0x3(%r15),%eax
lea    0x6(%r15),%ecx
test   %eax,%eax
cmovns %eax,%ecx
and    $0xfffffffc,%ecx
neg    %ecx
lea    (%r15,%rcx,1),%r12d
add    $0x3,%r12d
mov    %r12d,%edi
call   1080 <data_getroadlen@plt>
cmp    %r13d,%eax
jle    121d <ai_roadfromvert+0xbd>
mov    %r12d,%edi
call   1080 <data_getroadlen@plt>
mov    %eax,%r13d
mov    %r14d,%edi
call   1060 <data_poslegal@plt>
xor    %ecx,%ecx
mov    %rcx,0x28(%rsp)
movl   $0x0,0x1c(%rsp)
test   %rax,%rax
je     124b <ai_roadfromvert+0xeb>
mov    %r15d,%edi
mov    %r14d,%esi
call   1070 <ai_vertweight@plt>
imul   %eax,%eax
mov    %eax,0x1c(%rsp)
xor    %r12d,%r12d
movl   $0x0,0xc(%rsp)
mov    %r14d,0x24(%rsp)
mov    %r13d,0x20(%rsp)
mov    0x30(%rsp),%rbp
jmp    1288 <ai_roadfromvert+0x128>
nopw   0x0(%rax,%rax,1)
mov    0x24(%rsp),%r14d
mov    0x20(%rsp),%r13d
add    $0x1,%r12
cmp    $0x3,%r12
je     1426 <ai_roadfromvert+0x2c6>
mov    0x10(%rsp,%r12,4),%esi
mov    %r14d,%edi
call   1050 <road_freeedge@plt>
test   %rax,%rax
je     127a <ai_roadfromvert+0x11a>
mov    %r15d,%edi
mov    %rbp,%rsi
xor    %edx,%edx
call   1030 <data_hypotheticalroadlength@plt>
mov    %eax,%ebx
mov    %r14d,0x0(%rbp)
mov    0x10(%rsp,%r12,4),%eax
mov    %eax,0x4(%rbp)
mov    %r15d,%edi
mov    %rbp,%rsi
mov    $0x1,%edx
call   1030 <data_hypotheticalroadlength@plt>
cmp    $0x5,%eax
setge  %cl
cmp    %r13d,%eax
setg   %dl
and    %cl,%dl
cmp    %ebx,%eax
setg   %al
and    %dl,%al
movzbl %al,%eax
lea    (%rax,%rax,4),%r14d
sub    0x1c(%rsp),%r14d
mov    0x10(%rsp,%r12,4),%edi
call   1060 <data_poslegal@plt>
test   %rax,%rax
je     1318 <ai_roadfromvert+0x1b8>
mov    0x10(%rsp,%r12,4),%esi
mov    %r15d,%edi
call   1070 <ai_vertweight@plt>
mov    %eax,%ebx
mov    0x10(%rsp,%r12,4),%esi
mov    %r15d,%edi
call   1070 <ai_vertweight@plt>
imul   %ebx,%eax
lea    (%r14,%rax,2),%r14d
mov    0x10(%rsp,%r12,4),%edi
mov    %rsp,%rsi
call   1040 <ai_surroundingverts@plt>
mov    0x10(%rsp,%r12,4),%edi
mov    (%rsp),%esi
call   1050 <road_freeedge@plt>
xor    %r13d,%r13d
test   %rax,%rax
je     1364 <ai_roadfromvert+0x204>
mov    (%rsp),%edi
call   1060 <data_poslegal@plt>
test   %rax,%rax
je     1364 <ai_roadfromvert+0x204>
mov    (%rsp),%esi
mov    %r15d,%edi
call   1070 <ai_vertweight@plt>
test   %eax,%eax
jle    1364 <ai_roadfromvert+0x204>
mov    (%rsp),%esi
mov    %r15d,%edi
call   1070 <ai_vertweight@plt>
mov    %eax,%r13d
mov    0x10(%rsp,%r12,4),%edi
mov    0x4(%rsp),%esi
call   1050 <road_freeedge@plt>
test   %rax,%rax
je     13b0 <ai_roadfromvert+0x250>
mov    0x4(%rsp),%edi
call   1060 <data_poslegal@plt>
test   %rax,%rax
je     13b0 <ai_roadfromvert+0x250>
mov    0x4(%rsp),%esi
mov    %r15d,%edi
call   1070 <ai_vertweight@plt>
cmp    %r13d,%eax
jle    13b0 <ai_roadfromvert+0x250>
mov    0x4(%rsp),%esi
mov    %r15d,%edi
call   1070 <ai_vertweight@plt>
mov    %eax,%r13d
cs nopw 0x0(%rax,%rax,1)
nop
mov    0x10(%rsp,%r12,4),%edi
mov    0x8(%rsp),%esi
call   1050 <road_freeedge@plt>
test   %rax,%rax
je     1400 <ai_roadfromvert+0x2a0>
mov    0x8(%rsp),%edi
call   1060 <data_poslegal@plt>
test   %rax,%rax
je     1400 <ai_roadfromvert+0x2a0>
mov    0x8(%rsp),%esi
mov    %r15d,%edi
call   1070 <ai_vertweight@plt>
cmp    %r13d,%eax
jle    1400 <ai_roadfromvert+0x2a0>
mov    0x8(%rsp),%esi
mov    %r15d,%edi
call   1070 <ai_vertweight@plt>
mov    %eax,%r13d
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
imul   %r13d,%r13d
add    %r14d,%r13d
cmp    0xc(%rsp),%r13d
jle    1270 <ai_roadfromvert+0x110>
mov    0x10(%rsp,%r12,4),%eax
mov    %rax,0x28(%rsp)
mov    %r13d,0xc(%rsp)
jmp    1270 <ai_roadfromvert+0x110>
mov    0x30(%rsp),%rax
mov    0x28(%rsp),%rcx
mov    %ecx,(%rax)
mov    0xc(%rsp),%ecx
mov    %ecx,0x4(%rax)
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32* @ai_roadfromvert(i32 %0, i32 %1, i32* %2) {
%4 = alloca i32
%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 [3 x i32]
%14 = alloca i32
%15 = alloca i32
%16 = alloca i32
%17 = alloca i32
%18 = alloca [3 x i32]
store i32 %0, i32* %4
store i32 %1, i32* %5
store i32* %2, i32** %6
store i32 0, i32* %11
store i32 0, i32* %12
%19 = load i32, i32* %5
%20 = getelementptr inbounds [3 x i32], [3 x i32]* %13, i64 0, i64 0
%21 = call i32 @ai_surroundingverts(i32 %19, i32* %20)
store i32 0, i32* %14
store i32 0, i32* %17
store i32 1, i32* %8
br label %22
22: ; preds = %40, %3
%23 = load i32, i32* %8
%24 = icmp slt i32 %23, 4
br i1 %24, label %25, label %43
25: ; preds = %22
%26 = load i32, i32* %4
%27 = load i32, i32* %8
%28 = add nsw i32 %26, %27
%29 = srem i32 %28, 4
%30 = call i32 @data_getroadlen(i32 %29)
%31 = load i32, i32* %17
%32 = icmp sgt i32 %30, %31
br i1 %32, label %33, label %39
33: ; preds = %25
%34 = load i32, i32* %4
%35 = load i32, i32* %8
%36 = add nsw i32 %34, %35
%37 = srem i32 %36, 4
%38 = call i32 @data_getroadlen(i32 %37)
store i32 %38, i32* %17
br label %39
39: ; preds = %33, %25
br label %40
40: ; preds = %39
%41 = load i32, i32* %8
%42 = add nsw i32 %41, 1
store i32 %42, i32* %8
br label %22
43: ; preds = %22
%44 = load i32, i32* %5
%45 = call i64 @data_poslegal(i32 %44)
%46 = icmp ne i64 %45, 0
br i1 %46, label %47, label %54
47: ; preds = %43
%48 = load i32, i32* %4
%49 = load i32, i32* %5
%50 = call i32 @ai_vertweight(i32 %48, i32 %49)
store i32 %50, i32* %14
%51 = load i32, i32* %14
%52 = load i32, i32* %14
%53 = mul nsw i32 %52, %51
store i32 %53, i32* %14
br label %54
54: ; preds = %47, %43
store i32 0, i32* %7
br label %55
55: ; preds = %187, %54
%56 = load i32, i32* %7
%57 = icmp slt i32 %56, 3
br i1 %57, label %58, label %190
58: ; preds = %55
%59 = load i32, i32* %14
%60 = mul nsw i32 %59, -1
store i32 %60, i32* %9
%61 = load i32, i32* %5
%62 = load i32, i32* %7
%63 = sext i32 %62 to i64
%64 = getelementptr inbounds [3 x i32], [3 x i32]* %13, i64 0, i64 %63
%65 = load i32, i32* %64
%66 = call i64 @road_freeedge(i32 %61, i32 %65)
%67 = icmp ne i64 %66, 0
br i1 %67, label %68, label %186
68: ; preds = %58
%69 = load i32, i32* %4
%70 = load i32*, i32** %6
%71 = call i32 @data_hypotheticalroadlength(i32 %69, i32* %70, i32 0)
store i32 %71, i32* %15
%72 = load i32, i32* %5
%73 = load i32*, i32** %6
%74 = getelementptr inbounds i32, i32* %73, i64 0
store i32 %72, i32* %74
%75 = load i32, i32* %7
%76 = sext i32 %75 to i64
%77 = getelementptr inbounds [3 x i32], [3 x i32]* %13, i64 0, i64 %76
%78 = load i32, i32* %77
%79 = load i32*, i32** %6
%80 = getelementptr inbounds i32, i32* %79, i64 1
store i32 %78, i32* %80
%81 = load i32, i32* %4
%82 = load i32*, i32** %6
%83 = call i32 @data_hypotheticalroadlength(i32 %81, i32* %82, i32 1)
store i32 %83, i32* %16
%84 = load i32, i32* %16
%85 = icmp sge i32 %84, 5
br i1 %85, label %86, label %97
86: ; preds = %68
%87 = load i32, i32* %16
%88 = load i32, i32* %17
%89 = icmp sgt i32 %87, %88
br i1 %89, label %90, label %97
90: ; preds = %86
%91 = load i32, i32* %16
%92 = load i32, i32* %15
%93 = icmp sgt i32 %91, %92
br i1 %93, label %94, label %97
94: ; preds = %90
%95 = load i32, i32* %9
%96 = add nsw i32 %95, 5
store i32 %96, i32* %9
br label %97
97: ; preds = %94, %90, %86, %68
%98 = load i32, i32* %7
%99 = sext i32 %98 to i64
%100 = getelementptr inbounds [3 x i32], [3 x i32]* %13, i64 0, i64 %99
%101 = load i32, i32* %100
%102 = call i64 @data_poslegal(i32 %101)
%103 = icmp ne i64 %102, 0
br i1 %103, label %104, label %121
104: ; preds = %97
%105 = load i32, i32* %4
%106 = load i32, i32* %7
%107 = sext i32 %106 to i64
%108 = getelementptr inbounds [3 x i32], [3 x i32]* %13, i64 0, i64 %107
%109 = load i32, i32* %108
%110 = call i32 @ai_vertweight(i32 %105, i32 %109)
%111 = load i32, i32* %4
%112 = load i32, i32* %7
%113 = sext i32 %112 to i64
%114 = getelementptr inbounds [3 x i32], [3 x i32]* %13, i64 0, i64 %113
%115 = load i32, i32* %114
%116 = call i32 @ai_vertweight(i32 %111, i32 %115)
%117 = mul nsw i32 %110, %116
%118 = mul nsw i32 %117, 2
%119 = load i32, i32* %9
%120 = add nsw i32 %119, %118
store i32 %120, i32* %9
br label %121
121: ; preds = %104, %97
%122 = load i32, i32* %7
%123 = sext i32 %122 to i64
%124 = getelementptr inbounds [3 x i32], [3 x i32]* %13, i64 0, i64 %123
%125 = load i32, i32* %124
%126 = getelementptr inbounds [3 x i32], [3 x i32]* %18, i64 0, i64 0
%127 = call i32 @ai_surroundingverts(i32 %125, i32* %126)
store i32 0, i32* %10
store i32 0, i32* %8
br label %128
128: ; preds = %167, %121
%129 = load i32, i32* %8
%130 = icmp slt i32 %129, 3
br i1 %130, label %131, label %170
131: ; preds = %128
%132 = load i32, i32* %7
%133 = sext i32 %132 to i64
%134 = getelementptr inbounds [3 x i32], [3 x i32]* %13, i64 0, i64 %133
%135 = load i32, i32* %134
%136 = load i32, i32* %8
%137 = sext i32 %136 to i64
%138 = getelementptr inbounds [3 x i32], [3 x i32]* %18, i64 0, i64 %137
%139 = load i32, i32* %138
%140 = call i64 @road_freeedge(i32 %135, i32 %139)
%141 = icmp ne i64 %140, 0
br i1 %141, label %142, label %166
142: ; preds = %131
%143 = load i32, i32* %8
%144 = sext i32 %143 to i64
%145 = getelementptr inbounds [3 x i32], [3 x i32]* %18, i64 0, i64 %144
%146 = load i32, i32* %145
%147 = call i64 @data_poslegal(i32 %146)
%148 = icmp ne i64 %147, 0
br i1 %148, label %149, label %166
149: ; preds = %142
%150 = load i32, i32* %4
%151 = load i32, i32* %8
%152 = sext i32 %151 to i64
%153 = getelementptr inbounds [3 x i32], [3 x i32]* %18, i64 0, i64 %152
%154 = load i32, i32* %153
%155 = call i32 @ai_vertweight(i32 %150, i32 %154)
%156 = load i32, i32* %10
%157 = icmp sgt i32 %155, %156
br i1 %157, label %158, label %165
158: ; preds = %149
%159 = load i32, i32* %4
%160 = load i32, i32* %8
%161 = sext i32 %160 to i64
%162 = getelementptr inbounds [3 x i32], [3 x i32]* %18, i64 0, i64 %161
%163 = load i32, i32* %162
%164 = call i32 @ai_vertweight(i32 %159, i32 %163)
store i32 %164, i32* %10
br label %165
165: ; preds = %158, %149
br label %166
166: ; preds = %165, %142, %131
br label %167
167: ; preds = %166
%168 = load i32, i32* %8
%169 = add nsw i32 %168, 1
store i32 %169, i32* %8
br label %128
170: ; preds = %128
%171 = load i32, i32* %10
%172 = load i32, i32* %10
%173 = mul nsw i32 %171, %172
%174 = load i32, i32* %9
%175 = add nsw i32 %174, %173
store i32 %175, i32* %9
%176 = load i32, i32* %9
%177 = load i32, i32* %11
%178 = icmp sgt i32 %176, %177
br i1 %178, label %179, label %185
179: ; preds = %170
%180 = load i32, i32* %9
store i32 %180, i32* %11
%181 = load i32, i32* %7
%182 = sext i32 %181 to i64
%183 = getelementptr inbounds [3 x i32], [3 x i32]* %13, i64 0, i64 %182
%184 = load i32, i32* %183
store i32 %184, i32* %12
br label %185
185: ; preds = %179, %170
br label %186
186: ; preds = %185, %58
br label %187
187: ; preds = %186
%188 = load i32, i32* %7
%189 = add nsw i32 %188, 1
store i32 %189, i32* %7
br label %55
190: ; preds = %55
%191 = load i32, i32* %12
%192 = load i32*, i32** %6
%193 = getelementptr inbounds i32, i32* %192, i64 0
store i32 %191, i32* %193
%194 = load i32, i32* %11
%195 = load i32*, i32** %6
%196 = getelementptr inbounds i32, i32* %195, i64 1
store i32 %194, i32* %196
%197 = load i32*, i32** %6
ret i32* %197
}

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