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

/* Variables and functions */
int /*<<< orphan*/ c_aes_encrypt(int *, int *);
int /*<<< orphan*/ c_gcm_galois_mult(int *, int *);
int /*<<< orphan*/ c_gcm_iv_incr(int *);
void c_gcm_aes_encrypt(uint8_t *iv, uint8_t *ekey, uint8_t *hash_const,
                       uint8_t *tag, uint16_t ptlen, uint8_t *pt) {
  uint8_t i;
  uint8_t offset;
  uint8_t limit;
  uint8_t end;
  uint8_t iv_const[16];
  uint8_t crypt_work[16];
  for (i = 0; i < 8; i++) {
    ((uint16_t *)iv_const)[i] = ((uint16_t *)iv)[i];
    ((uint16_t *)tag)[i] = 0;
  }
  c_aes_encrypt(ekey, iv_const);
  end = ptlen >> 3;
  for (offset = 0; offset < end; offset += 16) {
    limit = end - offset;
    limit = limit > 16 ? 16 : limit;
    c_gcm_iv_incr(iv);
    for (i = 0; i < 8; i++) {
      ((uint16_t *)crypt_work)[i] = ((uint16_t *)iv)[i];
    }
    c_aes_encrypt(ekey, crypt_work);
    for (i = 0; i < limit; i++) {
      pt[offset + i] ^= crypt_work[i];
      tag[i] ^= pt[offset + i];
    }
    c_gcm_galois_mult(tag, hash_const);
  }
  tag[14] ^= ptlen >> 8;
  tag[15] ^= ptlen & 0x00FF;
  c_gcm_galois_mult(tag, hash_const);
  for (i = 0; i < 8; i++) {
    ((uint16_t *)tag)[i] ^= ((uint16_t *)iv_const)[i];
  }
}


