void gen_table(int nb_trans) {
  int Y[5], Yt[5], trans, ss[2][3], xx[2][2];
  int res, i, y0;
  printf("u8 trellis_trans_%d[256][4] = {\n", nb_trans);
  for (y0 = 0; y0 < 2; y0++) {
    for (trans = 0; trans < nb_trans; trans++) {
      printf(" /* trans=%d y0=%d */\n", trans, y0);
      Yt[1] = trans & 1;
      Yt[2] = (trans >> 1) & 1;
      Yt[4] = (trans >> 2) & 1;
      Yt[3] = (trans >> 3) & 1;
      for (xx[0][0] = 0; xx[0][0] < 4; xx[0][0]++)
        for (xx[0][1] = 0; xx[0][1] < 4; xx[0][1]++)
          for (xx[1][0] = 0; xx[1][0] < 4; xx[1][0]++)
            for (xx[1][1] = 0; xx[1][1] < 4; xx[1][1]++) {
              for (i = 0; i < 2; i++) {
                int x, y, y0, x0, y1, x1;
                x = xx[i][0];
                y = xx[i][1];
                x0 = x & 1;
                x1 = ((x & 2) >> 1);
                y0 = y & 1;
                y1 = ((y & 2) >> 1);
                ss[i][2] = x1 ^ y1 ^ y0 ^ x0;
                ss[i][1] = y0;
                ss[i][0] = y0 ^ x0;
              }
              Y[4] = ss[0][2] ^ ss[1][2];
              Y[3] = ss[0][1];
              Y[2] = ss[0][0];
              Y[1] = (ss[0][0] & ~ss[1][0] & 1) ^ ss[0][1] ^ ss[1][1];
              res = 0;
              switch (nb_trans) {
              case 4:
                res = (Yt[1] == Y[1] && Yt[2] == Y[2]);
                break;
              case 8:
                res = (Yt[1] == Y[1] && Yt[2] == Y[2] && Yt[4] == Y[4]);
                break;
              case 16:
                res = (Yt[1] == Y[1] && Yt[2] == Y[2] && Yt[3] == Y[3] &&
                       Yt[4] == Y[4]);
                break;
              }
              if (res && classify(xx) == y0) {
                printf(" { %d, %d, %d, %d },\n", xx[0][0], xx[0][1], xx[1][0],
                       xx[1][1]);
              }
            }
    }
  }
  printf("};\n");
}


