#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 */

/* Variables and functions */
int /*<<< orphan*/ DEBUG_ASSERT(int);
int LPCChannelValid(unsigned long);
void LPCChannelConfigCOMxSet(unsigned long ulBase, unsigned long ulChannel,
                             unsigned long ulConfig, unsigned long ulAddress,
                             unsigned long ulOffset, unsigned long ulCOMxMode) {
  unsigned long ulTemp;
  DEBUG_ASSERT(ulBase == 0x40080000);
  DEBUG_ASSERT(LPCChannelValid(ulChannel));
  DEBUG_ASSERT(ulChannel == 7);
  DEBUG_ASSERT((ulConfig & ~(0x0F000000 | 0x00F00000 | 0x00080000 | 0x00040000 |
                             0x00030000)) == 0);
  DEBUG_ASSERT((ulOffset & 3) == 0);
  DEBUG_ASSERT(
      ulOffset <
      (((((*((volatile unsigned long *)(ulBase + 0x00000004))) & 0x00070000) >>
         16) *
        256) -
       4));
  DEBUG_ASSERT((ulCOMxMode & ~0x00060000) == 0);
  ulConfig |= (((ulOffset >> 1) << 5) & 0x00003FE0);
  (*((volatile unsigned long *)(ulBase + 0x00000010 + (ulChannel * 0x10)))) =
      ulConfig;
  (*((volatile unsigned long *)(ulBase + 0x00000018 + (ulChannel * 0x10)))) =
      ulAddress;
  ulTemp = (*((volatile unsigned long *)(ulBase + 0x00000120)));
  ulTemp &= ~0x00060000;
  ulTemp |= ulCOMxMode;
  ulTemp |= 0x00010000;
  (*((volatile unsigned long *)(ulBase + 0x00000120))) = ulTemp;
}


