#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 READ_TX0_18BIT(unsigned int);
int /*<<< orphan*/ sprintf(char *, char *, ...);
unsigned dasmtx0_8kw(char *buffer, unsigned _pc) {
  int md;
  int x;
  md = READ_TX0_18BIT(_pc);
  x = md & 0017777;
  switch (md >> 13) {
  case 0:
    sprintf(buffer, "sto 0%05o", x);
    break;
  case 1:
    sprintf(buffer, "stx 0%05o", x);
    break;
  case 2:
    sprintf(buffer, "sxa 0%05o", x);
    break;
  case 3:
    sprintf(buffer, "ado 0%05o", x);
    break;
  case 4:
    sprintf(buffer, "slr 0%05o", x);
    break;
  case 5:
    sprintf(buffer, "slx 0%05o", x);
    break;
  case 6:
    sprintf(buffer, "stz 0%05o", x);
    break;
  case 8:
    sprintf(buffer, "add 0%05o", x);
    break;
  case 9:
    sprintf(buffer, "adx 0%05o", x);
    break;
  case 10:
    sprintf(buffer, "ldx 0%05o", x);
    break;
  case 11:
    sprintf(buffer, "aux 0%05o", x);
    break;
  case 12:
    sprintf(buffer, "llr 0%05o", x);
    break;
  case 13:
    sprintf(buffer, "llx 0%05o", x);
    break;
  case 14:
    sprintf(buffer, "lda 0%05o", x);
    break;
  case 15:
    sprintf(buffer, "lax 0%05o", x);
    break;
  case 16:
    sprintf(buffer, "trn 0%05o", x);
    break;
  case 17:
    sprintf(buffer, "tze 0%05o", x);
    break;
  case 18:
    sprintf(buffer, "tsx 0%05o", x);
    break;
  case 19:
    sprintf(buffer, "tix 0%05o", x);
    break;
  case 20:
    sprintf(buffer, "tra 0%05o", x);
    break;
  case 21:
    sprintf(buffer, "trx 0%05o", x);
    break;
  case 22:
    sprintf(buffer, "tlv 0%05o", x);
    break;
  case 24:
  case 25:
  case 26:
  case 27:
  case 28:
  case 29:
  case 30:
  case 31:
    sprintf(buffer, "opr 0%06o", md & 0177777);
    break;
  default:
    sprintf(buffer, "illegal");
    break;
  }
  return 1;
}


