#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 */
typedef int uint64_t;

/* Variables and functions */
int smellslike_bittorrent_uTP_v0(unsigned char const *, unsigned int);
unsigned smellslike_bittorrent_uTP(const unsigned char *px, unsigned length) {
  unsigned type = (px[0] >> 4);
  unsigned extension;
  uint64_t difference;
  unsigned ack_nr;
  unsigned offset = 20;
  if (length < 20)
    return 0;
  if (type > 4)
    goto v0;
  if ((px[0] & 0xF) != 1)
    goto v0;
  extension = px[1];
  difference = (*((unsigned char *)(px + 8) + 0) << 24 |
                *((unsigned char *)(px + 8) + 1) << 16 |
                *((unsigned char *)(px + 8) + 2) << 8 |
                *((unsigned char *)(px + 8) + 3) << 0);
  ack_nr = (*((unsigned char *)(px + 18) + 0) << 8 |
            *((unsigned char *)(px + 18) + 1) << 0);
  switch (type) {
  case 4:
    if (difference != 0 && difference != 0x7fffffff)
      goto v0;
    if (ack_nr != 0)
      goto v0;
    break;
  }
  while (extension) {
    unsigned x;
    unsigned len;
    if (offset + 2 > length)
      goto v0;
    x = extension;
    extension = px[offset++];
    len = px[offset++];
    switch (x) {
    case 1:
      if (len != 4)
        goto v0;
      break;
    case 2:
      if (len < 4)
        goto v0;
      if (len & 0x3)
        goto v0;
      break;
      break;
    default:
      goto v0;
    }
    offset += len;
  }
  return 1;
v0:
  if (px[18] <= 4 && px[17] < 3)
    return smellslike_bittorrent_uTP_v0(px, length);
  else
    return 0;
}


