#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 */
struct cec_msg {
  int len;
  int *msg;
};
typedef int __u8;
typedef int __u32;

/* Variables and functions */
int CEC_MSG_REPORT_SHORT_AUDIO_DESCRIPTOR;
void cec_msg_report_short_audio_descriptor(struct cec_msg *msg,
                                           __u8 num_descriptors,
                                           const __u32 *descriptors) {
  unsigned int i;
  if (num_descriptors > 4)
    num_descriptors = 4;
  msg->len = 2 + num_descriptors * 3;
  msg->msg[1] = CEC_MSG_REPORT_SHORT_AUDIO_DESCRIPTOR;
  for (i = 0; i < num_descriptors; i++) {
    msg->msg[2 + i * 3] = (descriptors[i] >> 16) & 0xff;
    msg->msg[3 + i * 3] = (descriptors[i] >> 8) & 0xff;
    msg->msg[4 + i * 3] = descriptors[i] & 0xff;
  }
}


x86 assembly (clang, -O0):
<cec_msg_report_short_audio_descriptor>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
cmpl   $0x4,-0xc(%rbp)
jle    1120 <cec_msg_report_short_audio_descriptor+0x20>
movl   $0x4,-0xc(%rbp)
imul   $0x3,-0xc(%rbp),%ecx
add    $0x2,%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,(%rax)
mov    0x2eac(%rip),%rax
mov    (%rax),%ecx
mov    -0x8(%rbp),%rax
mov    0x8(%rax),%rax
mov    %ecx,0x4(%rax)
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0xc(%rbp),%eax
jae    11d4 <cec_msg_report_short_audio_descriptor+0xd4>
mov    -0x18(%rbp),%rax
mov    -0x1c(%rbp),%ecx
mov    (%rax,%rcx,4),%edx
sar    $0x10,%edx
and    $0xff,%edx
mov    -0x8(%rbp),%rax
mov    0x8(%rax),%rax
imul   $0x3,-0x1c(%rbp),%ecx
add    $0x2,%ecx
mov    %ecx,%ecx
mov    %edx,(%rax,%rcx,4)
mov    -0x18(%rbp),%rax
mov    -0x1c(%rbp),%ecx
mov    (%rax,%rcx,4),%edx
sar    $0x8,%edx
and    $0xff,%edx
mov    -0x8(%rbp),%rax
mov    0x8(%rax),%rax
imul   $0x3,-0x1c(%rbp),%ecx
add    $0x3,%ecx
mov    %ecx,%ecx
mov    %edx,(%rax,%rcx,4)
mov    -0x18(%rbp),%rax
mov    -0x1c(%rbp),%ecx
mov    (%rax,%rcx,4),%edx
and    $0xff,%edx
mov    -0x8(%rbp),%rax
mov    0x8(%rax),%rax
imul   $0x3,-0x1c(%rbp),%ecx
add    $0x4,%ecx
mov    %ecx,%ecx
mov    %edx,(%rax,%rcx,4)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1148 <cec_msg_report_short_audio_descriptor+0x48>
pop    %rbp
ret

