void b_twist_on_edgeperm_init(
    t_on_ep_table, t_on_ep_ptrs) unsigned short t_on_ep_table[10][40320];
unsigned short *t_on_ep_ptrs[10];
{
  int twist, eperm;
  for (twist = 0; twist < 10; twist++)
    t_on_ep_ptrs[twist] = t_on_ep_table[twist];
  for (eperm = 0; eperm < 40320; eperm++) {
    t_on_ep_ptrs[0][eperm] = (unsigned short)b_twist_f2_on_edgeperm(eperm);
    t_on_ep_ptrs[1][eperm] = (unsigned short)b_twist_l2_on_edgeperm(eperm);
    t_on_ep_ptrs[2][eperm] = (unsigned short)b_twist_u_on_edgeperm(eperm);
    t_on_ep_ptrs[5][eperm] = (unsigned short)b_twist_b2_on_edgeperm(eperm);
    t_on_ep_ptrs[6][eperm] = (unsigned short)b_twist_r2_on_edgeperm(eperm);
    t_on_ep_ptrs[7][eperm] = (unsigned short)b_twist_d_on_edgeperm(eperm);
  }
  for (eperm = 0; eperm < 40320; eperm++) {
    t_on_ep_ptrs[3][eperm] = t_on_ep_ptrs[2][(int)t_on_ep_ptrs[2][eperm]];
    t_on_ep_ptrs[8][eperm] = t_on_ep_ptrs[7][(int)t_on_ep_ptrs[7][eperm]];
  }
  for (eperm = 0; eperm < 40320; eperm++) {
    t_on_ep_ptrs[4][eperm] = t_on_ep_ptrs[3][(int)t_on_ep_ptrs[2][eperm]];
    t_on_ep_ptrs[9][eperm] = t_on_ep_ptrs[8][(int)t_on_ep_ptrs[7][eperm]];
  }
  return;
}


