int udp_search_dns(unsigned char *haystack, const int packet_len,
                   int payload_len) {
  unsigned char *t = haystack;
  t += 8;
  if (!(t[4] == 0 && (t[5] == 0x01 || t[5] == 0x02)))
    return 0;
  if (t[12] < 0x01 || t[12] > 0x3F)
    return 0;
  if (!((t[13] >= 0x61 && t[13] <= 0x7a) || (t[13] >= 0x41 && t[13] <= 0x5a) ||
        (t[13] >= 0x30 && t[13] <= 0x39)))
    return 0;
  if (payload_len > 22) {
    int idx = 14;
    while (idx < payload_len - 8) {
      if (t[idx] == 0)
        break;
      idx++;
    }
    if (idx < payload_len - 12) {
      if (t[idx + 1] == 0 &&
          ((t[idx + 2] >= 0x01 && t[idx + 2] <= 0x10) || t[idx + 2] == 0x1c ||
           t[idx + 2] == 0x26 ||
           (t[idx + 2] == 0xff || t[idx + 2] == 0xfd || t[idx + 2] == 0xfc)) &&
          t[idx + 3] == 0 &&
          (t[idx + 4] == 0x01 || t[idx + 4] == 0x03 || t[idx + 4] == 0x04 ||
           t[idx + 4] == 0xFF))
        return (22 * 100 + 0);
      else
        return 0;
    } else
      return (22 * 100 + 0);
  }
  return (22 * 100 + 0);
}