x86 assembly (clang, -O2):
<cec_msg_report_short_audio_descriptor>:
push   %rbp
push   %rbx
cmp    $0x4,%esi
mov    $0x4,%eax
cmovl  %esi,%eax
mov    %rdx,%rcx
lea    (%rax,%rax,2),%edx
add    $0x2,%edx
mov    %edx,(%rdi)
mov    0x2ec1(%rip),%rdx
mov    (%rdx),%edx
mov    0x8(%rdi),%rdi
mov    %edx,0x4(%rdi)
test   %eax,%eax
je     116b <cec_msg_report_short_audio_descriptor+0x6b>
mov    %eax,%r10d
cmp    $0x4,%eax
jae    116e <cec_msg_report_short_audio_descriptor+0x6e>
xor    %edx,%edx
lea    (%rdx,%rdx,2),%eax
add    $0x4,%eax
nopl   0x0(%rax)
movzbl 0x2(%rcx,%rdx,4),%esi
lea    -0x2(%rax),%ebp
mov    %esi,(%rdi,%rbp,4)
movzbl 0x1(%rcx,%rdx,4),%esi
lea    -0x1(%rax),%ebp
mov    %esi,(%rdi,%rbp,4)
movzbl (%rcx,%rdx,4),%esi
mov    %eax,%ebp
mov    %esi,(%rdi,%rbp,4)
add    $0x1,%rdx
add    $0x3,%eax
cmp    %rdx,%r10
jne    1140 <cec_msg_report_short_audio_descriptor+0x40>
pop    %rbx
pop    %rbp
ret
lea    -0x1(%r10),%r9
mov    $0x3,%edx
mov    %r9d,%eax
mul    %edx
mov    %eax,%r8d
seto   %r11b
mov    $0xc,%edx
mov    %r9,%rax
mul    %rdx
seto   %bpl
xor    %edx,%edx
cmp    $0xfffffffd,%r8d
ja     1136 <cec_msg_report_short_audio_descriptor+0x36>
test   %r11b,%r11b
jne    1136 <cec_msg_report_short_audio_descriptor+0x36>
shr    $0x20,%r9
jne    1136 <cec_msg_report_short_audio_descriptor+0x36>
cmp    $0xfffffffc,%r8d
ja     1136 <cec_msg_report_short_audio_descriptor+0x36>
test   %r11b,%r11b
jne    1136 <cec_msg_report_short_audio_descriptor+0x36>
test   %r9,%r9
jne    1136 <cec_msg_report_short_audio_descriptor+0x36>
cmp    $0xfffffffb,%r8d
ja     1136 <cec_msg_report_short_audio_descriptor+0x36>
test   %r11b,%r11b
jne    1136 <cec_msg_report_short_audio_descriptor+0x36>
test   %r9,%r9
jne    1136 <cec_msg_report_short_audio_descriptor+0x36>
lea    0xc(%rdi),%rsi
lea    (%rdi,%rax,1),%rbx
add    $0xc,%rbx
cmp    %rsi,%rbx
jb     1136 <cec_msg_report_short_audio_descriptor+0x36>
test   %bpl,%bpl
jne    1136 <cec_msg_report_short_audio_descriptor+0x36>
lea    0x10(%rdi),%rsi
lea    (%rdi,%rax,1),%rbx
add    $0x10,%rbx
cmp    %rsi,%rbx
jb     1136 <cec_msg_report_short_audio_descriptor+0x36>
test   %bpl,%bpl
jne    1136 <cec_msg_report_short_audio_descriptor+0x36>
lea    0x8(%rdi),%rsi
add    %rdi,%rax
add    $0x8,%rax
cmp    %rsi,%rax
jb     1136 <cec_msg_report_short_audio_descriptor+0x36>
test   %bpl,%bpl
jne    1136 <cec_msg_report_short_audio_descriptor+0x36>
lea    (%r10,%r10,2),%rax
lea    (%rdi,%rax,4),%rax
add    $0x8,%rax
cmp    %rcx,%rax
jbe    1248 <cec_msg_report_short_audio_descriptor+0x148>
lea    (%rcx,%r10,4),%rax
cmp    %rax,%rsi
jb     1134 <cec_msg_report_short_audio_descriptor+0x34>
mov    %r10d,%edx
and    $0xfffffffc,%edx
mov    $0x4,%ebp
xor    %esi,%esi
movdqa 0xda3(%rip),%xmm0
nopl   (%rax)
movdqu (%rcx,%rsi,4),%xmm1
movdqa %xmm1,%xmm2
psrld  $0x10,%xmm2
pand   %xmm0,%xmm2
movdqa %xmm1,%xmm3
psrld  $0x8,%xmm3
pand   %xmm0,%xmm3
pand   %xmm0,%xmm1
mov    %ebp,%eax
and    $0xfffffffc,%eax
movdqa %xmm1,%xmm4
shufps $0xd4,%xmm2,%xmm4
movdqa %xmm2,%xmm5
punpckldq %xmm3,%xmm5
shufps $0x84,%xmm4,%xmm5
movdqa %xmm2,%xmm4
punpckhqdq %xmm3,%xmm4
movdqa %xmm1,%xmm6
shufps $0x11,%xmm3,%xmm6
shufps $0x82,%xmm4,%xmm6
shufps $0xff,%xmm1,%xmm3
unpckhps %xmm2,%xmm1
shufps $0x8c,%xmm3,%xmm1
movups %xmm1,0x18(%rdi,%rax,4)
movups %xmm6,0x8(%rdi,%rax,4)
movups %xmm5,-0x8(%rdi,%rax,4)
add    $0x4,%rsi
add    $0xc,%rbp
cmp    %rsi,%rdx
jne    1260 <cec_msg_report_short_audio_descriptor+0x160>
cmp    %r10,%rdx
je     116b <cec_msg_report_short_audio_descriptor+0x6b>
jmp    1136 <cec_msg_report_short_audio_descriptor+0x36>

