void xPWMInitConfigure(unsigned long ulBase, unsigned long ulChannel,
                       unsigned long ulConfig) {
  ;
  ;
  (*((volatile unsigned long *)(ulBase + 0x00000018 + (ulChannel / 2) * 4))) |=
      (0x00000070 << (ulChannel % 2) * 8);
  if ((ulBase == 0x40012C00) || (ulBase == 0x40013400)) {
    (*((volatile unsigned long *)(ulBase + 0x00000020))) &=
        ~(0x00000005 << (ulChannel * 4));
    (*((volatile unsigned long *)(ulBase + 0x00000020))) |=
        ((0x00000005 & ulConfig) << (ulChannel * 4));
    (*((volatile unsigned long *)(ulBase + 0x00000044))) &= ~0x000000FF;
    (*((volatile unsigned long *)(ulBase + 0x00000044))) |=
        ((0x000000FF << 16) & ulConfig) >> 16;
    if (0x00000C00 & ulConfig) {
      (*((volatile unsigned long *)(ulBase + 0x00000044))) |= 0x00008000;
      (*((volatile unsigned long *)(ulBase + 0x00000020))) &=
          ~(0x00000005 << (ulChannel * 4));
      (*((volatile unsigned long *)(ulBase + 0x00000020))) |=
          (0x00000005 << (ulChannel * 4));
      (*((volatile unsigned long *)(ulBase + 0x00000044))) &= ~0x00000C00;
      (*((volatile unsigned long *)(ulBase + 0x00000044))) |= 0x00000C00;
    }
  }
}


x86 assembly (clang, -O0):
<xPWMInitConfigure>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x10(%rbp),%rax
and    $0x1,%rax
shl    $0x3,%rax
mov    %eax,%ecx
mov    $0x70,%eax
shl    %cl,%eax
movslq %eax,%rdx
mov    -0x8(%rbp),%rax
add    $0x18,%rax
mov    -0x10(%rbp),%rcx
shr    $0x1,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    (%rax),%rcx
or     %rdx,%rcx
mov    %rcx,(%rax)
cmpq   $0x40012c00,-0x8(%rbp)
40
je     1164 <xPWMInitConfigure+0x64>
cmpq   $0x40013400,-0x8(%rbp)
40
jne    1278 <xPWMInitConfigure+0x178>
mov    -0x10(%rbp),%rax
shl    $0x2,%rax
mov    %eax,%ecx
mov    $0x5,%eax
shl    %cl,%eax
xor    $0xffffffff,%eax
movslq %eax,%rdx
mov    -0x8(%rbp),%rax
mov    0x20(%rax),%rcx
and    %rdx,%rcx
mov    %rcx,0x20(%rax)
mov    -0x18(%rbp),%rdx
and    $0x5,%rdx
mov    -0x10(%rbp),%rcx
shl    $0x2,%rcx
shl    %cl,%rdx
mov    -0x8(%rbp),%rax
mov    0x20(%rax),%rcx
or     %rdx,%rcx
mov    %rcx,0x20(%rax)
mov    -0x8(%rbp),%rax
mov    0x44(%rax),%rcx
and    $0xffffffffffffff00,%rcx
mov    %rcx,0x44(%rax)
mov    -0x18(%rbp),%rdx
and    $0xff0000,%rdx
shr    $0x10,%rdx
mov    -0x8(%rbp),%rax
mov    0x44(%rax),%rcx
or     %rdx,%rcx
mov    %rcx,0x44(%rax)
mov    -0x18(%rbp),%rax
and    $0xc00,%rax
cmp    $0x0,%rax
je     1273 <xPWMInitConfigure+0x173>
mov    -0x8(%rbp),%rax
mov    0x44(%rax),%rcx
or     $0x8000,%rcx
mov    %rcx,0x44(%rax)
mov    -0x10(%rbp),%rax
shl    $0x2,%rax
mov    %eax,%ecx
mov    $0x5,%eax
shl    %cl,%eax
xor    $0xffffffff,%eax
movslq %eax,%rdx
mov    -0x8(%rbp),%rax
mov    0x20(%rax),%rcx
and    %rdx,%rcx
mov    %rcx,0x20(%rax)
mov    -0x10(%rbp),%rax
shl    $0x2,%rax
mov    %eax,%ecx
mov    $0x5,%eax
shl    %cl,%eax
movslq %eax,%rdx
mov    -0x8(%rbp),%rax
mov    0x20(%rax),%rcx
or     %rdx,%rcx
mov    %rcx,0x20(%rax)
mov    -0x8(%rbp),%rax
mov    0x44(%rax),%rcx
and    $0xfffffffffffff3ff,%rcx
mov    %rcx,0x44(%rax)
mov    -0x8(%rbp),%rax
mov    0x44(%rax),%rcx
or     $0xc00,%rcx
mov    %rcx,0x44(%rax)
jmp    1278 <xPWMInitConfigure+0x178>
pop    %rbp
ret

