#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*/ string_append(int, char *, char *);
void handle_intel(int which, int part, char *model_string) {
  switch (part) {
  case 0x200:
    string_append(which, "i80200", model_string);
    break;
  case 0x210:
    string_append(which, "PXA250A", model_string);
    break;
  case 0x212:
    string_append(which, "PXA210A", model_string);
    break;
  case 0x242:
    string_append(which, "i80321-400", model_string);
    break;
  case 0x243:
    string_append(which, "i80321-600", model_string);
    break;
  case 0x290:
    string_append(which, "PXA250B/PXA26x", model_string);
    break;
  case 0x292:
    string_append(which, "PXA210B", model_string);
    break;
  case 0x2c2:
    string_append(which, "i80321-400-B0", model_string);
    break;
  case 0x2c3:
    string_append(which, "i80321-600-B0", model_string);
    break;
  case 0x2d0:
    string_append(which, "PXA250C/PXA255/PXA26x", model_string);
    break;
  case 0x2d2:
    string_append(which, "PXA210C", model_string);
    break;
  case 0x2e2:
  case 0x2e3:
    string_append(which, "XScale", model_string);
    break;
  case 0x411:
    string_append(which, "PXA27x", model_string);
    break;
  case 0x41c:
    string_append(which, "IPX425-533", model_string);
    break;
  case 0x41d:
    string_append(which, "IPX425-400", model_string);
    break;
  case 0x41f:
    string_append(which, "IPX425-266", model_string);
    break;
  case 0x660:
    string_append(which, "XScale", model_string);
    break;
  case 0x682:
    string_append(which, "PXA32x", model_string);
    break;
  case 0x683:
    string_append(which, "PXA930/PXA935", model_string);
    break;
  case 0x688:
    string_append(which, "PXA30x", model_string);
    break;
  case 0x689:
    string_append(which, "PXA31x", model_string);
    break;
  case 0xb11:
    string_append(which, "SA1110", model_string);
    break;
  case 0xc12:
    string_append(which, "IPX1200", model_string);
    break;
  default:
    string_append(which, "Unknown", model_string);
    break;
  }
}


