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

/* Variables and functions */
void otherT(uint8_t T[][256][16]) {
  int i = 0, j = 0, k = 0;
  uint64_t vh, vl;
  uint64_t zh, zl;
  for (i = 0; i < 256; i++) {
    vh = ((uint64_t)T[0][i][0] << 56) ^ ((uint64_t)T[0][i][1] << 48) ^
         ((uint64_t)T[0][i][2] << 40) ^ ((uint64_t)T[0][i][3] << 32) ^
         ((uint64_t)T[0][i][4] << 24) ^ ((uint64_t)T[0][i][5] << 16) ^
         ((uint64_t)T[0][i][6] << 8) ^ ((uint64_t)T[0][i][7]);
    vl = ((uint64_t)T[0][i][8] << 56) ^ ((uint64_t)T[0][i][9] << 48) ^
         ((uint64_t)T[0][i][10] << 40) ^ ((uint64_t)T[0][i][11] << 32) ^
         ((uint64_t)T[0][i][12] << 24) ^ ((uint64_t)T[0][i][13] << 16) ^
         ((uint64_t)T[0][i][14] << 8) ^ ((uint64_t)T[0][i][15]);
    zh = zl = 0;
    for (j = 0; j <= 120; j++) {
      if ((j > 0) && (0 == j % 8)) {
        zh ^= vh;
        zl ^= vl;
        for (k = 1; k <= 16 / 2; k++) {
          T[j / 8][i][16 / 2 - k] = (uint8_t)zh;
          zh = zh >> 8;
          T[j / 8][i][16 - k] = (uint8_t)zl;
          zl = zl >> 8;
        }
        zh = zl = 0;
      }
      if (vl & 0x1) {
        vl = vl >> 1;
        if (vh & 0x1) {
          vl ^= 0x8000000000000000;
        }
        vh = vh >> 1;
        vh ^= (0xe100000000000000);
      } else {
        vl = vl >> 1;
        if (vh & 0x1) {
          vl ^= 0x8000000000000000;
        }
        vh = vh >> 1;
      }
    }
  }
}