x86 assembly (clang, -O0):
<smellslike_bittorrent_uTP>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
sar    $0x4,%eax
mov    %eax,-0x18(%rbp)
movl   $0x14,-0x28(%rbp)
cmpl   $0x14,-0x14(%rbp)
jae    1149 <smellslike_bittorrent_uTP+0x39>
movl   $0x0,-0x4(%rbp)
jmp    12ea <smellslike_bittorrent_uTP+0x1da>
cmpl   $0x4,-0x18(%rbp)
jbe    1158 <smellslike_bittorrent_uTP+0x48>
jmp    12ad <smellslike_bittorrent_uTP+0x19d>
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
and    $0xf,%eax
cmp    $0x1,%eax
je     1170 <smellslike_bittorrent_uTP+0x60>
jmp    12ad <smellslike_bittorrent_uTP+0x19d>
mov    -0x10(%rbp),%rax
movzbl 0x1(%rax),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x10(%rbp),%rax
mov    0x8(%rax),%eax
bswap  %eax
mov    %eax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
movzwl 0x12(%rax),%eax
shl    $0x10,%eax
bswap  %eax
mov    %eax,-0x24(%rbp)
mov    -0x18(%rbp),%eax
sub    $0x4,%eax
jne    11d8 <smellslike_bittorrent_uTP+0xc8>
jmp    11a8 <smellslike_bittorrent_uTP+0x98>
cmpl   $0x0,-0x20(%rbp)
je     11c4 <smellslike_bittorrent_uTP+0xb4>
cmpl   $0x7fffffff,-0x20(%rbp)
je     11c4 <smellslike_bittorrent_uTP+0xb4>
jmp    12ad <smellslike_bittorrent_uTP+0x19d>
cmpl   $0x0,-0x24(%rbp)
je     11d3 <smellslike_bittorrent_uTP+0xc3>
jmp    12ad <smellslike_bittorrent_uTP+0x19d>
jmp    11d8 <smellslike_bittorrent_uTP+0xc8>
jmp    11dd <smellslike_bittorrent_uTP+0xcd>
cmpl   $0x0,-0x1c(%rbp)
je     12a1 <smellslike_bittorrent_uTP+0x191>
mov    -0x28(%rbp),%eax
add    $0x2,%eax
cmp    -0x14(%rbp),%eax
jbe    11fb <smellslike_bittorrent_uTP+0xeb>
jmp    12ad <smellslike_bittorrent_uTP+0x19d>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x28(%rbp)
movzbl (%rax,%rcx,1),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x28(%rbp)
movzbl (%rax,%rcx,1),%eax
mov    %eax,-0x30(%rbp)
mov    -0x2c(%rbp),%eax
mov    %eax,-0x34(%rbp)
sub    $0x1,%eax
je     1252 <smellslike_bittorrent_uTP+0x142>
jmp    1241 <smellslike_bittorrent_uTP+0x131>
mov    -0x34(%rbp),%eax
sub    $0x2,%eax
je     1266 <smellslike_bittorrent_uTP+0x156>
jmp    128e <smellslike_bittorrent_uTP+0x17e>
cmpl   $0x4,-0x30(%rbp)
je     1261 <smellslike_bittorrent_uTP+0x151>
jmp    12ad <smellslike_bittorrent_uTP+0x19d>
jmp    1293 <smellslike_bittorrent_uTP+0x183>
cmpl   $0x4,-0x30(%rbp)
jae    1275 <smellslike_bittorrent_uTP+0x165>
jmp    12ad <smellslike_bittorrent_uTP+0x19d>
mov    -0x30(%rbp),%eax
and    $0x3,%eax
cmp    $0x0,%eax
je     1289 <smellslike_bittorrent_uTP+0x179>
jmp    12ad <smellslike_bittorrent_uTP+0x19d>
jmp    1293 <smellslike_bittorrent_uTP+0x183>
jmp    12ad <smellslike_bittorrent_uTP+0x19d>
mov    -0x30(%rbp),%eax
add    -0x28(%rbp),%eax
mov    %eax,-0x28(%rbp)
jmp    11dd <smellslike_bittorrent_uTP+0xcd>
movl   $0x1,-0x4(%rbp)
jmp    12ea <smellslike_bittorrent_uTP+0x1da>
mov    -0x10(%rbp),%rax
movzbl 0x12(%rax),%eax
cmp    $0x4,%eax
jg     12e3 <smellslike_bittorrent_uTP+0x1d3>
mov    -0x10(%rbp),%rax
movzbl 0x11(%rax),%eax
cmp    $0x3,%eax
jge    12e3 <smellslike_bittorrent_uTP+0x1d3>
mov    -0x10(%rbp),%rdi
mov    -0x14(%rbp),%esi
call   1030 <smellslike_bittorrent_uTP_v0@plt>
mov    %eax,-0x4(%rbp)
jmp    12ea <smellslike_bittorrent_uTP+0x1da>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<smellslike_bittorrent_uTP>:
xor    %eax,%eax
cmp    $0x14,%esi
jb     11e4 <smellslike_bittorrent_uTP+0xd4>
movzbl (%rdi),%ecx
cmp    $0x4f,%cl
ja     11ce <smellslike_bittorrent_uTP+0xbe>
mov    %ecx,%edx
and    $0xf,%edx
cmp    $0x1,%edx
jne    11ce <smellslike_bittorrent_uTP+0xbe>
mov    0x1(%rdi),%r9b
and    $0xfffffff0,%ecx
cmp    $0x40,%ecx
jne    1165 <smellslike_bittorrent_uTP+0x55>
mov    0x8(%rdi),%ecx
bswap  %ecx
test   %ecx,%ecx
setne  %dl
cmp    $0x7fffffff,%ecx
setne  %cl
test   %cl,%dl
jne    11ce <smellslike_bittorrent_uTP+0xbe>
movzwl 0x12(%rdi),%ecx
shl    $0x10,%ecx
bswap  %ecx
test   %ecx,%ecx
jne    11ce <smellslike_bittorrent_uTP+0xbe>
test   %r9b,%r9b
je     11df <smellslike_bittorrent_uTP+0xcf>
mov    $0x14,%ecx
jmp    118d <smellslike_bittorrent_uTP+0x7d>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
add    %r10d,%edx
mov    %r8d,%r9d
mov    %edx,%ecx
test   %r8b,%r8b
je     11df <smellslike_bittorrent_uTP+0xcf>
lea    0x2(%rcx),%edx
cmp    %esi,%edx
ja     11ce <smellslike_bittorrent_uTP+0xbe>
mov    %ecx,%r8d
add    $0x1,%ecx
movzbl (%rdi,%r8,1),%r8d
movzbl (%rdi,%rcx,1),%r10d
cmp    $0x2,%r9b
je     11c0 <smellslike_bittorrent_uTP+0xb0>
cmp    $0x1,%r9b
jne    11ce <smellslike_bittorrent_uTP+0xbe>
cmp    $0x4,%r10b
je     1180 <smellslike_bittorrent_uTP+0x70>
jmp    11ce <smellslike_bittorrent_uTP+0xbe>
nopl   0x0(%rax,%rax,1)
cmp    $0x4,%r10b
jb     11ce <smellslike_bittorrent_uTP+0xbe>
mov    %r10d,%ecx
and    $0x3,%ecx
je     1180 <smellslike_bittorrent_uTP+0x70>
cmpb   $0x4,0x12(%rdi)
ja     11e4 <smellslike_bittorrent_uTP+0xd4>
cmpb   $0x2,0x11(%rdi)
ja     11e4 <smellslike_bittorrent_uTP+0xd4>
jmp    1030 <smellslike_bittorrent_uTP_v0@plt>
mov    $0x1,%eax
ret

