#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 uint8_t;
typedef int uint16_t;

/* Variables and functions */
uint8_t is_valid_keysize_P(const void *ks_desc, uint16_t keysize) {
  uint8_t type;
  type = ((uint8_t *)ks_desc)[0];
  ks_desc = ((uint8_t *)ks_desc) + 1;
  if (type == 0x00)
    return 0;
  if (type == 0x01) {
    uint8_t items;
    uint16_t item;
    items = ((uint8_t *)ks_desc)[0];
    ks_desc = ((uint8_t *)ks_desc) + 1;
    while (items--) {
      item = ((uint8_t *)ks_desc)[1] * 256 + ((uint8_t *)ks_desc)[0];
      ks_desc = ((uint8_t *)ks_desc) + 2;
      if (item == keysize)
        return 1;
    }
    ks_desc = ((uint8_t *)ks_desc) - 2;
  }
  if (type == 0x02) {
    uint16_t max, min;
    min = ((uint8_t *)ks_desc)[1] * 256 + ((uint8_t *)ks_desc)[0];
    ks_desc = (uint8_t *)ks_desc + 2;
    max = ((uint8_t *)ks_desc)[1] * 256 + ((uint8_t *)ks_desc)[0];
    if (min <= keysize && keysize <= max)
      return 1;
  }
  if (type == 0x03) {
    uint16_t max, min, dist, offset;
    min = ((uint8_t *)ks_desc)[1] * 256 + ((uint8_t *)ks_desc)[0];
    max = ((uint8_t *)ks_desc)[3] * 256 + ((uint8_t *)ks_desc)[2];
    dist = ((uint8_t *)ks_desc)[5] * 256 + ((uint8_t *)ks_desc)[4];
    offset = ((uint8_t *)ks_desc)[7] * 256 + ((uint8_t *)ks_desc)[6];
    ks_desc = ((uint8_t *)ks_desc) + 6;
    if (min <= keysize && keysize <= max && (keysize % dist == offset))
      return 1;
  }
  if (type > 0x03) {
    return 0;
  }
  return is_valid_keysize_P(((uint8_t *)ks_desc) + 1, keysize);
}