x86 assembly (clang, -O0):
<dasmtx0_8kw>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    -0xc(%rbp),%edi
call   1040 <READ_TX0_18BIT@plt>
mov    %eax,-0x10(%rbp)
mov    -0x10(%rbp),%eax
and    $0x1fff,%eax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%eax
sar    $0xd,%eax
mov    %eax,%ecx
mov    %rcx,-0x20(%rbp)
sub    $0x1f,%eax
ja     13ca <dasmtx0_8kw+0x2aa>
mov    -0x20(%rbp),%rax
lea    0xe9b(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
mov    -0x8(%rbp),%rdi
mov    -0x14(%rbp),%edx
lea    0xf04(%rip),%rsi
mov    $0x0,%al
call   1030 <sprintf@plt>
jmp    13dc <dasmtx0_8kw+0x2bc>
mov    -0x8(%rbp),%rdi
mov    -0x14(%rbp),%edx
lea    0xef4(%rip),%rsi
mov    $0x0,%al
call   1030 <sprintf@plt>
jmp    13dc <dasmtx0_8kw+0x2bc>
mov    -0x8(%rbp),%rdi
mov    -0x14(%rbp),%edx
lea    0xee4(%rip),%rsi
mov    $0x0,%al
call   1030 <sprintf@plt>
jmp    13dc <dasmtx0_8kw+0x2bc>
mov    -0x8(%rbp),%rdi
mov    -0x14(%rbp),%edx
lea    0xed4(%rip),%rsi
mov    $0x0,%al
call   1030 <sprintf@plt>
jmp    13dc <dasmtx0_8kw+0x2bc>
mov    -0x8(%rbp),%rdi
mov    -0x14(%rbp),%edx
lea    0xec4(%rip),%rsi
mov    $0x0,%al
call   1030 <sprintf@plt>
jmp    13dc <dasmtx0_8kw+0x2bc>
mov    -0x8(%rbp),%rdi
mov    -0x14(%rbp),%edx
lea    0xeb4(%rip),%rsi
mov    $0x0,%al
call   1030 <sprintf@plt>
jmp    13dc <dasmtx0_8kw+0x2bc>
mov    -0x8(%rbp),%rdi
mov    -0x14(%rbp),%edx
lea    0xea4(%rip),%rsi
mov    $0x0,%al
call   1030 <sprintf@plt>
jmp    13dc <dasmtx0_8kw+0x2bc>
mov    -0x8(%rbp),%rdi
mov    -0x14(%rbp),%edx
lea    0xe94(%rip),%rsi
mov    $0x0,%al
call   1030 <sprintf@plt>
jmp    13dc <dasmtx0_8kw+0x2bc>
mov    -0x8(%rbp),%rdi
mov    -0x14(%rbp),%edx
lea    0xe84(%rip),%rsi
mov    $0x0,%al
call   1030 <sprintf@plt>
jmp    13dc <dasmtx0_8kw+0x2bc>
mov    -0x8(%rbp),%rdi
mov    -0x14(%rbp),%edx
lea    0xe74(%rip),%rsi
mov    $0x0,%al
call   1030 <sprintf@plt>
jmp    13dc <dasmtx0_8kw+0x2bc>
mov    -0x8(%rbp),%rdi
mov    -0x14(%rbp),%edx
lea    0xe64(%rip),%rsi
mov    $0x0,%al
call   1030 <sprintf@plt>
jmp    13dc <dasmtx0_8kw+0x2bc>
mov    -0x8(%rbp),%rdi
mov    -0x14(%rbp),%edx
lea    0xe54(%rip),%rsi
mov    $0x0,%al
call   1030 <sprintf@plt>
jmp    13dc <dasmtx0_8kw+0x2bc>
mov    -0x8(%rbp),%rdi
mov    -0x14(%rbp),%edx
lea    0xe44(%rip),%rsi
mov    $0x0,%al
call   1030 <sprintf@plt>
jmp    13dc <dasmtx0_8kw+0x2bc>
mov    -0x8(%rbp),%rdi
mov    -0x14(%rbp),%edx
lea    0xe34(%rip),%rsi
mov    $0x0,%al
call   1030 <sprintf@plt>
jmp    13dc <dasmtx0_8kw+0x2bc>
mov    -0x8(%rbp),%rdi
mov    -0x14(%rbp),%edx
lea    0xe24(%rip),%rsi
mov    $0x0,%al
call   1030 <sprintf@plt>
jmp    13dc <dasmtx0_8kw+0x2bc>
mov    -0x8(%rbp),%rdi
mov    -0x14(%rbp),%edx
lea    0xe14(%rip),%rsi
mov    $0x0,%al
call   1030 <sprintf@plt>
jmp    13dc <dasmtx0_8kw+0x2bc>
mov    -0x8(%rbp),%rdi
mov    -0x14(%rbp),%edx
lea    0xe04(%rip),%rsi
mov    $0x0,%al
call   1030 <sprintf@plt>
jmp    13dc <dasmtx0_8kw+0x2bc>
mov    -0x8(%rbp),%rdi
mov    -0x14(%rbp),%edx
lea    0xdf4(%rip),%rsi
mov    $0x0,%al
call   1030 <sprintf@plt>
jmp    13dc <dasmtx0_8kw+0x2bc>
mov    -0x8(%rbp),%rdi
mov    -0x14(%rbp),%edx
lea    0xde4(%rip),%rsi
mov    $0x0,%al
call   1030 <sprintf@plt>
jmp    13dc <dasmtx0_8kw+0x2bc>
mov    -0x8(%rbp),%rdi
mov    -0x14(%rbp),%edx
lea    0xdd4(%rip),%rsi
mov    $0x0,%al
call   1030 <sprintf@plt>
jmp    13dc <dasmtx0_8kw+0x2bc>
mov    -0x8(%rbp),%rdi
mov    -0x14(%rbp),%edx
lea    0xdc4(%rip),%rsi
mov    $0x0,%al
call   1030 <sprintf@plt>
jmp    13dc <dasmtx0_8kw+0x2bc>
mov    -0x8(%rbp),%rdi
mov    -0x14(%rbp),%edx
lea    0xdb4(%rip),%rsi
mov    $0x0,%al
call   1030 <sprintf@plt>
jmp    13dc <dasmtx0_8kw+0x2bc>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%edx
and    $0xffff,%edx
lea    0xd9e(%rip),%rsi
mov    $0x0,%al
call   1030 <sprintf@plt>
jmp    13dc <dasmtx0_8kw+0x2bc>
mov    -0x8(%rbp),%rdi
lea    0xd91(%rip),%rsi
mov    $0x0,%al
call   1030 <sprintf@plt>
mov    $0x1,%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<dasmtx0_8kw>:
push   %rbx
mov    %rdi,%rbx
mov    %esi,%edi
call   1040 <READ_TX0_18BIT@plt>
mov    %eax,%ecx
sar    $0xd,%ecx
cmp    $0x1f,%ecx
ja     11a7 <dasmtx0_8kw+0x87>
mov    %eax,%edx
and    $0x1fff,%edx
lea    0xebc(%rip),%rsi
movslq (%rsi,%rcx,4),%rcx
add    %rsi,%rcx
jmp    *%rcx
movzwl %ax,%edx
lea    0x1005(%rip),%rsi
mov    %rbx,%rdi
xor    %eax,%eax
call   1030 <sprintf@plt>
mov    $0x1,%eax
pop    %rbx
ret
lea    0xf11(%rip),%rsi
jmp    1157 <dasmtx0_8kw+0x37>
lea    0xf12(%rip),%rsi
jmp    1157 <dasmtx0_8kw+0x37>
lea    0xf13(%rip),%rsi
jmp    1157 <dasmtx0_8kw+0x37>
lea    0xf14(%rip),%rsi
jmp    1157 <dasmtx0_8kw+0x37>
lea    0xf15(%rip),%rsi
jmp    1157 <dasmtx0_8kw+0x37>
lea    0xf16(%rip),%rsi
jmp    1157 <dasmtx0_8kw+0x37>
lea    0xf17(%rip),%rsi
jmp    1157 <dasmtx0_8kw+0x37>
movabs $0x6c6167656c6c69,%rax
mov    %rax,(%rbx)
jmp    1161 <dasmtx0_8kw+0x41>
lea    0xf09(%rip),%rsi
jmp    1157 <dasmtx0_8kw+0x37>
lea    0xf0a(%rip),%rsi
jmp    1157 <dasmtx0_8kw+0x37>
lea    0xf0b(%rip),%rsi
jmp    1157 <dasmtx0_8kw+0x37>
lea    0xf0c(%rip),%rsi
jmp    1157 <dasmtx0_8kw+0x37>
lea    0xf0a(%rip),%rsi
jmp    1157 <dasmtx0_8kw+0x37>
lea    0xf08(%rip),%rsi
jmp    1157 <dasmtx0_8kw+0x37>
lea    0xf06(%rip),%rsi
jmp    1157 <dasmtx0_8kw+0x37>
lea    0xf04(%rip),%rsi
jmp    1157 <dasmtx0_8kw+0x37>
lea    0xf02(%rip),%rsi
jmp    1157 <dasmtx0_8kw+0x37>
lea    0xf00(%rip),%rsi
jmp    1157 <dasmtx0_8kw+0x37>
lea    0xefe(%rip),%rsi
jmp    1157 <dasmtx0_8kw+0x37>
lea    0xefc(%rip),%rsi
jmp    1157 <dasmtx0_8kw+0x37>
lea    0xefa(%rip),%rsi
jmp    1157 <dasmtx0_8kw+0x37>
lea    0xef8(%rip),%rsi
jmp    1157 <dasmtx0_8kw+0x37>
lea    0xef6(%rip),%rsi
jmp    1157 <dasmtx0_8kw+0x37>

LLVM IR (-O0):
@.str = [10 x i8] c"sto 0%05o\00"
@.str.1 = [10 x i8] c"stx 0%05o\00"
@.str.2 = [10 x i8] c"sxa 0%05o\00"
@.str.3 = [10 x i8] c"ado 0%05o\00"
@.str.4 = [10 x i8] c"slr 0%05o\00"
@.str.5 = [10 x i8] c"slx 0%05o\00"
@.str.6 = [10 x i8] c"stz 0%05o\00"
@.str.7 = [10 x i8] c"add 0%05o\00"
@.str.8 = [10 x i8] c"adx 0%05o\00"
@.str.9 = [10 x i8] c"ldx 0%05o\00"
@.str.10 = [10 x i8] c"aux 0%05o\00"
@.str.11 = [10 x i8] c"llr 0%05o\00"
@.str.12 = [10 x i8] c"llx 0%05o\00"
@.str.13 = [10 x i8] c"lda 0%05o\00"
@.str.14 = [10 x i8] c"lax 0%05o\00"
@.str.15 = [10 x i8] c"trn 0%05o\00"
@.str.16 = [10 x i8] c"tze 0%05o\00"
@.str.17 = [10 x i8] c"tsx 0%05o\00"
@.str.18 = [10 x i8] c"tix 0%05o\00"
@.str.19 = [10 x i8] c"tra 0%05o\00"
@.str.20 = [10 x i8] c"trx 0%05o\00"
@.str.21 = [10 x i8] c"tlv 0%05o\00"
@.str.22 = [10 x i8] c"opr 0%06o\00"
@.str.23 = [8 x i8] c"illegal\00"
define i32 @dasmtx0_8kw(i8* %0, i32 %1) {
%3 = alloca i8*
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
store i8* %0, i8** %3
store i32 %1, i32* %4
%7 = load i32, i32* %4
%8 = call i32 @READ_TX0_18BIT(i32 %7)
store i32 %8, i32* %5
%9 = load i32, i32* %5
%10 = and i32 %9, 8191
store i32 %10, i32* %6
%11 = load i32, i32* %5
%12 = ashr i32 %11, 13
switch i32 %12, label %106 [
i32 0, label %13
i32 1, label %17
i32 2, label %21
i32 3, label %25
i32 4, label %29
i32 5, label %33
i32 6, label %37
i32 8, label %41
i32 9, label %45
i32 10, label %49
i32 11, label %53
i32 12, label %57
i32 13, label %61
i32 14, label %65
i32 15, label %69
i32 16, label %73
i32 17, label %77
i32 18, label %81
i32 19, label %85
i32 20, label %89
i32 21, label %93
i32 22, label %97
i32 24, label %101
i32 25, label %101
i32 26, label %101
i32 27, label %101
i32 28, label %101
i32 29, label %101
i32 30, label %101
i32 31, label %101
]
13: ; preds = %2
%14 = load i8*, i8** %3
%15 = load i32, i32* %6
%16 = call i32 (i8*, i8*, ...) @sprintf(i8* %14, i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str, i64 0, i64 0), i32 %15)
br label %109
17: ; preds = %2
%18 = load i8*, i8** %3
%19 = load i32, i32* %6
%20 = call i32 (i8*, i8*, ...) @sprintf(i8* %18, i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.1, i64 0, i64 0), i32 %19)
br label %109
21: ; preds = %2
%22 = load i8*, i8** %3
%23 = load i32, i32* %6
%24 = call i32 (i8*, i8*, ...) @sprintf(i8* %22, i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.2, i64 0, i64 0), i32 %23)
br label %109
25: ; preds = %2
%26 = load i8*, i8** %3
%27 = load i32, i32* %6
%28 = call i32 (i8*, i8*, ...) @sprintf(i8* %26, i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.3, i64 0, i64 0), i32 %27)
br label %109
29: ; preds = %2
%30 = load i8*, i8** %3
%31 = load i32, i32* %6
%32 = call i32 (i8*, i8*, ...) @sprintf(i8* %30, i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.4, i64 0, i64 0), i32 %31)
br label %109
33: ; preds = %2
%34 = load i8*, i8** %3
%35 = load i32, i32* %6
%36 = call i32 (i8*, i8*, ...) @sprintf(i8* %34, i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.5, i64 0, i64 0), i32 %35)
br label %109
37: ; preds = %2
%38 = load i8*, i8** %3
%39 = load i32, i32* %6
%40 = call i32 (i8*, i8*, ...) @sprintf(i8* %38, i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.6, i64 0, i64 0), i32 %39)
br label %109
41: ; preds = %2
%42 = load i8*, i8** %3
%43 = load i32, i32* %6
%44 = call i32 (i8*, i8*, ...) @sprintf(i8* %42, i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.7, i64 0, i64 0), i32 %43)
br label %109
45: ; preds = %2
%46 = load i8*, i8** %3
%47 = load i32, i32* %6
%48 = call i32 (i8*, i8*, ...) @sprintf(i8* %46, i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.8, i64 0, i64 0), i32 %47)
br label %109
49: ; preds = %2
%50 = load i8*, i8** %3
%51 = load i32, i32* %6
%52 = call i32 (i8*, i8*, ...) @sprintf(i8* %50, i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.9, i64 0, i64 0), i32 %51)
br label %109
53: ; preds = %2
%54 = load i8*, i8** %3
%55 = load i32, i32* %6
%56 = call i32 (i8*, i8*, ...) @sprintf(i8* %54, i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.10, i64 0, i64 0), i32 %55)
br label %109
57: ; preds = %2
%58 = load i8*, i8** %3
%59 = load i32, i32* %6
%60 = call i32 (i8*, i8*, ...) @sprintf(i8* %58, i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.11, i64 0, i64 0), i32 %59)
br label %109
61: ; preds = %2
%62 = load i8*, i8** %3
%63 = load i32, i32* %6
%64 = call i32 (i8*, i8*, ...) @sprintf(i8* %62, i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.12, i64 0, i64 0), i32 %63)
br label %109
65: ; preds = %2
%66 = load i8*, i8** %3
%67 = load i32, i32* %6
%68 = call i32 (i8*, i8*, ...) @sprintf(i8* %66, i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.13, i64 0, i64 0), i32 %67)
br label %109
69: ; preds = %2
%70 = load i8*, i8** %3
%71 = load i32, i32* %6
%72 = call i32 (i8*, i8*, ...) @sprintf(i8* %70, i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.14, i64 0, i64 0), i32 %71)
br label %109
73: ; preds = %2
%74 = load i8*, i8** %3
%75 = load i32, i32* %6
%76 = call i32 (i8*, i8*, ...) @sprintf(i8* %74, i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.15, i64 0, i64 0), i32 %75)
br label %109
77: ; preds = %2
%78 = load i8*, i8** %3
%79 = load i32, i32* %6
%80 = call i32 (i8*, i8*, ...) @sprintf(i8* %78, i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.16, i64 0, i64 0), i32 %79)
br label %109
81: ; preds = %2
%82 = load i8*, i8** %3
%83 = load i32, i32* %6
%84 = call i32 (i8*, i8*, ...) @sprintf(i8* %82, i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.17, i64 0, i64 0), i32 %83)
br label %109
85: ; preds = %2
%86 = load i8*, i8** %3
%87 = load i32, i32* %6
%88 = call i32 (i8*, i8*, ...) @sprintf(i8* %86, i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.18, i64 0, i64 0), i32 %87)
br label %109
89: ; preds = %2
%90 = load i8*, i8** %3
%91 = load i32, i32* %6
%92 = call i32 (i8*, i8*, ...) @sprintf(i8* %90, i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.19, i64 0, i64 0), i32 %91)
br label %109
93: ; preds = %2
%94 = load i8*, i8** %3
%95 = load i32, i32* %6
%96 = call i32 (i8*, i8*, ...) @sprintf(i8* %94, i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.20, i64 0, i64 0), i32 %95)
br label %109
97: ; preds = %2
%98 = load i8*, i8** %3
%99 = load i32, i32* %6
%100 = call i32 (i8*, i8*, ...) @sprintf(i8* %98, i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.21, i64 0, i64 0), i32 %99)
br label %109
101: ; preds = %2, %2, %2, %2, %2, %2, %2, %2
%102 = load i8*, i8** %3
%103 = load i32, i32* %5
%104 = and i32 %103, 65535
%105 = call i32 (i8*, i8*, ...) @sprintf(i8* %102, i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.22, i64 0, i64 0), i32 %104)
br label %109
106: ; preds = %2
%107 = load i8*, i8** %3
%108 = call i32 (i8*, i8*, ...) @sprintf(i8* %107, i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.23, i64 0, i64 0))
br label %109
109: ; preds = %106, %101, %97, %93, %89, %85, %81, %77, %73, %69, %65, %61, %57, %53, %49, %45, %41, %37, %33, %29, %25, %21, %17, %13
ret i32 1
}

