#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 short gf4096_inv(unsigned short);
unsigned short gf4096_mul(unsigned short, unsigned short);
void zero_3x4_col2(unsigned short m[3][4]) {
  unsigned short minv1, minv2;
  minv1 = gf4096_mul(m[1][2], gf4096_inv(m[0][2]));
  minv2 = gf4096_mul(m[2][2], gf4096_inv(m[0][2]));
  m[1][0] = m[1][0] ^ gf4096_mul(m[0][0], minv1);
  m[1][1] = m[1][1] ^ gf4096_mul(m[0][1], minv1);
  m[1][3] = m[1][3] ^ gf4096_mul(m[0][3], minv1);
  m[2][0] = m[2][0] ^ gf4096_mul(m[0][0], minv2);
  m[2][1] = m[2][1] ^ gf4096_mul(m[0][1], minv2);
  m[2][3] = m[2][3] ^ gf4096_mul(m[0][3], minv2);
}


x86 assembly (clang, -O0):
<zero_3x4_col2>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rax
mov    0xc(%rax),%ax
mov    %ax,-0x28(%rbp)
mov    -0x8(%rbp),%rax
movzwl 0x4(%rax),%edi
call   1040 <gf4096_inv@plt>
mov    -0x28(%rbp),%cx
movzwl %cx,%edi
movzwl %ax,%esi
call   1030 <gf4096_mul@plt>
mov    %ax,-0xa(%rbp)
mov    -0x8(%rbp),%rax
mov    0x14(%rax),%ax
mov    %ax,-0x26(%rbp)
mov    -0x8(%rbp),%rax
movzwl 0x4(%rax),%edi
call   1040 <gf4096_inv@plt>
mov    -0x26(%rbp),%cx
movzwl %cx,%edi
movzwl %ax,%esi
call   1030 <gf4096_mul@plt>
mov    %ax,-0xc(%rbp)
mov    -0x8(%rbp),%rax
movzwl 0x8(%rax),%eax
mov    %eax,-0x24(%rbp)
mov    -0x8(%rbp),%rax
mov    (%rax),%ax
movzwl %ax,%edi
movzwl -0xa(%rbp),%esi
call   1030 <gf4096_mul@plt>
mov    %ax,%cx
mov    -0x24(%rbp),%eax
movzwl %cx,%ecx
xor    %ecx,%eax
mov    %ax,%cx
mov    -0x8(%rbp),%rax
mov    %cx,0x8(%rax)
mov    -0x8(%rbp),%rax
movzwl 0xa(%rax),%eax
mov    %eax,-0x20(%rbp)
mov    -0x8(%rbp),%rax
mov    0x2(%rax),%ax
movzwl %ax,%edi
movzwl -0xa(%rbp),%esi
call   1030 <gf4096_mul@plt>
mov    %ax,%cx
mov    -0x20(%rbp),%eax
movzwl %cx,%ecx
xor    %ecx,%eax
mov    %ax,%cx
mov    -0x8(%rbp),%rax
mov    %cx,0xa(%rax)
mov    -0x8(%rbp),%rax
movzwl 0xe(%rax),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x8(%rbp),%rax
mov    0x6(%rax),%ax
movzwl %ax,%edi
movzwl -0xa(%rbp),%esi
call   1030 <gf4096_mul@plt>
mov    %ax,%cx
mov    -0x1c(%rbp),%eax
movzwl %cx,%ecx
xor    %ecx,%eax
mov    %ax,%cx
mov    -0x8(%rbp),%rax
mov    %cx,0xe(%rax)
mov    -0x8(%rbp),%rax
movzwl 0x10(%rax),%eax
mov    %eax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
mov    (%rax),%ax
movzwl %ax,%edi
movzwl -0xc(%rbp),%esi
call   1030 <gf4096_mul@plt>
mov    %ax,%cx
mov    -0x18(%rbp),%eax
movzwl %cx,%ecx
xor    %ecx,%eax
mov    %ax,%cx
mov    -0x8(%rbp),%rax
mov    %cx,0x10(%rax)
mov    -0x8(%rbp),%rax
movzwl 0x12(%rax),%eax
mov    %eax,-0x14(%rbp)
mov    -0x8(%rbp),%rax
mov    0x2(%rax),%ax
movzwl %ax,%edi
movzwl -0xc(%rbp),%esi
call   1030 <gf4096_mul@plt>
mov    %ax,%cx
mov    -0x14(%rbp),%eax
movzwl %cx,%ecx
xor    %ecx,%eax
mov    %ax,%cx
mov    -0x8(%rbp),%rax
mov    %cx,0x12(%rax)
mov    -0x8(%rbp),%rax
movzwl 0x16(%rax),%eax
mov    %eax,-0x10(%rbp)
mov    -0x8(%rbp),%rax
mov    0x6(%rax),%ax
movzwl %ax,%edi
movzwl -0xc(%rbp),%esi
call   1030 <gf4096_mul@plt>
mov    %ax,%cx
mov    -0x10(%rbp),%eax
movzwl %cx,%ecx
xor    %ecx,%eax
mov    %ax,%cx
mov    -0x8(%rbp),%rax
mov    %cx,0x16(%rax)
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<zero_3x4_col2>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
mov    %rdi,%rbx
movzwl 0xc(%rdi),%ebp
movzwl 0x4(%rdi),%edi
call   1040 <gf4096_inv@plt>
movzwl %ax,%esi
mov    %ebp,%edi
call   1030 <gf4096_mul@plt>
mov    %eax,%r15d
movzwl 0x14(%rbx),%ebp
movzwl 0x4(%rbx),%edi
call   1040 <gf4096_inv@plt>
movzwl %ax,%esi
mov    %ebp,%edi
call   1030 <gf4096_mul@plt>
mov    %eax,%r14d
movzwl 0x8(%rbx),%r12d
movzwl (%rbx),%edi
movzwl %r15w,%ebp
mov    %ebp,%esi
call   1030 <gf4096_mul@plt>
xor    %r12w,%ax
mov    %ax,0x8(%rbx)
movzwl 0xa(%rbx),%r15d
movzwl 0x2(%rbx),%edi
mov    %ebp,%esi
call   1030 <gf4096_mul@plt>
xor    %r15w,%ax
mov    %ax,0xa(%rbx)
movzwl 0xe(%rbx),%r15d
movzwl 0x6(%rbx),%edi
mov    %ebp,%esi
call   1030 <gf4096_mul@plt>
xor    %r15w,%ax
mov    %ax,0xe(%rbx)
movzwl 0x10(%rbx),%r15d
movzwl (%rbx),%edi
movzwl %r14w,%ebp
mov    %ebp,%esi
call   1030 <gf4096_mul@plt>
xor    %r15w,%ax
mov    %ax,0x10(%rbx)
movzwl 0x12(%rbx),%r14d
movzwl 0x2(%rbx),%edi
mov    %ebp,%esi
call   1030 <gf4096_mul@plt>
xor    %r14w,%ax
mov    %ax,0x12(%rbx)
movzwl 0x16(%rbx),%r14d
movzwl 0x6(%rbx),%edi
mov    %ebp,%esi
call   1030 <gf4096_mul@plt>
xor    %r14w,%ax
mov    %ax,0x16(%rbx)
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @zero_3x4_col2([4 x i16]* %0) {
%2 = alloca [4 x i16]*
%3 = alloca i16
%4 = alloca i16
store [4 x i16]* %0, [4 x i16]** %2
%5 = load [4 x i16]*, [4 x i16]** %2
%6 = getelementptr inbounds [4 x i16], [4 x i16]* %5, i64 1
%7 = getelementptr inbounds [4 x i16], [4 x i16]* %6, i64 0, i64 2
%8 = load i16, i16* %7
%9 = load [4 x i16]*, [4 x i16]** %2
%10 = getelementptr inbounds [4 x i16], [4 x i16]* %9, i64 0
%11 = getelementptr inbounds [4 x i16], [4 x i16]* %10, i64 0, i64 2
%12 = load i16, i16* %11
%13 = call zeroext i16 @gf4096_inv(i16 zeroext %12)
%14 = call zeroext i16 @gf4096_mul(i16 zeroext %8, i16 zeroext %13)
store i16 %14, i16* %3
%15 = load [4 x i16]*, [4 x i16]** %2
%16 = getelementptr inbounds [4 x i16], [4 x i16]* %15, i64 2
%17 = getelementptr inbounds [4 x i16], [4 x i16]* %16, i64 0, i64 2
%18 = load i16, i16* %17
%19 = load [4 x i16]*, [4 x i16]** %2
%20 = getelementptr inbounds [4 x i16], [4 x i16]* %19, i64 0
%21 = getelementptr inbounds [4 x i16], [4 x i16]* %20, i64 0, i64 2
%22 = load i16, i16* %21
%23 = call zeroext i16 @gf4096_inv(i16 zeroext %22)
%24 = call zeroext i16 @gf4096_mul(i16 zeroext %18, i16 zeroext %23)
store i16 %24, i16* %4
%25 = load [4 x i16]*, [4 x i16]** %2
%26 = getelementptr inbounds [4 x i16], [4 x i16]* %25, i64 1
%27 = getelementptr inbounds [4 x i16], [4 x i16]* %26, i64 0, i64 0
%28 = load i16, i16* %27
%29 = zext i16 %28 to i32
%30 = load [4 x i16]*, [4 x i16]** %2
%31 = getelementptr inbounds [4 x i16], [4 x i16]* %30, i64 0
%32 = getelementptr inbounds [4 x i16], [4 x i16]* %31, i64 0, i64 0
%33 = load i16, i16* %32
%34 = load i16, i16* %3
%35 = call zeroext i16 @gf4096_mul(i16 zeroext %33, i16 zeroext %34)
%36 = zext i16 %35 to i32
%37 = xor i32 %29, %36
%38 = trunc i32 %37 to i16
%39 = load [4 x i16]*, [4 x i16]** %2
%40 = getelementptr inbounds [4 x i16], [4 x i16]* %39, i64 1
%41 = getelementptr inbounds [4 x i16], [4 x i16]* %40, i64 0, i64 0
store i16 %38, i16* %41
%42 = load [4 x i16]*, [4 x i16]** %2
%43 = getelementptr inbounds [4 x i16], [4 x i16]* %42, i64 1
%44 = getelementptr inbounds [4 x i16], [4 x i16]* %43, i64 0, i64 1
%45 = load i16, i16* %44
%46 = zext i16 %45 to i32
%47 = load [4 x i16]*, [4 x i16]** %2
%48 = getelementptr inbounds [4 x i16], [4 x i16]* %47, i64 0
%49 = getelementptr inbounds [4 x i16], [4 x i16]* %48, i64 0, i64 1
%50 = load i16, i16* %49
%51 = load i16, i16* %3
%52 = call zeroext i16 @gf4096_mul(i16 zeroext %50, i16 zeroext %51)
%53 = zext i16 %52 to i32
%54 = xor i32 %46, %53
%55 = trunc i32 %54 to i16
%56 = load [4 x i16]*, [4 x i16]** %2
%57 = getelementptr inbounds [4 x i16], [4 x i16]* %56, i64 1
%58 = getelementptr inbounds [4 x i16], [4 x i16]* %57, i64 0, i64 1
store i16 %55, i16* %58
%59 = load [4 x i16]*, [4 x i16]** %2
%60 = getelementptr inbounds [4 x i16], [4 x i16]* %59, i64 1
%61 = getelementptr inbounds [4 x i16], [4 x i16]* %60, i64 0, i64 3
%62 = load i16, i16* %61
%63 = zext i16 %62 to i32
%64 = load [4 x i16]*, [4 x i16]** %2
%65 = getelementptr inbounds [4 x i16], [4 x i16]* %64, i64 0
%66 = getelementptr inbounds [4 x i16], [4 x i16]* %65, i64 0, i64 3
%67 = load i16, i16* %66
%68 = load i16, i16* %3
%69 = call zeroext i16 @gf4096_mul(i16 zeroext %67, i16 zeroext %68)
%70 = zext i16 %69 to i32
%71 = xor i32 %63, %70
%72 = trunc i32 %71 to i16
%73 = load [4 x i16]*, [4 x i16]** %2
%74 = getelementptr inbounds [4 x i16], [4 x i16]* %73, i64 1
%75 = getelementptr inbounds [4 x i16], [4 x i16]* %74, i64 0, i64 3
store i16 %72, i16* %75
%76 = load [4 x i16]*, [4 x i16]** %2
%77 = getelementptr inbounds [4 x i16], [4 x i16]* %76, i64 2
%78 = getelementptr inbounds [4 x i16], [4 x i16]* %77, i64 0, i64 0
%79 = load i16, i16* %78
%80 = zext i16 %79 to i32
%81 = load [4 x i16]*, [4 x i16]** %2
%82 = getelementptr inbounds [4 x i16], [4 x i16]* %81, i64 0
%83 = getelementptr inbounds [4 x i16], [4 x i16]* %82, i64 0, i64 0
%84 = load i16, i16* %83
%85 = load i16, i16* %4
%86 = call zeroext i16 @gf4096_mul(i16 zeroext %84, i16 zeroext %85)
%87 = zext i16 %86 to i32
%88 = xor i32 %80, %87
%89 = trunc i32 %88 to i16
%90 = load [4 x i16]*, [4 x i16]** %2
%91 = getelementptr inbounds [4 x i16], [4 x i16]* %90, i64 2
%92 = getelementptr inbounds [4 x i16], [4 x i16]* %91, i64 0, i64 0
store i16 %89, i16* %92
%93 = load [4 x i16]*, [4 x i16]** %2
%94 = getelementptr inbounds [4 x i16], [4 x i16]* %93, i64 2
%95 = getelementptr inbounds [4 x i16], [4 x i16]* %94, i64 0, i64 1
%96 = load i16, i16* %95
%97 = zext i16 %96 to i32
%98 = load [4 x i16]*, [4 x i16]** %2
%99 = getelementptr inbounds [4 x i16], [4 x i16]* %98, i64 0
%100 = getelementptr inbounds [4 x i16], [4 x i16]* %99, i64 0, i64 1
%101 = load i16, i16* %100
%102 = load i16, i16* %4
%103 = call zeroext i16 @gf4096_mul(i16 zeroext %101, i16 zeroext %102)
%104 = zext i16 %103 to i32
%105 = xor i32 %97, %104
%106 = trunc i32 %105 to i16
%107 = load [4 x i16]*, [4 x i16]** %2
%108 = getelementptr inbounds [4 x i16], [4 x i16]* %107, i64 2
%109 = getelementptr inbounds [4 x i16], [4 x i16]* %108, i64 0, i64 1
store i16 %106, i16* %109
%110 = load [4 x i16]*, [4 x i16]** %2
%111 = getelementptr inbounds [4 x i16], [4 x i16]* %110, i64 2
%112 = getelementptr inbounds [4 x i16], [4 x i16]* %111, i64 0, i64 3
%113 = load i16, i16* %112
%114 = zext i16 %113 to i32
%115 = load [4 x i16]*, [4 x i16]** %2
%116 = getelementptr inbounds [4 x i16], [4 x i16]* %115, i64 0
%117 = getelementptr inbounds [4 x i16], [4 x i16]* %116, i64 0, i64 3
%118 = load i16, i16* %117
%119 = load i16, i16* %4
%120 = call zeroext i16 @gf4096_mul(i16 zeroext %118, i16 zeroext %119)
%121 = zext i16 %120 to i32
%122 = xor i32 %114, %121
%123 = trunc i32 %122 to i16
%124 = load [4 x i16]*, [4 x i16]** %2
%125 = getelementptr inbounds [4 x i16], [4 x i16]* %124, i64 2
%126 = getelementptr inbounds [4 x i16], [4 x i16]* %125, i64 0, i64 3
store i16 %123, i16* %126
ret void
}