x86 assembly (clang, -O0):
<is_valid_keysize_P>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x10(%rbp)
cmpl   $0x0,-0x18(%rbp)
jne    114a <is_valid_keysize_P+0x3a>
movl   $0x0,-0x4(%rbp)
jmp    12f1 <is_valid_keysize_P+0x1e1>
cmpl   $0x1,-0x18(%rbp)
jne    11c5 <is_valid_keysize_P+0xb5>
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x10(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x10(%rbp)
mov    -0x1c(%rbp),%eax
mov    %eax,%ecx
add    $0xffffffff,%ecx
mov    %ecx,-0x1c(%rbp)
cmp    $0x0,%eax
je     11b9 <is_valid_keysize_P+0xa9>
mov    -0x10(%rbp),%rax
mov    0x4(%rax),%eax
shl    $0x8,%eax
mov    -0x10(%rbp),%rcx
add    (%rcx),%eax
mov    %eax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x10(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x14(%rbp),%eax
jne    11b4 <is_valid_keysize_P+0xa4>
movl   $0x1,-0x4(%rbp)
jmp    12f1 <is_valid_keysize_P+0x1e1>
jmp    1169 <is_valid_keysize_P+0x59>
mov    -0x10(%rbp),%rax
add    $0xfffffffffffffff8,%rax
mov    %rax,-0x10(%rbp)
cmpl   $0x2,-0x18(%rbp)
jne    122a <is_valid_keysize_P+0x11a>
mov    -0x10(%rbp),%rax
mov    0x4(%rax),%eax
shl    $0x8,%eax
mov    -0x10(%rbp),%rcx
add    (%rcx),%eax
mov    %eax,-0x28(%rbp)
mov    -0x10(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
mov    0x4(%rax),%eax
shl    $0x8,%eax
mov    -0x10(%rbp),%rcx
add    (%rcx),%eax
mov    %eax,-0x24(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x14(%rbp),%eax
jg     1225 <is_valid_keysize_P+0x115>
mov    -0x14(%rbp),%eax
cmp    -0x24(%rbp),%eax
jg     1225 <is_valid_keysize_P+0x115>
movl   $0x1,-0x4(%rbp)
jmp    12f1 <is_valid_keysize_P+0x1e1>
jmp    122a <is_valid_keysize_P+0x11a>
cmpl   $0x3,-0x18(%rbp)
jne    12c8 <is_valid_keysize_P+0x1b8>
mov    -0x10(%rbp),%rax
mov    0x4(%rax),%eax
shl    $0x8,%eax
mov    -0x10(%rbp),%rcx
add    (%rcx),%eax
mov    %eax,-0x30(%rbp)
mov    -0x10(%rbp),%rax
mov    0xc(%rax),%eax
shl    $0x8,%eax
mov    -0x10(%rbp),%rcx
add    0x8(%rcx),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x10(%rbp),%rax
mov    0x14(%rax),%eax
shl    $0x8,%eax
mov    -0x10(%rbp),%rcx
add    0x10(%rcx),%eax
mov    %eax,-0x34(%rbp)
mov    -0x10(%rbp),%rax
mov    0x1c(%rax),%eax
shl    $0x8,%eax
mov    -0x10(%rbp),%rcx
add    0x18(%rcx),%eax
mov    %eax,-0x38(%rbp)
mov    -0x10(%rbp),%rax
add    $0x18,%rax
mov    %rax,-0x10(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x14(%rbp),%eax
jg     12c3 <is_valid_keysize_P+0x1b3>
mov    -0x14(%rbp),%eax
cmp    -0x2c(%rbp),%eax
jg     12c3 <is_valid_keysize_P+0x1b3>
mov    -0x14(%rbp),%eax
cltd
idivl  -0x34(%rbp)
cmp    -0x38(%rbp),%edx
jne    12c3 <is_valid_keysize_P+0x1b3>
movl   $0x1,-0x4(%rbp)
jmp    12f1 <is_valid_keysize_P+0x1e1>
jmp    12c8 <is_valid_keysize_P+0x1b8>
cmpl   $0x3,-0x18(%rbp)
jle    12de <is_valid_keysize_P+0x1ce>
movl   $0x0,-0x4(%rbp)
jmp    12f1 <is_valid_keysize_P+0x1e1>
mov    -0x10(%rbp),%rdi
add    $0x4,%rdi
mov    -0x14(%rbp),%esi
call   1030 <is_valid_keysize_P@plt>
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<is_valid_keysize_P>:
jmp    1120 <is_valid_keysize_P+0x20>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    %r8,%rdi
cmp    $0x3,%eax
jg     11f4 <is_valid_keysize_P+0xf4>
add    $0x4,%rdi
mov    (%rdi),%eax
cmp    $0x1,%eax
je     1170 <is_valid_keysize_P+0x70>
test   %eax,%eax
je     11f6 <is_valid_keysize_P+0xf6>
add    $0x4,%rdi
mov    %rdi,%r8
cmp    $0x3,%eax
je     11a0 <is_valid_keysize_P+0xa0>
cmp    $0x2,%eax
jne    1110 <is_valid_keysize_P+0x10>
mov    0x4(%r8),%eax
shl    $0x8,%eax
add    (%r8),%eax
lea    0x8(%r8),%rdi
cmp    %esi,%eax
jg     111c <is_valid_keysize_P+0x1c>
mov    0xc(%r8),%eax
shl    $0x8,%eax
add    0x8(%r8),%eax
cmp    %esi,%eax
jl     111c <is_valid_keysize_P+0x1c>
jmp    11ee <is_valid_keysize_P+0xee>
cs nopw 0x0(%rax,%rax,1)
mov    0x4(%rdi),%r9d
lea    (%rdi,%r9,8),%r8
xor    %ecx,%ecx
nopw   0x0(%rax,%rax,1)
cmp    %ecx,%r9d
je     1136 <is_valid_keysize_P+0x36>
mov    0xc(%rdi,%rcx,8),%edx
shl    $0x8,%edx
add    0x8(%rdi,%rcx,8),%edx
add    $0x1,%rcx
cmp    %esi,%edx
jne    1180 <is_valid_keysize_P+0x80>
jmp    11ee <is_valid_keysize_P+0xee>
nopw   0x0(%rax,%rax,1)
mov    0x4(%r8),%eax
shl    $0x8,%eax
add    (%r8),%eax
lea    0x18(%r8),%rdi
cmp    %esi,%eax
jg     111c <is_valid_keysize_P+0x1c>
mov    0xc(%r8),%eax
shl    $0x8,%eax
add    0x8(%r8),%eax
cmp    %esi,%eax
jl     111c <is_valid_keysize_P+0x1c>
mov    0x14(%r8),%r9d
shl    $0x8,%r9d
add    0x10(%r8),%r9d
mov    0x1c(%r8),%ecx
shl    $0x8,%ecx
add    0x18(%r8),%ecx
mov    %esi,%eax
cltd
idiv   %r9d
cmp    %ecx,%edx
jne    111c <is_valid_keysize_P+0x1c>
mov    $0x1,%eax
ret
xor    %eax,%eax
ret

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

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