void construct_mic_header2(unsigned char *mic_header2, unsigned char *mpdu,
                           int a4_exists, int qc_exists) {
  int i;
  for (i = 0; i < 16; i++)
    mic_header2[i] = 0x00;
  mic_header2[0] = mpdu[16];
  mic_header2[1] = mpdu[17];
  mic_header2[2] = mpdu[18];
  mic_header2[3] = mpdu[19];
  mic_header2[4] = mpdu[20];
  mic_header2[5] = mpdu[21];
  mic_header2[6] = mpdu[22] & 0x0f;
  mic_header2[7] = 0x00;
  if ((!qc_exists) && a4_exists) {
    for (i = 0; i < 6; i++)
      mic_header2[8 + i] = mpdu[24 + i];
  }
  if (qc_exists && (!a4_exists)) {
    mic_header2[8] = mpdu[24] & 0x0f;
    mic_header2[9] = mpdu[25] & 0x00;
  }
  if (qc_exists && a4_exists) {
    for (i = 0; i < 6; i++)
      mic_header2[8 + i] = mpdu[24 + i];
    mic_header2[14] = mpdu[30] & 0x0f;
    mic_header2[15] = mpdu[31] & 0x00;
  }
}


x86 assembly (clang, -O0):
<construct_mic_header2>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %ecx,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
cmpl   $0x10,-0x1c(%rbp)
jge    113d <construct_mic_header2+0x3d>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1119 <construct_mic_header2+0x19>
mov    -0x10(%rbp),%rax
mov    0x10(%rax),%cl
mov    -0x8(%rbp),%rax
mov    %cl,(%rax)
mov    -0x10(%rbp),%rax
mov    0x11(%rax),%cl
mov    -0x8(%rbp),%rax
mov    %cl,0x1(%rax)
mov    -0x10(%rbp),%rax
mov    0x12(%rax),%cl
mov    -0x8(%rbp),%rax
mov    %cl,0x2(%rax)
mov    -0x10(%rbp),%rax
mov    0x13(%rax),%cl
mov    -0x8(%rbp),%rax
mov    %cl,0x3(%rax)
mov    -0x10(%rbp),%rax
mov    0x14(%rax),%cl
mov    -0x8(%rbp),%rax
mov    %cl,0x4(%rax)
mov    -0x10(%rbp),%rax
mov    0x15(%rax),%cl
mov    -0x8(%rbp),%rax
mov    %cl,0x5(%rax)
mov    -0x10(%rbp),%rax
movzbl 0x16(%rax),%eax
and    $0xf,%eax
mov    %al,%cl
mov    -0x8(%rbp),%rax
mov    %cl,0x6(%rax)
mov    -0x8(%rbp),%rax
movb   $0x0,0x7(%rax)
cmpl   $0x0,-0x18(%rbp)
jne    1204 <construct_mic_header2+0x104>
cmpl   $0x0,-0x14(%rbp)
je     1204 <construct_mic_header2+0x104>
movl   $0x0,-0x1c(%rbp)
cmpl   $0x6,-0x1c(%rbp)
jge    11ff <construct_mic_header2+0xff>
mov    -0x10(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    $0x18,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    $0x8,%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    11c7 <construct_mic_header2+0xc7>
jmp    1204 <construct_mic_header2+0x104>
cmpl   $0x0,-0x18(%rbp)
je     1240 <construct_mic_header2+0x140>
cmpl   $0x0,-0x14(%rbp)
jne    1240 <construct_mic_header2+0x140>
mov    -0x10(%rbp),%rax
movzbl 0x18(%rax),%eax
and    $0xf,%eax
mov    %al,%cl
mov    -0x8(%rbp),%rax
mov    %cl,0x8(%rax)
mov    -0x10(%rbp),%rax
movzbl 0x19(%rax),%eax
and    $0x0,%eax
mov    %al,%cl
mov    -0x8(%rbp),%rax
mov    %cl,0x9(%rax)
cmpl   $0x0,-0x18(%rbp)
je     12bb <construct_mic_header2+0x1bb>
cmpl   $0x0,-0x14(%rbp)
je     12bb <construct_mic_header2+0x1bb>
movl   $0x0,-0x1c(%rbp)
cmpl   $0x6,-0x1c(%rbp)
jge    1293 <construct_mic_header2+0x193>
mov    -0x10(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    $0x18,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    $0x8,%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    125b <construct_mic_header2+0x15b>
mov    -0x10(%rbp),%rax
movzbl 0x1e(%rax),%eax
and    $0xf,%eax
mov    %al,%cl
mov    -0x8(%rbp),%rax
mov    %cl,0xe(%rax)
mov    -0x10(%rbp),%rax
movzbl 0x1f(%rax),%eax
and    $0x0,%eax
mov    %al,%cl
mov    -0x8(%rbp),%rax
mov    %cl,0xf(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<construct_mic_header2>:
xorps  %xmm0,%xmm0
movups %xmm0,(%rdi)
mov    0x10(%rsi),%al
mov    %al,(%rdi)
mov    0x11(%rsi),%al
mov    %al,0x1(%rdi)
mov    0x12(%rsi),%al
mov    %al,0x2(%rdi)
mov    0x13(%rsi),%al
mov    %al,0x3(%rdi)
mov    0x14(%rsi),%al
mov    %al,0x4(%rdi)
mov    0x15(%rsi),%al
mov    %al,0x5(%rdi)
mov    0x16(%rsi),%al
and    $0xf,%al
mov    %al,0x6(%rdi)
movb   $0x0,0x7(%rdi)
test   %edx,%edx
je     1161 <construct_mic_header2+0x61>
test   %ecx,%ecx
jne    1161 <construct_mic_header2+0x61>
mov    0x18(%rsi),%al
mov    %al,0x8(%rdi)
mov    0x19(%rsi),%al
mov    %al,0x9(%rdi)
mov    0x1a(%rsi),%al
mov    %al,0xa(%rdi)
mov    0x1b(%rsi),%al
mov    %al,0xb(%rdi)
mov    0x1c(%rsi),%al
mov    %al,0xc(%rdi)
mov    0x1d(%rsi),%al
mov    %al,0xd(%rdi)
test   %edx,%edx
jne    1175 <construct_mic_header2+0x75>
test   %ecx,%ecx
je     1175 <construct_mic_header2+0x75>
mov    0x18(%rsi),%al
and    $0xf,%al
mov    %al,0x8(%rdi)
movb   $0x0,0x9(%rdi)
test   %edx,%edx
je     11ad <construct_mic_header2+0xad>
test   %ecx,%ecx
je     11ad <construct_mic_header2+0xad>
mov    0x18(%rsi),%al
mov    %al,0x8(%rdi)
mov    0x19(%rsi),%al
mov    %al,0x9(%rdi)
mov    0x1a(%rsi),%al
mov    %al,0xa(%rdi)
mov    0x1b(%rsi),%al
mov    %al,0xb(%rdi)
mov    0x1c(%rsi),%al
mov    %al,0xc(%rdi)
mov    0x1d(%rsi),%al
mov    %al,0xd(%rdi)
mov    0x1e(%rsi),%al
and    $0xf,%al
mov    %al,0xe(%rdi)
movb   $0x0,0xf(%rdi)
ret

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

LLVM IR (-O2):
define void @construct_mic_header2(i8* nocapture writeonly %0, i8* nocapture %1, i32 %2, i32 %3) {
%5 = getelementptr inbounds i8, i8* %1, i64 16
%6 = load i8, i8* %5
store i8 %6, i8* %0
%7 = getelementptr inbounds i8, i8* %1, i64 17
%8 = load i8, i8* %7
%9 = getelementptr inbounds i8, i8* %0, i64 1
store i8 %8, i8* %9
%10 = getelementptr inbounds i8, i8* %1, i64 18
%11 = load i8, i8* %10
%12 = getelementptr inbounds i8, i8* %0, i64 2
store i8 %11, i8* %12
%13 = getelementptr inbounds i8, i8* %1, i64 19
%14 = load i8, i8* %13
%15 = getelementptr inbounds i8, i8* %0, i64 3
store i8 %14, i8* %15
%16 = getelementptr inbounds i8, i8* %1, i64 20
%17 = load i8, i8* %16
%18 = getelementptr inbounds i8, i8* %0, i64 4
store i8 %17, i8* %18
%19 = getelementptr inbounds i8, i8* %1, i64 21
%20 = load i8, i8* %19
%21 = getelementptr inbounds i8, i8* %0, i64 5
store i8 %20, i8* %21
%22 = getelementptr inbounds i8, i8* %1, i64 22
%23 = load i8, i8* %22
%24 = and i8 %23, 15
%25 = getelementptr inbounds i8, i8* %0, i64 6
store i8 %24, i8* %25
%26 = getelementptr inbounds i8, i8* %0, i64 7
store i8 0, i8* %26
%27 = icmp eq i32 %3, 0
%28 = icmp ne i32 %2, 0
%29 = and i1 %28, %27
br i1 %29, label %30, label %49
30: ; preds = %4
%31 = getelementptr inbounds i8, i8* %1, i64 24
%32 = load i8, i8* %31
%33 = getelementptr inbounds i8, i8* %0, i64 8
store i8 %32, i8* %33
%34 = getelementptr inbounds i8, i8* %1, i64 25
%35 = load i8, i8* %34
%36 = getelementptr inbounds i8, i8* %0, i64 9
store i8 %35, i8* %36
%37 = getelementptr inbounds i8, i8* %1, i64 26
%38 = load i8, i8* %37
%39 = getelementptr inbounds i8, i8* %0, i64 10
store i8 %38, i8* %39
%40 = getelementptr inbounds i8, i8* %1, i64 27
%41 = load i8, i8* %40
%42 = getelementptr inbounds i8, i8* %0, i64 11
store i8 %41, i8* %42
%43 = getelementptr inbounds i8, i8* %1, i64 28
%44 = load i8, i8* %43
%45 = getelementptr inbounds i8, i8* %0, i64 12
store i8 %44, i8* %45
%46 = getelementptr inbounds i8, i8* %1, i64 29
%47 = load i8, i8* %46
%48 = getelementptr inbounds i8, i8* %0, i64 13
store i8 %47, i8* %48
br label %49
49: ; preds = %30, %4
%50 = or i1 %28, %27
br i1 %50, label %57, label %51
51: ; preds = %49
%52 = getelementptr inbounds i8, i8* %1, i64 24
%53 = load i8, i8* %52
%54 = and i8 %53, 15
%55 = getelementptr inbounds i8, i8* %0, i64 8
store i8 %54, i8* %55
%56 = getelementptr inbounds i8, i8* %0, i64 9
store i8 0, i8* %56
br label %57
57: ; preds = %51, %49
%58 = icmp ne i32 %3, 0
%59 = and i1 %28, %58
br i1 %59, label %60, label %84
60: ; preds = %57
%61 = getelementptr inbounds i8, i8* %1, i64 24
%62 = load i8, i8* %61
%63 = getelementptr inbounds i8, i8* %0, i64 8
store i8 %62, i8* %63
%64 = getelementptr inbounds i8, i8* %1, i64 25
%65 = load i8, i8* %64
%66 = getelementptr inbounds i8, i8* %0, i64 9
store i8 %65, i8* %66
%67 = getelementptr inbounds i8, i8* %1, i64 26
%68 = load i8, i8* %67
%69 = getelementptr inbounds i8, i8* %0, i64 10
store i8 %68, i8* %69
%70 = getelementptr inbounds i8, i8* %1, i64 27
%71 = load i8, i8* %70
%72 = getelementptr inbounds i8, i8* %0, i64 11
store i8 %71, i8* %72
%73 = getelementptr inbounds i8, i8* %1, i64 28
%74 = load i8, i8* %73
%75 = getelementptr inbounds i8, i8* %0, i64 12
store i8 %74, i8* %75
%76 = getelementptr inbounds i8, i8* %1, i64 29
%77 = load i8, i8* %76
%78 = getelementptr inbounds i8, i8* %0, i64 13
store i8 %77, i8* %78
%79 = getelementptr inbounds i8, i8* %1, i64 30
%80 = load i8, i8* %79
%81 = and i8 %80, 15
%82 = getelementptr inbounds i8, i8* %0, i64 14
store i8 %81, i8* %82
%83 = getelementptr inbounds i8, i8* %0, i64 15
store i8 0, i8* %83
br label %84
84: ; preds = %60, %57
ret void
}