LLVM IR (-O0):
%struct.cec_msg = type { i32, i32* }
@CEC_MSG_REPORT_SHORT_AUDIO_DESCRIPTOR = global i32 0
define void @cec_msg_report_short_audio_descriptor(%struct.cec_msg* %0, i32 %1, i32* %2) {
%4 = alloca %struct.cec_msg*
%5 = alloca i32
%6 = alloca i32*
%7 = alloca i32
store %struct.cec_msg* %0, %struct.cec_msg** %4
store i32 %1, i32* %5
store i32* %2, i32** %6
%8 = load i32, i32* %5
%9 = icmp sgt i32 %8, 4
br i1 %9, label %10, label %11
10: ; preds = %3
store i32 4, i32* %5
br label %11
11: ; preds = %10, %3
%12 = load i32, i32* %5
%13 = mul nsw i32 %12, 3
%14 = add nsw i32 2, %13
%15 = load %struct.cec_msg*, %struct.cec_msg** %4
%16 = getelementptr inbounds %struct.cec_msg, %struct.cec_msg* %15, i32 0, i32 0
store i32 %14, i32* %16
%17 = load i32, i32* @CEC_MSG_REPORT_SHORT_AUDIO_DESCRIPTOR
%18 = load %struct.cec_msg*, %struct.cec_msg** %4
%19 = getelementptr inbounds %struct.cec_msg, %struct.cec_msg* %18, i32 0, i32 1
%20 = load i32*, i32** %19
%21 = getelementptr inbounds i32, i32* %20, i64 1
store i32 %17, i32* %21
store i32 0, i32* %7
br label %22
22: ; preds = %71, %11
%23 = load i32, i32* %7
%24 = load i32, i32* %5
%25 = icmp ult i32 %23, %24
br i1 %25, label %26, label %74
26: ; preds = %22
%27 = load i32*, i32** %6
%28 = load i32, i32* %7
%29 = zext i32 %28 to i64
%30 = getelementptr inbounds i32, i32* %27, i64 %29
%31 = load i32, i32* %30
%32 = ashr i32 %31, 16
%33 = and i32 %32, 255
%34 = load %struct.cec_msg*, %struct.cec_msg** %4
%35 = getelementptr inbounds %struct.cec_msg, %struct.cec_msg* %34, i32 0, i32 1
%36 = load i32*, i32** %35
%37 = load i32, i32* %7
%38 = mul i32 %37, 3
%39 = add i32 2, %38
%40 = zext i32 %39 to i64
%41 = getelementptr inbounds i32, i32* %36, i64 %40
store i32 %33, i32* %41
%42 = load i32*, i32** %6
%43 = load i32, i32* %7
%44 = zext i32 %43 to i64
%45 = getelementptr inbounds i32, i32* %42, i64 %44
%46 = load i32, i32* %45
%47 = ashr i32 %46, 8
%48 = and i32 %47, 255
%49 = load %struct.cec_msg*, %struct.cec_msg** %4
%50 = getelementptr inbounds %struct.cec_msg, %struct.cec_msg* %49, i32 0, i32 1
%51 = load i32*, i32** %50
%52 = load i32, i32* %7
%53 = mul i32 %52, 3
%54 = add i32 3, %53
%55 = zext i32 %54 to i64
%56 = getelementptr inbounds i32, i32* %51, i64 %55
store i32 %48, i32* %56
%57 = load i32*, i32** %6
%58 = load i32, i32* %7
%59 = zext i32 %58 to i64
%60 = getelementptr inbounds i32, i32* %57, i64 %59
%61 = load i32, i32* %60
%62 = and i32 %61, 255
%63 = load %struct.cec_msg*, %struct.cec_msg** %4
%64 = getelementptr inbounds %struct.cec_msg, %struct.cec_msg* %63, i32 0, i32 1
%65 = load i32*, i32** %64
%66 = load i32, i32* %7
%67 = mul i32 %66, 3
%68 = add i32 4, %67
%69 = zext i32 %68 to i64
%70 = getelementptr inbounds i32, i32* %65, i64 %69
store i32 %62, i32* %70
br label %71
71: ; preds = %26
%72 = load i32, i32* %7
%73 = add i32 %72, 1
store i32 %73, i32* %7
br label %22
74: ; preds = %22
ret void
}