LLVM IR (-O2):
@.str = [10 x i8] c"sto 0%05o\00"
@.str.1 = [10 x i8] c"stx 0%05o\00"
@.str.2 = [10 x i8] c"sxa 0%05o\00"
@.str.3 = [10 x i8] c"ado 0%05o\00"
@.str.4 = [10 x i8] c"slr 0%05o\00"
@.str.5 = [10 x i8] c"slx 0%05o\00"
@.str.6 = [10 x i8] c"stz 0%05o\00"
@.str.7 = [10 x i8] c"add 0%05o\00"
@.str.8 = [10 x i8] c"adx 0%05o\00"
@.str.9 = [10 x i8] c"ldx 0%05o\00"
@.str.10 = [10 x i8] c"aux 0%05o\00"
@.str.11 = [10 x i8] c"llr 0%05o\00"
@.str.12 = [10 x i8] c"llx 0%05o\00"
@.str.13 = [10 x i8] c"lda 0%05o\00"
@.str.14 = [10 x i8] c"lax 0%05o\00"
@.str.15 = [10 x i8] c"trn 0%05o\00"
@.str.16 = [10 x i8] c"tze 0%05o\00"
@.str.17 = [10 x i8] c"tsx 0%05o\00"
@.str.18 = [10 x i8] c"tix 0%05o\00"
@.str.19 = [10 x i8] c"tra 0%05o\00"
@.str.20 = [10 x i8] c"trx 0%05o\00"
@.str.21 = [10 x i8] c"tlv 0%05o\00"
@.str.22 = [10 x i8] c"opr 0%06o\00"
define i32 @dasmtx0_8kw(i8* writeonly %0, i32 %1) {
%3 = tail call i32 @READ_TX0_18BIT(i32 %1)
%4 = and i32 %3, 8191
%5 = ashr i32 %3, 13
switch i32 %5, label %53 [
i32 0, label %6
i32 1, label %8
i32 2, label %10
i32 3, label %12
i32 4, label %14
i32 5, label %16
i32 6, label %18
i32 8, label %20
i32 9, label %22
i32 10, label %24
i32 11, label %26
i32 12, label %28
i32 13, label %30
i32 14, label %32
i32 15, label %34
i32 16, label %36
i32 17, label %38
i32 18, label %40
i32 19, label %42
i32 20, label %44
i32 21, label %46
i32 22, label %48
i32 24, label %50
i32 25, label %50
i32 26, label %50
i32 27, label %50
i32 28, label %50
i32 29, label %50
i32 30, label %50
i32 31, label %50
]
6: ; preds = %2
%7 = tail call i32 (i8*, i8*, ...) @sprintf(i8* dereferenceable(1) %0, i8* dereferenceable(1) getelementptr inbounds ([10 x i8], [10 x i8]* @.str, i64 0, i64 0), i32 %4)
br label %55
8: ; preds = %2
%9 = tail call i32 (i8*, i8*, ...) @sprintf(i8* dereferenceable(1) %0, i8* dereferenceable(1) getelementptr inbounds ([10 x i8], [10 x i8]* @.str.1, i64 0, i64 0), i32 %4)
br label %55
10: ; preds = %2
%11 = tail call i32 (i8*, i8*, ...) @sprintf(i8* dereferenceable(1) %0, i8* dereferenceable(1) getelementptr inbounds ([10 x i8], [10 x i8]* @.str.2, i64 0, i64 0), i32 %4)
br label %55
12: ; preds = %2
%13 = tail call i32 (i8*, i8*, ...) @sprintf(i8* dereferenceable(1) %0, i8* dereferenceable(1) getelementptr inbounds ([10 x i8], [10 x i8]* @.str.3, i64 0, i64 0), i32 %4)
br label %55
14: ; preds = %2
%15 = tail call i32 (i8*, i8*, ...) @sprintf(i8* dereferenceable(1) %0, i8* dereferenceable(1) getelementptr inbounds ([10 x i8], [10 x i8]* @.str.4, i64 0, i64 0), i32 %4)
br label %55
16: ; preds = %2
%17 = tail call i32 (i8*, i8*, ...) @sprintf(i8* dereferenceable(1) %0, i8* dereferenceable(1) getelementptr inbounds ([10 x i8], [10 x i8]* @.str.5, i64 0, i64 0), i32 %4)
br label %55
18: ; preds = %2
%19 = tail call i32 (i8*, i8*, ...) @sprintf(i8* dereferenceable(1) %0, i8* dereferenceable(1) getelementptr inbounds ([10 x i8], [10 x i8]* @.str.6, i64 0, i64 0), i32 %4)
br label %55
20: ; preds = %2
%21 = tail call i32 (i8*, i8*, ...) @sprintf(i8* dereferenceable(1) %0, i8* dereferenceable(1) getelementptr inbounds ([10 x i8], [10 x i8]* @.str.7, i64 0, i64 0), i32 %4)
br label %55
22: ; preds = %2
%23 = tail call i32 (i8*, i8*, ...) @sprintf(i8* dereferenceable(1) %0, i8* dereferenceable(1) getelementptr inbounds ([10 x i8], [10 x i8]* @.str.8, i64 0, i64 0), i32 %4)
br label %55
24: ; preds = %2
%25 = tail call i32 (i8*, i8*, ...) @sprintf(i8* dereferenceable(1) %0, i8* dereferenceable(1) getelementptr inbounds ([10 x i8], [10 x i8]* @.str.9, i64 0, i64 0), i32 %4)
br label %55
26: ; preds = %2
%27 = tail call i32 (i8*, i8*, ...) @sprintf(i8* dereferenceable(1) %0, i8* dereferenceable(1) getelementptr inbounds ([10 x i8], [10 x i8]* @.str.10, i64 0, i64 0), i32 %4)
br label %55
28: ; preds = %2
%29 = tail call i32 (i8*, i8*, ...) @sprintf(i8* dereferenceable(1) %0, i8* dereferenceable(1) getelementptr inbounds ([10 x i8], [10 x i8]* @.str.11, i64 0, i64 0), i32 %4)
br label %55
30: ; preds = %2
%31 = tail call i32 (i8*, i8*, ...) @sprintf(i8* dereferenceable(1) %0, i8* dereferenceable(1) getelementptr inbounds ([10 x i8], [10 x i8]* @.str.12, i64 0, i64 0), i32 %4)
br label %55
32: ; preds = %2
%33 = tail call i32 (i8*, i8*, ...) @sprintf(i8* dereferenceable(1) %0, i8* dereferenceable(1) getelementptr inbounds ([10 x i8], [10 x i8]* @.str.13, i64 0, i64 0), i32 %4)
br label %55
34: ; preds = %2
%35 = tail call i32 (i8*, i8*, ...) @sprintf(i8* dereferenceable(1) %0, i8* dereferenceable(1) getelementptr inbounds ([10 x i8], [10 x i8]* @.str.14, i64 0, i64 0), i32 %4)
br label %55
36: ; preds = %2
%37 = tail call i32 (i8*, i8*, ...) @sprintf(i8* dereferenceable(1) %0, i8* dereferenceable(1) getelementptr inbounds ([10 x i8], [10 x i8]* @.str.15, i64 0, i64 0), i32 %4)
br label %55
38: ; preds = %2
%39 = tail call i32 (i8*, i8*, ...) @sprintf(i8* dereferenceable(1) %0, i8* dereferenceable(1) getelementptr inbounds ([10 x i8], [10 x i8]* @.str.16, i64 0, i64 0), i32 %4)
br label %55
40: ; preds = %2
%41 = tail call i32 (i8*, i8*, ...) @sprintf(i8* dereferenceable(1) %0, i8* dereferenceable(1) getelementptr inbounds ([10 x i8], [10 x i8]* @.str.17, i64 0, i64 0), i32 %4)
br label %55
42: ; preds = %2
%43 = tail call i32 (i8*, i8*, ...) @sprintf(i8* dereferenceable(1) %0, i8* dereferenceable(1) getelementptr inbounds ([10 x i8], [10 x i8]* @.str.18, i64 0, i64 0), i32 %4)
br label %55
44: ; preds = %2
%45 = tail call i32 (i8*, i8*, ...) @sprintf(i8* dereferenceable(1) %0, i8* dereferenceable(1) getelementptr inbounds ([10 x i8], [10 x i8]* @.str.19, i64 0, i64 0), i32 %4)
br label %55
46: ; preds = %2
%47 = tail call i32 (i8*, i8*, ...) @sprintf(i8* dereferenceable(1) %0, i8* dereferenceable(1) getelementptr inbounds ([10 x i8], [10 x i8]* @.str.20, i64 0, i64 0), i32 %4)
br label %55
48: ; preds = %2
%49 = tail call i32 (i8*, i8*, ...) @sprintf(i8* dereferenceable(1) %0, i8* dereferenceable(1) getelementptr inbounds ([10 x i8], [10 x i8]* @.str.21, i64 0, i64 0), i32 %4)
br label %55
50: ; preds = %2, %2, %2, %2, %2, %2, %2, %2
%51 = and i32 %3, 65535
%52 = tail call i32 (i8*, i8*, ...) @sprintf(i8* dereferenceable(1) %0, i8* dereferenceable(1) getelementptr inbounds ([10 x i8], [10 x i8]* @.str.22, i64 0, i64 0), i32 %51)
br label %55
53: ; preds = %2
%54 = bitcast i8* %0 to i64*
store i64 30506394195881065, i64* %54
br label %55
55: ; preds = %53, %50, %48, %46, %44, %42, %40, %38, %36, %34, %32, %30, %28, %26, %24, %22, %20, %18, %16, %14, %12, %10, %8, %6
ret i32 1
}