LLVM IR (-O2):
define void @zero_3x4_col2([4 x i16]* nocapture %0) {
%2 = getelementptr inbounds [4 x i16], [4 x i16]* %0, i64 1, i64 2
%3 = load i16, i16* %2
%4 = getelementptr inbounds [4 x i16], [4 x i16]* %0, i64 0, i64 2
%5 = load i16, i16* %4
%6 = tail call zeroext i16 @gf4096_inv(i16 zeroext %5)
%7 = tail call zeroext i16 @gf4096_mul(i16 zeroext %3, i16 zeroext %6)
%8 = getelementptr inbounds [4 x i16], [4 x i16]* %0, i64 2, i64 2
%9 = load i16, i16* %8
%10 = load i16, i16* %4
%11 = tail call zeroext i16 @gf4096_inv(i16 zeroext %10)
%12 = tail call zeroext i16 @gf4096_mul(i16 zeroext %9, i16 zeroext %11)
%13 = getelementptr inbounds [4 x i16], [4 x i16]* %0, i64 1, i64 0
%14 = load i16, i16* %13
%15 = getelementptr inbounds [4 x i16], [4 x i16]* %0, i64 0, i64 0
%16 = load i16, i16* %15
%17 = tail call zeroext i16 @gf4096_mul(i16 zeroext %16, i16 zeroext %7)
%18 = xor i16 %17, %14
store i16 %18, i16* %13
%19 = getelementptr inbounds [4 x i16], [4 x i16]* %0, i64 1, i64 1
%20 = load i16, i16* %19
%21 = getelementptr inbounds [4 x i16], [4 x i16]* %0, i64 0, i64 1
%22 = load i16, i16* %21
%23 = tail call zeroext i16 @gf4096_mul(i16 zeroext %22, i16 zeroext %7)
%24 = xor i16 %23, %20
store i16 %24, i16* %19
%25 = getelementptr inbounds [4 x i16], [4 x i16]* %0, i64 1, i64 3
%26 = load i16, i16* %25
%27 = getelementptr inbounds [4 x i16], [4 x i16]* %0, i64 0, i64 3
%28 = load i16, i16* %27
%29 = tail call zeroext i16 @gf4096_mul(i16 zeroext %28, i16 zeroext %7)
%30 = xor i16 %29, %26
store i16 %30, i16* %25
%31 = getelementptr inbounds [4 x i16], [4 x i16]* %0, i64 2, i64 0
%32 = load i16, i16* %31
%33 = load i16, i16* %15
%34 = tail call zeroext i16 @gf4096_mul(i16 zeroext %33, i16 zeroext %12)
%35 = xor i16 %34, %32
store i16 %35, i16* %31
%36 = getelementptr inbounds [4 x i16], [4 x i16]* %0, i64 2, i64 1
%37 = load i16, i16* %36
%38 = load i16, i16* %21
%39 = tail call zeroext i16 @gf4096_mul(i16 zeroext %38, i16 zeroext %12)
%40 = xor i16 %39, %37
store i16 %40, i16* %36
%41 = getelementptr inbounds [4 x i16], [4 x i16]* %0, i64 2, i64 3
%42 = load i16, i16* %41
%43 = load i16, i16* %27
%44 = tail call zeroext i16 @gf4096_mul(i16 zeroext %43, i16 zeroext %12)
%45 = xor i16 %44, %42
store i16 %45, i16* %41
ret void
}