x86 assembly (clang, -O0):
<b_twist_on_edgeperm_init>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
cmpl   $0xa,-0x14(%rbp)
jge    11ad <b_twist_on_edgeperm_init+0x4d>
mov    -0x8(%rbp),%rdx
movslq -0x14(%rbp),%rax
imul   $0x13b00,%rax,%rax
add    %rax,%rdx
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1177 <b_twist_on_edgeperm_init+0x17>
movl   $0x0,-0x18(%rbp)
cmpl   $0x9d80,-0x18(%rbp)
jge    127c <b_twist_on_edgeperm_init+0x11c>
mov    -0x18(%rbp),%edi
mov    $0x0,%al
call   1050 <b_twist_f2_on_edgeperm@plt>
mov    %ax,%dx
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
movslq -0x18(%rbp),%rcx
mov    %dx,(%rax,%rcx,2)
mov    -0x18(%rbp),%edi
mov    $0x0,%al
call   1070 <b_twist_l2_on_edgeperm@plt>
mov    %ax,%dx
mov    -0x10(%rbp),%rax
mov    0x8(%rax),%rax
movslq -0x18(%rbp),%rcx
mov    %dx,(%rax,%rcx,2)
mov    -0x18(%rbp),%edi
mov    $0x0,%al
call   1060 <b_twist_u_on_edgeperm@plt>
mov    %ax,%dx
mov    -0x10(%rbp),%rax
mov    0x10(%rax),%rax
movslq -0x18(%rbp),%rcx
mov    %dx,(%rax,%rcx,2)
mov    -0x18(%rbp),%edi
mov    $0x0,%al
call   1080 <b_twist_b2_on_edgeperm@plt>
mov    %ax,%dx
mov    -0x10(%rbp),%rax
mov    0x28(%rax),%rax
movslq -0x18(%rbp),%rcx
mov    %dx,(%rax,%rcx,2)
mov    -0x18(%rbp),%edi
mov    $0x0,%al
call   1040 <b_twist_r2_on_edgeperm@plt>
mov    %ax,%dx
mov    -0x10(%rbp),%rax
mov    0x30(%rax),%rax
movslq -0x18(%rbp),%rcx
mov    %dx,(%rax,%rcx,2)
mov    -0x18(%rbp),%edi
mov    $0x0,%al
call   1030 <b_twist_d_on_edgeperm@plt>
mov    %ax,%dx
mov    -0x10(%rbp),%rax
mov    0x38(%rax),%rax
movslq -0x18(%rbp),%rcx
mov    %dx,(%rax,%rcx,2)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    11b4 <b_twist_on_edgeperm_init+0x54>
movl   $0x0,-0x18(%rbp)
cmpl   $0x9d80,-0x18(%rbp)
jge    12fc <b_twist_on_edgeperm_init+0x19c>
mov    -0x10(%rbp),%rax
mov    0x10(%rax),%rax
mov    -0x10(%rbp),%rcx
mov    0x10(%rcx),%rcx
movslq -0x18(%rbp),%rdx
movzwl (%rcx,%rdx,2),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,2),%dx
mov    -0x10(%rbp),%rax
mov    0x18(%rax),%rax
movslq -0x18(%rbp),%rcx
mov    %dx,(%rax,%rcx,2)
mov    -0x10(%rbp),%rax
mov    0x38(%rax),%rax
mov    -0x10(%rbp),%rcx
mov    0x38(%rcx),%rcx
movslq -0x18(%rbp),%rdx
movzwl (%rcx,%rdx,2),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,2),%dx
mov    -0x10(%rbp),%rax
mov    0x40(%rax),%rax
movslq -0x18(%rbp),%rcx
mov    %dx,(%rax,%rcx,2)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1283 <b_twist_on_edgeperm_init+0x123>
movl   $0x0,-0x18(%rbp)
cmpl   $0x9d80,-0x18(%rbp)
jge    137c <b_twist_on_edgeperm_init+0x21c>
mov    -0x10(%rbp),%rax
mov    0x18(%rax),%rax
mov    -0x10(%rbp),%rcx
mov    0x10(%rcx),%rcx
movslq -0x18(%rbp),%rdx
movzwl (%rcx,%rdx,2),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,2),%dx
mov    -0x10(%rbp),%rax
mov    0x20(%rax),%rax
movslq -0x18(%rbp),%rcx
mov    %dx,(%rax,%rcx,2)
mov    -0x10(%rbp),%rax
mov    0x40(%rax),%rax
mov    -0x10(%rbp),%rcx
mov    0x38(%rcx),%rcx
movslq -0x18(%rbp),%rdx
movzwl (%rcx,%rdx,2),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,2),%dx
mov    -0x10(%rbp),%rax
mov    0x48(%rax),%rax
movslq -0x18(%rbp),%rcx
mov    %dx,(%rax,%rcx,2)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1303 <b_twist_on_edgeperm_init+0x1a3>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<b_twist_on_edgeperm_init>:
push   %r14
push   %rbx
push   %rax
mov    %rsi,%r14
mov    %rdi,(%rsi)
lea    0x13b00(%rdi),%rax
mov    %rax,0x8(%rsi)
lea    0x27600(%rdi),%rax
mov    %rax,0x10(%rsi)
lea    0x3b100(%rdi),%rax
mov    %rax,0x18(%rsi)
lea    0x4ec00(%rdi),%rax
mov    %rax,0x20(%rsi)
lea    0x62700(%rdi),%rax
mov    %rax,0x28(%rsi)
lea    0x76200(%rdi),%rax
mov    %rax,0x30(%rsi)
lea    0x89d00(%rdi),%rax
mov    %rax,0x38(%rsi)
lea    0x9d800(%rdi),%rax
mov    %rax,0x40(%rsi)
add    $0xb1300,%rdi
mov    %rdi,0x48(%rsi)
xor    %ebx,%ebx
nop
mov    %ebx,%edi
xor    %eax,%eax
call   1050 <b_twist_f2_on_edgeperm@plt>
mov    (%r14),%rcx
mov    %ax,(%rcx,%rbx,2)
mov    %ebx,%edi
xor    %eax,%eax
call   1070 <b_twist_l2_on_edgeperm@plt>
mov    0x8(%r14),%rcx
mov    %ax,(%rcx,%rbx,2)
mov    %ebx,%edi
xor    %eax,%eax
call   1060 <b_twist_u_on_edgeperm@plt>
mov    0x10(%r14),%rcx
mov    %ax,(%rcx,%rbx,2)
mov    %ebx,%edi
xor    %eax,%eax
call   1080 <b_twist_b2_on_edgeperm@plt>
mov    0x28(%r14),%rcx
mov    %ax,(%rcx,%rbx,2)
mov    %ebx,%edi
xor    %eax,%eax
call   1040 <b_twist_r2_on_edgeperm@plt>
mov    0x30(%r14),%rcx
mov    %ax,(%rcx,%rbx,2)
mov    %ebx,%edi
xor    %eax,%eax
call   1030 <b_twist_d_on_edgeperm@plt>
mov    0x38(%r14),%rcx
mov    %ax,(%rcx,%rbx,2)
add    $0x1,%rbx
cmp    $0x9d80,%rbx
jne    11d0 <b_twist_on_edgeperm_init+0x70>
mov    0x10(%r14),%rax
mov    0x18(%r14),%rdx
mov    0x40(%r14),%rsi
mov    $0x1,%edi
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movzwl -0x2(%rax,%rdi,2),%ebx
movzwl (%rax,%rbx,2),%ebx
mov    %bx,-0x2(%rdx,%rdi,2)
movzwl -0x2(%rcx,%rdi,2),%ebx
movzwl (%rcx,%rbx,2),%ebx
mov    %bx,-0x2(%rsi,%rdi,2)
movzwl (%rax,%rdi,2),%ebx
movzwl (%rax,%rbx,2),%ebx
mov    %bx,(%rdx,%rdi,2)
movzwl (%rcx,%rdi,2),%ebx
movzwl (%rcx,%rbx,2),%ebx
mov    %bx,(%rsi,%rdi,2)
add    $0x2,%rdi
cmp    $0x9d81,%rdi
jne    1260 <b_twist_on_edgeperm_init+0x100>
mov    0x20(%r14),%r8
mov    0x48(%r14),%r9
mov    $0x1,%edi
xchg   %ax,%ax
movzwl -0x2(%rax,%rdi,2),%ebx
movzwl (%rdx,%rbx,2),%ebx
mov    %bx,-0x2(%r8,%rdi,2)
movzwl -0x2(%rcx,%rdi,2),%ebx
movzwl (%rsi,%rbx,2),%ebx
mov    %bx,-0x2(%r9,%rdi,2)
movzwl (%rax,%rdi,2),%ebx
movzwl (%rdx,%rbx,2),%ebx
mov    %bx,(%r8,%rdi,2)
movzwl (%rcx,%rdi,2),%ebx
movzwl (%rsi,%rbx,2),%ebx
mov    %bx,(%r9,%rdi,2)
add    $0x2,%rdi
cmp    $0x9d81,%rdi
jne    12b0 <b_twist_on_edgeperm_init+0x150>
add    $0x8,%rsp
pop    %rbx
pop    %r14
ret

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