LLVM IR (-O0):
define i32 @smellslike_bittorrent_uTP(i8* %0, i32 %1) {
%3 = alloca i32
%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
store i8* %0, i8** %4
store i32 %1, i32* %5
%13 = load i8*, i8** %4
%14 = getelementptr inbounds i8, i8* %13, i64 0
%15 = load i8, i8* %14
%16 = zext i8 %15 to i32
%17 = ashr i32 %16, 4
store i32 %17, i32* %6
store i32 20, i32* %10
%18 = load i32, i32* %5
%19 = icmp ult i32 %18, 20
br i1 %19, label %20, label %21
20: ; preds = %2
store i32 0, i32* %3
br label %156
21: ; preds = %2
%22 = load i32, i32* %6
%23 = icmp ugt i32 %22, 4
br i1 %23, label %24, label %25
24: ; preds = %21
br label %139
25: ; preds = %21
%26 = load i8*, i8** %4
%27 = getelementptr inbounds i8, i8* %26, i64 0
%28 = load i8, i8* %27
%29 = zext i8 %28 to i32
%30 = and i32 %29, 15
%31 = icmp ne i32 %30, 1
br i1 %31, label %32, label %33
32: ; preds = %25
br label %139
33: ; preds = %25
%34 = load i8*, i8** %4
%35 = getelementptr inbounds i8, i8* %34, i64 1
%36 = load i8, i8* %35
%37 = zext i8 %36 to i32
store i32 %37, i32* %7
%38 = load i8*, i8** %4
%39 = getelementptr inbounds i8, i8* %38, i64 8
%40 = getelementptr inbounds i8, i8* %39, i64 0
%41 = load i8, i8* %40
%42 = zext i8 %41 to i32
%43 = shl i32 %42, 24
%44 = load i8*, i8** %4
%45 = getelementptr inbounds i8, i8* %44, i64 8
%46 = getelementptr inbounds i8, i8* %45, i64 1
%47 = load i8, i8* %46
%48 = zext i8 %47 to i32
%49 = shl i32 %48, 16
%50 = or i32 %43, %49
%51 = load i8*, i8** %4
%52 = getelementptr inbounds i8, i8* %51, i64 8
%53 = getelementptr inbounds i8, i8* %52, i64 2
%54 = load i8, i8* %53
%55 = zext i8 %54 to i32
%56 = shl i32 %55, 8
%57 = or i32 %50, %56
%58 = load i8*, i8** %4
%59 = getelementptr inbounds i8, i8* %58, i64 8
%60 = getelementptr inbounds i8, i8* %59, i64 3
%61 = load i8, i8* %60
%62 = zext i8 %61 to i32
%63 = shl i32 %62, 0
%64 = or i32 %57, %63
store i32 %64, i32* %8
%65 = load i8*, i8** %4
%66 = getelementptr inbounds i8, i8* %65, i64 18
%67 = getelementptr inbounds i8, i8* %66, i64 0
%68 = load i8, i8* %67
%69 = zext i8 %68 to i32
%70 = shl i32 %69, 8
%71 = load i8*, i8** %4
%72 = getelementptr inbounds i8, i8* %71, i64 18
%73 = getelementptr inbounds i8, i8* %72, i64 1
%74 = load i8, i8* %73
%75 = zext i8 %74 to i32
%76 = shl i32 %75, 0
%77 = or i32 %70, %76
store i32 %77, i32* %9
%78 = load i32, i32* %6
switch i32 %78, label %91 [
i32 4, label %79
]
79: ; preds = %33
%80 = load i32, i32* %8
%81 = icmp ne i32 %80, 0
br i1 %81, label %82, label %86
82: ; preds = %79
%83 = load i32, i32* %8
%84 = icmp ne i32 %83, 2147483647
br i1 %84, label %85, label %86
85: ; preds = %82
br label %139
86: ; preds = %82, %79
%87 = load i32, i32* %9
%88 = icmp ne i32 %87, 0
br i1 %88, label %89, label %90
89: ; preds = %86
br label %139
90: ; preds = %86
br label %91
91: ; preds = %33, %90
br label %92
92: ; preds = %134, %91
%93 = load i32, i32* %7
%94 = icmp ne i32 %93, 0
br i1 %94, label %95, label %138
95: ; preds = %92
%96 = load i32, i32* %10
%97 = add i32 %96, 2
%98 = load i32, i32* %5
%99 = icmp ugt i32 %97, %98
br i1 %99, label %100, label %101
100: ; preds = %95
br label %139
101: ; preds = %95
%102 = load i32, i32* %7
store i32 %102, i32* %11
%103 = load i8*, i8** %4
%104 = load i32, i32* %10
%105 = add i32 %104, 1
store i32 %105, i32* %10
%106 = zext i32 %104 to i64
%107 = getelementptr inbounds i8, i8* %103, i64 %106
%108 = load i8, i8* %107
%109 = zext i8 %108 to i32
store i32 %109, i32* %7
%110 = load i8*, i8** %4
%111 = load i32, i32* %10
%112 = add i32 %111, 1
store i32 %112, i32* %10
%113 = zext i32 %111 to i64
%114 = getelementptr inbounds i8, i8* %110, i64 %113
%115 = load i8, i8* %114
%116 = zext i8 %115 to i32
store i32 %116, i32* %12
%117 = load i32, i32* %11
switch i32 %117, label %133 [
i32 1, label %118
i32 2, label %123
]
118: ; preds = %101
%119 = load i32, i32* %12
%120 = icmp ne i32 %119, 4
br i1 %120, label %121, label %122
121: ; preds = %118
br label %139
122: ; preds = %118
br label %134
123: ; preds = %101
%124 = load i32, i32* %12
%125 = icmp ult i32 %124, 4
br i1 %125, label %126, label %127
126: ; preds = %123
br label %139
127: ; preds = %123
%128 = load i32, i32* %12
%129 = and i32 %128, 3
%130 = icmp ne i32 %129, 0
br i1 %130, label %131, label %132
131: ; preds = %127
br label %139
132: ; preds = %127
br label %134
133: ; preds = %101
br label %139
134: ; preds = %132, %122
%135 = load i32, i32* %12
%136 = load i32, i32* %10
%137 = add i32 %136, %135
store i32 %137, i32* %10
br label %92
138: ; preds = %92
store i32 1, i32* %3
br label %156
139: ; preds = %133, %131, %126, %121, %100, %89, %85, %32, %24
%140 = load i8*, i8** %4
%141 = getelementptr inbounds i8, i8* %140, i64 18
%142 = load i8, i8* %141
%143 = zext i8 %142 to i32
%144 = icmp sle i32 %143, 4
br i1 %144, label %145, label %155
145: ; preds = %139
%146 = load i8*, i8** %4
%147 = getelementptr inbounds i8, i8* %146, i64 17
%148 = load i8, i8* %147
%149 = zext i8 %148 to i32
%150 = icmp slt i32 %149, 3
br i1 %150, label %151, label %155
151: ; preds = %145
%152 = load i8*, i8** %4
%153 = load i32, i32* %5
%154 = call i32 @smellslike_bittorrent_uTP_v0(i8* %152, i32 %153)
store i32 %154, i32* %3
br label %156
155: ; preds = %145, %139
store i32 0, i32* %3
br label %156
156: ; preds = %155, %151, %138, %20
%157 = load i32, i32* %3
ret i32 %157
}

