#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);
void PECIConfigSet(unsigned long ulBase, unsigned long ulPECIClk,
                   unsigned long ulBaud, unsigned long ulPoll,
                   unsigned long ulOffset, unsigned long ulRetry) {
  unsigned long ulTemp, ulDiv;
  DEBUG_ASSERT(ulBase == 0x400B0000);
  DEBUG_ASSERT(ulPECIClk != 0);
  DEBUG_ASSERT((ulBaud != 0) && (ulBaud <= 4000000) && (ulBaud >= 2000) &&
               ((ulBaud * 4 *
                 ((((*((volatile unsigned long *)(0x400FE000))) &
                    (0x70000000 | 0x00FF0000)) == (0x10000000 | 0x00050000))
                      ? 10
                      : 1)) < ulPECIClk));
  DEBUG_ASSERT((ulPoll == 0) || ((ulPoll >= 2) && (ulPoll <= 1000)));
  ulTemp = ((ulOffset << 16) & 0xFFFF0000);
  ulTemp |= ((ulRetry << 12) & 0x00007000);
  (*((volatile unsigned long *)(ulBase + 0x00000000))) = ulTemp;
  ulDiv = (ulPECIClk + (4 * ulBaud) - 1) / (4 * ulBaud);
  ulDiv = (ulDiv < ((((*((volatile unsigned long *)(0x400FE000))) &
                      (0x70000000 | 0x00FF0000)) == (0x10000000 | 0x00050000))
                        ? 10
                        : 1))
              ? ((((*((volatile unsigned long *)(0x400FE000))) &
                   (0x70000000 | 0x00FF0000)) == (0x10000000 | 0x00050000))
                     ? 10
                     : 1)
              : ulDiv;
  ulDiv = (ulDiv > 65535) ? 65535 : ulDiv;
  ulTemp = ((ulDiv << 16) & 0xFFFF0000);
  ulDiv =
      ((ulPoll == 0) ? 0
                     : ((((ulPECIClk / 1000) * ulPoll) + (4096 - 1)) / 4096));
  ulTemp |= ((ulDiv << 0) & 0x0000FFFF);
  ;
  (*((volatile unsigned long *)(ulBase + 0x00000004))) = ulTemp;
}