x86 assembly (clang, -O0):
<LPCChannelConfigCOMxSet>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
mov    %r9,-0x30(%rbp)
cmpq   $0x40080000,-0x8(%rbp)
40
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <DEBUG_ASSERT@plt>
mov    -0x10(%rbp),%rdi
call   1040 <LPCChannelValid@plt>
mov    %eax,%edi
call   1030 <DEBUG_ASSERT@plt>
cmpq   $0x7,-0x10(%rbp)
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <DEBUG_ASSERT@plt>
mov    -0x18(%rbp),%rax
and    $0xfffffffff000ffff,%rax
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <DEBUG_ASSERT@plt>
mov    -0x28(%rbp),%rax
and    $0x3,%rax
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <DEBUG_ASSERT@plt>
mov    -0x28(%rbp),%rax
mov    -0x8(%rbp),%rcx
mov    0x4(%rcx),%rcx
and    $0x70000,%rcx
shr    $0x10,%rcx
shl    $0x8,%rcx
sub    $0x4,%rcx
cmp    %rcx,%rax
setb   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <DEBUG_ASSERT@plt>
mov    -0x30(%rbp),%rax
and    $0xfffffffffff9ffff,%rax
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <DEBUG_ASSERT@plt>
mov    -0x28(%rbp),%rax
shr    $0x1,%rax
shl    $0x5,%rax
and    $0x3fe0,%rax
or     -0x18(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rcx
mov    -0x8(%rbp),%rax
add    $0x10,%rax
mov    -0x10(%rbp),%rdx
shl    $0x4,%rdx
add    %rdx,%rax
mov    %rcx,(%rax)
mov    -0x20(%rbp),%rcx
mov    -0x8(%rbp),%rax
add    $0x18,%rax
mov    -0x10(%rbp),%rdx
shl    $0x4,%rdx
add    %rdx,%rax
mov    %rcx,(%rax)
mov    -0x8(%rbp),%rax
mov    0x120(%rax),%rax
mov    %rax,-0x38(%rbp)
mov    -0x38(%rbp),%rax
and    $0xfffffffffff9ffff,%rax
mov    %rax,-0x38(%rbp)
mov    -0x30(%rbp),%rax
or     -0x38(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x38(%rbp),%rax
or     $0x10000,%rax
mov    %rax,-0x38(%rbp)
mov    -0x38(%rbp),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,0x120(%rax)
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<LPCChannelConfigCOMxSet>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %r9,%r14
mov    %r8,%rbx
mov    %rcx,%r15
mov    %rdx,%rbp
mov    %rsi,%r13
mov    %rdi,%r12
xor    %edi,%edi
cmp    $0x40080000,%r12
sete   %dil
call   1030 <DEBUG_ASSERT@plt>
mov    %r13,%rdi
call   1040 <LPCChannelValid@plt>
mov    %eax,%edi
call   1030 <DEBUG_ASSERT@plt>
xor    %edi,%edi
cmp    $0x7,%r13
sete   %dil
call   1030 <DEBUG_ASSERT@plt>
xor    %edi,%edi
test   $0xfffffffff000ffff,%rbp
sete   %dil
call   1030 <DEBUG_ASSERT@plt>
xor    %edi,%edi
test   $0x3,%bl
sete   %dil
call   1030 <DEBUG_ASSERT@plt>
mov    0x4(%r12),%rax
shr    $0x8,%rax
and    $0x700,%eax
add    $0xfffffffffffffffc,%rax
xor    %edi,%edi
cmp    %rbx,%rax
seta   %dil
call   1030 <DEBUG_ASSERT@plt>
xor    %edi,%edi
test   $0xfffffffffff9ffff,%r14
sete   %dil
call   1030 <DEBUG_ASSERT@plt>
shl    $0x4,%ebx
and    $0x3fe0,%ebx
or     %rbp,%rbx
shl    $0x4,%r13
mov    %rbx,0x10(%r13,%r12,1)
mov    %r15,0x18(%r13,%r12,1)
mov    $0xfffffffffff8ffff,%rax
and    0x120(%r12),%rax
or     %r14,%rax
or     $0x10000,%rax
mov    %rax,0x120(%r12)
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @LPCChannelConfigCOMxSet(i64 %0, i64 %1, i64 %2, i64 %3, i64 %4, i64 %5) {
%7 = alloca i64
%8 = alloca i64
%9 = alloca i64
%10 = alloca i64
%11 = alloca i64
%12 = alloca i64
%13 = alloca i64
store i64 %0, i64* %7
store i64 %1, i64* %8
store i64 %2, i64* %9
store i64 %3, i64* %10
store i64 %4, i64* %11
store i64 %5, i64* %12
%14 = load i64, i64* %7
%15 = icmp eq i64 %14, 1074266112
%16 = zext i1 %15 to i32
%17 = call i32 @DEBUG_ASSERT(i32 %16)
%18 = load i64, i64* %8
%19 = call i32 @LPCChannelValid(i64 %18)
%20 = call i32 @DEBUG_ASSERT(i32 %19)
%21 = load i64, i64* %8
%22 = icmp eq i64 %21, 7
%23 = zext i1 %22 to i32
%24 = call i32 @DEBUG_ASSERT(i32 %23)
%25 = load i64, i64* %9
%26 = and i64 %25, -268369921
%27 = icmp eq i64 %26, 0
%28 = zext i1 %27 to i32
%29 = call i32 @DEBUG_ASSERT(i32 %28)
%30 = load i64, i64* %11
%31 = and i64 %30, 3
%32 = icmp eq i64 %31, 0
%33 = zext i1 %32 to i32
%34 = call i32 @DEBUG_ASSERT(i32 %33)
%35 = load i64, i64* %11
%36 = load i64, i64* %7
%37 = add i64 %36, 4
%38 = inttoptr i64 %37 to i64*
%39 = load volatile i64, i64* %38
%40 = and i64 %39, 458752
%41 = lshr i64 %40, 16
%42 = mul i64 %41, 256
%43 = sub i64 %42, 4
%44 = icmp ult i64 %35, %43
%45 = zext i1 %44 to i32
%46 = call i32 @DEBUG_ASSERT(i32 %45)
%47 = load i64, i64* %12
%48 = and i64 %47, -393217
%49 = icmp eq i64 %48, 0
%50 = zext i1 %49 to i32
%51 = call i32 @DEBUG_ASSERT(i32 %50)
%52 = load i64, i64* %11
%53 = lshr i64 %52, 1
%54 = shl i64 %53, 5
%55 = and i64 %54, 16352
%56 = load i64, i64* %9
%57 = or i64 %56, %55
store i64 %57, i64* %9
%58 = load i64, i64* %9
%59 = load i64, i64* %7
%60 = add i64 %59, 16
%61 = load i64, i64* %8
%62 = mul i64 %61, 16
%63 = add i64 %60, %62
%64 = inttoptr i64 %63 to i64*
store volatile i64 %58, i64* %64
%65 = load i64, i64* %10
%66 = load i64, i64* %7
%67 = add i64 %66, 24
%68 = load i64, i64* %8
%69 = mul i64 %68, 16
%70 = add i64 %67, %69
%71 = inttoptr i64 %70 to i64*
store volatile i64 %65, i64* %71
%72 = load i64, i64* %7
%73 = add i64 %72, 288
%74 = inttoptr i64 %73 to i64*
%75 = load volatile i64, i64* %74
store i64 %75, i64* %13
%76 = load i64, i64* %13
%77 = and i64 %76, -393217
store i64 %77, i64* %13
%78 = load i64, i64* %12
%79 = load i64, i64* %13
%80 = or i64 %79, %78
store i64 %80, i64* %13
%81 = load i64, i64* %13
%82 = or i64 %81, 65536
store i64 %82, i64* %13
%83 = load i64, i64* %13
%84 = load i64, i64* %7
%85 = add i64 %84, 288
%86 = inttoptr i64 %85 to i64*
store volatile i64 %83, i64* %86
ret void
}

LLVM IR (-O2):
define void @LPCChannelConfigCOMxSet(i64 %0, i64 %1, i64 %2, i64 %3, i64 %4, i64 %5) {
%7 = icmp eq i64 %0, 1074266112
%8 = zext i1 %7 to i32
%9 = tail call i32 @DEBUG_ASSERT(i32 %8)
%10 = tail call i32 @LPCChannelValid(i64 %1)
%11 = tail call i32 @DEBUG_ASSERT(i32 %10)
%12 = icmp eq i64 %1, 7
%13 = zext i1 %12 to i32
%14 = tail call i32 @DEBUG_ASSERT(i32 %13)
%15 = and i64 %2, -268369921
%16 = icmp eq i64 %15, 0
%17 = zext i1 %16 to i32
%18 = tail call i32 @DEBUG_ASSERT(i32 %17)
%19 = and i64 %4, 3
%20 = icmp eq i64 %19, 0
%21 = zext i1 %20 to i32
%22 = tail call i32 @DEBUG_ASSERT(i32 %21)
%23 = add i64 %0, 4
%24 = inttoptr i64 %23 to i64*
%25 = load volatile i64, i64* %24
%26 = lshr i64 %25, 8
%27 = and i64 %26, 1792
%28 = add nsw i64 %27, -4
%29 = icmp ugt i64 %28, %4
%30 = zext i1 %29 to i32
%31 = tail call i32 @DEBUG_ASSERT(i32 %30)
%32 = and i64 %5, -393217
%33 = icmp eq i64 %32, 0
%34 = zext i1 %33 to i32
%35 = tail call i32 @DEBUG_ASSERT(i32 %34)
%36 = shl i64 %4, 4
%37 = and i64 %36, 16352
%38 = or i64 %37, %2
%39 = shl i64 %1, 4
%40 = add i64 %39, %0
%41 = add i64 %40, 16
%42 = inttoptr i64 %41 to i64*
store volatile i64 %38, i64* %42
%43 = add i64 %40, 24
%44 = inttoptr i64 %43 to i64*
store volatile i64 %3, i64* %44
%45 = add i64 %0, 288
%46 = inttoptr i64 %45 to i64*
%47 = load volatile i64, i64* %46
%48 = and i64 %47, -458753
%49 = or i64 %48, %5
%50 = or i64 %49, 65536
store volatile i64 %50, i64* %46
ret void
}