x86 assembly (clang, -O0):
<gen_table>:
push   %rbp
mov    %rsp,%rbp
sub    $0xa0,%rsp
mov    %edi,-0x4(%rbp)
mov    -0x4(%rbp),%esi
lea    0xec8(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x0,-0x7c(%rbp)
cmpl   $0x2,-0x7c(%rbp)
jge    14b6 <gen_table+0x396>
movl   $0x0,-0x44(%rbp)
mov    -0x44(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    14a3 <gen_table+0x383>
mov    -0x44(%rbp),%esi
mov    -0x7c(%rbp),%edx
lea    0xeb1(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x44(%rbp),%eax
and    $0x1,%eax
mov    %eax,-0x3c(%rbp)
mov    -0x44(%rbp),%eax
sar    $0x1,%eax
and    $0x1,%eax
mov    %eax,-0x38(%rbp)
mov    -0x44(%rbp),%eax
sar    $0x2,%eax
and    $0x1,%eax
mov    %eax,-0x30(%rbp)
mov    -0x44(%rbp),%eax
sar    $0x3,%eax
and    $0x1,%eax
mov    %eax,-0x34(%rbp)
movl   $0x0,-0x70(%rbp)
cmpl   $0x4,-0x70(%rbp)
jge    1490 <gen_table+0x370>
movl   $0x0,-0x6c(%rbp)
cmpl   $0x4,-0x6c(%rbp)
jge    147d <gen_table+0x35d>
movl   $0x0,-0x68(%rbp)
cmpl   $0x4,-0x68(%rbp)
jge    146a <gen_table+0x34a>
movl   $0x0,-0x64(%rbp)
cmpl   $0x4,-0x64(%rbp)
jge    1457 <gen_table+0x337>
movl   $0x0,-0x78(%rbp)
cmpl   $0x2,-0x78(%rbp)
jge    12bb <gen_table+0x19b>
movslq -0x78(%rbp),%rax
mov    -0x70(%rbp,%rax,8),%eax
mov    %eax,-0x80(%rbp)
movslq -0x78(%rbp),%rax
mov    -0x6c(%rbp,%rax,8),%eax
mov    %eax,-0x84(%rbp)
mov    -0x80(%rbp),%eax
and    $0x1,%eax
mov    %eax,-0x8c(%rbp)
mov    -0x80(%rbp),%eax
and    $0x2,%eax
sar    $0x1,%eax
mov    %eax,-0x94(%rbp)
mov    -0x84(%rbp),%eax
and    $0x1,%eax
mov    %eax,-0x88(%rbp)
mov    -0x84(%rbp),%eax
and    $0x2,%eax
sar    $0x1,%eax
mov    %eax,-0x90(%rbp)
mov    -0x94(%rbp),%ecx
xor    -0x90(%rbp),%ecx
xor    -0x88(%rbp),%ecx
xor    -0x8c(%rbp),%ecx
movslq -0x78(%rbp),%rdx
lea    -0x60(%rbp),%rax
imul   $0xc,%rdx,%rdx
add    %rdx,%rax
mov    %ecx,0x8(%rax)
mov    -0x88(%rbp),%ecx
movslq -0x78(%rbp),%rdx
lea    -0x60(%rbp),%rax
imul   $0xc,%rdx,%rdx
add    %rdx,%rax
mov    %ecx,0x4(%rax)
mov    -0x88(%rbp),%ecx
xor    -0x8c(%rbp),%ecx
movslq -0x78(%rbp),%rdx
lea    -0x60(%rbp),%rax
imul   $0xc,%rdx,%rdx
add    %rdx,%rax
mov    %ecx,(%rax)
mov    -0x78(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x78(%rbp)
jmp    11ef <gen_table+0xcf>
mov    -0x58(%rbp),%eax
mov    -0x4c(%rbp),%ecx
xor    %ecx,%eax
mov    %eax,-0x10(%rbp)
mov    -0x5c(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x60(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x54(%rbp),%edx
not    %edx
mov    -0x60(%rbp),%eax
mov    -0x5c(%rbp),%ecx
and    %edx,%eax
and    $0x1,%eax
xor    %ecx,%eax
mov    -0x50(%rbp),%ecx
xor    %ecx,%eax
mov    %eax,-0x1c(%rbp)
movl   $0x0,-0x74(%rbp)
mov    -0x4(%rbp),%eax
mov    %eax,-0x98(%rbp)
sub    $0x4,%eax
je     1332 <gen_table+0x212>
jmp    130a <gen_table+0x1ea>
mov    -0x98(%rbp),%eax
sub    $0x8,%eax
je     1368 <gen_table+0x248>
jmp    131e <gen_table+0x1fe>
mov    -0x98(%rbp),%eax
sub    $0x10,%eax
je     13b2 <gen_table+0x292>
jmp    140b <gen_table+0x2eb>
mov    -0x3c(%rbp),%ecx
xor    %eax,%eax
cmp    -0x1c(%rbp),%ecx
mov    %al,-0x99(%rbp)
jne    1355 <gen_table+0x235>
mov    -0x38(%rbp),%eax
cmp    -0x18(%rbp),%eax
sete   %al
mov    %al,-0x99(%rbp)
mov    -0x99(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x74(%rbp)
jmp    140b <gen_table+0x2eb>
mov    -0x3c(%rbp),%ecx
xor    %eax,%eax
cmp    -0x1c(%rbp),%ecx
mov    %al,-0x9a(%rbp)
jne    139f <gen_table+0x27f>
mov    -0x38(%rbp),%ecx
xor    %eax,%eax
cmp    -0x18(%rbp),%ecx
mov    %al,-0x9a(%rbp)
jne    139f <gen_table+0x27f>
mov    -0x30(%rbp),%eax
cmp    -0x10(%rbp),%eax
sete   %al
mov    %al,-0x9a(%rbp)
mov    -0x9a(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x74(%rbp)
jmp    140b <gen_table+0x2eb>
mov    -0x3c(%rbp),%ecx
xor    %eax,%eax
cmp    -0x1c(%rbp),%ecx
mov    %al,-0x9b(%rbp)
jne    13fd <gen_table+0x2dd>
mov    -0x38(%rbp),%ecx
xor    %eax,%eax
cmp    -0x18(%rbp),%ecx
mov    %al,-0x9b(%rbp)
jne    13fd <gen_table+0x2dd>
mov    -0x34(%rbp),%ecx
xor    %eax,%eax
cmp    -0x14(%rbp),%ecx
mov    %al,-0x9b(%rbp)
jne    13fd <gen_table+0x2dd>
mov    -0x30(%rbp),%eax
cmp    -0x10(%rbp),%eax
sete   %al
mov    %al,-0x9b(%rbp)
mov    -0x9b(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x74(%rbp)
cmpl   $0x0,-0x74(%rbp)
je     1444 <gen_table+0x324>
lea    -0x70(%rbp),%rdi
mov    $0x0,%al
call   1040 <classify@plt>
cmp    -0x7c(%rbp),%eax
jne    1444 <gen_table+0x324>
mov    -0x70(%rbp),%esi
mov    -0x6c(%rbp),%edx
mov    -0x68(%rbp),%ecx
mov    -0x64(%rbp),%r8d
lea    0xbfb(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    1449 <gen_table+0x329>
mov    -0x64(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x64(%rbp)
jmp    11de <gen_table+0xbe>
jmp    145c <gen_table+0x33c>
mov    -0x68(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x68(%rbp)
jmp    11cd <gen_table+0xad>
jmp    146f <gen_table+0x34f>
mov    -0x6c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x6c(%rbp)
jmp    11bc <gen_table+0x9c>
jmp    1482 <gen_table+0x362>
mov    -0x70(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x70(%rbp)
jmp    11ab <gen_table+0x8b>
jmp    1495 <gen_table+0x375>
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    1157 <gen_table+0x37>
jmp    14a8 <gen_table+0x388>
mov    -0x7c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x7c(%rbp)
jmp    1146 <gen_table+0x26>
lea    0xb91(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
add    $0xa0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<gen_table>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
mov    %edi,%r15d
lea    0xeb8(%rip),%rdi
mov    %r15d,%esi
xor    %eax,%eax
call   1040 <printf@plt>
mov    $0x1,%al
movl   $0x0,0x18(%rsp)
jmp    1178 <gen_table+0x48>
xchg   %ax,%ax
movl   $0x1,0x18(%rsp)
testb  $0x1,0x1c(%rsp)
mov    $0x0,%eax
je     132c <gen_table+0x1fc>
mov    %eax,0x1c(%rsp)
test   %r15d,%r15d
jle    1160 <gen_table+0x30>
xor    %ebx,%ebx
jmp    119c <gen_table+0x6c>
cs nopw 0x0(%rax,%rax,1)
nop
mov    0x20(%rsp),%ebx
add    $0x1,%ebx
cmp    %r15d,%ebx
je     1160 <gen_table+0x30>
lea    0xe7e(%rip),%rdi
mov    %ebx,%esi
mov    0x18(%rsp),%edx
xor    %eax,%eax
call   1040 <printf@plt>
mov    %ebx,%r13d
and    $0x1,%r13d
mov    %ebx,%r14d
shr    %r14d
and    $0x1,%r14d
mov    %ebx,%r12d
shr    $0x2,%r12d
and    $0x1,%r12d
mov    %ebx,0x20(%rsp)
shr    $0x3,%ebx
and    $0x1,%ebx
mov    %ebx,0x24(%rsp)
movl   $0x0,(%rsp)
jmp    11fe <gen_table+0xce>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    (%rsp),%eax
lea    0x1(%rax),%ecx
mov    %ecx,(%rsp)
cmp    $0x3,%eax
jge    1190 <gen_table+0x60>
movl   $0x0,0x4(%rsp)
jmp    1220 <gen_table+0xf0>
nopl   0x0(%rax,%rax,1)
mov    0x4(%rsp),%eax
lea    0x1(%rax),%ecx
mov    %ecx,0x4(%rsp)
cmp    $0x3,%eax
jge    11f0 <gen_table+0xc0>
movl   $0x0,0x8(%rsp)
xor    %ecx,%ecx
jmp    123e <gen_table+0x10e>
nopl   0x0(%rax)
lea    0x1(%rcx),%eax
mov    %eax,0x8(%rsp)
cmp    $0x3,%ecx
mov    %eax,%ecx
jge    1210 <gen_table+0xe0>
movl   $0x0,0xc(%rsp)
xor    %eax,%eax
jmp    1264 <gen_table+0x134>
nopw   0x0(%rax,%rax,1)
mov    0x8(%rsp),%ecx
mov    0xc(%rsp),%edx
lea    0x1(%rdx),%eax
mov    %eax,0xc(%rsp)
cmp    $0x3,%edx
jge    1230 <gen_table+0x100>
mov    (%rsp),%ebp
mov    0x4(%rsp),%esi
mov    %esi,%ebx
and    $0x1,%ebx
xor    %ebp,%esi
and    $0x1,%ebp
shr    %esi
and    $0x1,%esi
mov    %ebx,%edx
xor    %ebp,%edx
xor    %edx,%esi
mov    %eax,%edi
and    $0x1,%edi
xor    %ecx,%eax
and    $0x1,%ecx
shr    %eax
and    $0x1,%eax
xor    %edi,%ecx
xor    %ecx,%eax
xor    %esi,%eax
and    %edx,%ecx
xor    %ebp,%edi
xor    %ecx,%edi
cmp    $0x10,%r15d
je     12d0 <gen_table+0x1a0>
cmp    $0x8,%r15d
je     12c0 <gen_table+0x190>
cmp    $0x4,%r15d
jne    1250 <gen_table+0x120>
cmp    %edi,%r13d
jne    1250 <gen_table+0x120>
cmp    %edx,%r14d
je     12f5 <gen_table+0x1c5>
jmp    1250 <gen_table+0x120>
nopl   0x0(%rax)
cmp    %edi,%r13d
jne    1250 <gen_table+0x120>
cmp    %edx,%r14d
je     12ec <gen_table+0x1bc>
jmp    1250 <gen_table+0x120>
nopl   0x0(%rax)
cmp    %edi,%r13d
jne    1250 <gen_table+0x120>
cmp    %edx,%r14d
jne    1250 <gen_table+0x120>
cmp    %ebx,0x24(%rsp)
jne    1250 <gen_table+0x120>
cmp    %eax,%r12d
jne    1250 <gen_table+0x120>
mov    %rsp,%rdi
xor    %eax,%eax
call   1050 <classify@plt>
cmp    0x18(%rsp),%eax
jne    1250 <gen_table+0x120>
mov    (%rsp),%esi
mov    0x4(%rsp),%edx
mov    0x8(%rsp),%ecx
mov    0xc(%rsp),%r8d
lea    0xd18(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
jmp    1250 <gen_table+0x120>
lea    0xd1b(%rip),%rdi
call   1030 <puts@plt>
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [33 x i8] c"u8 trellis_trans_%d[256][4] = {\0A\00"
@.str.1 = [23 x i8] c" /* trans=%d y0=%d */\0A\00"
@.str.2 = [22 x i8] c" { %d, %d, %d, %d },\0A\00"
@.str.3 = [4 x i8] c"};\0A\00"
define void @gen_table(i32 %0) {
%2 = alloca i32
%3 = alloca [5 x i32]
%4 = alloca [5 x i32]
%5 = alloca i32
%6 = alloca [2 x [3 x i32]]
%7 = alloca [2 x [2 x i32]]
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
%15 = alloca i32
%16 = alloca i32
store i32 %0, i32* %2
%17 = load i32, i32* %2
%18 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([33 x i8], [33 x i8]* @.str, i64 0, i64 0), i32 %17)
store i32 0, i32* %10
br label %19
19: ; preds = %278, %1
%20 = load i32, i32* %10
%21 = icmp slt i32 %20, 2
br i1 %21, label %22, label %281
22: ; preds = %19
store i32 0, i32* %5
br label %23
23: ; preds = %274, %22
%24 = load i32, i32* %5
%25 = load i32, i32* %2
%26 = icmp slt i32 %24, %25
br i1 %26, label %27, label %277
27: ; preds = %23
%28 = load i32, i32* %5
%29 = load i32, i32* %10
%30 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([23 x i8], [23 x i8]* @.str.1, i64 0, i64 0), i32 %28, i32 %29)
%31 = load i32, i32* %5
%32 = and i32 %31, 1
%33 = getelementptr inbounds [5 x i32], [5 x i32]* %4, i64 0, i64 1
store i32 %32, i32* %33
%34 = load i32, i32* %5
%35 = ashr i32 %34, 1
%36 = and i32 %35, 1
%37 = getelementptr inbounds [5 x i32], [5 x i32]* %4, i64 0, i64 2
store i32 %36, i32* %37
%38 = load i32, i32* %5
%39 = ashr i32 %38, 2
%40 = and i32 %39, 1
%41 = getelementptr inbounds [5 x i32], [5 x i32]* %4, i64 0, i64 4
store i32 %40, i32* %41
%42 = load i32, i32* %5
%43 = ashr i32 %42, 3
%44 = and i32 %43, 1
%45 = getelementptr inbounds [5 x i32], [5 x i32]* %4, i64 0, i64 3
store i32 %44, i32* %45
%46 = getelementptr inbounds [2 x [2 x i32]], [2 x [2 x i32]]* %7, i64 0, i64 0
%47 = getelementptr inbounds [2 x i32], [2 x i32]* %46, i64 0, i64 0
store i32 0, i32* %47
br label %48
48: ; preds = %268, %27
%49 = getelementptr inbounds [2 x [2 x i32]], [2 x [2 x i32]]* %7, i64 0, i64 0
%50 = getelementptr inbounds [2 x i32], [2 x i32]* %49, i64 0, i64 0
%51 = load i32, i32* %50
%52 = icmp slt i32 %51, 4
br i1 %52, label %53, label %273
53: ; preds = %48
%54 = getelementptr inbounds [2 x [2 x i32]], [2 x [2 x i32]]* %7, i64 0, i64 0
%55 = getelementptr inbounds [2 x i32], [2 x i32]* %54, i64 0, i64 1
store i32 0, i32* %55
br label %56
56: ; preds = %262, %53
%57 = getelementptr inbounds [2 x [2 x i32]], [2 x [2 x i32]]* %7, i64 0, i64 0
%58 = getelementptr inbounds [2 x i32], [2 x i32]* %57, i64 0, i64 1
%59 = load i32, i32* %58
%60 = icmp slt i32 %59, 4
br i1 %60, label %61, label %267
61: ; preds = %56
%62 = getelementptr inbounds [2 x [2 x i32]], [2 x [2 x i32]]* %7, i64 0, i64 1
%63 = getelementptr inbounds [2 x i32], [2 x i32]* %62, i64 0, i64 0
store i32 0, i32* %63
br label %64
64: ; preds = %256, %61
%65 = getelementptr inbounds [2 x [2 x i32]], [2 x [2 x i32]]* %7, i64 0, i64 1
%66 = getelementptr inbounds [2 x i32], [2 x i32]* %65, i64 0, i64 0
%67 = load i32, i32* %66
%68 = icmp slt i32 %67, 4
br i1 %68, label %69, label %261
69: ; preds = %64
%70 = getelementptr inbounds [2 x [2 x i32]], [2 x [2 x i32]]* %7, i64 0, i64 1
%71 = getelementptr inbounds [2 x i32], [2 x i32]* %70, i64 0, i64 1
store i32 0, i32* %71
br label %72
72: ; preds = %250, %69
%73 = getelementptr inbounds [2 x [2 x i32]], [2 x [2 x i32]]* %7, i64 0, i64 1
%74 = getelementptr inbounds [2 x i32], [2 x i32]* %73, i64 0, i64 1
%75 = load i32, i32* %74
%76 = icmp slt i32 %75, 4
br i1 %76, label %77, label %255
77: ; preds = %72
store i32 0, i32* %9
br label %78
78: ; preds = %125, %77
%79 = load i32, i32* %9
%80 = icmp slt i32 %79, 2
br i1 %80, label %81, label %128
81: ; preds = %78
%82 = load i32, i32* %9
%83 = sext i32 %82 to i64
%84 = getelementptr inbounds [2 x [2 x i32]], [2 x [2 x i32]]* %7, i64 0, i64 %83
%85 = getelementptr inbounds [2 x i32], [2 x i32]* %84, i64 0, i64 0
%86 = load i32, i32* %85
store i32 %86, i32* %11
%87 = load i32, i32* %9
%88 = sext i32 %87 to i64
%89 = getelementptr inbounds [2 x [2 x i32]], [2 x [2 x i32]]* %7, i64 0, i64 %88
%90 = getelementptr inbounds [2 x i32], [2 x i32]* %89, i64 0, i64 1
%91 = load i32, i32* %90
store i32 %91, i32* %12
%92 = load i32, i32* %11
%93 = and i32 %92, 1
store i32 %93, i32* %14
%94 = load i32, i32* %11
%95 = and i32 %94, 2
%96 = ashr i32 %95, 1
store i32 %96, i32* %16
%97 = load i32, i32* %12
%98 = and i32 %97, 1
store i32 %98, i32* %13
%99 = load i32, i32* %12
%100 = and i32 %99, 2
%101 = ashr i32 %100, 1
store i32 %101, i32* %15
%102 = load i32, i32* %16
%103 = load i32, i32* %15
%104 = xor i32 %102, %103
%105 = load i32, i32* %13
%106 = xor i32 %104, %105
%107 = load i32, i32* %14
%108 = xor i32 %106, %107
%109 = load i32, i32* %9
%110 = sext i32 %109 to i64
%111 = getelementptr inbounds [2 x [3 x i32]], [2 x [3 x i32]]* %6, i64 0, i64 %110
%112 = getelementptr inbounds [3 x i32], [3 x i32]* %111, i64 0, i64 2
store i32 %108, i32* %112
%113 = load i32, i32* %13
%114 = load i32, i32* %9
%115 = sext i32 %114 to i64
%116 = getelementptr inbounds [2 x [3 x i32]], [2 x [3 x i32]]* %6, i64 0, i64 %115
%117 = getelementptr inbounds [3 x i32], [3 x i32]* %116, i64 0, i64 1
store i32 %113, i32* %117
%118 = load i32, i32* %13
%119 = load i32, i32* %14
%120 = xor i32 %118, %119
%121 = load i32, i32* %9
%122 = sext i32 %121 to i64
%123 = getelementptr inbounds [2 x [3 x i32]], [2 x [3 x i32]]* %6, i64 0, i64 %122
%124 = getelementptr inbounds [3 x i32], [3 x i32]* %123, i64 0, i64 0
store i32 %120, i32* %124
br label %125
125: ; preds = %81
%126 = load i32, i32* %9
%127 = add nsw i32 %126, 1
store i32 %127, i32* %9
br label %78
128: ; preds = %78
%129 = getelementptr inbounds [2 x [3 x i32]], [2 x [3 x i32]]* %6, i64 0, i64 0
%130 = getelementptr inbounds [3 x i32], [3 x i32]* %129, i64 0, i64 2
%131 = load i32, i32* %130
%132 = getelementptr inbounds [2 x [3 x i32]], [2 x [3 x i32]]* %6, i64 0, i64 1
%133 = getelementptr inbounds [3 x i32], [3 x i32]* %132, i64 0, i64 2
%134 = load i32, i32* %133
%135 = xor i32 %131, %134
%136 = getelementptr inbounds [5 x i32], [5 x i32]* %3, i64 0, i64 4
store i32 %135, i32* %136
%137 = getelementptr inbounds [2 x [3 x i32]], [2 x [3 x i32]]* %6, i64 0, i64 0
%138 = getelementptr inbounds [3 x i32], [3 x i32]* %137, i64 0, i64 1
%139 = load i32, i32* %138
%140 = getelementptr inbounds [5 x i32], [5 x i32]* %3, i64 0, i64 3
store i32 %139, i32* %140
%141 = getelementptr inbounds [2 x [3 x i32]], [2 x [3 x i32]]* %6, i64 0, i64 0
%142 = getelementptr inbounds [3 x i32], [3 x i32]* %141, i64 0, i64 0
%143 = load i32, i32* %142
%144 = getelementptr inbounds [5 x i32], [5 x i32]* %3, i64 0, i64 2
store i32 %143, i32* %144
%145 = getelementptr inbounds [2 x [3 x i32]], [2 x [3 x i32]]* %6, i64 0, i64 0
%146 = getelementptr inbounds [3 x i32], [3 x i32]* %145, i64 0, i64 0
%147 = load i32, i32* %146
%148 = getelementptr inbounds [2 x [3 x i32]], [2 x [3 x i32]]* %6, i64 0, i64 1
%149 = getelementptr inbounds [3 x i32], [3 x i32]* %148, i64 0, i64 0
%150 = load i32, i32* %149
%151 = xor i32 %150, -1
%152 = and i32 %147, %151
%153 = and i32 %152, 1
%154 = getelementptr inbounds [2 x [3 x i32]], [2 x [3 x i32]]* %6, i64 0, i64 0
%155 = getelementptr inbounds [3 x i32], [3 x i32]* %154, i64 0, i64 1
%156 = load i32, i32* %155
%157 = xor i32 %153, %156
%158 = getelementptr inbounds [2 x [3 x i32]], [2 x [3 x i32]]* %6, i64 0, i64 1
%159 = getelementptr inbounds [3 x i32], [3 x i32]* %158, i64 0, i64 1
%160 = load i32, i32* %159
%161 = xor i32 %157, %160
%162 = getelementptr inbounds [5 x i32], [5 x i32]* %3, i64 0, i64 1
store i32 %161, i32* %162
store i32 0, i32* %8
%163 = load i32, i32* %2
switch i32 %163, label %227 [
i32 4, label %164
i32 8, label %179
i32 16, label %200
]
164: ; preds = %128
%165 = getelementptr inbounds [5 x i32], [5 x i32]* %4, i64 0, i64 1
%166 = load i32, i32* %165
%167 = getelementptr inbounds [5 x i32], [5 x i32]* %3, i64 0, i64 1
%168 = load i32, i32* %167
%169 = icmp eq i32 %166, %168
br i1 %169, label %170, label %176
170: ; preds = %164
%171 = getelementptr inbounds [5 x i32], [5 x i32]* %4, i64 0, i64 2
%172 = load i32, i32* %171
%173 = getelementptr inbounds [5 x i32], [5 x i32]* %3, i64 0, i64 2
%174 = load i32, i32* %173
%175 = icmp eq i32 %172, %174
br label %176
176: ; preds = %170, %164
%177 = phi i1 [ false, %164 ], [ %175, %170 ]
%178 = zext i1 %177 to i32
store i32 %178, i32* %8
br label %227
179: ; preds = %128
%180 = getelementptr inbounds [5 x i32], [5 x i32]* %4, i64 0, i64 1
%181 = load i32, i32* %180
%182 = getelementptr inbounds [5 x i32], [5 x i32]* %3, i64 0, i64 1
%183 = load i32, i32* %182
%184 = icmp eq i32 %181, %183
br i1 %184, label %185, label %197
185: ; preds = %179
%186 = getelementptr inbounds [5 x i32], [5 x i32]* %4, i64 0, i64 2
%187 = load i32, i32* %186
%188 = getelementptr inbounds [5 x i32], [5 x i32]* %3, i64 0, i64 2
%189 = load i32, i32* %188
%190 = icmp eq i32 %187, %189
br i1 %190, label %191, label %197
191: ; preds = %185
%192 = getelementptr inbounds [5 x i32], [5 x i32]* %4, i64 0, i64 4
%193 = load i32, i32* %192
%194 = getelementptr inbounds [5 x i32], [5 x i32]* %3, i64 0, i64 4
%195 = load i32, i32* %194
%196 = icmp eq i32 %193, %195
br label %197
197: ; preds = %191, %185, %179
%198 = phi i1 [ false, %185 ], [ false, %179 ], [ %196, %191 ]
%199 = zext i1 %198 to i32
store i32 %199, i32* %8
br label %227
200: ; preds = %128
%201 = getelementptr inbounds [5 x i32], [5 x i32]* %4, i64 0, i64 1
%202 = load i32, i32* %201
%203 = getelementptr inbounds [5 x i32], [5 x i32]* %3, i64 0, i64 1
%204 = load i32, i32* %203
%205 = icmp eq i32 %202, %204
br i1 %205, label %206, label %224
206: ; preds = %200
%207 = getelementptr inbounds [5 x i32], [5 x i32]* %4, i64 0, i64 2
%208 = load i32, i32* %207
%209 = getelementptr inbounds [5 x i32], [5 x i32]* %3, i64 0, i64 2
%210 = load i32, i32* %209
%211 = icmp eq i32 %208, %210
br i1 %211, label %212, label %224
212: ; preds = %206
%213 = getelementptr inbounds [5 x i32], [5 x i32]* %4, i64 0, i64 3
%214 = load i32, i32* %213
%215 = getelementptr inbounds [5 x i32], [5 x i32]* %3, i64 0, i64 3
%216 = load i32, i32* %215
%217 = icmp eq i32 %214, %216
br i1 %217, label %218, label %224
218: ; preds = %212
%219 = getelementptr inbounds [5 x i32], [5 x i32]* %4, i64 0, i64 4
%220 = load i32, i32* %219
%221 = getelementptr inbounds [5 x i32], [5 x i32]* %3, i64 0, i64 4
%222 = load i32, i32* %221
%223 = icmp eq i32 %220, %222
br label %224
224: ; preds = %218, %212, %206, %200
%225 = phi i1 [ false, %212 ], [ false, %206 ], [ false, %200 ], [ %223, %218 ]
%226 = zext i1 %225 to i32
store i32 %226, i32* %8
br label %227
227: ; preds = %128, %224, %197, %176
%228 = load i32, i32* %8
%229 = icmp ne i32 %228, 0
br i1 %229, label %230, label %249
230: ; preds = %227
%231 = getelementptr inbounds [2 x [2 x i32]], [2 x [2 x i32]]* %7, i64 0, i64 0
%232 = call i32 ([2 x i32]*, ...) bitcast (i32 (...)* @classify to i32 ([2 x i32]*, ...)*)([2 x i32]* %231)
%233 = load i32, i32* %10
%234 = icmp eq i32 %232, %233
br i1 %234, label %235, label %249
235: ; preds = %230
%236 = getelementptr inbounds [2 x [2 x i32]], [2 x [2 x i32]]* %7, i64 0, i64 0
%237 = getelementptr inbounds [2 x i32], [2 x i32]* %236, i64 0, i64 0
%238 = load i32, i32* %237
%239 = getelementptr inbounds [2 x [2 x i32]], [2 x [2 x i32]]* %7, i64 0, i64 0
%240 = getelementptr inbounds [2 x i32], [2 x i32]* %239, i64 0, i64 1
%241 = load i32, i32* %240
%242 = getelementptr inbounds [2 x [2 x i32]], [2 x [2 x i32]]* %7, i64 0, i64 1
%243 = getelementptr inbounds [2 x i32], [2 x i32]* %242, i64 0, i64 0
%244 = load i32, i32* %243
%245 = getelementptr inbounds [2 x [2 x i32]], [2 x [2 x i32]]* %7, i64 0, i64 1
%246 = getelementptr inbounds [2 x i32], [2 x i32]* %245, i64 0, i64 1
%247 = load i32, i32* %246
%248 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.2, i64 0, i64 0), i32 %238, i32 %241, i32 %244, i32 %247)
br label %249
249: ; preds = %235, %230, %227
br label %250
250: ; preds = %249
%251 = getelementptr inbounds [2 x [2 x i32]], [2 x [2 x i32]]* %7, i64 0, i64 1
%252 = getelementptr inbounds [2 x i32], [2 x i32]* %251, i64 0, i64 1
%253 = load i32, i32* %252
%254 = add nsw i32 %253, 1
store i32 %254, i32* %252
br label %72
255: ; preds = %72
br label %256
256: ; preds = %255
%257 = getelementptr inbounds [2 x [2 x i32]], [2 x [2 x i32]]* %7, i64 0, i64 1
%258 = getelementptr inbounds [2 x i32], [2 x i32]* %257, i64 0, i64 0
%259 = load i32, i32* %258
%260 = add nsw i32 %259, 1
store i32 %260, i32* %258
br label %64
261: ; preds = %64
br label %262
262: ; preds = %261
%263 = getelementptr inbounds [2 x [2 x i32]], [2 x [2 x i32]]* %7, i64 0, i64 0
%264 = getelementptr inbounds [2 x i32], [2 x i32]* %263, i64 0, i64 1
%265 = load i32, i32* %264
%266 = add nsw i32 %265, 1
store i32 %266, i32* %264
br label %56
267: ; preds = %56
br label %268
268: ; preds = %267
%269 = getelementptr inbounds [2 x [2 x i32]], [2 x [2 x i32]]* %7, i64 0, i64 0
%270 = getelementptr inbounds [2 x i32], [2 x i32]* %269, i64 0, i64 0
%271 = load i32, i32* %270
%272 = add nsw i32 %271, 1
store i32 %272, i32* %270
br label %48
273: ; preds = %48
br label %274
274: ; preds = %273
%275 = load i32, i32* %5
%276 = add nsw i32 %275, 1
store i32 %276, i32* %5
br label %23
277: ; preds = %23
br label %278
278: ; preds = %277
%279 = load i32, i32* %10
%280 = add nsw i32 %279, 1
store i32 %280, i32* %10
br label %19
281: ; preds = %19
%282 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.3, i64 0, i64 0))
ret void
}

LLVM IR (-O2):
@.str = [33 x i8] c"u8 trellis_trans_%d[256][4] = {\0A\00"
@.str.1 = [23 x i8] c" /* trans=%d y0=%d */\0A\00"
@.str.2 = [22 x i8] c" { %d, %d, %d, %d },\0A\00"
@str = [3 x i8] c"};\00"
define void @gen_table(i32 %0) {
%2 = alloca [2 x [2 x i32]]
%3 = bitcast [2 x [2 x i32]]* %2 to i8*
%4 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([33 x i8], [33 x i8]* @.str, i64 0, i64 0), i32 %0)
%5 = icmp sgt i32 %0, 0
%6 = getelementptr inbounds [2 x [2 x i32]], [2 x [2 x i32]]* %2, i64 0, i64 0
%7 = getelementptr inbounds [2 x [2 x i32]], [2 x [2 x i32]]* %2, i64 0, i64 0, i64 0
%8 = getelementptr inbounds [2 x [2 x i32]], [2 x [2 x i32]]* %2, i64 0, i64 0, i64 1
%9 = getelementptr inbounds [2 x [2 x i32]], [2 x [2 x i32]]* %2, i64 0, i64 1, i64 0
%10 = getelementptr inbounds [2 x [2 x i32]], [2 x [2 x i32]]* %2, i64 0, i64 1, i64 1
br label %11
11: ; preds = %1, %97
%12 = phi i1 [ true, %1 ], [ false, %97 ]
%13 = phi i32 [ 0, %1 ], [ 1, %97 ]
br i1 %5, label %14, label %97
14: ; preds = %11, %94
%15 = phi i32 [ %95, %94 ], [ 0, %11 ]
%16 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([23 x i8], [23 x i8]* @.str.1, i64 0, i64 0), i32 %15, i32 %13)
%17 = and i32 %15, 1
%18 = lshr i32 %15, 1
%19 = and i32 %18, 1
%20 = lshr i32 %15, 2
%21 = and i32 %20, 1
%22 = lshr i32 %15, 3
%23 = and i32 %22, 1
store i32 0, i32* %7
br label %24
24: ; preds = %14, %90
store i32 0, i32* %8
br label %25
25: ; preds = %24, %86
store i32 0, i32* %9
br label %26
26: ; preds = %25, %83
%27 = phi i32 [ 0, %25 ], [ %84, %83 ]
store i32 0, i32* %10
br label %28
28: ; preds = %78, %26
%29 = phi i32 [ 0, %26 ], [ %80, %78 ]
%30 = phi i32 [ %27, %26 ], [ %82, %78 ]
%31 = load i32, i32* %7
%32 = load i32, i32* %8
%33 = and i32 %31, 1
%34 = and i32 %32, 1
%35 = xor i32 %32, %31
%36 = lshr i32 %35, 1
%37 = and i32 %36, 1
%38 = xor i32 %34, %33
%39 = xor i32 %38, %37
%40 = and i32 %30, 1
%41 = and i32 %29, 1
%42 = xor i32 %29, %30
%43 = lshr i32 %42, 1
%44 = and i32 %43, 1
%45 = xor i32 %41, %40
%46 = xor i32 %45, %44
%47 = xor i32 %46, %39
%48 = and i32 %38, %45
%49 = xor i32 %48, %33
%50 = xor i32 %49, %41
switch i32 %0, label %78 [
i32 4, label %51
i32 8, label %55
i32 16, label %61
]
51: ; preds = %28
%52 = icmp eq i32 %17, %50
%53 = icmp eq i32 %19, %38
%54 = select i1 %52, i1 %53, i1 false
br i1 %54, label %69, label %78
55: ; preds = %28
%56 = icmp eq i32 %17, %50
%57 = icmp eq i32 %19, %38
%58 = select i1 %56, i1 %57, i1 false
%59 = icmp eq i32 %21, %47
%60 = select i1 %58, i1 %59, i1 false
br i1 %60, label %69, label %78
61: ; preds = %28
%62 = icmp eq i32 %17, %50
%63 = icmp eq i32 %19, %38
%64 = select i1 %62, i1 %63, i1 false
%65 = icmp eq i32 %23, %34
%66 = select i1 %64, i1 %65, i1 false
%67 = icmp eq i32 %21, %47
%68 = select i1 %66, i1 %67, i1 false
br i1 %68, label %69, label %78
69: ; preds = %61, %55, %51
%70 = call i32 ([2 x i32]*, ...) bitcast (i32 (...)* @classify to i32 ([2 x i32]*, ...)*)([2 x i32]* %6)
%71 = icmp eq i32 %70, %13
br i1 %71, label %72, label %78
72: ; preds = %69
%73 = load i32, i32* %7
%74 = load i32, i32* %8
%75 = load i32, i32* %9
%76 = load i32, i32* %10
%77 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.2, i64 0, i64 0), i32 %73, i32 %74, i32 %75, i32 %76)
br label %78
78: ; preds = %51, %61, %55, %28, %69, %72
%79 = load i32, i32* %10
%80 = add nsw i32 %79, 1
store i32 %80, i32* %10
%81 = icmp slt i32 %79, 3
%82 = load i32, i32* %9
br i1 %81, label %28, label %83
83: ; preds = %78
%84 = add nsw i32 %82, 1
store i32 %84, i32* %9
%85 = icmp slt i32 %82, 3
br i1 %85, label %26, label %86
86: ; preds = %83
%87 = load i32, i32* %8
%88 = add nsw i32 %87, 1
store i32 %88, i32* %8
%89 = icmp slt i32 %87, 3
br i1 %89, label %25, label %90
90: ; preds = %86
%91 = load i32, i32* %7
%92 = add nsw i32 %91, 1
store i32 %92, i32* %7
%93 = icmp slt i32 %91, 3
br i1 %93, label %24, label %94
94: ; preds = %90
%95 = add nuw nsw i32 %15, 1
%96 = icmp eq i32 %95, %0
br i1 %96, label %97, label %14
97: ; preds = %94, %11
br i1 %12, label %11, label %98
98: ; preds = %97
%99 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @str, i64 0, i64 0))
ret void
}