LLVM IR (-O2):
%struct.cec_msg = type { i32, i32* }
@CEC_MSG_REPORT_SHORT_AUDIO_DESCRIPTOR = global i32 0
define void @cec_msg_report_short_audio_descriptor(%struct.cec_msg* nocapture %0, i32 %1, i32* nocapture %2) {
%4 = icmp slt i32 %1, 4
%5 = select i1 %4, i32 %1, i32 4
%6 = mul nsw i32 %5, 3
%7 = add nsw i32 %6, 2
%8 = getelementptr inbounds %struct.cec_msg, %struct.cec_msg* %0, i64 0, i32 0
store i32 %7, i32* %8
%9 = load i32, i32* @CEC_MSG_REPORT_SHORT_AUDIO_DESCRIPTOR
%10 = getelementptr inbounds %struct.cec_msg, %struct.cec_msg* %0, i64 0, i32 1
%11 = load i32*, i32** %10
%12 = getelementptr inbounds i32, i32* %11, i64 1
store i32 %9, i32* %12
%13 = icmp eq i32 %5, 0
br i1 %13, label %134, label %14
14: ; preds = %3
%15 = zext i32 %5 to i64
%16 = icmp ult i32 %5, 4
br i1 %16, label %108, label %17
17: ; preds = %14
%18 = add nsw i64 %15, -1
%19 = trunc i64 %18 to i32
%20 = call { i32, i1 } @llvm.umul.with.overflow.i32(i32 %19, i32 3)
%21 = extractvalue { i32, i1 } %20, 0
%22 = extractvalue { i32, i1 } %20, 1
%23 = icmp ugt i32 %21, -3
%24 = or i1 %23, %22
%25 = icmp ugt i64 %18, 4294967295
%26 = or i1 %24, %25
%27 = trunc i64 %18 to i32
%28 = call { i32, i1 } @llvm.umul.with.overflow.i32(i32 %27, i32 3)
%29 = extractvalue { i32, i1 } %28, 0
%30 = extractvalue { i32, i1 } %28, 1
%31 = icmp ugt i32 %29, -4
%32 = or i1 %31, %30
%33 = icmp ugt i64 %18, 4294967295
%34 = or i1 %32, %33
%35 = trunc i64 %18 to i32
%36 = call { i32, i1 } @llvm.umul.with.overflow.i32(i32 %35, i32 3)
%37 = extractvalue { i32, i1 } %36, 0
%38 = extractvalue { i32, i1 } %36, 1
%39 = icmp ugt i32 %37, -5
%40 = or i1 %39, %38
%41 = icmp ugt i64 %18, 4294967295
%42 = or i1 %40, %41
%43 = getelementptr i32, i32* %11, i64 3
%44 = call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %18, i64 12)
%45 = extractvalue { i64, i1 } %44, 0
%46 = extractvalue { i64, i1 } %44, 1
%47 = bitcast i32* %43 to i8*
%48 = getelementptr i8, i8* %47, i64 %45
%49 = icmp ult i8* %48, %47
%50 = or i1 %49, %46
%51 = getelementptr i32, i32* %11, i64 4
%52 = call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %18, i64 12)
%53 = extractvalue { i64, i1 } %52, 0
%54 = extractvalue { i64, i1 } %52, 1
%55 = bitcast i32* %51 to i8*
%56 = getelementptr i8, i8* %55, i64 %53
%57 = icmp ult i8* %56, %55
%58 = or i1 %57, %54
%59 = getelementptr i32, i32* %11, i64 2
%60 = call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %18, i64 12)
%61 = extractvalue { i64, i1 } %60, 0
%62 = extractvalue { i64, i1 } %60, 1
%63 = bitcast i32* %59 to i8*
%64 = getelementptr i8, i8* %63, i64 %61
%65 = icmp ult i8* %64, %63
%66 = or i1 %65, %62
%67 = or i1 %26, %34
%68 = or i1 %67, %42
%69 = or i1 %68, %50
%70 = or i1 %69, %58
%71 = or i1 %70, %66
br i1 %71, label %108, label %72
72: ; preds = %17
%73 = getelementptr i32, i32* %2, i64 %15
%74 = getelementptr i32, i32* %11, i64 2
%75 = mul nuw nsw i64 %15, 3
%76 = add nuw nsw i64 %75, 2
%77 = getelementptr i32, i32* %11, i64 %76
%78 = icmp ugt i32* %77, %2
%79 = icmp ult i32* %74, %73
%80 = and i1 %78, %79
br i1 %80, label %108, label %81
81: ; preds = %72
%82 = and i64 %15, 4294967292
%83 = getelementptr inbounds i32, i32* %11, i64 -2
br label %84
84: ; preds = %84, %81
%85 = phi i64 [ 0, %81 ], [ %104, %84 ]
%86 = getelementptr inbounds i32, i32* %2, i64 %85
%87 = bitcast i32* %86 to <4 x i32>*
%88 = load <4 x i32>, <4 x i32>* %87
%89 = lshr <4 x i32> %88, <i32 16, i32 16, i32 16, i32 16>
%90 = and <4 x i32> %89, <i32 255, i32 255, i32 255, i32 255>
%91 = mul i64 %85, 3
%92 = lshr <4 x i32> %88, <i32 8, i32 8, i32 8, i32 8>
%93 = and <4 x i32> %92, <i32 255, i32 255, i32 255, i32 255>
%94 = bitcast i32* %86 to <4 x i32>*
%95 = load <4 x i32>, <4 x i32>* %94
%96 = and <4 x i32> %95, <i32 255, i32 255, i32 255, i32 255>
%97 = add i64 %91, 4
%98 = and i64 %97, 4294967292
%99 = getelementptr inbounds i32, i32* %83, i64 %98
%100 = bitcast i32* %99 to <12 x i32>*
%101 = shufflevector <4 x i32> %90, <4 x i32> %93, <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7>
%102 = shufflevector <4 x i32> %96, <4 x i32> poison, <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 undef, i32 undef, i32 undef, i32 undef>
%103 = shufflevector <8 x i32> %101, <8 x i32> %102, <12 x i32> <i32 0, i32 4, i32 8, i32 1, i32 5, i32 9, i32 2, i32 6, i32 10, i32 3, i32 7, i32 11>
store <12 x i32> %103, <12 x i32>* %100
%104 = add nuw i64 %85, 4
%105 = icmp eq i64 %104, %82
br i1 %105, label %106, label %84
106: ; preds = %84
%107 = icmp eq i64 %82, %15
br i1 %107, label %134, label %108
108: ; preds = %72, %17, %14, %106
%109 = phi i64 [ 0, %72 ], [ 0, %17 ], [ 0, %14 ], [ %82, %106 ]
br label %110
110: ; preds = %108, %110
%111 = phi i64 [ %132, %110 ], [ %109, %108 ]
%112 = getelementptr inbounds i32, i32* %2, i64 %111
%113 = load i32, i32* %112
%114 = lshr i32 %113, 16
%115 = and i32 %114, 255
%116 = trunc i64 %111 to i32
%117 = mul i32 %116, 3
%118 = add i32 %117, 2
%119 = zext i32 %118 to i64
%120 = getelementptr inbounds i32, i32* %11, i64 %119
store i32 %115, i32* %120
%121 = load i32, i32* %112
%122 = lshr i32 %121, 8
%123 = and i32 %122, 255
%124 = add i32 %117, 3
%125 = zext i32 %124 to i64
%126 = getelementptr inbounds i32, i32* %11, i64 %125
store i32 %123, i32* %126
%127 = load i32, i32* %112
%128 = and i32 %127, 255
%129 = add i32 %117, 4
%130 = zext i32 %129 to i64
%131 = getelementptr inbounds i32, i32* %11, i64 %130
store i32 %128, i32* %131
%132 = add nuw nsw i64 %111, 1
%133 = icmp eq i64 %132, %15
br i1 %133, label %134, label %110
134: ; preds = %110, %106, %3
ret void
}