x86 assembly (clang, -O0):
<c_gcm_aes_encrypt>:
push   %rbp
mov    %rsp,%rbp
sub    $0xd0,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8d,-0x24(%rbp)
mov    %r9,-0x30(%rbp)
movl   $0x0,-0x34(%rbp)
cmpl   $0x8,-0x34(%rbp)
jge    1194 <c_gcm_aes_encrypt+0x64>
mov    -0x8(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,4),%ecx
movslq -0x34(%rbp),%rax
mov    %ecx,-0x80(%rbp,%rax,4)
mov    -0x20(%rbp),%rax
movslq -0x34(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    115a <c_gcm_aes_encrypt+0x2a>
mov    -0x10(%rbp),%rdi
lea    -0x80(%rbp),%rsi
call   1050 <c_aes_encrypt@plt>
mov    -0x24(%rbp),%eax
sar    $0x3,%eax
mov    %eax,-0x40(%rbp)
movl   $0x0,-0x38(%rbp)
mov    -0x38(%rbp),%eax
cmp    -0x40(%rbp),%eax
jge    12b8 <c_gcm_aes_encrypt+0x188>
mov    -0x40(%rbp),%eax
sub    -0x38(%rbp),%eax
mov    %eax,-0x3c(%rbp)
cmpl   $0x10,-0x3c(%rbp)
jle    11e0 <c_gcm_aes_encrypt+0xb0>
mov    $0x10,%eax
mov    %eax,-0xc4(%rbp)
jmp    11e9 <c_gcm_aes_encrypt+0xb9>
mov    -0x3c(%rbp),%eax
mov    %eax,-0xc4(%rbp)
mov    -0xc4(%rbp),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x8(%rbp),%rdi
call   1030 <c_gcm_iv_incr@plt>
movl   $0x0,-0x34(%rbp)
cmpl   $0x8,-0x34(%rbp)
jge    1230 <c_gcm_aes_encrypt+0x100>
mov    -0x8(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,4),%ecx
movslq -0x34(%rbp),%rax
mov    %ecx,-0xc0(%rbp,%rax,4)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    1202 <c_gcm_aes_encrypt+0xd2>
mov    -0x10(%rbp),%rdi
lea    -0xc0(%rbp),%rsi
call   1050 <c_aes_encrypt@plt>
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x3c(%rbp),%eax
jge    129d <c_gcm_aes_encrypt+0x16d>
movslq -0x34(%rbp),%rax
mov    -0xc0(%rbp,%rax,4),%edx
mov    -0x30(%rbp),%rax
mov    -0x38(%rbp),%ecx
add    -0x34(%rbp),%ecx
movslq %ecx,%rcx
xor    (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x30(%rbp),%rax
mov    -0x38(%rbp),%ecx
add    -0x34(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x20(%rbp),%rax
movslq -0x34(%rbp),%rcx
xor    (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    1247 <c_gcm_aes_encrypt+0x117>
mov    -0x20(%rbp),%rdi
mov    -0x18(%rbp),%rsi
call   1040 <c_gcm_galois_mult@plt>
mov    -0x38(%rbp),%eax
add    $0x10,%eax
mov    %eax,-0x38(%rbp)
jmp    11b1 <c_gcm_aes_encrypt+0x81>
mov    -0x24(%rbp),%ecx
sar    $0x8,%ecx
mov    -0x20(%rbp),%rax
xor    0x38(%rax),%ecx
mov    %ecx,0x38(%rax)
mov    -0x24(%rbp),%ecx
and    $0xff,%ecx
mov    -0x20(%rbp),%rax
xor    0x3c(%rax),%ecx
mov    %ecx,0x3c(%rax)
mov    -0x20(%rbp),%rdi
mov    -0x18(%rbp),%rsi
call   1040 <c_gcm_galois_mult@plt>
movl   $0x0,-0x34(%rbp)
cmpl   $0x8,-0x34(%rbp)
jge    131d <c_gcm_aes_encrypt+0x1ed>
movslq -0x34(%rbp),%rax
mov    -0x80(%rbp,%rax,4),%edx
mov    -0x20(%rbp),%rax
movslq -0x34(%rbp),%rcx
xor    (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    12ef <c_gcm_aes_encrypt+0x1bf>
add    $0xd0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<c_gcm_aes_encrypt>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0xd8,%rsp
mov    %r9,0x10(%rsp)
mov    %r8d,%ebp
mov    %rcx,%rbx
mov    %rdx,0x18(%rsp)
mov    %rsi,%rax
movss  (%rdi),%xmm0
movl   $0x0,(%rcx)
movss  0x4(%rdi),%xmm1
unpcklps %xmm1,%xmm0
movl   $0x0,0x4(%rcx)
movss  0x8(%rdi),%xmm1
movl   $0x0,0x8(%rcx)
movss  0xc(%rdi),%xmm2
unpcklps %xmm2,%xmm1
movlhps %xmm1,%xmm0
movaps %xmm0,0x90(%rsp)
movl   $0x0,0xc(%rcx)
movss  0x10(%rdi),%xmm0
movl   $0x0,0x10(%rcx)
movss  0x14(%rdi),%xmm1
unpcklps %xmm1,%xmm0
movl   $0x0,0x14(%rcx)
movss  0x18(%rdi),%xmm1
movl   $0x0,0x18(%rcx)
mov    %rdi,0x30(%rsp)
movss  0x1c(%rdi),%xmm2
unpcklps %xmm2,%xmm1
movlhps %xmm1,%xmm0
movaps %xmm0,0xa0(%rsp)
movl   $0x0,0x1c(%rcx)
lea    0x90(%rsp),%rsi
mov    %rax,0x38(%rsp)
mov    %rax,%rdi
call   1050 <c_aes_encrypt@plt>
mov    %ebp,0xc(%rsp)
cmp    $0x8,%ebp
jl     13ff <c_gcm_aes_encrypt+0x2cf>
mov    0xc(%rsp),%eax
mov    %eax,%ebp
shr    $0x3,%ebp
mov    0x10(%rsp),%r13
lea    0x10(%r13),%r15
xor    %eax,%eax
mov    %rbp,%rcx
xor    %edx,%edx
mov    %rbp,0x28(%rsp)
jmp    1259 <c_gcm_aes_encrypt+0x129>
nopl   0x0(%rax,%rax,1)
mov    %rbx,%rdi
mov    0x18(%rsp),%rsi
call   1040 <c_gcm_galois_mult@plt>
mov    0x20(%rsp),%rdx
add    $0x10,%rdx
mov    0x48(%rsp),%rax
add    $0x1,%rax
add    $0x40,%r15
mov    0x40(%rsp),%rcx
add    $0xfffffffffffffff0,%rcx
add    $0x40,%r13
cmp    %rbp,%rdx
jae    13ff <c_gcm_aes_encrypt+0x2cf>
mov    %rdx,0x20(%rsp)
cmp    $0x10,%rcx
mov    $0x10,%r12d
mov    %rcx,0x40(%rsp)
cmovb  %rcx,%r12
cmp    $0x2,%r12
mov    $0x1,%ecx
cmovl  %rcx,%r12
mov    %rax,0x48(%rsp)
shl    $0x4,%rax
mov    %rbp,%r14
sub    %rax,%r14
cmp    $0x10,%r14
mov    $0x10,%eax
cmovae %rax,%r14
cmp    $0x2,%r14
cmovl  %rcx,%r14
mov    0x30(%rsp),%rbp
mov    %rbp,%rdi
call   1030 <c_gcm_iv_incr@plt>
movups 0x0(%rbp),%xmm0
movups 0x10(%rbp),%xmm1
mov    0x28(%rsp),%rbp
movaps %xmm0,0x50(%rsp)
movaps %xmm1,0x60(%rsp)
mov    0x38(%rsp),%rdi
lea    0x50(%rsp),%rsi
call   1050 <c_aes_encrypt@plt>
mov    0x20(%rsp),%rdi
mov    %rbp,%rax
sub    %rdi,%rax
jle    1220 <c_gcm_aes_encrypt+0xf0>
cmp    $0x10,%rax
mov    $0x10,%ecx
cmovae %rcx,%rax
cmp    $0x4,%r14
jae    1300 <c_gcm_aes_encrypt+0x1d0>
xor    %esi,%esi
jmp    13e0 <c_gcm_aes_encrypt+0x2b0>
mov    0x10(%rsp),%rcx
lea    (%rcx,%rdi,4),%rcx
lea    (%rbx,%r14,4),%rdx
cmp    %rdx,%rcx
jae    1322 <c_gcm_aes_encrypt+0x1f2>
lea    (%rcx,%r14,4),%rcx
cmp    %rbx,%rcx
jbe    1322 <c_gcm_aes_encrypt+0x1f2>
xor    %esi,%esi
jmp    13e0 <c_gcm_aes_encrypt+0x2b0>
mov    %r14d,%edx
and    $0x1c,%edx
add    $0xfffffffffffffffc,%rdx
mov    %rdx,%rcx
shr    $0x2,%rcx
add    $0x1,%rcx
test   %rdx,%rdx
je     13a4 <c_gcm_aes_encrypt+0x274>
and    $0x1c,%r12d
add    $0xfffffffffffffffc,%r12
shr    $0x2,%r12
add    $0x1,%r12
and    $0xfffffffffffffffe,%r12
xor    %edx,%edx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movups -0x10(%r15,%rdx,4),%xmm0
xorps  0x50(%rsp,%rdx,4),%xmm0
movups %xmm0,-0x10(%r15,%rdx,4)
movups (%rbx,%rdx,4),%xmm1
xorps  %xmm0,%xmm1
movups %xmm1,(%rbx,%rdx,4)
movups (%r15,%rdx,4),%xmm0
xorps  0x60(%rsp,%rdx,4),%xmm0
movups %xmm0,(%r15,%rdx,4)
movups 0x10(%rbx,%rdx,4),%xmm1
xorps  %xmm0,%xmm1
movups %xmm1,0x10(%rbx,%rdx,4)
add    $0x8,%rdx
add    $0xfffffffffffffffe,%r12
jne    1360 <c_gcm_aes_encrypt+0x230>
jmp    13a6 <c_gcm_aes_encrypt+0x276>
xor    %edx,%edx
mov    %r14d,%esi
and    $0x1c,%esi
test   $0x1,%cl
je     13d2 <c_gcm_aes_encrypt+0x2a2>
lea    (%rdx,%rdi,1),%rcx
mov    0x10(%rsp),%rdi
movups (%rdi,%rcx,4),%xmm0
xorps  0x50(%rsp,%rdx,4),%xmm0
movups %xmm0,(%rdi,%rcx,4)
movups (%rbx,%rdx,4),%xmm1
xorps  %xmm0,%xmm1
movups %xmm1,(%rbx,%rdx,4)
cmp    %rsi,%r14
je     1220 <c_gcm_aes_encrypt+0xf0>
nopl   0x0(%rax,%rax,1)
mov    0x0(%r13,%rsi,4),%ecx
xor    0x50(%rsp,%rsi,4),%ecx
mov    %ecx,0x0(%r13,%rsi,4)
xor    %ecx,(%rbx,%rsi,4)
add    $0x1,%rsi
cmp    %rax,%rsi
jl     13e0 <c_gcm_aes_encrypt+0x2b0>
jmp    1220 <c_gcm_aes_encrypt+0xf0>
mov    0xc(%rsp),%ecx
mov    %ecx,%eax
sar    $0x8,%eax
xor    %eax,0x38(%rbx)
movzbl %cl,%eax
xor    %eax,0x3c(%rbx)
mov    %rbx,%rdi
mov    0x18(%rsp),%rsi
call   1040 <c_gcm_galois_mult@plt>
movups (%rbx),%xmm0
movups 0x10(%rbx),%xmm1
xorps  0x90(%rsp),%xmm0
movups %xmm0,(%rbx)
xorps  0xa0(%rsp),%xmm1
movups %xmm1,0x10(%rbx)
add    $0xd8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @c_gcm_aes_encrypt(i32* %0, i32* %1, i32* %2, i32* %3, i32 %4, i32* %5) {
%7 = alloca 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
%17 = alloca [16 x i32]
%18 = alloca [16 x i32]
store i32* %0, i32** %7
store i32* %1, i32** %8
store i32* %2, i32** %9
store i32* %3, i32** %10
store i32 %4, i32* %11
store i32* %5, i32** %12
store i32 0, i32* %13
br label %19
19: ; preds = %36, %6
%20 = load i32, i32* %13
%21 = icmp slt i32 %20, 8
br i1 %21, label %22, label %39
22: ; preds = %19
%23 = load i32*, i32** %7
%24 = load i32, i32* %13
%25 = sext i32 %24 to i64
%26 = getelementptr inbounds i32, i32* %23, i64 %25
%27 = load i32, i32* %26
%28 = getelementptr inbounds [16 x i32], [16 x i32]* %17, i64 0, i64 0
%29 = load i32, i32* %13
%30 = sext i32 %29 to i64
%31 = getelementptr inbounds i32, i32* %28, i64 %30
store i32 %27, i32* %31
%32 = load i32*, i32** %10
%33 = load i32, i32* %13
%34 = sext i32 %33 to i64
%35 = getelementptr inbounds i32, i32* %32, i64 %34
store i32 0, i32* %35
br label %36
36: ; preds = %22
%37 = load i32, i32* %13
%38 = add nsw i32 %37, 1
store i32 %38, i32* %13
br label %19
39: ; preds = %19
%40 = load i32*, i32** %8
%41 = getelementptr inbounds [16 x i32], [16 x i32]* %17, i64 0, i64 0
%42 = call i32 @c_aes_encrypt(i32* %40, i32* %41)
%43 = load i32, i32* %11
%44 = ashr i32 %43, 3
store i32 %44, i32* %16
store i32 0, i32* %14
br label %45
45: ; preds = %119, %39
%46 = load i32, i32* %14
%47 = load i32, i32* %16
%48 = icmp slt i32 %46, %47
br i1 %48, label %49, label %122
49: ; preds = %45
%50 = load i32, i32* %16
%51 = load i32, i32* %14
%52 = sub nsw i32 %50, %51
store i32 %52, i32* %15
%53 = load i32, i32* %15
%54 = icmp sgt i32 %53, 16
br i1 %54, label %55, label %56
55: ; preds = %49
br label %58
56: ; preds = %49
%57 = load i32, i32* %15
br label %58
58: ; preds = %56, %55
%59 = phi i32 [ 16, %55 ], [ %57, %56 ]
store i32 %59, i32* %15
%60 = load i32*, i32** %7
%61 = call i32 @c_gcm_iv_incr(i32* %60)
store i32 0, i32* %13
br label %62
62: ; preds = %75, %58
%63 = load i32, i32* %13
%64 = icmp slt i32 %63, 8
br i1 %64, label %65, label %78
65: ; preds = %62
%66 = load i32*, i32** %7
%67 = load i32, i32* %13
%68 = sext i32 %67 to i64
%69 = getelementptr inbounds i32, i32* %66, i64 %68
%70 = load i32, i32* %69
%71 = getelementptr inbounds [16 x i32], [16 x i32]* %18, i64 0, i64 0
%72 = load i32, i32* %13
%73 = sext i32 %72 to i64
%74 = getelementptr inbounds i32, i32* %71, i64 %73
store i32 %70, i32* %74
br label %75
75: ; preds = %65
%76 = load i32, i32* %13
%77 = add nsw i32 %76, 1
store i32 %77, i32* %13
br label %62
78: ; preds = %62
%79 = load i32*, i32** %8
%80 = getelementptr inbounds [16 x i32], [16 x i32]* %18, i64 0, i64 0
%81 = call i32 @c_aes_encrypt(i32* %79, i32* %80)
store i32 0, i32* %13
br label %82
82: ; preds = %112, %78
%83 = load i32, i32* %13
%84 = load i32, i32* %15
%85 = icmp slt i32 %83, %84
br i1 %85, label %86, label %115
86: ; preds = %82
%87 = load i32, i32* %13
%88 = sext i32 %87 to i64
%89 = getelementptr inbounds [16 x i32], [16 x i32]* %18, i64 0, i64 %88
%90 = load i32, i32* %89
%91 = load i32*, i32** %12
%92 = load i32, i32* %14
%93 = load i32, i32* %13
%94 = add nsw i32 %92, %93
%95 = sext i32 %94 to i64
%96 = getelementptr inbounds i32, i32* %91, i64 %95
%97 = load i32, i32* %96
%98 = xor i32 %97, %90
store i32 %98, i32* %96
%99 = load i32*, i32** %12
%100 = load i32, i32* %14
%101 = load i32, i32* %13
%102 = add nsw i32 %100, %101
%103 = sext i32 %102 to i64
%104 = getelementptr inbounds i32, i32* %99, i64 %103
%105 = load i32, i32* %104
%106 = load i32*, i32** %10
%107 = load i32, i32* %13
%108 = sext i32 %107 to i64
%109 = getelementptr inbounds i32, i32* %106, i64 %108
%110 = load i32, i32* %109
%111 = xor i32 %110, %105
store i32 %111, i32* %109
br label %112
112: ; preds = %86
%113 = load i32, i32* %13
%114 = add nsw i32 %113, 1
store i32 %114, i32* %13
br label %82
115: ; preds = %82
%116 = load i32*, i32** %10
%117 = load i32*, i32** %9
%118 = call i32 @c_gcm_galois_mult(i32* %116, i32* %117)
br label %119
119: ; preds = %115
%120 = load i32, i32* %14
%121 = add nsw i32 %120, 16
store i32 %121, i32* %14
br label %45
122: ; preds = %45
%123 = load i32, i32* %11
%124 = ashr i32 %123, 8
%125 = load i32*, i32** %10
%126 = getelementptr inbounds i32, i32* %125, i64 14
%127 = load i32, i32* %126
%128 = xor i32 %127, %124
store i32 %128, i32* %126
%129 = load i32, i32* %11
%130 = and i32 %129, 255
%131 = load i32*, i32** %10
%132 = getelementptr inbounds i32, i32* %131, i64 15
%133 = load i32, i32* %132
%134 = xor i32 %133, %130
store i32 %134, i32* %132
%135 = load i32*, i32** %10
%136 = load i32*, i32** %9
%137 = call i32 @c_gcm_galois_mult(i32* %135, i32* %136)
store i32 0, i32* %13
br label %138
138: ; preds = %153, %122
%139 = load i32, i32* %13
%140 = icmp slt i32 %139, 8
br i1 %140, label %141, label %156
141: ; preds = %138
%142 = getelementptr inbounds [16 x i32], [16 x i32]* %17, i64 0, i64 0
%143 = load i32, i32* %13
%144 = sext i32 %143 to i64
%145 = getelementptr inbounds i32, i32* %142, i64 %144
%146 = load i32, i32* %145
%147 = load i32*, i32** %10
%148 = load i32, i32* %13
%149 = sext i32 %148 to i64
%150 = getelementptr inbounds i32, i32* %147, i64 %149
%151 = load i32, i32* %150
%152 = xor i32 %151, %146
store i32 %152, i32* %150
br label %153
153: ; preds = %141
%154 = load i32, i32* %13
%155 = add nsw i32 %154, 1
store i32 %155, i32* %13
br label %138
156: ; preds = %138
ret void
}

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