x86 assembly (clang, -O0):
<PECIConfigSet>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%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   $0x400b0000,-0x8(%rbp)
40
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <DEBUG_ASSERT@plt>
cmpq   $0x0,-0x10(%rbp)
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <DEBUG_ASSERT@plt>
xor    %eax,%eax
cmpq   $0x0,-0x18(%rbp)
mov    %al,-0x41(%rbp)
je     11c9 <PECIConfigSet+0xb9>
xor    %eax,%eax
cmpq   $0x3d0900,-0x18(%rbp)
mov    %al,-0x41(%rbp)
ja     11c9 <PECIConfigSet+0xb9>
xor    %eax,%eax
cmpq   $0x7d0,-0x18(%rbp)
mov    %al,-0x41(%rbp)
jb     11c9 <PECIConfigSet+0xb9>
mov    -0x18(%rbp),%rax
shl    $0x2,%rax
mov    $0x400fe000,%ecx
mov    (%rcx),%rsi
and    $0x70ff0000,%rsi
mov    $0x1,%ecx
mov    $0xa,%edx
cmp    $0x10050000,%rsi
cmove  %edx,%ecx
movslq %ecx,%rcx
imul   %rcx,%rax
cmp    -0x10(%rbp),%rax
setb   %al
mov    %al,-0x41(%rbp)
mov    -0x41(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1030 <DEBUG_ASSERT@plt>
mov    $0x1,%al
cmpq   $0x0,-0x20(%rbp)
mov    %al,-0x42(%rbp)
je     120a <PECIConfigSet+0xfa>
xor    %eax,%eax
cmpq   $0x2,-0x20(%rbp)
mov    %al,-0x43(%rbp)
jb     1204 <PECIConfigSet+0xf4>
cmpq   $0x3e8,-0x20(%rbp)
setbe  %al
mov    %al,-0x43(%rbp)
mov    -0x43(%rbp),%al
mov    %al,-0x42(%rbp)
mov    -0x42(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1030 <DEBUG_ASSERT@plt>
mov    -0x28(%rbp),%rax
shl    $0x10,%rax
movabs $0xffff0000,%rcx
and    %rcx,%rax
mov    %rax,-0x38(%rbp)
mov    -0x30(%rbp),%rax
shl    $0xc,%rax
and    $0x7000,%rax
or     -0x38(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x38(%rbp),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
sub    $0x1,%rax
mov    -0x18(%rbp),%rcx
shl    $0x2,%rcx
xor    %edx,%edx
div    %rcx
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rax
mov    $0x400fe000,%ecx
mov    (%rcx),%rsi
and    $0x70ff0000,%rsi
mov    $0x1,%ecx
mov    $0xa,%edx
cmp    $0x10050000,%rsi
cmove  %edx,%ecx
movslq %ecx,%rcx
cmp    %rcx,%rax
jae    12d6 <PECIConfigSet+0x1c6>
mov    $0x400fe000,%eax
mov    (%rax),%rdx
and    $0x70ff0000,%rdx
mov    $0x1,%eax
mov    $0xa,%ecx
cmp    $0x10050000,%rdx
cmove  %ecx,%eax
cltq
mov    %rax,-0x50(%rbp)
jmp    12de <PECIConfigSet+0x1ce>
mov    -0x40(%rbp),%rax
mov    %rax,-0x50(%rbp)
mov    -0x50(%rbp),%rax
mov    %rax,-0x40(%rbp)
cmpq   $0xffff,-0x40(%rbp)
jbe    1302 <PECIConfigSet+0x1f2>
mov    $0xffff,%eax
mov    %rax,-0x58(%rbp)
jmp    130a <PECIConfigSet+0x1fa>
mov    -0x40(%rbp),%rax
mov    %rax,-0x58(%rbp)
mov    -0x58(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rax
shl    $0x10,%rax
movabs $0xffff0000,%rcx
and    %rcx,%rax
mov    %rax,-0x38(%rbp)
cmpq   $0x0,-0x20(%rbp)
jne    1341 <PECIConfigSet+0x231>
xor    %eax,%eax
mov    %rax,-0x60(%rbp)
jmp    1362 <PECIConfigSet+0x252>
mov    -0x10(%rbp),%rax
mov    $0x3e8,%ecx
xor    %edx,%edx
div    %rcx
imul   -0x20(%rbp),%rax
add    $0xfff,%rax
shr    $0xc,%rax
mov    %rax,-0x60(%rbp)
mov    -0x60(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rax
shl    $0x0,%rax
and    $0xffff,%rax
or     -0x38(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x38(%rbp),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,0x4(%rax)
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<PECIConfigSet>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %r9,%rbx
mov    %r8,%rbp
mov    %rcx,%r12
mov    %rdx,%r13
mov    %rsi,%r15
mov    %rdi,%r14
xor    %edi,%edi
cmp    $0x400b0000,%r14
sete   %dil
call   1030 <DEBUG_ASSERT@plt>
xor    %edi,%edi
test   %r15,%r15
setne  %dil
call   1030 <DEBUG_ASSERT@plt>
lea    -0x7d0(%r13),%rax
shl    $0x2,%r13
xor    %edi,%edi
cmp    $0x3d0130,%rax
ja     118e <PECIConfigSet+0x7e>
mov    0x400fe000,%rax
40
and    $0x70ff0000,%eax
xor    %ecx,%ecx
cmp    $0x10050000,%eax
sete   %cl
lea    (%rcx,%rcx,8),%rax
add    $0x1,%rax
imul   %r13,%rax
xor    %edi,%edi
cmp    %r15,%rax
setb   %dil
call   1030 <DEBUG_ASSERT@plt>
cmp    $0x1,%r12
setne  %al
cmp    $0x3e9,%r12
setb   %cl
and    %al,%cl
movzbl %cl,%edi
call   1030 <DEBUG_ASSERT@plt>
shl    $0x10,%ebp
and    $0x7,%ebx
shl    $0xc,%rbx
or     %rbp,%rbx
mov    %rbx,(%r14)
lea    (%r15,%r13,1),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,%rcx
or     %r13,%rcx
shr    $0x20,%rcx
je     11dc <PECIConfigSet+0xcc>
xor    %edx,%edx
div    %r13
mov    %rax,%rcx
jmp    11e3 <PECIConfigSet+0xd3>
xor    %edx,%edx
div    %r13d
mov    %eax,%ecx
mov    0x400fe000,%rax
40
and    $0x70ff0000,%eax
xor    %edx,%edx
cmp    $0x10050000,%eax
sete   %dl
lea    (%rdx,%rdx,8),%rax
add    $0x1,%rax
cmp    %rax,%rcx
jae    1226 <PECIConfigSet+0x116>
mov    0x400fe000,%rax
40
and    $0x70ff0000,%eax
xor    %ecx,%ecx
cmp    $0x10050000,%eax
sete   %cl
lea    (%rcx,%rcx,8),%rcx
add    $0x1,%rcx
test   %r12,%r12
je     1257 <PECIConfigSet+0x147>
shr    $0x3,%r15
movabs $0x20c49ba5e353f7cf,%rdx
9b c4 20
mov    %r15,%rax
mul    %rdx
shr    $0x4,%edx
imul   %edx,%r12d
add    $0xfff,%r12d
shr    $0xc,%r12d
movzwl %r12w,%eax
jmp    1259 <PECIConfigSet+0x149>
xor    %eax,%eax
cmp    $0xffff,%rcx
mov    $0xffff,%edx
cmovb  %ecx,%edx
shl    $0x10,%edx
or     %rax,%rdx
mov    %rdx,0x4(%r14)
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @PECIConfigSet(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
%14 = 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
%15 = load i64, i64* %7
%16 = icmp eq i64 %15, 1074462720
%17 = zext i1 %16 to i32
%18 = call i32 @DEBUG_ASSERT(i32 %17)
%19 = load i64, i64* %8
%20 = icmp ne i64 %19, 0
%21 = zext i1 %20 to i32
%22 = call i32 @DEBUG_ASSERT(i32 %21)
%23 = load i64, i64* %9
%24 = icmp ne i64 %23, 0
br i1 %24, label %25, label %43
25: ; preds = %6
%26 = load i64, i64* %9
%27 = icmp ule i64 %26, 4000000
br i1 %27, label %28, label %43
28: ; preds = %25
%29 = load i64, i64* %9
%30 = icmp uge i64 %29, 2000
br i1 %30, label %31, label %43
31: ; preds = %28
%32 = load i64, i64* %9
%33 = mul i64 %32, 4
%34 = load volatile i64, i64* inttoptr (i64 1074782208 to i64*)
%35 = and i64 %34, 1895759872
%36 = icmp eq i64 %35, 268763136
%37 = zext i1 %36 to i64
%38 = select i1 %36, i32 10, i32 1
%39 = sext i32 %38 to i64
%40 = mul i64 %33, %39
%41 = load i64, i64* %8
%42 = icmp ult i64 %40, %41
br label %43
43: ; preds = %31, %28, %25, %6
%44 = phi i1 [ false, %28 ], [ false, %25 ], [ false, %6 ], [ %42, %31 ]
%45 = zext i1 %44 to i32
%46 = call i32 @DEBUG_ASSERT(i32 %45)
%47 = load i64, i64* %10
%48 = icmp eq i64 %47, 0
br i1 %48, label %57, label %49
49: ; preds = %43
%50 = load i64, i64* %10
%51 = icmp uge i64 %50, 2
br i1 %51, label %52, label %55
52: ; preds = %49
%53 = load i64, i64* %10
%54 = icmp ule i64 %53, 1000
br label %55
55: ; preds = %52, %49
%56 = phi i1 [ false, %49 ], [ %54, %52 ]
br label %57
57: ; preds = %55, %43
%58 = phi i1 [ true, %43 ], [ %56, %55 ]
%59 = zext i1 %58 to i32
%60 = call i32 @DEBUG_ASSERT(i32 %59)
%61 = load i64, i64* %11
%62 = shl i64 %61, 16
%63 = and i64 %62, 4294901760
store i64 %63, i64* %13
%64 = load i64, i64* %12
%65 = shl i64 %64, 12
%66 = and i64 %65, 28672
%67 = load i64, i64* %13
%68 = or i64 %67, %66
store i64 %68, i64* %13
%69 = load i64, i64* %13
%70 = load i64, i64* %7
%71 = add i64 %70, 0
%72 = inttoptr i64 %71 to i64*
store volatile i64 %69, i64* %72
%73 = load i64, i64* %8
%74 = load i64, i64* %9
%75 = mul i64 4, %74
%76 = add i64 %73, %75
%77 = sub i64 %76, 1
%78 = load i64, i64* %9
%79 = mul i64 4, %78
%80 = udiv i64 %77, %79
store i64 %80, i64* %14
%81 = load i64, i64* %14
%82 = load volatile i64, i64* inttoptr (i64 1074782208 to i64*)
%83 = and i64 %82, 1895759872
%84 = icmp eq i64 %83, 268763136
%85 = zext i1 %84 to i64
%86 = select i1 %84, i32 10, i32 1
%87 = sext i32 %86 to i64
%88 = icmp ult i64 %81, %87
br i1 %88, label %89, label %96
89: ; preds = %57
%90 = load volatile i64, i64* inttoptr (i64 1074782208 to i64*)
%91 = and i64 %90, 1895759872
%92 = icmp eq i64 %91, 268763136
%93 = zext i1 %92 to i64
%94 = select i1 %92, i32 10, i32 1
%95 = sext i32 %94 to i64
br label %98
96: ; preds = %57
%97 = load i64, i64* %14
br label %98
98: ; preds = %96, %89
%99 = phi i64 [ %95, %89 ], [ %97, %96 ]
store i64 %99, i64* %14
%100 = load i64, i64* %14
%101 = icmp ugt i64 %100, 65535
br i1 %101, label %102, label %103
102: ; preds = %98
br label %105
103: ; preds = %98
%104 = load i64, i64* %14
br label %105
105: ; preds = %103, %102
%106 = phi i64 [ 65535, %102 ], [ %104, %103 ]
store i64 %106, i64* %14
%107 = load i64, i64* %14
%108 = shl i64 %107, 16
%109 = and i64 %108, 4294901760
store i64 %109, i64* %13
%110 = load i64, i64* %10
%111 = icmp eq i64 %110, 0
br i1 %111, label %112, label %113
112: ; preds = %105
br label %120
113: ; preds = %105
%114 = load i64, i64* %8
%115 = udiv i64 %114, 1000
%116 = load i64, i64* %10
%117 = mul i64 %115, %116
%118 = add i64 %117, 4095
%119 = udiv i64 %118, 4096
br label %120
120: ; preds = %113, %112
%121 = phi i64 [ 0, %112 ], [ %119, %113 ]
store i64 %121, i64* %14
%122 = load i64, i64* %14
%123 = shl i64 %122, 0
%124 = and i64 %123, 65535
%125 = load i64, i64* %13
%126 = or i64 %125, %124
store i64 %126, i64* %13
%127 = load i64, i64* %13
%128 = load i64, i64* %7
%129 = add i64 %128, 4
%130 = inttoptr i64 %129 to i64*
store volatile i64 %127, i64* %130
ret void
}

LLVM IR (-O2):
define void @PECIConfigSet(i64 %0, i64 %1, i64 %2, i64 %3, i64 %4, i64 %5) {
%7 = icmp eq i64 %0, 1074462720
%8 = zext i1 %7 to i32
%9 = tail call i32 @DEBUG_ASSERT(i32 %8)
%10 = icmp ne i64 %1, 0
%11 = zext i1 %10 to i32
%12 = tail call i32 @DEBUG_ASSERT(i32 %11)
%13 = add i64 %2, -2000
%14 = icmp ult i64 %13, 3998001
%15 = shl i64 %2, 2
br i1 %14, label %16, label %24
16: ; preds = %6
%17 = load volatile i64, i64* inttoptr (i64 1074782208 to i64*)
%18 = and i64 %17, 1895759872
%19 = icmp eq i64 %18, 268763136
%20 = select i1 %19, i64 10, i64 1
%21 = mul nuw nsw i64 %15, %20
%22 = icmp ult i64 %21, %1
%23 = zext i1 %22 to i32
br label %24
24: ; preds = %6, %16
%25 = phi i32 [ %23, %16 ], [ 0, %6 ]
%26 = tail call i32 @DEBUG_ASSERT(i32 %25)
%27 = icmp eq i64 %3, 0
%28 = icmp ne i64 %3, 1
%29 = icmp ult i64 %3, 1001
%30 = and i1 %28, %29
%31 = zext i1 %30 to i32
%32 = tail call i32 @DEBUG_ASSERT(i32 %31)
%33 = shl i64 %4, 16
%34 = and i64 %33, 4294901760
%35 = shl i64 %5, 12
%36 = and i64 %35, 28672
%37 = or i64 %36, %34
%38 = inttoptr i64 %0 to i64*
store volatile i64 %37, i64* %38
%39 = add i64 %1, -1
%40 = add i64 %39, %15
%41 = udiv i64 %40, %15
%42 = load volatile i64, i64* inttoptr (i64 1074782208 to i64*)
%43 = and i64 %42, 1895759872
%44 = icmp eq i64 %43, 268763136
%45 = select i1 %44, i64 10, i64 1
%46 = icmp ult i64 %41, %45
br i1 %46, label %47, label %52
47: ; preds = %24
%48 = load volatile i64, i64* inttoptr (i64 1074782208 to i64*)
%49 = and i64 %48, 1895759872
%50 = icmp eq i64 %49, 268763136
%51 = select i1 %50, i64 10, i64 1
br label %52
52: ; preds = %24, %47
%53 = phi i64 [ %51, %47 ], [ %41, %24 ]
br i1 %27, label %60, label %54
54: ; preds = %52
%55 = udiv i64 %1, 1000
%56 = mul i64 %55, %3
%57 = add i64 %56, 4095
%58 = lshr i64 %57, 12
%59 = and i64 %58, 65535
br label %60
60: ; preds = %52, %54
%61 = phi i64 [ %59, %54 ], [ 0, %52 ]
%62 = icmp ult i64 %53, 65535
%63 = select i1 %62, i64 %53, i64 65535
%64 = shl nuw nsw i64 %63, 16
%65 = and i64 %64, 4294901760
%66 = or i64 %61, %65
%67 = add i64 %0, 4
%68 = inttoptr i64 %67 to i64*
store volatile i64 %66, i64* %68
ret void
}