LLVM IR (-O2):
define i32 @smellslike_bittorrent_uTP(i8* %0, i32 %1) {
%3 = load i8, i8* %0
%4 = zext i8 %3 to i32
%5 = icmp ult i32 %1, 20
br i1 %5, label %84, label %6
6: ; preds = %2
%7 = icmp ult i8 %3, 80
%8 = and i32 %4, 15
%9 = icmp eq i32 %8, 1
%10 = select i1 %7, i1 %9, i1 false
br i1 %10, label %11, label %74
11: ; preds = %6
%12 = getelementptr inbounds i8, i8* %0, i64 1
%13 = load i8, i8* %12
%14 = getelementptr inbounds i8, i8* %0, i64 8
%15 = load i8, i8* %14
%16 = zext i8 %15 to i32
%17 = shl nuw i32 %16, 24
%18 = getelementptr inbounds i8, i8* %0, i64 9
%19 = load i8, i8* %18
%20 = zext i8 %19 to i32
%21 = shl nuw nsw i32 %20, 16
%22 = or i32 %21, %17
%23 = getelementptr inbounds i8, i8* %0, i64 10
%24 = load i8, i8* %23
%25 = zext i8 %24 to i32
%26 = shl nuw nsw i32 %25, 8
%27 = or i32 %22, %26
%28 = getelementptr inbounds i8, i8* %0, i64 11
%29 = load i8, i8* %28
%30 = zext i8 %29 to i32
%31 = or i32 %27, %30
%32 = and i32 %4, 240
%33 = icmp eq i32 %32, 64
br i1 %33, label %34, label %48
34: ; preds = %11
%35 = getelementptr inbounds i8, i8* %0, i64 18
%36 = load i8, i8* %35
%37 = zext i8 %36 to i32
%38 = shl nuw nsw i32 %37, 8
%39 = getelementptr inbounds i8, i8* %0, i64 19
%40 = load i8, i8* %39
%41 = zext i8 %40 to i32
%42 = or i32 %38, %41
%43 = icmp ne i32 %31, 0
%44 = icmp ne i32 %31, 2147483647
%45 = and i1 %43, %44
%46 = icmp ne i32 %42, 0
%47 = select i1 %45, i1 true, i1 %46
br i1 %47, label %74, label %48
48: ; preds = %34, %11
%49 = icmp eq i8 %13, 0
br i1 %49, label %84, label %50
50: ; preds = %48, %71
%51 = phi i8 [ %59, %71 ], [ %13, %48 ]
%52 = phi i32 [ %72, %71 ], [ 20, %48 ]
%53 = add i32 %52, 2
%54 = icmp ugt i32 %53, %1
br i1 %54, label %74, label %55
55: ; preds = %50
%56 = add i32 %52, 1
%57 = zext i32 %52 to i64
%58 = getelementptr inbounds i8, i8* %0, i64 %57
%59 = load i8, i8* %58
%60 = zext i32 %56 to i64
%61 = getelementptr inbounds i8, i8* %0, i64 %60
%62 = load i8, i8* %61
%63 = zext i8 %62 to i32
switch i8 %51, label %74 [
i8 1, label %64
i8 2, label %66
]
64: ; preds = %55
%65 = icmp eq i8 %62, 4
br i1 %65, label %71, label %74
66: ; preds = %55
%67 = icmp ugt i8 %62, 3
%68 = and i32 %63, 3
%69 = icmp eq i32 %68, 0
%70 = select i1 %67, i1 %69, i1 false
br i1 %70, label %71, label %74
71: ; preds = %64, %66
%72 = add i32 %53, %63
%73 = icmp eq i8 %59, 0
br i1 %73, label %84, label %50
74: ; preds = %55, %66, %64, %50, %34, %6
%75 = getelementptr inbounds i8, i8* %0, i64 18
%76 = load i8, i8* %75
%77 = icmp ult i8 %76, 5
br i1 %77, label %78, label %84
78: ; preds = %74
%79 = getelementptr inbounds i8, i8* %0, i64 17
%80 = load i8, i8* %79
%81 = icmp ult i8 %80, 3
br i1 %81, label %82, label %84
82: ; preds = %78
%83 = tail call i32 @smellslike_bittorrent_uTP_v0(i8* %0, i32 %1)
br label %84
84: ; preds = %71, %48, %74, %78, %2, %82
%85 = phi i32 [ %83, %82 ], [ 0, %2 ], [ 0, %78 ], [ 0, %74 ], [ 1, %48 ], [ 1, %71 ]
ret i32 %85
}