x86 assembly (clang, -O0):
<otherT>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
movl   $0x0,-0xc(%rbp)
movl   $0x0,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
movl   $0x0,-0xc(%rbp)
cmpl   $0x100,-0xc(%rbp)
jge    14bd <otherT+0x3bd>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
shl    $0x7,%rcx
add    %rcx,%rax
mov    (%rax),%rax
mov    $0x38,%ecx
shl    %cl,%eax
mov    -0x8(%rbp),%rcx
movslq -0xc(%rbp),%rdx
shl    $0x7,%rdx
add    %rdx,%rcx
mov    0x8(%rcx),%rcx
mov    %ecx,%edx
mov    $0x30,%ecx
shl    %cl,%edx
mov    %edx,%ecx
xor    %ecx,%eax
mov    -0x8(%rbp),%rcx
movslq -0xc(%rbp),%rdx
shl    $0x7,%rdx
add    %rdx,%rcx
mov    0x10(%rcx),%rcx
mov    %ecx,%edx
mov    $0x28,%ecx
shl    %cl,%edx
mov    %edx,%ecx
xor    %ecx,%eax
mov    -0x8(%rbp),%rcx
movslq -0xc(%rbp),%rdx
shl    $0x7,%rdx
add    %rdx,%rcx
mov    0x18(%rcx),%rcx
mov    %ecx,%edx
mov    $0x20,%ecx
shl    %cl,%edx
mov    %edx,%ecx
xor    %ecx,%eax
mov    -0x8(%rbp),%rcx
movslq -0xc(%rbp),%rdx
shl    $0x7,%rdx
add    %rdx,%rcx
mov    0x20(%rcx),%rcx
shl    $0x18,%ecx
xor    %ecx,%eax
mov    -0x8(%rbp),%rcx
movslq -0xc(%rbp),%rdx
shl    $0x7,%rdx
add    %rdx,%rcx
mov    0x28(%rcx),%rcx
shl    $0x10,%ecx
xor    %ecx,%eax
mov    -0x8(%rbp),%rcx
movslq -0xc(%rbp),%rdx
shl    $0x7,%rdx
add    %rdx,%rcx
mov    0x30(%rcx),%rcx
shl    $0x8,%ecx
xor    %ecx,%eax
mov    -0x8(%rbp),%rcx
movslq -0xc(%rbp),%rdx
shl    $0x7,%rdx
add    %rdx,%rcx
mov    0x38(%rcx),%rcx
xor    %ecx,%eax
mov    %eax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
shl    $0x7,%rcx
add    %rcx,%rax
mov    0x40(%rax),%rax
mov    $0x38,%ecx
shl    %cl,%eax
mov    -0x8(%rbp),%rcx
movslq -0xc(%rbp),%rdx
shl    $0x7,%rdx
add    %rdx,%rcx
mov    0x48(%rcx),%rcx
mov    %ecx,%edx
mov    $0x30,%ecx
shl    %cl,%edx
mov    %edx,%ecx
xor    %ecx,%eax
mov    -0x8(%rbp),%rcx
movslq -0xc(%rbp),%rdx
shl    $0x7,%rdx
add    %rdx,%rcx
mov    0x50(%rcx),%rcx
mov    %ecx,%edx
mov    $0x28,%ecx
shl    %cl,%edx
mov    %edx,%ecx
xor    %ecx,%eax
mov    -0x8(%rbp),%rcx
movslq -0xc(%rbp),%rdx
shl    $0x7,%rdx
add    %rdx,%rcx
mov    0x58(%rcx),%rcx
mov    %ecx,%edx
mov    $0x20,%ecx
shl    %cl,%edx
mov    %edx,%ecx
xor    %ecx,%eax
mov    -0x8(%rbp),%rcx
movslq -0xc(%rbp),%rdx
shl    $0x7,%rdx
add    %rdx,%rcx
mov    0x60(%rcx),%rcx
shl    $0x18,%ecx
xor    %ecx,%eax
mov    -0x8(%rbp),%rcx
movslq -0xc(%rbp),%rdx
shl    $0x7,%rdx
add    %rdx,%rcx
mov    0x68(%rcx),%rcx
shl    $0x10,%ecx
xor    %ecx,%eax
mov    -0x8(%rbp),%rcx
movslq -0xc(%rbp),%rdx
shl    $0x7,%rdx
add    %rdx,%rcx
mov    0x70(%rcx),%rcx
shl    $0x8,%ecx
xor    %ecx,%eax
mov    -0x8(%rbp),%rcx
movslq -0xc(%rbp),%rdx
shl    $0x7,%rdx
add    %rdx,%rcx
mov    0x78(%rcx),%rcx
xor    %ecx,%eax
mov    %eax,-0x1c(%rbp)
movl   $0x0,-0x24(%rbp)
movl   $0x0,-0x20(%rbp)
movl   $0x0,-0x10(%rbp)
cmpl   $0x78,-0x10(%rbp)
jg     14aa <otherT+0x3aa>
cmpl   $0x0,-0x10(%rbp)
jle    1405 <otherT+0x305>
mov    -0x10(%rbp),%eax
mov    $0x8,%ecx
cltd
idiv   %ecx
xor    %eax,%eax
cmp    %edx,%eax
jne    1405 <otherT+0x305>
mov    -0x18(%rbp),%eax
xor    -0x20(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x1c(%rbp),%eax
xor    -0x24(%rbp),%eax
mov    %eax,-0x24(%rbp)
movl   $0x1,-0x14(%rbp)
cmpl   $0x8,-0x14(%rbp)
jg     13f7 <otherT+0x2f7>
movslq -0x20(%rbp),%rax
mov    %rax,-0x48(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x10(%rbp),%eax
mov    $0x8,%ecx
cltd
idiv   %ecx
mov    -0x48(%rbp),%rdx
mov    %eax,%ecx
mov    -0x40(%rbp),%rax
movslq %ecx,%rcx
shl    $0xf,%rcx
add    %rcx,%rax
movslq -0xc(%rbp),%rcx
shl    $0x7,%rcx
add    %rcx,%rax
mov    $0x8,%ecx
sub    -0x14(%rbp),%ecx
movslq %ecx,%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0x20(%rbp),%eax
sar    $0x8,%eax
mov    %eax,-0x20(%rbp)
movslq -0x24(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x10(%rbp),%eax
mov    $0x8,%ecx
cltd
idiv   %ecx
mov    -0x38(%rbp),%rdx
mov    %eax,%ecx
mov    -0x30(%rbp),%rax
movslq %ecx,%rcx
shl    $0xf,%rcx
add    %rcx,%rax
movslq -0xc(%rbp),%rcx
shl    $0x7,%rcx
add    %rcx,%rax
mov    $0x10,%ecx
sub    -0x14(%rbp),%ecx
movslq %ecx,%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0x24(%rbp),%eax
sar    $0x8,%eax
mov    %eax,-0x24(%rbp)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    133b <otherT+0x23b>
movl   $0x0,-0x24(%rbp)
movl   $0x0,-0x20(%rbp)
mov    -0x1c(%rbp),%eax
and    $0x1,%eax
cmp    $0x0,%eax
je     1462 <otherT+0x362>
mov    -0x1c(%rbp),%eax
sar    $0x1,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x18(%rbp),%eax
and    $0x1,%eax
cmp    $0x0,%eax
je     1440 <otherT+0x340>
movslq -0x1c(%rbp),%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
mov    %eax,-0x1c(%rbp)
mov    -0x18(%rbp),%eax
sar    $0x1,%eax
mov    %eax,-0x18(%rbp)
movslq -0x18(%rbp),%rax
movabs $0xe100000000000000,%rcx
xor    %rcx,%rax
mov    %eax,-0x18(%rbp)
jmp    1497 <otherT+0x397>
mov    -0x1c(%rbp),%eax
sar    $0x1,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x18(%rbp),%eax
and    $0x1,%eax
cmp    $0x0,%eax
je     148e <otherT+0x38e>
movslq -0x1c(%rbp),%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
mov    %eax,-0x1c(%rbp)
mov    -0x18(%rbp),%eax
sar    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    149c <otherT+0x39c>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    12f9 <otherT+0x1f9>
jmp    14af <otherT+0x3af>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1124 <otherT+0x24>
pop    %rbp
ret

x86 assembly (clang, -O2):
<otherT>:
push   %rbp
push   %rbx
xor    %r8d,%r8d
jmp    1121 <otherT+0x21>
nopw   0x0(%rax,%rax,1)
add    $0x1,%r8
cmp    $0x100,%r8
je     11f6 <otherT+0xf6>
xor    %esi,%esi
jmp    113e <otherT+0x3e>
cs nopw 0x0(%rax,%rax,1)
nop
sar    %r9d
sar    %r10d
add    $0x1,%esi
cmp    $0x79,%esi
je     1110 <otherT+0x10>
test   %esi,%esi
je     1130 <otherT+0x30>
mov    %esi,%eax
and    $0x7,%eax
jne    1130 <otherT+0x30>
mov    %esi,%eax
shr    $0x3,%eax
movslq %r10d,%r11
shl    $0xf,%rax
add    %rdi,%rax
mov    %r8,%rcx
shl    $0x7,%rcx
mov    %r11,0x38(%rcx,%rax,1)
mov    %r11d,%ebx
sar    $0x8,%ebx
movslq %r9d,%rdx
mov    %rdx,0x78(%rcx,%rax,1)
mov    %edx,%ebp
sar    $0x8,%ebp
movslq %ebx,%rbx
mov    %rbx,0x30(%rcx,%rax,1)
mov    %r11d,%ebx
sar    $0x10,%ebx
movslq %ebp,%rbp
mov    %rbp,0x70(%rcx,%rax,1)
mov    %edx,%ebp
sar    $0x10,%ebp
movslq %ebx,%rbx
mov    %rbx,0x28(%rcx,%rax,1)
mov    %r11d,%ebx
sar    $0x18,%ebx
movslq %ebp,%rbp
mov    %rbp,0x68(%rcx,%rax,1)
mov    %edx,%ebp
sar    $0x18,%ebp
movslq %ebx,%rbx
mov    %rbx,0x20(%rcx,%rax,1)
sar    $0x1f,%r11d
movslq %ebp,%rbx
mov    %rbx,0x60(%rcx,%rax,1)
sar    $0x1f,%edx
movslq %r11d,%rbp
mov    %rbp,0x18(%rcx,%rax,1)
movslq %edx,%rdx
mov    %rdx,0x58(%rcx,%rax,1)
mov    %rbp,0x10(%rcx,%rax,1)
mov    %rdx,0x50(%rcx,%rax,1)
mov    %rbp,0x8(%rcx,%rax,1)
mov    %rdx,0x48(%rcx,%rax,1)
mov    %rbp,(%rcx,%rax,1)
mov    %rdx,0x40(%rcx,%rax,1)
jmp    1130 <otherT+0x30>
pop    %rbx
pop    %rbp
ret

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

LLVM IR (-O2):
define void @otherT([256 x [16 x i64]]* nocapture writeonly %0) {
br label %2
2: ; preds = %1, %54
%3 = phi i64 [ 0, %1 ], [ %55, %54 ]
br label %4
4: ; preds = %2, %49
%5 = phi i32 [ poison, %2 ], [ %50, %49 ]
%6 = phi i32 [ poison, %2 ], [ %51, %49 ]
%7 = phi i32 [ 0, %2 ], [ %52, %49 ]
%8 = icmp ne i32 %7, 0
%9 = and i32 %7, 7
%10 = icmp eq i32 %9, 0
%11 = and i1 %8, %10
br i1 %11, label %12, label %49
12: ; preds = %4
%13 = lshr i32 %7, 3
%14 = zext i32 %13 to i64
%15 = sext i32 %6 to i64
%16 = getelementptr inbounds [256 x [16 x i64]], [256 x [16 x i64]]* %0, i64 %14, i64 %3, i64 7
store i64 %15, i64* %16
%17 = ashr i32 %6, 8
%18 = sext i32 %5 to i64
%19 = getelementptr inbounds [256 x [16 x i64]], [256 x [16 x i64]]* %0, i64 %14, i64 %3, i64 15
store i64 %18, i64* %19
%20 = ashr i32 %5, 8
%21 = sext i32 %17 to i64
%22 = getelementptr inbounds [256 x [16 x i64]], [256 x [16 x i64]]* %0, i64 %14, i64 %3, i64 6
store i64 %21, i64* %22
%23 = ashr i32 %6, 16
%24 = sext i32 %20 to i64
%25 = getelementptr inbounds [256 x [16 x i64]], [256 x [16 x i64]]* %0, i64 %14, i64 %3, i64 14
store i64 %24, i64* %25
%26 = ashr i32 %5, 16
%27 = sext i32 %23 to i64
%28 = getelementptr inbounds [256 x [16 x i64]], [256 x [16 x i64]]* %0, i64 %14, i64 %3, i64 5
store i64 %27, i64* %28
%29 = ashr i32 %6, 24
%30 = sext i32 %26 to i64
%31 = getelementptr inbounds [256 x [16 x i64]], [256 x [16 x i64]]* %0, i64 %14, i64 %3, i64 13
store i64 %30, i64* %31
%32 = ashr i32 %5, 24
%33 = sext i32 %29 to i64
%34 = getelementptr inbounds [256 x [16 x i64]], [256 x [16 x i64]]* %0, i64 %14, i64 %3, i64 4
store i64 %33, i64* %34
%35 = ashr i32 %6, 31
%36 = sext i32 %32 to i64
%37 = getelementptr inbounds [256 x [16 x i64]], [256 x [16 x i64]]* %0, i64 %14, i64 %3, i64 12
store i64 %36, i64* %37
%38 = ashr i32 %5, 31
%39 = sext i32 %35 to i64
%40 = getelementptr inbounds [256 x [16 x i64]], [256 x [16 x i64]]* %0, i64 %14, i64 %3, i64 3
store i64 %39, i64* %40
%41 = sext i32 %38 to i64
%42 = getelementptr inbounds [256 x [16 x i64]], [256 x [16 x i64]]* %0, i64 %14, i64 %3, i64 11
store i64 %41, i64* %42
%43 = getelementptr inbounds [256 x [16 x i64]], [256 x [16 x i64]]* %0, i64 %14, i64 %3, i64 2
store i64 %39, i64* %43
%44 = getelementptr inbounds [256 x [16 x i64]], [256 x [16 x i64]]* %0, i64 %14, i64 %3, i64 10
store i64 %41, i64* %44
%45 = getelementptr inbounds [256 x [16 x i64]], [256 x [16 x i64]]* %0, i64 %14, i64 %3, i64 1
store i64 %39, i64* %45
%46 = getelementptr inbounds [256 x [16 x i64]], [256 x [16 x i64]]* %0, i64 %14, i64 %3, i64 9
store i64 %41, i64* %46
%47 = getelementptr inbounds [256 x [16 x i64]], [256 x [16 x i64]]* %0, i64 %14, i64 %3, i64 0
store i64 %39, i64* %47
%48 = getelementptr inbounds [256 x [16 x i64]], [256 x [16 x i64]]* %0, i64 %14, i64 %3, i64 8
store i64 %41, i64* %48
br label %49
49: ; preds = %12, %4
%50 = ashr i32 %5, 1
%51 = ashr i32 %6, 1
%52 = add nuw nsw i32 %7, 1
%53 = icmp eq i32 %52, 121
br i1 %53, label %54, label %4
54: ; preds = %49
%55 = add nuw nsw i64 %3, 1
%56 = icmp eq i64 %55, 256
br i1 %56, label %57, label %2
57: ; preds = %54
ret void
}