LLVM IR (-O2):
define void @b_twist_on_edgeperm_init([40320 x i16]* %0, i16** nocapture %1) {
%3 = getelementptr inbounds [40320 x i16], [40320 x i16]* %0, i64 0, i64 0
store i16* %3, i16** %1
%4 = getelementptr inbounds [40320 x i16], [40320 x i16]* %0, i64 1, i64 0
%5 = getelementptr inbounds i16*, i16** %1, i64 1
store i16* %4, i16** %5
%6 = getelementptr inbounds [40320 x i16], [40320 x i16]* %0, i64 2, i64 0
%7 = getelementptr inbounds i16*, i16** %1, i64 2
store i16* %6, i16** %7
%8 = getelementptr inbounds [40320 x i16], [40320 x i16]* %0, i64 3, i64 0
%9 = getelementptr inbounds i16*, i16** %1, i64 3
store i16* %8, i16** %9
%10 = getelementptr inbounds [40320 x i16], [40320 x i16]* %0, i64 4, i64 0
%11 = getelementptr inbounds i16*, i16** %1, i64 4
store i16* %10, i16** %11
%12 = getelementptr inbounds [40320 x i16], [40320 x i16]* %0, i64 5, i64 0
%13 = getelementptr inbounds i16*, i16** %1, i64 5
store i16* %12, i16** %13
%14 = getelementptr inbounds [40320 x i16], [40320 x i16]* %0, i64 6, i64 0
%15 = getelementptr inbounds i16*, i16** %1, i64 6
store i16* %14, i16** %15
%16 = getelementptr inbounds [40320 x i16], [40320 x i16]* %0, i64 7, i64 0
%17 = getelementptr inbounds i16*, i16** %1, i64 7
store i16* %16, i16** %17
%18 = getelementptr inbounds [40320 x i16], [40320 x i16]* %0, i64 8, i64 0
%19 = getelementptr inbounds i16*, i16** %1, i64 8
store i16* %18, i16** %19
%20 = getelementptr inbounds [40320 x i16], [40320 x i16]* %0, i64 9, i64 0
%21 = getelementptr inbounds i16*, i16** %1, i64 9
store i16* %20, i16** %21
br label %26
22: ; preds = %26
%23 = load i16*, i16** %7
%24 = load i16*, i16** %9
%25 = load i16*, i16** %19
br label %58
26: ; preds = %2, %26
%27 = phi i64 [ 0, %2 ], [ %53, %26 ]
%28 = trunc i64 %27 to i32
%29 = tail call i32 (i32, ...) bitcast (i32 (...)* @b_twist_f2_on_edgeperm to i32 (i32, ...)*)(i32 %28)
%30 = trunc i32 %29 to i16
%31 = load i16*, i16** %1
%32 = getelementptr inbounds i16, i16* %31, i64 %27
store i16 %30, i16* %32
%33 = tail call i32 (i32, ...) bitcast (i32 (...)* @b_twist_l2_on_edgeperm to i32 (i32, ...)*)(i32 %28)
%34 = trunc i32 %33 to i16
%35 = load i16*, i16** %5
%36 = getelementptr inbounds i16, i16* %35, i64 %27
store i16 %34, i16* %36
%37 = tail call i32 (i32, ...) bitcast (i32 (...)* @b_twist_u_on_edgeperm to i32 (i32, ...)*)(i32 %28)
%38 = trunc i32 %37 to i16
%39 = load i16*, i16** %7
%40 = getelementptr inbounds i16, i16* %39, i64 %27
store i16 %38, i16* %40
%41 = tail call i32 (i32, ...) bitcast (i32 (...)* @b_twist_b2_on_edgeperm to i32 (i32, ...)*)(i32 %28)
%42 = trunc i32 %41 to i16
%43 = load i16*, i16** %13
%44 = getelementptr inbounds i16, i16* %43, i64 %27
store i16 %42, i16* %44
%45 = tail call i32 (i32, ...) bitcast (i32 (...)* @b_twist_r2_on_edgeperm to i32 (i32, ...)*)(i32 %28)
%46 = trunc i32 %45 to i16
%47 = load i16*, i16** %15
%48 = getelementptr inbounds i16, i16* %47, i64 %27
store i16 %46, i16* %48
%49 = tail call i32 (i32, ...) bitcast (i32 (...)* @b_twist_d_on_edgeperm to i32 (i32, ...)*)(i32 %28)
%50 = trunc i32 %49 to i16
%51 = load i16*, i16** %17
%52 = getelementptr inbounds i16, i16* %51, i64 %27
store i16 %50, i16* %52
%53 = add nuw nsw i64 %27, 1
%54 = icmp eq i64 %53, 40320
br i1 %54, label %22, label %26
55: ; preds = %58
%56 = load i16*, i16** %11
%57 = load i16*, i16** %21
br label %87
58: ; preds = %58, %22
%59 = phi i64 [ 0, %22 ], [ %85, %58 ]
%60 = getelementptr inbounds i16, i16* %23, i64 %59
%61 = load i16, i16* %60
%62 = zext i16 %61 to i64
%63 = getelementptr inbounds i16, i16* %23, i64 %62
%64 = load i16, i16* %63
%65 = getelementptr inbounds i16, i16* %24, i64 %59
store i16 %64, i16* %65
%66 = getelementptr inbounds i16, i16* %51, i64 %59
%67 = load i16, i16* %66
%68 = zext i16 %67 to i64
%69 = getelementptr inbounds i16, i16* %51, i64 %68
%70 = load i16, i16* %69
%71 = getelementptr inbounds i16, i16* %25, i64 %59
store i16 %70, i16* %71
%72 = or i64 %59, 1
%73 = getelementptr inbounds i16, i16* %23, i64 %72
%74 = load i16, i16* %73
%75 = zext i16 %74 to i64
%76 = getelementptr inbounds i16, i16* %23, i64 %75
%77 = load i16, i16* %76
%78 = getelementptr inbounds i16, i16* %24, i64 %72
store i16 %77, i16* %78
%79 = getelementptr inbounds i16, i16* %51, i64 %72
%80 = load i16, i16* %79
%81 = zext i16 %80 to i64
%82 = getelementptr inbounds i16, i16* %51, i64 %81
%83 = load i16, i16* %82
%84 = getelementptr inbounds i16, i16* %25, i64 %72
store i16 %83, i16* %84
%85 = add nuw nsw i64 %59, 2
%86 = icmp eq i64 %85, 40320
br i1 %86, label %55, label %58
87: ; preds = %87, %55
%88 = phi i64 [ 0, %55 ], [ %114, %87 ]
%89 = getelementptr inbounds i16, i16* %23, i64 %88
%90 = load i16, i16* %89
%91 = zext i16 %90 to i64
%92 = getelementptr inbounds i16, i16* %24, i64 %91
%93 = load i16, i16* %92
%94 = getelementptr inbounds i16, i16* %56, i64 %88
store i16 %93, i16* %94
%95 = getelementptr inbounds i16, i16* %51, i64 %88
%96 = load i16, i16* %95
%97 = zext i16 %96 to i64
%98 = getelementptr inbounds i16, i16* %25, i64 %97
%99 = load i16, i16* %98
%100 = getelementptr inbounds i16, i16* %57, i64 %88
store i16 %99, i16* %100
%101 = or i64 %88, 1
%102 = getelementptr inbounds i16, i16* %23, i64 %101
%103 = load i16, i16* %102
%104 = zext i16 %103 to i64
%105 = getelementptr inbounds i16, i16* %24, i64 %104
%106 = load i16, i16* %105
%107 = getelementptr inbounds i16, i16* %56, i64 %101
store i16 %106, i16* %107
%108 = getelementptr inbounds i16, i16* %51, i64 %101
%109 = load i16, i16* %108
%110 = zext i16 %109 to i64
%111 = getelementptr inbounds i16, i16* %25, i64 %110
%112 = load i16, i16* %111
%113 = getelementptr inbounds i16, i16* %57, i64 %101
store i16 %112, i16* %113
%114 = add nuw nsw i64 %88, 2
%115 = icmp eq i64 %114, 40320
br i1 %115, label %116, label %87
116: ; preds = %87
ret void
}