#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 __u16;

/* Variables and functions */
int CEC_MSG_CDC_HEC_INQUIRE_STATE;
int CEC_MSG_CDC_MESSAGE;
int CEC_PHYS_ADDR_INVALID;
void cec_msg_cdc_hec_set_state(struct cec_msg *msg, __u16 phys_addr1,
                               __u16 phys_addr2, __u8 hec_set_state,
                               __u16 phys_addr3, __u16 phys_addr4,
                               __u16 phys_addr5) {
  msg->len = 10;
  msg->msg[0] |= 0xf;
  msg->msg[1] = CEC_MSG_CDC_MESSAGE;
  msg->msg[4] = CEC_MSG_CDC_HEC_INQUIRE_STATE;
  msg->msg[5] = phys_addr1 >> 8;
  msg->msg[6] = phys_addr1 & 0xff;
  msg->msg[7] = phys_addr2 >> 8;
  msg->msg[8] = phys_addr2 & 0xff;
  msg->msg[9] = hec_set_state;
  if (phys_addr3 != CEC_PHYS_ADDR_INVALID) {
    msg->msg[msg->len++] = phys_addr3 >> 8;
    msg->msg[msg->len++] = phys_addr3 & 0xff;
    if (phys_addr4 != CEC_PHYS_ADDR_INVALID) {
      msg->msg[msg->len++] = phys_addr4 >> 8;
      msg->msg[msg->len++] = phys_addr4 & 0xff;
      if (phys_addr5 != CEC_PHYS_ADDR_INVALID) {
        msg->msg[msg->len++] = phys_addr5 >> 8;
        msg->msg[msg->len++] = phys_addr5 & 0xff;
      }
    }
  }
}


x86 assembly (clang, -O0):
<cec_msg_cdc_hec_set_state>:
push   %rbp
mov    %rsp,%rbp
mov    0x10(%rbp),%eax
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %ecx,-0x14(%rbp)
mov    %r8d,-0x18(%rbp)
mov    %r9d,-0x1c(%rbp)
mov    -0x8(%rbp),%rax
movl   $0xa,(%rax)
mov    -0x8(%rbp),%rax
mov    0x8(%rax),%rax
mov    (%rax),%ecx
or     $0xf,%ecx
mov    %ecx,(%rax)
mov    0x2e94(%rip),%rax
mov    (%rax),%ecx
mov    -0x8(%rbp),%rax
mov    0x8(%rax),%rax
mov    %ecx,0x4(%rax)
mov    0x2e98(%rip),%rax
mov    (%rax),%ecx
mov    -0x8(%rbp),%rax
mov    0x8(%rax),%rax
mov    %ecx,0x10(%rax)
mov    -0xc(%rbp),%ecx
sar    $0x8,%ecx
mov    -0x8(%rbp),%rax
mov    0x8(%rax),%rax
mov    %ecx,0x14(%rax)
mov    -0xc(%rbp),%ecx
and    $0xff,%ecx
mov    -0x8(%rbp),%rax
mov    0x8(%rax),%rax
mov    %ecx,0x18(%rax)
mov    -0x10(%rbp),%ecx
sar    $0x8,%ecx
mov    -0x8(%rbp),%rax
mov    0x8(%rax),%rax
mov    %ecx,0x1c(%rax)
mov    -0x10(%rbp),%ecx
and    $0xff,%ecx
mov    -0x8(%rbp),%rax
mov    0x8(%rax),%rax
mov    %ecx,0x20(%rax)
mov    -0x14(%rbp),%ecx
mov    -0x8(%rbp),%rax
mov    0x8(%rax),%rax
mov    %ecx,0x24(%rax)
mov    -0x18(%rbp),%eax
mov    0x2e19(%rip),%rcx
cmp    (%rcx),%eax
je     12c4 <cec_msg_cdc_hec_set_state+0x1c4>
mov    -0x18(%rbp),%edx
sar    $0x8,%edx
mov    -0x8(%rbp),%rax
mov    0x8(%rax),%rax
mov    -0x8(%rbp),%rsi
mov    (%rsi),%ecx
mov    %ecx,%edi
add    $0x1,%edi
mov    %edi,(%rsi)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x18(%rbp),%edx
and    $0xff,%edx
mov    -0x8(%rbp),%rax
mov    0x8(%rax),%rax
mov    -0x8(%rbp),%rsi
mov    (%rsi),%ecx
mov    %ecx,%edi
add    $0x1,%edi
mov    %edi,(%rsi)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x1c(%rbp),%eax
mov    0x2dc2(%rip),%rcx
cmp    (%rcx),%eax
je     12bf <cec_msg_cdc_hec_set_state+0x1bf>
mov    -0x1c(%rbp),%edx
sar    $0x8,%edx
mov    -0x8(%rbp),%rax
mov    0x8(%rax),%rax
mov    -0x8(%rbp),%rsi
mov    (%rsi),%ecx
mov    %ecx,%edi
add    $0x1,%edi
mov    %edi,(%rsi)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x1c(%rbp),%edx
and    $0xff,%edx
mov    -0x8(%rbp),%rax
mov    0x8(%rax),%rax
mov    -0x8(%rbp),%rsi
mov    (%rsi),%ecx
mov    %ecx,%edi
add    $0x1,%edi
mov    %edi,(%rsi)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    0x10(%rbp),%eax
mov    0x2d6b(%rip),%rcx
cmp    (%rcx),%eax
je     12ba <cec_msg_cdc_hec_set_state+0x1ba>
mov    0x10(%rbp),%edx
sar    $0x8,%edx
mov    -0x8(%rbp),%rax
mov    0x8(%rax),%rax
mov    -0x8(%rbp),%rsi
mov    (%rsi),%ecx
mov    %ecx,%edi
add    $0x1,%edi
mov    %edi,(%rsi)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    0x10(%rbp),%edx
and    $0xff,%edx
mov    -0x8(%rbp),%rax
mov    0x8(%rax),%rax
mov    -0x8(%rbp),%rsi
mov    (%rsi),%ecx
mov    %ecx,%edi
add    $0x1,%edi
mov    %edi,(%rsi)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
jmp    12bf <cec_msg_cdc_hec_set_state+0x1bf>
jmp    12c4 <cec_msg_cdc_hec_set_state+0x1c4>
pop    %rbp
ret