x86 assembly (clang, -O0):
<handle_intel>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %rdx,-0x10(%rbp)
mov    -0x8(%rbp),%eax
mov    %eax,-0x14(%rbp)
sub    $0x200,%eax
je     12dd <handle_intel+0x1cd>
jmp    1138 <handle_intel+0x28>
mov    -0x14(%rbp),%eax
sub    $0x210,%eax
je     12f5 <handle_intel+0x1e5>
jmp    114b <handle_intel+0x3b>
mov    -0x14(%rbp),%eax
sub    $0x212,%eax
je     130d <handle_intel+0x1fd>
jmp    115e <handle_intel+0x4e>
mov    -0x14(%rbp),%eax
sub    $0x242,%eax
je     1325 <handle_intel+0x215>
jmp    1171 <handle_intel+0x61>
mov    -0x14(%rbp),%eax
sub    $0x243,%eax
je     133d <handle_intel+0x22d>
jmp    1184 <handle_intel+0x74>
mov    -0x14(%rbp),%eax
sub    $0x290,%eax
je     1355 <handle_intel+0x245>
jmp    1197 <handle_intel+0x87>
mov    -0x14(%rbp),%eax
sub    $0x292,%eax
je     136d <handle_intel+0x25d>
jmp    11aa <handle_intel+0x9a>
mov    -0x14(%rbp),%eax
sub    $0x2c2,%eax
je     1385 <handle_intel+0x275>
jmp    11bd <handle_intel+0xad>
mov    -0x14(%rbp),%eax
sub    $0x2c3,%eax
je     139d <handle_intel+0x28d>
jmp    11d0 <handle_intel+0xc0>
mov    -0x14(%rbp),%eax
sub    $0x2d0,%eax
je     13b5 <handle_intel+0x2a5>
jmp    11e3 <handle_intel+0xd3>
mov    -0x14(%rbp),%eax
sub    $0x2d2,%eax
je     13cd <handle_intel+0x2bd>
jmp    11f6 <handle_intel+0xe6>
mov    -0x14(%rbp),%eax
add    $0xfffffd1e,%eax
sub    $0x2,%eax
jb     13e5 <handle_intel+0x2d5>
jmp    120c <handle_intel+0xfc>
mov    -0x14(%rbp),%eax
sub    $0x411,%eax
je     13fd <handle_intel+0x2ed>
jmp    121f <handle_intel+0x10f>
mov    -0x14(%rbp),%eax
sub    $0x41c,%eax
je     1415 <handle_intel+0x305>
jmp    1232 <handle_intel+0x122>
mov    -0x14(%rbp),%eax
sub    $0x41d,%eax
je     142d <handle_intel+0x31d>
jmp    1245 <handle_intel+0x135>
mov    -0x14(%rbp),%eax
sub    $0x41f,%eax
je     1445 <handle_intel+0x335>
jmp    1258 <handle_intel+0x148>
mov    -0x14(%rbp),%eax
sub    $0x660,%eax
je     145d <handle_intel+0x34d>
jmp    126b <handle_intel+0x15b>
mov    -0x14(%rbp),%eax
sub    $0x682,%eax
je     1475 <handle_intel+0x365>
jmp    127e <handle_intel+0x16e>
mov    -0x14(%rbp),%eax
sub    $0x683,%eax
je     148d <handle_intel+0x37d>
jmp    1291 <handle_intel+0x181>
mov    -0x14(%rbp),%eax
sub    $0x688,%eax
je     14a5 <handle_intel+0x395>
jmp    12a4 <handle_intel+0x194>
mov    -0x14(%rbp),%eax
sub    $0x689,%eax
je     14bd <handle_intel+0x3ad>
jmp    12b7 <handle_intel+0x1a7>
mov    -0x14(%rbp),%eax
sub    $0xb11,%eax
je     14d5 <handle_intel+0x3c5>
jmp    12ca <handle_intel+0x1ba>
mov    -0x14(%rbp),%eax
sub    $0xc12,%eax
je     14ed <handle_intel+0x3dd>
jmp    1505 <handle_intel+0x3f5>
mov    -0x4(%rbp),%edi
mov    -0x10(%rbp),%rdx
lea    0xd15(%rip),%rsi
call   1030 <string_append@plt>
jmp    1518 <handle_intel+0x408>
mov    -0x4(%rbp),%edi
mov    -0x10(%rbp),%rdx
lea    0xd04(%rip),%rsi
call   1030 <string_append@plt>
jmp    1518 <handle_intel+0x408>
mov    -0x4(%rbp),%edi
mov    -0x10(%rbp),%rdx
lea    0xcf4(%rip),%rsi
call   1030 <string_append@plt>
jmp    1518 <handle_intel+0x408>
mov    -0x4(%rbp),%edi
mov    -0x10(%rbp),%rdx
lea    0xce4(%rip),%rsi
call   1030 <string_append@plt>
jmp    1518 <handle_intel+0x408>
mov    -0x4(%rbp),%edi
mov    -0x10(%rbp),%rdx
lea    0xcd7(%rip),%rsi
call   1030 <string_append@plt>
jmp    1518 <handle_intel+0x408>
mov    -0x4(%rbp),%edi
mov    -0x10(%rbp),%rdx
lea    0xcca(%rip),%rsi
call   1030 <string_append@plt>
jmp    1518 <handle_intel+0x408>
mov    -0x4(%rbp),%edi
mov    -0x10(%rbp),%rdx
lea    0xcc1(%rip),%rsi
call   1030 <string_append@plt>
jmp    1518 <handle_intel+0x408>
mov    -0x4(%rbp),%edi
mov    -0x10(%rbp),%rdx
lea    0xcb1(%rip),%rsi
call   1030 <string_append@plt>
jmp    1518 <handle_intel+0x408>
mov    -0x4(%rbp),%edi
mov    -0x10(%rbp),%rdx
lea    0xca7(%rip),%rsi
call   1030 <string_append@plt>
jmp    1518 <handle_intel+0x408>
mov    -0x4(%rbp),%edi
mov    -0x10(%rbp),%rdx
lea    0xc9d(%rip),%rsi
call   1030 <string_append@plt>
jmp    1518 <handle_intel+0x408>
mov    -0x4(%rbp),%edi
mov    -0x10(%rbp),%rdx
lea    0xc9b(%rip),%rsi
call   1030 <string_append@plt>
jmp    1518 <handle_intel+0x408>
mov    -0x4(%rbp),%edi
mov    -0x10(%rbp),%rdx
lea    0xc8b(%rip),%rsi
call   1030 <string_append@plt>
jmp    1518 <handle_intel+0x408>
mov    -0x4(%rbp),%edi
mov    -0x10(%rbp),%rdx
lea    0xc7a(%rip),%rsi
call   1030 <string_append@plt>
jmp    1518 <handle_intel+0x408>
mov    -0x4(%rbp),%edi
mov    -0x10(%rbp),%rdx
lea    0xc69(%rip),%rsi
call   1030 <string_append@plt>
jmp    1518 <handle_intel+0x408>
mov    -0x4(%rbp),%edi
mov    -0x10(%rbp),%rdx
lea    0xc5c(%rip),%rsi
call   1030 <string_append@plt>
jmp    1518 <handle_intel+0x408>
mov    -0x4(%rbp),%edi
mov    -0x10(%rbp),%rdx
lea    0xc4f(%rip),%rsi
call   1030 <string_append@plt>
jmp    1518 <handle_intel+0x408>
mov    -0x4(%rbp),%edi
mov    -0x10(%rbp),%rdx
lea    0xc13(%rip),%rsi
call   1030 <string_append@plt>
jmp    1518 <handle_intel+0x408>
mov    -0x4(%rbp),%edi
mov    -0x10(%rbp),%rdx
lea    0xc2a(%rip),%rsi
call   1030 <string_append@plt>
jmp    1518 <handle_intel+0x408>
mov    -0x4(%rbp),%edi
mov    -0x10(%rbp),%rdx
lea    0xc19(%rip),%rsi
call   1030 <string_append@plt>
jmp    1518 <handle_intel+0x408>
mov    -0x4(%rbp),%edi
mov    -0x10(%rbp),%rdx
lea    0xc0f(%rip),%rsi
call   1030 <string_append@plt>
jmp    1518 <handle_intel+0x408>
mov    -0x4(%rbp),%edi
mov    -0x10(%rbp),%rdx
lea    0xbfe(%rip),%rsi
call   1030 <string_append@plt>
jmp    1518 <handle_intel+0x408>
mov    -0x4(%rbp),%edi
mov    -0x10(%rbp),%rdx
lea    0xbed(%rip),%rsi
call   1030 <string_append@plt>
jmp    1518 <handle_intel+0x408>
mov    -0x4(%rbp),%edi
mov    -0x10(%rbp),%rdx
lea    0xbdc(%rip),%rsi
call   1030 <string_append@plt>
jmp    1518 <handle_intel+0x408>
mov    -0x4(%rbp),%edi
mov    -0x10(%rbp),%rdx
lea    0xbcc(%rip),%rsi
call   1030 <string_append@plt>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<handle_intel>:
cmp    $0x410,%esi
jg     115c <handle_intel+0x4c>
cmp    $0x28f,%esi
jg     118f <handle_intel+0x7f>
cmp    $0x211,%esi
jle    11e5 <handle_intel+0xd5>
cmp    $0x212,%esi
je     124d <handle_intel+0x13d>
cmp    $0x242,%esi
je     1259 <handle_intel+0x149>
cmp    $0x243,%esi
jne    12c5 <handle_intel+0x1b5>
lea    0x1037(%rip),%rsi
jmp    1030 <string_append@plt>
cmp    $0x65f,%esi
jle    11ba <handle_intel+0xaa>
lea    -0x660(%rsi),%eax
cmp    $0x29,%eax
ja     1205 <handle_intel+0xf5>
lea    0xf4a(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
lea    0x108f(%rip),%rsi
jmp    1030 <string_append@plt>
lea    -0x2c2(%rsi),%eax
cmp    $0x21,%eax
ja     1229 <handle_intel+0x119>
lea    0xe5b(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
lea    0x1035(%rip),%rsi
jmp    1030 <string_append@plt>
add    $0xfffffbef,%esi
cmp    $0xe,%esi
ja     12c5 <handle_intel+0x1b5>
lea    0xeb8(%rip),%rax
movslq (%rax,%rsi,4),%rcx
add    %rax,%rcx
jmp    *%rcx
lea    0x1011(%rip),%rsi
jmp    1030 <string_append@plt>
cmp    $0x200,%esi
je     1265 <handle_intel+0x155>
cmp    $0x210,%esi
jne    12c5 <handle_intel+0x1b5>
lea    0xf73(%rip),%rsi
jmp    1030 <string_append@plt>
cmp    $0xb11,%esi
je     12b9 <handle_intel+0x1a9>
cmp    $0xc12,%esi
jne    12c5 <handle_intel+0x1b5>
lea    0x101f(%rip),%rsi
jmp    1030 <string_append@plt>
cmp    $0x290,%esi
je     1301 <handle_intel+0x1f1>
cmp    $0x292,%esi
jne    12c5 <handle_intel+0x1b5>
lea    0xf60(%rip),%rsi
jmp    1030 <string_append@plt>
lea    0xf27(%rip),%rsi
jmp    1030 <string_append@plt>
lea    0xf23(%rip),%rsi
jmp    1030 <string_append@plt>
lea    0xf00(%rip),%rsi
jmp    1030 <string_append@plt>
lea    0xfa8(%rip),%rsi
jmp    1030 <string_append@plt>
lea    0xfaa(%rip),%rsi
jmp    1030 <string_append@plt>
lea    0xfa5(%rip),%rsi
jmp    1030 <string_append@plt>
lea    0xf5c(%rip),%rsi
jmp    1030 <string_append@plt>
lea    0xf5b(%rip),%rsi
jmp    1030 <string_append@plt>
lea    0xf5a(%rip),%rsi
jmp    1030 <string_append@plt>
lea    0xf7c(%rip),%rsi
jmp    1030 <string_append@plt>
lea    0xf7f(%rip),%rsi
jmp    1030 <string_append@plt>
lea    0xed8(%rip),%rsi
jmp    1030 <string_append@plt>
lea    0xeda(%rip),%rsi
jmp    1030 <string_append@plt>
lea    0xedc(%rip),%rsi
jmp    1030 <string_append@plt>
lea    0xee6(%rip),%rsi
jmp    1030 <string_append@plt>
lea    0xe91(%rip),%rsi
jmp    1030 <string_append@plt>

LLVM IR (-O0):
@.str = [7 x i8] c"i80200\00"
@.str.1 = [8 x i8] c"PXA250A\00"
@.str.2 = [8 x i8] c"PXA210A\00"
@.str.3 = [11 x i8] c"i80321-400\00"
@.str.4 = [11 x i8] c"i80321-600\00"
@.str.5 = [15 x i8] c"PXA250B/PXA26x\00"
@.str.6 = [8 x i8] c"PXA210B\00"
@.str.7 = [14 x i8] c"i80321-400-B0\00"
@.str.8 = [14 x i8] c"i80321-600-B0\00"
@.str.9 = [22 x i8] c"PXA250C/PXA255/PXA26x\00"
@.str.10 = [8 x i8] c"PXA210C\00"
@.str.11 = [7 x i8] c"XScale\00"
@.str.12 = [7 x i8] c"PXA27x\00"
@.str.13 = [11 x i8] c"IPX425-533\00"
@.str.14 = [11 x i8] c"IPX425-400\00"
@.str.15 = [11 x i8] c"IPX425-266\00"
@.str.16 = [7 x i8] c"PXA32x\00"
@.str.17 = [14 x i8] c"PXA930/PXA935\00"
@.str.18 = [7 x i8] c"PXA30x\00"
@.str.19 = [7 x i8] c"PXA31x\00"
@.str.20 = [7 x i8] c"SA1110\00"
@.str.21 = [8 x i8] c"IPX1200\00"
@.str.22 = [8 x i8] c"Unknown\00"
define void @handle_intel(i32 %0, i32 %1, i8* %2) {
%4 = alloca i32
%5 = alloca i32
%6 = alloca i8*
store i32 %0, i32* %4
store i32 %1, i32* %5
store i8* %2, i8** %6
%7 = load i32, i32* %5
switch i32 %7, label %100 [
i32 512, label %8
i32 528, label %12
i32 530, label %16
i32 578, label %20
i32 579, label %24
i32 656, label %28
i32 658, label %32
i32 706, label %36
i32 707, label %40
i32 720, label %44
i32 722, label %48
i32 738, label %52
i32 739, label %52
i32 1041, label %56
i32 1052, label %60
i32 1053, label %64
i32 1055, label %68
i32 1632, label %72
i32 1666, label %76
i32 1667, label %80
i32 1672, label %84
i32 1673, label %88
i32 2833, label %92
i32 3090, label %96
]
8: ; preds = %3
%9 = load i32, i32* %4
%10 = load i8*, i8** %6
%11 = call i32 @string_append(i32 %9, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str, i64 0, i64 0), i8* %10)
br label %104
12: ; preds = %3
%13 = load i32, i32* %4
%14 = load i8*, i8** %6
%15 = call i32 @string_append(i32 %13, i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), i8* %14)
br label %104
16: ; preds = %3
%17 = load i32, i32* %4
%18 = load i8*, i8** %6
%19 = call i32 @string_append(i32 %17, i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.2, i64 0, i64 0), i8* %18)
br label %104
20: ; preds = %3
%21 = load i32, i32* %4
%22 = load i8*, i8** %6
%23 = call i32 @string_append(i32 %21, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.3, i64 0, i64 0), i8* %22)
br label %104
24: ; preds = %3
%25 = load i32, i32* %4
%26 = load i8*, i8** %6
%27 = call i32 @string_append(i32 %25, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.4, i64 0, i64 0), i8* %26)
br label %104
28: ; preds = %3
%29 = load i32, i32* %4
%30 = load i8*, i8** %6
%31 = call i32 @string_append(i32 %29, i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str.5, i64 0, i64 0), i8* %30)
br label %104
32: ; preds = %3
%33 = load i32, i32* %4
%34 = load i8*, i8** %6
%35 = call i32 @string_append(i32 %33, i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.6, i64 0, i64 0), i8* %34)
br label %104
36: ; preds = %3
%37 = load i32, i32* %4
%38 = load i8*, i8** %6
%39 = call i32 @string_append(i32 %37, i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.7, i64 0, i64 0), i8* %38)
br label %104
40: ; preds = %3
%41 = load i32, i32* %4
%42 = load i8*, i8** %6
%43 = call i32 @string_append(i32 %41, i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.8, i64 0, i64 0), i8* %42)
br label %104
44: ; preds = %3
%45 = load i32, i32* %4
%46 = load i8*, i8** %6
%47 = call i32 @string_append(i32 %45, i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.9, i64 0, i64 0), i8* %46)
br label %104
48: ; preds = %3
%49 = load i32, i32* %4
%50 = load i8*, i8** %6
%51 = call i32 @string_append(i32 %49, i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.10, i64 0, i64 0), i8* %50)
br label %104
52: ; preds = %3, %3
%53 = load i32, i32* %4
%54 = load i8*, i8** %6
%55 = call i32 @string_append(i32 %53, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.11, i64 0, i64 0), i8* %54)
br label %104
56: ; preds = %3
%57 = load i32, i32* %4
%58 = load i8*, i8** %6
%59 = call i32 @string_append(i32 %57, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.12, i64 0, i64 0), i8* %58)
br label %104
60: ; preds = %3
%61 = load i32, i32* %4
%62 = load i8*, i8** %6
%63 = call i32 @string_append(i32 %61, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.13, i64 0, i64 0), i8* %62)
br label %104
64: ; preds = %3
%65 = load i32, i32* %4
%66 = load i8*, i8** %6
%67 = call i32 @string_append(i32 %65, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.14, i64 0, i64 0), i8* %66)
br label %104
68: ; preds = %3
%69 = load i32, i32* %4
%70 = load i8*, i8** %6
%71 = call i32 @string_append(i32 %69, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.15, i64 0, i64 0), i8* %70)
br label %104
72: ; preds = %3
%73 = load i32, i32* %4
%74 = load i8*, i8** %6
%75 = call i32 @string_append(i32 %73, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.11, i64 0, i64 0), i8* %74)
br label %104
76: ; preds = %3
%77 = load i32, i32* %4
%78 = load i8*, i8** %6
%79 = call i32 @string_append(i32 %77, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.16, i64 0, i64 0), i8* %78)
br label %104
80: ; preds = %3
%81 = load i32, i32* %4
%82 = load i8*, i8** %6
%83 = call i32 @string_append(i32 %81, i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.17, i64 0, i64 0), i8* %82)
br label %104
84: ; preds = %3
%85 = load i32, i32* %4
%86 = load i8*, i8** %6
%87 = call i32 @string_append(i32 %85, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.18, i64 0, i64 0), i8* %86)
br label %104
88: ; preds = %3
%89 = load i32, i32* %4
%90 = load i8*, i8** %6
%91 = call i32 @string_append(i32 %89, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.19, i64 0, i64 0), i8* %90)
br label %104
92: ; preds = %3
%93 = load i32, i32* %4
%94 = load i8*, i8** %6
%95 = call i32 @string_append(i32 %93, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.20, i64 0, i64 0), i8* %94)
br label %104
96: ; preds = %3
%97 = load i32, i32* %4
%98 = load i8*, i8** %6
%99 = call i32 @string_append(i32 %97, i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.21, i64 0, i64 0), i8* %98)
br label %104
100: ; preds = %3
%101 = load i32, i32* %4
%102 = load i8*, i8** %6
%103 = call i32 @string_append(i32 %101, i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.22, i64 0, i64 0), i8* %102)
br label %104
104: ; preds = %100, %96, %92, %88, %84, %80, %76, %72, %68, %64, %60, %56, %52, %48, %44, %40, %36, %32, %28, %24, %20, %16, %12, %8
ret void
}

