#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 */
unsigned char dot(int, unsigned char);
void inv_mix_columns(unsigned char s[][4]) {
  int c;
  unsigned char t[4];
  for (c = 0; c < 4; c++) {
    t[0] = dot(0x0e, s[0][c]) ^ dot(0x0b, s[1][c]) ^ dot(0x0d, s[2][c]) ^
           dot(0x09, s[3][c]);
    t[1] = dot(0x09, s[0][c]) ^ dot(0x0e, s[1][c]) ^ dot(0x0b, s[2][c]) ^
           dot(0x0d, s[3][c]);
    t[2] = dot(0x0d, s[0][c]) ^ dot(0x09, s[1][c]) ^ dot(0x0e, s[2][c]) ^
           dot(0x0b, s[3][c]);
    t[3] = dot(0x0b, s[0][c]) ^ dot(0x0d, s[1][c]) ^ dot(0x09, s[2][c]) ^
           dot(0x0e, s[3][c]);
    s[0][c] = t[0];
    s[1][c] = t[1];
    s[2][c] = t[2];
    s[3][c] = t[3];
  }
}


x86 assembly (clang, -O0):
<inv_mix_columns>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x8(%rbp)
movl   $0x0,-0xc(%rbp)
cmpl   $0x4,-0xc(%rbp)
jge    1396 <inv_mix_columns+0x286>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    $0xe,%edi
movzbl (%rax,%rcx,1),%esi
call   1030 <dot@plt>
movzbl %al,%eax
mov    %eax,-0x40(%rbp)
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    $0xb,%edi
movzbl 0x4(%rax,%rcx,1),%esi
call   1030 <dot@plt>
mov    %al,%cl
mov    -0x40(%rbp),%eax
movzbl %cl,%ecx
xor    %ecx,%eax
mov    %eax,-0x3c(%rbp)
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    $0xd,%edi
movzbl 0x8(%rax,%rcx,1),%esi
call   1030 <dot@plt>
mov    %al,%cl
mov    -0x3c(%rbp),%eax
movzbl %cl,%ecx
xor    %ecx,%eax
mov    %eax,-0x38(%rbp)
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    $0x9,%edi
movzbl 0xc(%rax,%rcx,1),%esi
call   1030 <dot@plt>
mov    %al,%cl
mov    -0x38(%rbp),%eax
movzbl %cl,%ecx
xor    %ecx,%eax
mov    %al,-0x10(%rbp)
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    $0x9,%edi
movzbl (%rax,%rcx,1),%esi
call   1030 <dot@plt>
movzbl %al,%eax
mov    %eax,-0x34(%rbp)
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    $0xe,%edi
movzbl 0x4(%rax,%rcx,1),%esi
call   1030 <dot@plt>
mov    %al,%cl
mov    -0x34(%rbp),%eax
movzbl %cl,%ecx
xor    %ecx,%eax
mov    %eax,-0x30(%rbp)
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    $0xb,%edi
movzbl 0x8(%rax,%rcx,1),%esi
call   1030 <dot@plt>
mov    %al,%cl
mov    -0x30(%rbp),%eax
movzbl %cl,%ecx
xor    %ecx,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    $0xd,%edi
movzbl 0xc(%rax,%rcx,1),%esi
call   1030 <dot@plt>
mov    %al,%cl
mov    -0x2c(%rbp),%eax
movzbl %cl,%ecx
xor    %ecx,%eax
mov    %al,-0xf(%rbp)
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    $0xd,%edi
movzbl (%rax,%rcx,1),%esi
call   1030 <dot@plt>
movzbl %al,%eax
mov    %eax,-0x28(%rbp)
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    $0x9,%edi
movzbl 0x4(%rax,%rcx,1),%esi
call   1030 <dot@plt>
mov    %al,%cl
mov    -0x28(%rbp),%eax
movzbl %cl,%ecx
xor    %ecx,%eax
mov    %eax,-0x24(%rbp)
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    $0xe,%edi
movzbl 0x8(%rax,%rcx,1),%esi
call   1030 <dot@plt>
mov    %al,%cl
mov    -0x24(%rbp),%eax
movzbl %cl,%ecx
xor    %ecx,%eax
mov    %eax,-0x20(%rbp)
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    $0xb,%edi
movzbl 0xc(%rax,%rcx,1),%esi
call   1030 <dot@plt>
mov    %al,%cl
mov    -0x20(%rbp),%eax
movzbl %cl,%ecx
xor    %ecx,%eax
mov    %al,-0xe(%rbp)
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    $0xb,%edi
movzbl (%rax,%rcx,1),%esi
call   1030 <dot@plt>
movzbl %al,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    $0xd,%edi
movzbl 0x4(%rax,%rcx,1),%esi
call   1030 <dot@plt>
mov    %al,%cl
mov    -0x1c(%rbp),%eax
movzbl %cl,%ecx
xor    %ecx,%eax
mov    %eax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    $0x9,%edi
movzbl 0x8(%rax,%rcx,1),%esi
call   1030 <dot@plt>
mov    %al,%cl
mov    -0x18(%rbp),%eax
movzbl %cl,%ecx
xor    %ecx,%eax
mov    %eax,-0x14(%rbp)
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    $0xe,%edi
movzbl 0xc(%rax,%rcx,1),%esi
call   1030 <dot@plt>
mov    %al,%cl
mov    -0x14(%rbp),%eax
movzbl %cl,%ecx
xor    %ecx,%eax
mov    %al,-0xd(%rbp)
mov    -0x10(%rbp),%dl
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0xf(%rbp),%dl
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    %dl,0x4(%rax,%rcx,1)
mov    -0xe(%rbp),%dl
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    %dl,0x8(%rax,%rcx,1)
mov    -0xd(%rbp),%dl
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    %dl,0xc(%rax,%rcx,1)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1123 <inv_mix_columns+0x13>
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<inv_mix_columns>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rdi,%rbx
mov    $0xfffffffffffffffc,%rbp
cs nopw 0x0(%rax,%rax,1)
nop
movzbl 0x4(%rbx,%rbp,1),%esi
mov    $0xe,%edi
call   1030 <dot@plt>
mov    %eax,%r15d
movzbl 0x8(%rbx,%rbp,1),%esi
mov    $0xb,%edi
call   1030 <dot@plt>
mov    %eax,%r14d
xor    %r15b,%r14b
movzbl 0xc(%rbx,%rbp,1),%esi
mov    $0xd,%edi
call   1030 <dot@plt>
mov    %eax,%r15d
movzbl 0x10(%rbx,%rbp,1),%esi
mov    $0x9,%edi
call   1030 <dot@plt>
xor    %r15b,%al
xor    %r14b,%al
mov    %al,0x7(%rsp)
movzbl 0x4(%rbx,%rbp,1),%esi
mov    $0x9,%edi
call   1030 <dot@plt>
mov    %eax,%r14d
movzbl 0x8(%rbx,%rbp,1),%esi
mov    $0xe,%edi
call   1030 <dot@plt>
mov    %eax,%r15d
xor    %r14b,%r15b
movzbl 0xc(%rbx,%rbp,1),%esi
mov    $0xb,%edi
call   1030 <dot@plt>
mov    %eax,%r12d
movzbl 0x10(%rbx,%rbp,1),%esi
mov    $0xd,%edi
call   1030 <dot@plt>
mov    %eax,%r14d
xor    %r12b,%r14b
xor    %r15b,%r14b
movzbl 0x4(%rbx,%rbp,1),%esi
mov    $0xd,%edi
call   1030 <dot@plt>
mov    %eax,%r15d
movzbl 0x8(%rbx,%rbp,1),%esi
mov    $0x9,%edi
call   1030 <dot@plt>
mov    %eax,%r12d
xor    %r15b,%r12b
movzbl 0xc(%rbx,%rbp,1),%esi
mov    $0xe,%edi
call   1030 <dot@plt>
mov    %eax,%r13d
movzbl 0x10(%rbx,%rbp,1),%esi
mov    $0xb,%edi
call   1030 <dot@plt>
mov    %eax,%r15d
xor    %r13b,%r15b
xor    %r12b,%r15b
movzbl 0x4(%rbx,%rbp,1),%esi
mov    $0xb,%edi
call   1030 <dot@plt>
mov    %eax,%r12d
movzbl 0x8(%rbx,%rbp,1),%esi
mov    $0xd,%edi
call   1030 <dot@plt>
mov    %eax,%r13d
xor    %r12b,%r13b
movzbl 0xc(%rbx,%rbp,1),%esi
mov    $0x9,%edi
call   1030 <dot@plt>
mov    %eax,%r12d
movzbl 0x10(%rbx,%rbp,1),%esi
mov    $0xe,%edi
call   1030 <dot@plt>
xor    %r12b,%al
xor    %r13b,%al
movzbl 0x7(%rsp),%ecx
mov    %cl,0x4(%rbx,%rbp,1)
mov    %r14b,0x8(%rbx,%rbp,1)
mov    %r15b,0xc(%rbx,%rbp,1)
mov    %al,0x10(%rbx,%rbp,1)
inc    %rbp
jne    1130 <inv_mix_columns+0x20>
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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