x86 assembly (clang, -O2):
<cec_msg_cdc_hec_set_state>:
movl   $0xa,(%rdi)
mov    0x8(%rdi),%r10
orl    $0xf,(%r10)
mov    0x2ebb(%rip),%rax
mov    (%rax),%eax
mov    %eax,0x4(%r10)
mov    0x2ec6(%rip),%rax
mov    (%rax),%eax
mov    %eax,0x10(%r10)
movzbl %sil,%eax
sar    $0x8,%esi
mov    %esi,0x14(%r10)
mov    %eax,0x18(%r10)
movzbl %dl,%eax
sar    $0x8,%edx
mov    %edx,0x1c(%r10)
mov    %eax,0x20(%r10)
mov    %ecx,0x24(%r10)
mov    0x2e88(%rip),%rcx
cmp    %r8d,(%rcx)
je     11ca <cec_msg_cdc_hec_set_state+0xca>
mov    %r8d,%eax
sar    $0x8,%eax
movslq (%rdi),%rdx
lea    0x1(%rdx),%esi
mov    %esi,(%rdi)
mov    %eax,(%r10,%rdx,4)
movzbl %r8b,%eax
movslq (%rdi),%rdx
lea    0x1(%rdx),%esi
mov    %esi,(%rdi)
mov    %eax,(%r10,%rdx,4)
cmp    %r9d,(%rcx)
je     11ca <cec_msg_cdc_hec_set_state+0xca>
mov    0x8(%rsp),%r8d
mov    %r9d,%eax
sar    $0x8,%eax
movslq (%rdi),%rsi
lea    0x1(%rsi),%edx
mov    %edx,(%rdi)
mov    %eax,(%r10,%rsi,4)
movzbl %r9b,%eax
movslq (%rdi),%rdx
lea    0x1(%rdx),%esi
mov    %esi,(%rdi)
mov    %eax,(%r10,%rdx,4)
cmp    %r8d,(%rcx)
je     11ca <cec_msg_cdc_hec_set_state+0xca>
mov    %r8d,%eax
sar    $0x8,%eax
movslq (%rdi),%rcx
lea    0x1(%rcx),%edx
mov    %edx,(%rdi)
mov    %eax,(%r10,%rcx,4)
movzbl %r8b,%eax
movslq (%rdi),%rcx
lea    0x1(%rcx),%edx
mov    %edx,(%rdi)
mov    %eax,(%r10,%rcx,4)
ret

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

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