LLVM IR (-O2):
@.str = [7 x i8] c"i80200\00"
@.str.1 = [8 x i8] c"PXA250A\00"
@.str.2 = [8 x i8] c"PXA210A\00"
@.str.3 = [11 x i8] c"i80321-400\00"
@.str.4 = [11 x i8] c"i80321-600\00"
@.str.5 = [15 x i8] c"PXA250B/PXA26x\00"
@.str.6 = [8 x i8] c"PXA210B\00"
@.str.7 = [14 x i8] c"i80321-400-B0\00"
@.str.8 = [14 x i8] c"i80321-600-B0\00"
@.str.9 = [22 x i8] c"PXA250C/PXA255/PXA26x\00"
@.str.10 = [8 x i8] c"PXA210C\00"
@.str.11 = [7 x i8] c"XScale\00"
@.str.12 = [7 x i8] c"PXA27x\00"
@.str.13 = [11 x i8] c"IPX425-533\00"
@.str.14 = [11 x i8] c"IPX425-400\00"
@.str.15 = [11 x i8] c"IPX425-266\00"
@.str.16 = [7 x i8] c"PXA32x\00"
@.str.17 = [14 x i8] c"PXA930/PXA935\00"
@.str.18 = [7 x i8] c"PXA30x\00"
@.str.19 = [7 x i8] c"PXA31x\00"
@.str.20 = [7 x i8] c"SA1110\00"
@.str.21 = [8 x i8] c"IPX1200\00"
@.str.22 = [8 x i8] c"Unknown\00"
define void @handle_intel(i32 %0, i32 %1, i8* %2) {
switch i32 %1, label %26 [
i32 512, label %27
i32 528, label %4
i32 530, label %5
i32 578, label %6
i32 579, label %7
i32 656, label %8
i32 658, label %9
i32 706, label %10
i32 707, label %11
i32 720, label %12
i32 722, label %13
i32 738, label %14
i32 739, label %14
i32 1041, label %15
i32 1052, label %16
i32 1053, label %17
i32 1055, label %18
i32 1632, label %19
i32 1666, label %20
i32 1667, label %21
i32 1672, label %22
i32 1673, label %23
i32 2833, label %24
i32 3090, label %25
]
4: ; preds = %3
br label %27
5: ; preds = %3
br label %27
6: ; preds = %3
br label %27
7: ; preds = %3
br label %27
8: ; preds = %3
br label %27
9: ; preds = %3
br label %27
10: ; preds = %3
br label %27
11: ; preds = %3
br label %27
12: ; preds = %3
br label %27
13: ; preds = %3
br label %27
14: ; preds = %3, %3
br label %27
15: ; preds = %3
br label %27
16: ; preds = %3
br label %27
17: ; preds = %3
br label %27
18: ; preds = %3
br label %27
19: ; preds = %3
br label %27
20: ; preds = %3
br label %27
21: ; preds = %3
br label %27
22: ; preds = %3
br label %27
23: ; preds = %3
br label %27
24: ; preds = %3
br label %27
25: ; preds = %3
br label %27
26: ; preds = %3
br label %27
27: ; preds = %3, %26, %25, %24, %23, %22, %21, %20, %19, %18, %17, %16, %15, %14, %13, %12, %11, %10, %9, %8, %7, %6, %5, %4
%28 = phi i8* [ getelementptr inbounds ([8 x i8], [8 x i8]* @.str.22, i64 0, i64 0), %26 ], [ getelementptr inbounds ([8 x i8], [8 x i8]* @.str.21, i64 0, i64 0), %25 ], [ getelementptr inbounds ([7 x i8], [7 x i8]* @.str.20, i64 0, i64 0), %24 ], [ getelementptr inbounds ([7 x i8], [7 x i8]* @.str.19, i64 0, i64 0), %23 ], [ getelementptr inbounds ([7 x i8], [7 x i8]* @.str.18, i64 0, i64 0), %22 ], [ getelementptr inbounds ([14 x i8], [14 x i8]* @.str.17, i64 0, i64 0), %21 ], [ getelementptr inbounds ([7 x i8], [7 x i8]* @.str.16, i64 0, i64 0), %20 ], [ getelementptr inbounds ([7 x i8], [7 x i8]* @.str.11, i64 0, i64 0), %19 ], [ getelementptr inbounds ([11 x i8], [11 x i8]* @.str.15, i64 0, i64 0), %18 ], [ getelementptr inbounds ([11 x i8], [11 x i8]* @.str.14, i64 0, i64 0), %17 ], [ getelementptr inbounds ([11 x i8], [11 x i8]* @.str.13, i64 0, i64 0), %16 ], [ getelementptr inbounds ([7 x i8], [7 x i8]* @.str.12, i64 0, i64 0), %15 ], [ getelementptr inbounds ([7 x i8], [7 x i8]* @.str.11, i64 0, i64 0), %14 ], [ getelementptr inbounds ([8 x i8], [8 x i8]* @.str.10, i64 0, i64 0), %13 ], [ getelementptr inbounds ([22 x i8], [22 x i8]* @.str.9, i64 0, i64 0), %12 ], [ getelementptr inbounds ([14 x i8], [14 x i8]* @.str.8, i64 0, i64 0), %11 ], [ getelementptr inbounds ([14 x i8], [14 x i8]* @.str.7, i64 0, i64 0), %10 ], [ getelementptr inbounds ([8 x i8], [8 x i8]* @.str.6, i64 0, i64 0), %9 ], [ getelementptr inbounds ([15 x i8], [15 x i8]* @.str.5, i64 0, i64 0), %8 ], [ getelementptr inbounds ([11 x i8], [11 x i8]* @.str.4, i64 0, i64 0), %7 ], [ getelementptr inbounds ([11 x i8], [11 x i8]* @.str.3, i64 0, i64 0), %6 ], [ getelementptr inbounds ([8 x i8], [8 x i8]* @.str.2, i64 0, i64 0), %5 ], [ getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), %4 ], [ getelementptr inbounds ([7 x i8], [7 x i8]* @.str, i64 0, i64 0), %3 ]
%29 = tail call i32 @string_append(i32 %0, i8* %28, i8* %2)
ret void
}