x86 assembly (clang, -O2):
<xPWMInitConfigure>:
lea    0x0(,%rsi,8),%ecx
and    $0x8,%cl
mov    $0x70,%eax
shl    %cl,%eax
mov    %rsi,%rcx
and    $0xfffffffffffffffe,%rcx
or     %rax,0x18(%rdi,%rcx,2)
cmp    $0x40013400,%rdi
je     112f <xPWMInitConfigure+0x2f>
cmp    $0x40012c00,%rdi
jne    1196 <xPWMInitConfigure+0x96>
shl    $0x2,%esi
mov    $0x5,%r9d
mov    %esi,%ecx
shl    %cl,%r9d
mov    %r9d,%ecx
not    %ecx
movslq %ecx,%r8
and    %r8,0x20(%rdi)
mov    %edx,%eax
and    $0x5,%eax
mov    %esi,%ecx
shl    %cl,%rax
or     %rax,0x20(%rdi)
andq   $0xffffffffffffff00,0x44(%rdi)
ff
mov    %edx,%eax
shr    $0x10,%eax
movzbl %al,%eax
or     %rax,0x44(%rdi)
test   $0xc00,%edx
je     1196 <xPWMInitConfigure+0x96>
orq    $0x8000,0x44(%rdi)
and    %r8,0x20(%rdi)
movslq %r9d,%rax
or     %rax,0x20(%rdi)
andq   $0xfffffffffffff3ff,0x44(%rdi)
ff
orq    $0xc00,0x44(%rdi)
ret

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

LLVM IR (-O2):
define void @xPWMInitConfigure(i64 %0, i64 %1, i64 %2) {
%4 = trunc i64 %1 to i32
%5 = shl i32 %4, 3
%6 = and i32 %5, 8
%7 = shl nuw nsw i32 112, %6
%8 = zext i32 %7 to i64
%9 = add i64 %0, 24
%10 = shl i64 %1, 1
%11 = and i64 %10, -4
%12 = add i64 %9, %11
%13 = inttoptr i64 %12 to i64*
%14 = load volatile i64, i64* %13
%15 = or i64 %14, %8
store volatile i64 %15, i64* %13
switch i64 %0, label %52 [
i64 1073820672, label %16
i64 1073818624, label %16
]
16: ; preds = %3, %3
%17 = shl i64 %1, 2
%18 = trunc i64 %17 to i32
%19 = shl i32 5, %18
%20 = xor i32 %19, -1
%21 = sext i32 %20 to i64
%22 = add nuw nsw i64 %0, 32
%23 = inttoptr i64 %22 to i64*
%24 = load volatile i64, i64* %23
%25 = and i64 %24, %21
store volatile i64 %25, i64* %23
%26 = and i64 %2, 5
%27 = shl i64 %26, %17
%28 = load volatile i64, i64* %23
%29 = or i64 %28, %27
store volatile i64 %29, i64* %23
%30 = add nuw nsw i64 %0, 68
%31 = inttoptr i64 %30 to i64*
%32 = load volatile i64, i64* %31
%33 = and i64 %32, -256
store volatile i64 %33, i64* %31
%34 = lshr i64 %2, 16
%35 = and i64 %34, 255
%36 = load volatile i64, i64* %31
%37 = or i64 %36, %35
store volatile i64 %37, i64* %31
%38 = and i64 %2, 3072
%39 = icmp eq i64 %38, 0
br i1 %39, label %52, label %40
40: ; preds = %16
%41 = load volatile i64, i64* %31
%42 = or i64 %41, 32768
store volatile i64 %42, i64* %31
%43 = load volatile i64, i64* %23
%44 = and i64 %43, %21
store volatile i64 %44, i64* %23
%45 = sext i32 %19 to i64
%46 = load volatile i64, i64* %23
%47 = or i64 %46, %45
store volatile i64 %47, i64* %23
%48 = load volatile i64, i64* %31
%49 = and i64 %48, -3073
store volatile i64 %49, i64* %31
%50 = load volatile i64, i64* %31
%51 = or i64 %50, 3072
store volatile i64 %51, i64* %31
br label %52
52: ; preds = %3, %16, %40
ret void
}