#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 uint_fast8_t;
typedef int uint32_t;

/* Variables and functions */
void PWMOutputUpdateMode(uint32_t ui32Base, uint32_t ui32PWMOutBits,
                         uint32_t ui32Mode) {
  uint_fast8_t ui8Index;
  uint32_t ui32PWMOutputMask;
  uint32_t ui32UpdateValueMask;
  uint32_t ui32UpdateValue;
  uint32_t ui32Temp;
  ;

  ;

  ;
  ui8Index = 0;
  ui32PWMOutputMask = 1;
  ui32UpdateValue = 0;
  ui32UpdateValueMask = 0;
  while (ui8Index < 8) {
    if (ui32PWMOutputMask & ui32PWMOutBits) {
      ui32UpdateValue |= ui32Mode << (ui8Index * 2);
      ui32UpdateValueMask |= 3 << (ui8Index * 2);
    }
    ui32PWMOutputMask = ui32PWMOutputMask << 1;
    ui8Index++;
  }
  ui32Temp =
      ~ui32UpdateValueMask & (*((volatile uint32_t *)(ui32Base + 0x00000028)));
  (*((volatile uint32_t *)(ui32Base + 0x00000028))) =
      ui32Temp | ui32UpdateValue;
}


x86 assembly (clang, -O0):
<PWMOutputUpdateMode>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %edx,-0xc(%rbp)
movl   $0x0,-0x10(%rbp)
movl   $0x1,-0x14(%rbp)
movl   $0x0,-0x1c(%rbp)
movl   $0x0,-0x18(%rbp)
cmpl   $0x8,-0x10(%rbp)
jge    117d <PWMOutputUpdateMode+0x7d>
mov    -0x14(%rbp),%eax
and    -0x8(%rbp),%eax
cmp    $0x0,%eax
je     1166 <PWMOutputUpdateMode+0x66>
mov    -0xc(%rbp),%eax
mov    -0x10(%rbp),%ecx
shl    $0x1,%ecx
shl    %cl,%eax
or     -0x1c(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x10(%rbp),%ecx
shl    $0x1,%ecx
mov    $0x3,%eax
shl    %cl,%eax
or     -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x14(%rbp),%eax
shl    $0x1,%eax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1129 <PWMOutputUpdateMode+0x29>
mov    -0x18(%rbp),%eax
xor    $0xffffffff,%eax
mov    -0x4(%rbp),%ecx
add    $0x28,%ecx
movslq %ecx,%rcx
mov    (%rcx),%ecx
and    %ecx,%eax
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%ecx
or     -0x1c(%rbp),%ecx
mov    -0x4(%rbp),%eax
add    $0x28,%eax
cltq
mov    %ecx,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<PWMOutputUpdateMode>:
push   %rbp
push   %rbx
movd   %esi,%xmm0
pshufd $0x0,%xmm0,%xmm0
movdqa 0xeed(%rip),%xmm1
pand   %xmm0,%xmm1
pand   0xef1(%rip),%xmm0
pxor   %xmm2,%xmm2
pcmpeqd %xmm2,%xmm0
pcmpeqd %xmm2,%xmm1
packssdw %xmm0,%xmm1
packsswb %xmm1,%xmm1
pmovmskb %xmm1,%r9d
xor    %r8d,%r8d
xor    %eax,%eax
test   $0x80,%r9b
sete   %al
mov    %edx,%esi
cmovne %r8d,%esi
lea    (%rax,%rax,2),%r10d
lea    0x0(,%rdx,4),%r11d
mov    %r10d,%ebx
or     $0xc,%ebx
test   $0x40,%r9b
cmovne %r10d,%ebx
cmovne %r8d,%r11d
or     %esi,%r11d
mov    %edx,%eax
shl    $0x4,%eax
mov    %ebx,%ecx
or     $0x30,%ecx
test   $0x20,%r9b
cmovne %ebx,%ecx
cmovne %r8d,%eax
mov    %edx,%ebp
shl    $0x6,%ebp
mov    %ecx,%ebx
or     $0xc0,%ebx
test   $0x10,%r9b
cmovne %ecx,%ebx
cmovne %r8d,%ebp
or     %eax,%ebp
or     %r11d,%ebp
mov    %edx,%r10d
shl    $0x8,%r10d
mov    %ebx,%ecx
or     $0x300,%ecx
test   $0x8,%r9b
cmovne %ebx,%ecx
cmovne %r8d,%r10d
mov    %edx,%ebx
shl    $0xa,%ebx
mov    %ecx,%eax
or     $0xc00,%eax
test   $0x4,%r9b
cmovne %ecx,%eax
cmovne %r8d,%ebx
or     %r10d,%ebx
mov    %edx,%ecx
shl    $0xc,%ecx
mov    %eax,%esi
or     $0x3000,%esi
test   $0x2,%r9b
cmovne %eax,%esi
cmovne %r8d,%ecx
or     %ebx,%ecx
or     %ebp,%ecx
shl    $0xe,%edx
mov    %esi,%eax
or     $0xc000,%eax
test   $0x1,%r9b
cmovne %esi,%eax
cmovne %r8d,%edx
or     %ecx,%edx
not    %eax
movslq %edi,%rcx
and    0x28(%rcx),%eax
or     %edx,%eax
mov    %eax,0x28(%rcx)
pop    %rbx
pop    %rbp
ret

LLVM IR (-O0):
define void @PWMOutputUpdateMode(i32 %0, i32 %1, i32 %2) {
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
store i32 %0, i32* %4
store i32 %1, i32* %5
store i32 %2, i32* %6
store i32 0, i32* %7
store i32 1, i32* %8
store i32 0, i32* %10
store i32 0, i32* %9
br label %12
12: ; preds = %32, %3
%13 = load i32, i32* %7
%14 = icmp slt i32 %13, 8
br i1 %14, label %15, label %37
15: ; preds = %12
%16 = load i32, i32* %8
%17 = load i32, i32* %5
%18 = and i32 %16, %17
%19 = icmp ne i32 %18, 0
br i1 %19, label %20, label %32
20: ; preds = %15
%21 = load i32, i32* %6
%22 = load i32, i32* %7
%23 = mul nsw i32 %22, 2
%24 = shl i32 %21, %23
%25 = load i32, i32* %10
%26 = or i32 %25, %24
store i32 %26, i32* %10
%27 = load i32, i32* %7
%28 = mul nsw i32 %27, 2
%29 = shl i32 3, %28
%30 = load i32, i32* %9
%31 = or i32 %30, %29
store i32 %31, i32* %9
br label %32
32: ; preds = %20, %15
%33 = load i32, i32* %8
%34 = shl i32 %33, 1
store i32 %34, i32* %8
%35 = load i32, i32* %7
%36 = add nsw i32 %35, 1
store i32 %36, i32* %7
br label %12
37: ; preds = %12
%38 = load i32, i32* %9
%39 = xor i32 %38, -1
%40 = load i32, i32* %4
%41 = add nsw i32 %40, 40
%42 = sext i32 %41 to i64
%43 = inttoptr i64 %42 to i32*
%44 = load volatile i32, i32* %43
%45 = and i32 %39, %44
store i32 %45, i32* %11
%46 = load i32, i32* %11
%47 = load i32, i32* %10
%48 = or i32 %46, %47
%49 = load i32, i32* %4
%50 = add nsw i32 %49, 40
%51 = sext i32 %50 to i64
%52 = inttoptr i64 %51 to i32*
store volatile i32 %48, i32* %52
ret void
}

LLVM IR (-O2):
define void @PWMOutputUpdateMode(i32 %0, i32 %1, i32 %2) {
%4 = insertelement <8 x i32> poison, i32 %1, i64 0
%5 = shufflevector <8 x i32> %4, <8 x i32> poison, <8 x i32> zeroinitializer
%6 = and <8 x i32> %5, <i32 128, i32 64, i32 32, i32 16, i32 8, i32 4, i32 2, i32 1>
%7 = icmp eq <8 x i32> %6, zeroinitializer
%8 = extractelement <8 x i1> %7, i64 7
%9 = select i1 %8, i32 0, i32 3
%10 = select i1 %8, i32 0, i32 %2
%11 = shl i32 %2, 2
%12 = or i32 %9, 12
%13 = extractelement <8 x i1> %7, i64 6
%14 = select i1 %13, i32 %9, i32 %12
%15 = select i1 %13, i32 0, i32 %11
%16 = or i32 %10, %15
%17 = shl i32 %2, 4
%18 = or i32 %14, 48
%19 = extractelement <8 x i1> %7, i64 5
%20 = select i1 %19, i32 %14, i32 %18
%21 = select i1 %19, i32 0, i32 %17
%22 = or i32 %16, %21
%23 = shl i32 %2, 6
%24 = or i32 %20, 192
%25 = extractelement <8 x i1> %7, i64 4
%26 = select i1 %25, i32 %20, i32 %24
%27 = select i1 %25, i32 0, i32 %23
%28 = or i32 %22, %27
%29 = shl i32 %2, 8
%30 = or i32 %26, 768
%31 = extractelement <8 x i1> %7, i64 3
%32 = select i1 %31, i32 %26, i32 %30
%33 = select i1 %31, i32 0, i32 %29
%34 = or i32 %28, %33
%35 = shl i32 %2, 10
%36 = or i32 %32, 3072
%37 = extractelement <8 x i1> %7, i64 2
%38 = select i1 %37, i32 %32, i32 %36
%39 = select i1 %37, i32 0, i32 %35
%40 = or i32 %34, %39
%41 = shl i32 %2, 12
%42 = or i32 %38, 12288
%43 = extractelement <8 x i1> %7, i64 1
%44 = select i1 %43, i32 %38, i32 %42
%45 = select i1 %43, i32 0, i32 %41
%46 = or i32 %40, %45
%47 = shl i32 %2, 14
%48 = or i32 %44, 49152
%49 = extractelement <8 x i1> %7, i64 0
%50 = select i1 %49, i32 %44, i32 %48
%51 = select i1 %49, i32 0, i32 %47
%52 = or i32 %46, %51
%53 = xor i32 %50, -1
%54 = add nsw i32 %0, 40
%55 = sext i32 %54 to i64
%56 = inttoptr i64 %55 to i32*
%57 = load volatile i32, i32* %56
%58 = and i32 %57, %53
%59 = or i32 %58, %52
store volatile i32 %59, i32* %56
ret void
}