x86 assembly (clang, -O0):
<udp_search_dns>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
movzbl 0x4(%rax),%eax
cmp    $0x0,%eax
jne    1155 <udp_search_dns+0x55>
mov    -0x20(%rbp),%rax
movzbl 0x5(%rax),%eax
cmp    $0x1,%eax
je     1161 <udp_search_dns+0x61>
mov    -0x20(%rbp),%rax
movzbl 0x5(%rax),%eax
cmp    $0x2,%eax
je     1161 <udp_search_dns+0x61>
movl   $0x0,-0x4(%rbp)
jmp    13e1 <udp_search_dns+0x2e1>
mov    -0x20(%rbp),%rax
movzbl 0xc(%rax),%eax
cmp    $0x1,%eax
jl     1183 <udp_search_dns+0x83>
mov    -0x20(%rbp),%rax
movzbl 0xc(%rax),%eax
cmp    $0x3f,%eax
jle    118f <udp_search_dns+0x8f>
movl   $0x0,-0x4(%rbp)
jmp    13e1 <udp_search_dns+0x2e1>
mov    -0x20(%rbp),%rax
movzbl 0xd(%rax),%eax
cmp    $0x61,%eax
jl     11b1 <udp_search_dns+0xb1>
mov    -0x20(%rbp),%rax
movzbl 0xd(%rax),%eax
cmp    $0x7a,%eax
jle    1201 <udp_search_dns+0x101>
mov    -0x20(%rbp),%rax
movzbl 0xd(%rax),%eax
cmp    $0x41,%eax
jl     11d3 <udp_search_dns+0xd3>
mov    -0x20(%rbp),%rax
movzbl 0xd(%rax),%eax
cmp    $0x5a,%eax
jle    1201 <udp_search_dns+0x101>
mov    -0x20(%rbp),%rax
movzbl 0xd(%rax),%eax
cmp    $0x30,%eax
jl     11f5 <udp_search_dns+0xf5>
mov    -0x20(%rbp),%rax
movzbl 0xd(%rax),%eax
cmp    $0x39,%eax
jle    1201 <udp_search_dns+0x101>
movl   $0x0,-0x4(%rbp)
jmp    13e1 <udp_search_dns+0x2e1>
cmpl   $0x16,-0x18(%rbp)
jle    13da <udp_search_dns+0x2da>
movl   $0xe,-0x24(%rbp)
mov    -0x24(%rbp),%eax
mov    -0x18(%rbp),%ecx
sub    $0x8,%ecx
cmp    %ecx,%eax
jge    124b <udp_search_dns+0x14b>
mov    -0x20(%rbp),%rax
movslq -0x24(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
jne    123d <udp_search_dns+0x13d>
jmp    124b <udp_search_dns+0x14b>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1212 <udp_search_dns+0x112>
mov    -0x24(%rbp),%eax
mov    -0x18(%rbp),%ecx
sub    $0xc,%ecx
cmp    %ecx,%eax
jge    13ce <udp_search_dns+0x2ce>
mov    -0x20(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
jne    13c2 <udp_search_dns+0x2c2>
mov    -0x20(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x1,%eax
jl     12aa <udp_search_dns+0x1aa>
mov    -0x20(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x10,%eax
jle    1332 <udp_search_dns+0x232>
mov    -0x20(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x1c,%eax
je     1332 <udp_search_dns+0x232>
mov    -0x20(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x26,%eax
je     1332 <udp_search_dns+0x232>
mov    -0x20(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0xff,%eax
je     1332 <udp_search_dns+0x232>
mov    -0x20(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0xfd,%eax
je     1332 <udp_search_dns+0x232>
mov    -0x20(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0xfc,%eax
jne    13c2 <udp_search_dns+0x2c2>
mov    -0x20(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    $0x3,%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
jne    13c2 <udp_search_dns+0x2c2>
mov    -0x20(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    $0x4,%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x1,%eax
je     13b6 <udp_search_dns+0x2b6>
mov    -0x20(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    $0x4,%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x3,%eax
je     13b6 <udp_search_dns+0x2b6>
mov    -0x20(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    $0x4,%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x4,%eax
je     13b6 <udp_search_dns+0x2b6>
mov    -0x20(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    $0x4,%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0xff,%eax
jne    13c2 <udp_search_dns+0x2c2>
movl   $0x898,-0x4(%rbp)
jmp    13e1 <udp_search_dns+0x2e1>
movl   $0x0,-0x4(%rbp)
jmp    13e1 <udp_search_dns+0x2e1>
movl   $0x898,-0x4(%rbp)
jmp    13e1 <udp_search_dns+0x2e1>
movl   $0x898,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<udp_search_dns>:
cmpb   $0x0,0xc(%rdi)
jne    112e <udp_search_dns+0x2e>
mov    0xd(%rdi),%al
add    $0xff,%al
cmp    $0x1,%al
ja     112e <udp_search_dns+0x2e>
mov    0x14(%rdi),%al
add    $0xc0,%al
cmp    $0xc1,%al
jb     112e <udp_search_dns+0x2e>
mov    0x15(%rdi),%al
mov    %eax,%ecx
and    $0xdf,%cl
add    $0xbf,%cl
cmp    $0x1a,%cl
jb     1131 <udp_search_dns+0x31>
add    $0xd0,%al
cmp    $0x9,%al
jbe    1131 <udp_search_dns+0x31>
xor    %eax,%eax
ret
mov    $0x898,%eax
cmp    $0x17,%edx
jl     11bb <udp_search_dns+0xbb>
lea    -0x8(%rdx),%esi
mov    $0xe,%ecx
nopw   0x0(%rax,%rax,1)
cmpb   $0x0,0x8(%rdi,%rcx,1)
je     1162 <udp_search_dns+0x62>
add    $0x1,%rcx
cmp    %rcx,%rsi
jne    1150 <udp_search_dns+0x50>
jmp    11bb <udp_search_dns+0xbb>
add    $0xfffffff4,%edx
cmp    %ecx,%edx
jle    11bb <udp_search_dns+0xbb>
cmpb   $0x0,0x9(%rdi,%rcx,1)
jne    112e <udp_search_dns+0x2e>
mov    0xa(%rdi,%rcx,1),%al
lea    -0x1(%rax),%edx
cmp    $0x10,%dl
jb     1195 <udp_search_dns+0x95>
add    $0x4,%al
cmp    $0x2a,%al
ja     112e <udp_search_dns+0x2e>
movzbl %al,%eax
movabs $0x4010000000b,%rdx
bt     %rax,%rdx
jae    112e <udp_search_dns+0x2e>
cmpb   $0x0,0xb(%rdi,%rcx,1)
jne    112e <udp_search_dns+0x2e>
mov    0xc(%rdi,%rcx,1),%cl
add    $0x1,%cl
mov    $0x0,%eax
cmp    $0x5,%cl
ja     11bb <udp_search_dns+0xbb>
movsbq %cl,%rax
lea    0xe48(%rip),%rcx
mov    (%rcx,%rax,4),%eax
ret

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

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