void construct_ctr_preload(unsigned char *ctr_preload, int a4_exists,
                           int qc_exists, unsigned char *mpdu,
                           unsigned char *pn_vector, int c) {
  int i = 0;
  for (i = 0; i < 16; i++)
    ctr_preload[i] = 0x00;
  i = 0;
  ctr_preload[0] = 0x01;
  if (qc_exists && a4_exists)
    ctr_preload[1] = mpdu[30] & 0x0f;
  if (qc_exists && !a4_exists)
    ctr_preload[1] = mpdu[24] & 0x0f;
  for (i = 2; i < 8; i++)
    ctr_preload[i] = mpdu[i + 8];
  for (i = 8; i < 14; i++)
    ctr_preload[i] = pn_vector[13 - i];
  ctr_preload[14] = (unsigned char)(c / 256);
  ctr_preload[15] = (unsigned char)(c % 256);
}


x86 assembly (clang, -O0):
<construct_ctr_preload>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %rcx,-0x18(%rbp)
mov    %r8,-0x20(%rbp)
mov    %r9d,-0x24(%rbp)
movl   $0x0,-0x28(%rbp)
movl   $0x0,-0x28(%rbp)
cmpl   $0x10,-0x28(%rbp)
jge    114c <construct_ctr_preload+0x4c>
mov    -0x8(%rbp),%rax
movslq -0x28(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1128 <construct_ctr_preload+0x28>
movl   $0x0,-0x28(%rbp)
mov    -0x8(%rbp),%rax
movb   $0x1,(%rax)
cmpl   $0x0,-0x10(%rbp)
je     1182 <construct_ctr_preload+0x82>
cmpl   $0x0,-0xc(%rbp)
je     1182 <construct_ctr_preload+0x82>
mov    -0x18(%rbp),%rax
movzbl 0x1e(%rax),%eax
and    $0xf,%eax
mov    %al,%cl
mov    -0x8(%rbp),%rax
mov    %cl,0x1(%rax)
cmpl   $0x0,-0x10(%rbp)
je     11aa <construct_ctr_preload+0xaa>
cmpl   $0x0,-0xc(%rbp)
jne    11aa <construct_ctr_preload+0xaa>
mov    -0x18(%rbp),%rax
movzbl 0x18(%rax),%eax
and    $0xf,%eax
mov    %al,%cl
mov    -0x8(%rbp),%rax
mov    %cl,0x1(%rax)
movl   $0x2,-0x28(%rbp)
cmpl   $0x8,-0x28(%rbp)
jge    11e4 <construct_ctr_preload+0xe4>
mov    -0x18(%rbp),%rax
mov    -0x28(%rbp),%ecx
add    $0x8,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x8(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    11b1 <construct_ctr_preload+0xb1>
movl   $0x8,-0x28(%rbp)
cmpl   $0xe,-0x28(%rbp)
jge    1220 <construct_ctr_preload+0x120>
mov    -0x20(%rbp),%rax
mov    $0xd,%ecx
sub    -0x28(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x8(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    11eb <construct_ctr_preload+0xeb>
mov    -0x24(%rbp),%eax
mov    $0x100,%ecx
cltd
idiv   %ecx
mov    %al,%cl
mov    -0x8(%rbp),%rax
mov    %cl,0xe(%rax)
mov    -0x24(%rbp),%eax
mov    $0x100,%ecx
cltd
idiv   %ecx
mov    %dl,%cl
mov    -0x8(%rbp),%rax
mov    %cl,0xf(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<construct_ctr_preload>:
movq   $0x0,0x8(%rdi)
movq   $0x0,0x1(%rdi)
movb   $0x1,(%rdi)
test   %esi,%esi
je     1123 <construct_ctr_preload+0x23>
test   %edx,%edx
je     1123 <construct_ctr_preload+0x23>
mov    0x1e(%rcx),%al
and    $0xf,%al
mov    %al,0x1(%rdi)
test   %esi,%esi
jne    1133 <construct_ctr_preload+0x33>
test   %edx,%edx
je     1133 <construct_ctr_preload+0x33>
mov    0x18(%rcx),%al
and    $0xf,%al
mov    %al,0x1(%rdi)
mov    0xa(%rcx),%al
mov    %al,0x2(%rdi)
mov    0xb(%rcx),%al
mov    %al,0x3(%rdi)
mov    0xc(%rcx),%al
mov    %al,0x4(%rdi)
mov    0xd(%rcx),%al
mov    %al,0x5(%rdi)
mov    0xe(%rcx),%al
mov    %al,0x6(%rdi)
mov    0xf(%rcx),%al
mov    %al,0x7(%rdi)
mov    0x5(%r8),%al
mov    %al,0x8(%rdi)
mov    0x4(%r8),%al
mov    %al,0x9(%rdi)
mov    0x3(%r8),%al
mov    %al,0xa(%rdi)
mov    0x2(%r8),%al
mov    %al,0xb(%rdi)
mov    0x1(%r8),%al
mov    %al,0xc(%rdi)
mov    (%r8),%al
mov    %al,0xd(%rdi)
lea    0xff(%r9),%eax
test   %r9d,%r9d
cmovns %r9d,%eax
mov    %ah,0xe(%rdi)
mov    %r9b,0xf(%rdi)
ret

LLVM IR (-O0):
define void @construct_ctr_preload(i8* %0, i32 %1, i32 %2, i8* %3, i8* %4, i32 %5) {
%7 = alloca i8*
%8 = alloca i32
%9 = alloca i32
%10 = alloca i8*
%11 = alloca i8*
%12 = alloca i32
%13 = alloca i32
store i8* %0, i8** %7
store i32 %1, i32* %8
store i32 %2, i32* %9
store i8* %3, i8** %10
store i8* %4, i8** %11
store i32 %5, i32* %12
store i32 0, i32* %13
store i32 0, i32* %13
br label %14
14: ; preds = %22, %6
%15 = load i32, i32* %13
%16 = icmp slt i32 %15, 16
br i1 %16, label %17, label %25
17: ; preds = %14
%18 = load i8*, i8** %7
%19 = load i32, i32* %13
%20 = sext i32 %19 to i64
%21 = getelementptr inbounds i8, i8* %18, i64 %20
store i8 0, i8* %21
br label %22
22: ; preds = %17
%23 = load i32, i32* %13
%24 = add nsw i32 %23, 1
store i32 %24, i32* %13
br label %14
25: ; preds = %14
store i32 0, i32* %13
%26 = load i8*, i8** %7
%27 = getelementptr inbounds i8, i8* %26, i64 0
store i8 1, i8* %27
%28 = load i32, i32* %9
%29 = icmp ne i32 %28, 0
br i1 %29, label %30, label %42
30: ; preds = %25
%31 = load i32, i32* %8
%32 = icmp ne i32 %31, 0
br i1 %32, label %33, label %42
33: ; preds = %30
%34 = load i8*, i8** %10
%35 = getelementptr inbounds i8, i8* %34, i64 30
%36 = load i8, i8* %35
%37 = zext i8 %36 to i32
%38 = and i32 %37, 15
%39 = trunc i32 %38 to i8
%40 = load i8*, i8** %7
%41 = getelementptr inbounds i8, i8* %40, i64 1
store i8 %39, i8* %41
br label %42
42: ; preds = %33, %30, %25
%43 = load i32, i32* %9
%44 = icmp ne i32 %43, 0
br i1 %44, label %45, label %57
45: ; preds = %42
%46 = load i32, i32* %8
%47 = icmp ne i32 %46, 0
br i1 %47, label %57, label %48
48: ; preds = %45
%49 = load i8*, i8** %10
%50 = getelementptr inbounds i8, i8* %49, i64 24
%51 = load i8, i8* %50
%52 = zext i8 %51 to i32
%53 = and i32 %52, 15
%54 = trunc i32 %53 to i8
%55 = load i8*, i8** %7
%56 = getelementptr inbounds i8, i8* %55, i64 1
store i8 %54, i8* %56
br label %57
57: ; preds = %48, %45, %42
store i32 2, i32* %13
br label %58
58: ; preds = %72, %57
%59 = load i32, i32* %13
%60 = icmp slt i32 %59, 8
br i1 %60, label %61, label %75
61: ; preds = %58
%62 = load i8*, i8** %10
%63 = load i32, i32* %13
%64 = add nsw i32 %63, 8
%65 = sext i32 %64 to i64
%66 = getelementptr inbounds i8, i8* %62, i64 %65
%67 = load i8, i8* %66
%68 = load i8*, i8** %7
%69 = load i32, i32* %13
%70 = sext i32 %69 to i64
%71 = getelementptr inbounds i8, i8* %68, i64 %70
store i8 %67, i8* %71
br label %72
72: ; preds = %61
%73 = load i32, i32* %13
%74 = add nsw i32 %73, 1
store i32 %74, i32* %13
br label %58
75: ; preds = %58
store i32 8, i32* %13
br label %76
76: ; preds = %90, %75
%77 = load i32, i32* %13
%78 = icmp slt i32 %77, 14
br i1 %78, label %79, label %93
79: ; preds = %76
%80 = load i8*, i8** %11
%81 = load i32, i32* %13
%82 = sub nsw i32 13, %81
%83 = sext i32 %82 to i64
%84 = getelementptr inbounds i8, i8* %80, i64 %83
%85 = load i8, i8* %84
%86 = load i8*, i8** %7
%87 = load i32, i32* %13
%88 = sext i32 %87 to i64
%89 = getelementptr inbounds i8, i8* %86, i64 %88
store i8 %85, i8* %89
br label %90
90: ; preds = %79
%91 = load i32, i32* %13
%92 = add nsw i32 %91, 1
store i32 %92, i32* %13
br label %76
93: ; preds = %76
%94 = load i32, i32* %12
%95 = sdiv i32 %94, 256
%96 = trunc i32 %95 to i8
%97 = load i8*, i8** %7
%98 = getelementptr inbounds i8, i8* %97, i64 14
store i8 %96, i8* %98
%99 = load i32, i32* %12
%100 = srem i32 %99, 256
%101 = trunc i32 %100 to i8
%102 = load i8*, i8** %7
%103 = getelementptr inbounds i8, i8* %102, i64 15
store i8 %101, i8* %103
ret void
}

LLVM IR (-O2):
define void @construct_ctr_preload(i8* nocapture writeonly %0, i32 %1, i32 %2, i8* nocapture %3, i8* nocapture %4, i32 %5) {
%7 = getelementptr inbounds i8, i8* %0, i64 1
store i8 1, i8* %0
%8 = icmp ne i32 %2, 0
%9 = icmp ne i32 %1, 0
%10 = and i1 %9, %8
br i1 %10, label %11, label %16
11: ; preds = %6
%12 = getelementptr inbounds i8, i8* %3, i64 30
%13 = load i8, i8* %12
%14 = and i8 %13, 15
%15 = getelementptr inbounds i8, i8* %0, i64 1
store i8 %14, i8* %15
br label %16
16: ; preds = %11, %6
%17 = icmp eq i32 %2, 0
%18 = or i1 %9, %17
br i1 %18, label %24, label %19
19: ; preds = %16
%20 = getelementptr inbounds i8, i8* %3, i64 24
%21 = load i8, i8* %20
%22 = and i8 %21, 15
%23 = getelementptr inbounds i8, i8* %0, i64 1
store i8 %22, i8* %23
br label %24
24: ; preds = %19, %16
%25 = getelementptr inbounds i8, i8* %3, i64 10
%26 = load i8, i8* %25
%27 = getelementptr inbounds i8, i8* %0, i64 2
store i8 %26, i8* %27
%28 = getelementptr inbounds i8, i8* %3, i64 11
%29 = load i8, i8* %28
%30 = getelementptr inbounds i8, i8* %0, i64 3
store i8 %29, i8* %30
%31 = getelementptr inbounds i8, i8* %3, i64 12
%32 = load i8, i8* %31
%33 = getelementptr inbounds i8, i8* %0, i64 4
store i8 %32, i8* %33
%34 = getelementptr inbounds i8, i8* %3, i64 13
%35 = load i8, i8* %34
%36 = getelementptr inbounds i8, i8* %0, i64 5
store i8 %35, i8* %36
%37 = getelementptr inbounds i8, i8* %3, i64 14
%38 = load i8, i8* %37
%39 = getelementptr inbounds i8, i8* %0, i64 6
store i8 %38, i8* %39
%40 = getelementptr inbounds i8, i8* %3, i64 15
%41 = load i8, i8* %40
%42 = getelementptr inbounds i8, i8* %0, i64 7
store i8 %41, i8* %42
%43 = getelementptr inbounds i8, i8* %4, i64 5
%44 = load i8, i8* %43
%45 = getelementptr inbounds i8, i8* %0, i64 8
store i8 %44, i8* %45
%46 = getelementptr inbounds i8, i8* %4, i64 4
%47 = load i8, i8* %46
%48 = getelementptr inbounds i8, i8* %0, i64 9
store i8 %47, i8* %48
%49 = getelementptr inbounds i8, i8* %4, i64 3
%50 = load i8, i8* %49
%51 = getelementptr inbounds i8, i8* %0, i64 10
store i8 %50, i8* %51
%52 = getelementptr inbounds i8, i8* %4, i64 2
%53 = load i8, i8* %52
%54 = getelementptr inbounds i8, i8* %0, i64 11
store i8 %53, i8* %54
%55 = getelementptr inbounds i8, i8* %4, i64 1
%56 = load i8, i8* %55
%57 = getelementptr inbounds i8, i8* %0, i64 12
store i8 %56, i8* %57
%58 = load i8, i8* %4
%59 = getelementptr inbounds i8, i8* %0, i64 13
store i8 %58, i8* %59
%60 = sdiv i32 %5, 256
%61 = trunc i32 %60 to i8
%62 = getelementptr inbounds i8, i8* %0, i64 14
store i8 %61, i8* %62
%63 = trunc i32 %5 to i8
%64 = getelementptr inbounds i8, i8* %0, i64 15
store i8 %63, i8* %64
ret void
}