#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 scalar_t__ uint8_t;
typedef int uint32_t;
typedef scalar_t__ uint16_t;

/* Variables and functions */
int /*<<< orphan*/ ASSERT(int);
void USBDevEndpointConfigGet(uint32_t ui32Base, uint32_t ui32Endpoint,
                             uint32_t *pui32MaxPacketSize,
                             uint32_t *pui32Flags) {
  uint32_t ui32Register;
  ASSERT(ui32Base == 0x40050000);
  ASSERT(pui32MaxPacketSize && pui32Flags);
  ASSERT((ui32Endpoint == 0x00000010) || (ui32Endpoint == 0x00000020) ||
         (ui32Endpoint == 0x00000030) || (ui32Endpoint == 0x00000040) ||
         (ui32Endpoint == 0x00000050) || (ui32Endpoint == 0x00000060) ||
         (ui32Endpoint == 0x00000070));
  if (*pui32Flags & 0x00002000) {
    *pui32Flags = 0x00002000;
    *pui32MaxPacketSize = (uint32_t)(*(
        (volatile uint16_t *)(ui32Base + (ui32Endpoint - 0x10) + 0x00000110)));
    ui32Register = (uint32_t)(*(
        (volatile uint8_t *)(ui32Base + (ui32Endpoint - 0x10) + 0x00000113)));
    if (ui32Register & 0x00000080) {
      *pui32Flags |= 0x00000001;
    }
    if (ui32Register & 0x00000010) {
      if (ui32Register & 0x00000004) {
        *pui32Flags |= 0x00000010;
      } else {
        *pui32Flags |= 0x00000008;
      }
    }
    if (ui32Register & 0x00000040) {
      *pui32Flags |= 0x00000000;
    } else {
      *pui32Flags |= 0x00000100;
    }
  } else {
    *pui32Flags = 0x00000000;
    *pui32MaxPacketSize = (uint32_t)(*(
        (volatile uint16_t *)(ui32Base + (ui32Endpoint - 0x10) + 0x00000114)));
    ui32Register = (uint32_t)(*(
        (volatile uint8_t *)(ui32Base + (ui32Endpoint - 0x10) + 0x00000117)));
    if (ui32Register & 0x00000080) {
      *pui32Flags |= 0x00000004;
    }
    if (ui32Register & 0x00000020) {
      if (ui32Register & 0x00000008) {
        *pui32Flags |= 0x00000010;
      } else {
        *pui32Flags |= 0x00000008;
      }
    }
    if (ui32Register & 0x00000040) {
      *pui32Flags |= 0x00000000;
    } else {
      *pui32Flags |= 0x00000100;
    }
  }
}


x86 assembly (clang, -O0):
<USBDevEndpointConfigGet>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %rdx,-0x10(%rbp)
mov    %rcx,-0x18(%rbp)
cmpl   $0x40050000,-0x4(%rbp)
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <ASSERT@plt>
xor    %eax,%eax
cmpq   $0x0,-0x10(%rbp)
mov    %al,-0x1d(%rbp)
je     1155 <USBDevEndpointConfigGet+0x45>
cmpq   $0x0,-0x18(%rbp)
setne  %al
mov    %al,-0x1d(%rbp)
mov    -0x1d(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1030 <ASSERT@plt>
mov    $0x1,%al
cmpl   $0x10,-0x8(%rbp)
mov    %al,-0x1e(%rbp)
je     11c6 <USBDevEndpointConfigGet+0xb6>
mov    $0x1,%al
cmpl   $0x20,-0x8(%rbp)
mov    %al,-0x1e(%rbp)
je     11c6 <USBDevEndpointConfigGet+0xb6>
mov    $0x1,%al
cmpl   $0x30,-0x8(%rbp)
mov    %al,-0x1e(%rbp)
je     11c6 <USBDevEndpointConfigGet+0xb6>
mov    $0x1,%al
cmpl   $0x40,-0x8(%rbp)
mov    %al,-0x1e(%rbp)
je     11c6 <USBDevEndpointConfigGet+0xb6>
mov    $0x1,%al
cmpl   $0x50,-0x8(%rbp)
mov    %al,-0x1e(%rbp)
je     11c6 <USBDevEndpointConfigGet+0xb6>
mov    $0x1,%al
cmpl   $0x60,-0x8(%rbp)
mov    %al,-0x1e(%rbp)
je     11c6 <USBDevEndpointConfigGet+0xb6>
cmpl   $0x70,-0x8(%rbp)
sete   %al
mov    %al,-0x1e(%rbp)
mov    -0x1e(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1030 <ASSERT@plt>
mov    -0x18(%rbp),%rax
mov    (%rax),%eax
and    $0x2000,%eax
cmp    $0x0,%eax
je     12b2 <USBDevEndpointConfigGet+0x1a2>
mov    -0x18(%rbp),%rax
movl   $0x2000,(%rax)
mov    -0x4(%rbp),%eax
mov    -0x8(%rbp),%ecx
sub    $0x10,%ecx
add    %ecx,%eax
add    $0x110,%eax
cltq
mov    (%rax),%rax
mov    %eax,%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x4(%rbp),%eax
mov    -0x8(%rbp),%ecx
sub    $0x10,%ecx
add    %ecx,%eax
add    $0x113,%eax
cltq
mov    (%rax),%rax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
and    $0x80,%eax
cmp    $0x0,%eax
je     1242 <USBDevEndpointConfigGet+0x132>
mov    -0x18(%rbp),%rax
mov    (%rax),%ecx
or     $0x1,%ecx
mov    %ecx,(%rax)
mov    -0x1c(%rbp),%eax
and    $0x10,%eax
cmp    $0x0,%eax
je     1280 <USBDevEndpointConfigGet+0x170>
mov    -0x1c(%rbp),%eax
and    $0x4,%eax
cmp    $0x0,%eax
je     1270 <USBDevEndpointConfigGet+0x160>
mov    -0x18(%rbp),%rax
mov    (%rax),%ecx
or     $0x10,%ecx
mov    %ecx,(%rax)
jmp    127b <USBDevEndpointConfigGet+0x16b>
mov    -0x18(%rbp),%rax
mov    (%rax),%ecx
or     $0x8,%ecx
mov    %ecx,(%rax)
jmp    1280 <USBDevEndpointConfigGet+0x170>
mov    -0x1c(%rbp),%eax
and    $0x40,%eax
cmp    $0x0,%eax
je     129f <USBDevEndpointConfigGet+0x18f>
mov    -0x18(%rbp),%rax
mov    (%rax),%ecx
or     $0x0,%ecx
mov    %ecx,(%rax)
jmp    12ad <USBDevEndpointConfigGet+0x19d>
mov    -0x18(%rbp),%rax
mov    (%rax),%ecx
or     $0x100,%ecx
mov    %ecx,(%rax)
jmp    137d <USBDevEndpointConfigGet+0x26d>
mov    -0x18(%rbp),%rax
movl   $0x0,(%rax)
mov    -0x4(%rbp),%eax
mov    -0x8(%rbp),%ecx
sub    $0x10,%ecx
add    %ecx,%eax
add    $0x114,%eax
cltq
mov    (%rax),%rax
mov    %eax,%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x4(%rbp),%eax
mov    -0x8(%rbp),%ecx
sub    $0x10,%ecx
add    %ecx,%eax
add    $0x117,%eax
cltq
mov    (%rax),%rax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
and    $0x80,%eax
cmp    $0x0,%eax
je     130d <USBDevEndpointConfigGet+0x1fd>
mov    -0x18(%rbp),%rax
mov    (%rax),%ecx
or     $0x4,%ecx
mov    %ecx,(%rax)
mov    -0x1c(%rbp),%eax
and    $0x20,%eax
cmp    $0x0,%eax
je     134b <USBDevEndpointConfigGet+0x23b>
mov    -0x1c(%rbp),%eax
and    $0x8,%eax
cmp    $0x0,%eax
je     133b <USBDevEndpointConfigGet+0x22b>
mov    -0x18(%rbp),%rax
mov    (%rax),%ecx
or     $0x10,%ecx
mov    %ecx,(%rax)
jmp    1346 <USBDevEndpointConfigGet+0x236>
mov    -0x18(%rbp),%rax
mov    (%rax),%ecx
or     $0x8,%ecx
mov    %ecx,(%rax)
jmp    134b <USBDevEndpointConfigGet+0x23b>
mov    -0x1c(%rbp),%eax
and    $0x40,%eax
cmp    $0x0,%eax
je     136a <USBDevEndpointConfigGet+0x25a>
mov    -0x18(%rbp),%rax
mov    (%rax),%ecx
or     $0x0,%ecx
mov    %ecx,(%rax)
jmp    1378 <USBDevEndpointConfigGet+0x268>
mov    -0x18(%rbp),%rax
mov    (%rax),%ecx
or     $0x100,%ecx
mov    %ecx,(%rax)
jmp    137d <USBDevEndpointConfigGet+0x26d>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<USBDevEndpointConfigGet>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
mov    %rcx,%r15
mov    %rdx,%r14
mov    %esi,%ebx
mov    %edi,%r12d
xor    %edi,%edi
cmp    $0x40050000,%r12d
sete   %dil
call   1030 <ASSERT@plt>
test   %r14,%r14
setne  %al
test   %r15,%r15
setne  %cl
and    %al,%cl
movzbl %cl,%edi
call   1030 <ASSERT@plt>
lea    -0x10(%rbx),%ebp
mov    %ebp,%eax
rol    $0x1c,%eax
cmp    $0x6,%eax
setb   %al
cmp    $0x70,%ebx
sete   %cl
or     %al,%cl
movzbl %cl,%edi
call   1030 <ASSERT@plt>
testb  $0x20,0x1(%r15)
jne    11a6 <USBDevEndpointConfigGet+0x96>
movl   $0x0,(%r15)
movslq %ebp,%rax
movslq %r12d,%rcx
mov    0x114(%rax,%rcx,1),%rdx
mov    %edx,(%r14)
mov    0x117(%rax,%rcx,1),%rax
test   $0x80,%al
je     1198 <USBDevEndpointConfigGet+0x88>
orb    $0x4,(%r15)
test   $0x20,%al
je     11df <USBDevEndpointConfigGet+0xcf>
mov    %eax,%ecx
and    $0x8,%ecx
add    $0x8,%ecx
jmp    11dc <USBDevEndpointConfigGet+0xcc>
movl   $0x2000,(%r15)
movslq %ebp,%rax
movslq %r12d,%rcx
mov    0x110(%rax,%rcx,1),%rdx
mov    %edx,(%r14)
mov    0x113(%rax,%rcx,1),%rax
test   $0x80,%al
je     11ce <USBDevEndpointConfigGet+0xbe>
orb    $0x1,(%r15)
test   $0x10,%al
je     11df <USBDevEndpointConfigGet+0xcf>
mov    %eax,%ecx
and    $0x4,%ecx
add    %ecx,%ecx
add    $0x8,%ecx
or     %ecx,(%r15)
test   $0x40,%al
jne    11e8 <USBDevEndpointConfigGet+0xd8>
orb    $0x1,0x1(%r15)
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @USBDevEndpointConfigGet(i32 %0, i32 %1, i32* %2, i32* %3) {
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32*
%8 = alloca i32*
%9 = alloca i32
store i32 %0, i32* %5
store i32 %1, i32* %6
store i32* %2, i32** %7
store i32* %3, i32** %8
%10 = load i32, i32* %5
%11 = icmp eq i32 %10, 1074069504
%12 = zext i1 %11 to i32
%13 = call i32 @ASSERT(i32 %12)
%14 = load i32*, i32** %7
%15 = icmp ne i32* %14, null
br i1 %15, label %16, label %19
16: ; preds = %4
%17 = load i32*, i32** %8
%18 = icmp ne i32* %17, null
br label %19
19: ; preds = %16, %4
%20 = phi i1 [ false, %4 ], [ %18, %16 ]
%21 = zext i1 %20 to i32
%22 = call i32 @ASSERT(i32 %21)
%23 = load i32, i32* %6
%24 = icmp eq i32 %23, 16
br i1 %24, label %43, label %25
25: ; preds = %19
%26 = load i32, i32* %6
%27 = icmp eq i32 %26, 32
br i1 %27, label %43, label %28
28: ; preds = %25
%29 = load i32, i32* %6
%30 = icmp eq i32 %29, 48
br i1 %30, label %43, label %31
31: ; preds = %28
%32 = load i32, i32* %6
%33 = icmp eq i32 %32, 64
br i1 %33, label %43, label %34
34: ; preds = %31
%35 = load i32, i32* %6
%36 = icmp eq i32 %35, 80
br i1 %36, label %43, label %37
37: ; preds = %34
%38 = load i32, i32* %6
%39 = icmp eq i32 %38, 96
br i1 %39, label %43, label %40
40: ; preds = %37
%41 = load i32, i32* %6
%42 = icmp eq i32 %41, 112
br label %43
43: ; preds = %40, %37, %34, %31, %28, %25, %19
%44 = phi i1 [ true, %37 ], [ true, %34 ], [ true, %31 ], [ true, %28 ], [ true, %25 ], [ true, %19 ], [ %42, %40 ]
%45 = zext i1 %44 to i32
%46 = call i32 @ASSERT(i32 %45)
%47 = load i32*, i32** %8
%48 = load i32, i32* %47
%49 = and i32 %48, 8192
%50 = icmp ne i32 %49, 0
br i1 %50, label %51, label %109
51: ; preds = %43
%52 = load i32*, i32** %8
store i32 8192, i32* %52
%53 = load i32, i32* %5
%54 = load i32, i32* %6
%55 = sub nsw i32 %54, 16
%56 = add nsw i32 %53, %55
%57 = add nsw i32 %56, 272
%58 = sext i32 %57 to i64
%59 = inttoptr i64 %58 to i64*
%60 = load volatile i64, i64* %59
%61 = trunc i64 %60 to i32
%62 = load i32*, i32** %7
store i32 %61, i32* %62
%63 = load i32, i32* %5
%64 = load i32, i32* %6
%65 = sub nsw i32 %64, 16
%66 = add nsw i32 %63, %65
%67 = add nsw i32 %66, 275
%68 = sext i32 %67 to i64
%69 = inttoptr i64 %68 to i64*
%70 = load volatile i64, i64* %69
%71 = trunc i64 %70 to i32
store i32 %71, i32* %9
%72 = load i32, i32* %9
%73 = and i32 %72, 128
%74 = icmp ne i32 %73, 0
br i1 %74, label %75, label %79
75: ; preds = %51
%76 = load i32*, i32** %8
%77 = load i32, i32* %76
%78 = or i32 %77, 1
store i32 %78, i32* %76
br label %79
79: ; preds = %75, %51
%80 = load i32, i32* %9
%81 = and i32 %80, 16
%82 = icmp ne i32 %81, 0
br i1 %82, label %83, label %96
83: ; preds = %79
%84 = load i32, i32* %9
%85 = and i32 %84, 4
%86 = icmp ne i32 %85, 0
br i1 %86, label %87, label %91
87: ; preds = %83
%88 = load i32*, i32** %8
%89 = load i32, i32* %88
%90 = or i32 %89, 16
store i32 %90, i32* %88
br label %95
91: ; preds = %83
%92 = load i32*, i32** %8
%93 = load i32, i32* %92
%94 = or i32 %93, 8
store i32 %94, i32* %92
br label %95
95: ; preds = %91, %87
br label %96
96: ; preds = %95, %79
%97 = load i32, i32* %9
%98 = and i32 %97, 64
%99 = icmp ne i32 %98, 0
br i1 %99, label %100, label %104
100: ; preds = %96
%101 = load i32*, i32** %8
%102 = load i32, i32* %101
%103 = or i32 %102, 0
store i32 %103, i32* %101
br label %108
104: ; preds = %96
%105 = load i32*, i32** %8
%106 = load i32, i32* %105
%107 = or i32 %106, 256
store i32 %107, i32* %105
br label %108
108: ; preds = %104, %100
br label %167
109: ; preds = %43
%110 = load i32*, i32** %8
store i32 0, i32* %110
%111 = load i32, i32* %5
%112 = load i32, i32* %6
%113 = sub nsw i32 %112, 16
%114 = add nsw i32 %111, %113
%115 = add nsw i32 %114, 276
%116 = sext i32 %115 to i64
%117 = inttoptr i64 %116 to i64*
%118 = load volatile i64, i64* %117
%119 = trunc i64 %118 to i32
%120 = load i32*, i32** %7
store i32 %119, i32* %120
%121 = load i32, i32* %5
%122 = load i32, i32* %6
%123 = sub nsw i32 %122, 16
%124 = add nsw i32 %121, %123
%125 = add nsw i32 %124, 279
%126 = sext i32 %125 to i64
%127 = inttoptr i64 %126 to i64*
%128 = load volatile i64, i64* %127
%129 = trunc i64 %128 to i32
store i32 %129, i32* %9
%130 = load i32, i32* %9
%131 = and i32 %130, 128
%132 = icmp ne i32 %131, 0
br i1 %132, label %133, label %137
133: ; preds = %109
%134 = load i32*, i32** %8
%135 = load i32, i32* %134
%136 = or i32 %135, 4
store i32 %136, i32* %134
br label %137
137: ; preds = %133, %109
%138 = load i32, i32* %9
%139 = and i32 %138, 32
%140 = icmp ne i32 %139, 0
br i1 %140, label %141, label %154
141: ; preds = %137
%142 = load i32, i32* %9
%143 = and i32 %142, 8
%144 = icmp ne i32 %143, 0
br i1 %144, label %145, label %149
145: ; preds = %141
%146 = load i32*, i32** %8
%147 = load i32, i32* %146
%148 = or i32 %147, 16
store i32 %148, i32* %146
br label %153
149: ; preds = %141
%150 = load i32*, i32** %8
%151 = load i32, i32* %150
%152 = or i32 %151, 8
store i32 %152, i32* %150
br label %153
153: ; preds = %149, %145
br label %154
154: ; preds = %153, %137
%155 = load i32, i32* %9
%156 = and i32 %155, 64
%157 = icmp ne i32 %156, 0
br i1 %157, label %158, label %162
158: ; preds = %154
%159 = load i32*, i32** %8
%160 = load i32, i32* %159
%161 = or i32 %160, 0
store i32 %161, i32* %159
br label %166
162: ; preds = %154
%163 = load i32*, i32** %8
%164 = load i32, i32* %163
%165 = or i32 %164, 256
store i32 %165, i32* %163
br label %166
166: ; preds = %162, %158
br label %167
167: ; preds = %166, %108
ret void
}

LLVM IR (-O2):
define void @USBDevEndpointConfigGet(i32 %0, i32 %1, i32* writeonly %2, i32* %3) {
%5 = icmp eq i32 %0, 1074069504
%6 = zext i1 %5 to i32
%7 = tail call i32 @ASSERT(i32 %6)
%8 = icmp ne i32* %2, null
%9 = icmp ne i32* %3, null
%10 = and i1 %8, %9
%11 = zext i1 %10 to i32
%12 = tail call i32 @ASSERT(i32 %11)
%13 = add i32 %1, -16
%14 = tail call i32 @llvm.fshl.i32(i32 %13, i32 %13, i32 28)
%15 = icmp ult i32 %14, 6
%16 = icmp eq i32 %1, 112
%17 = or i1 %16, %15
%18 = zext i1 %17 to i32
%19 = tail call i32 @ASSERT(i32 %18)
%20 = load i32, i32* %3
%21 = and i32 %20, 8192
%22 = icmp eq i32 %21, 0
br i1 %22, label %52, label %23
23: ; preds = %4
store i32 8192, i32* %3
%24 = add nsw i32 %13, %0
%25 = add nsw i32 %24, 272
%26 = sext i32 %25 to i64
%27 = inttoptr i64 %26 to i64*
%28 = load volatile i64, i64* %27
%29 = trunc i64 %28 to i32
store i32 %29, i32* %2
%30 = add nsw i32 %24, 275
%31 = sext i32 %30 to i64
%32 = inttoptr i64 %31 to i64*
%33 = load volatile i64, i64* %32
%34 = trunc i64 %33 to i32
%35 = and i32 %34, 128
%36 = icmp eq i32 %35, 0
br i1 %36, label %40, label %37
37: ; preds = %23
%38 = load i32, i32* %3
%39 = or i32 %38, 1
store i32 %39, i32* %3
br label %40
40: ; preds = %37, %23
%41 = and i32 %34, 16
%42 = icmp eq i32 %41, 0
br i1 %42, label %49, label %43
43: ; preds = %40
%44 = and i32 %34, 4
%45 = icmp eq i32 %44, 0
%46 = load i32, i32* %3
%47 = select i1 %45, i32 8, i32 16
%48 = or i32 %46, %47
store i32 %48, i32* %3
br label %49
49: ; preds = %43, %40
%50 = and i32 %34, 64
%51 = icmp eq i32 %50, 0
br i1 %51, label %81, label %84
52: ; preds = %4
store i32 0, i32* %3
%53 = add nsw i32 %13, %0
%54 = add nsw i32 %53, 276
%55 = sext i32 %54 to i64
%56 = inttoptr i64 %55 to i64*
%57 = load volatile i64, i64* %56
%58 = trunc i64 %57 to i32
store i32 %58, i32* %2
%59 = add nsw i32 %53, 279
%60 = sext i32 %59 to i64
%61 = inttoptr i64 %60 to i64*
%62 = load volatile i64, i64* %61
%63 = trunc i64 %62 to i32
%64 = and i32 %63, 128
%65 = icmp eq i32 %64, 0
br i1 %65, label %69, label %66
66: ; preds = %52
%67 = load i32, i32* %3
%68 = or i32 %67, 4
store i32 %68, i32* %3
br label %69
69: ; preds = %66, %52
%70 = and i32 %63, 32
%71 = icmp eq i32 %70, 0
br i1 %71, label %78, label %72
72: ; preds = %69
%73 = and i32 %63, 8
%74 = icmp eq i32 %73, 0
%75 = load i32, i32* %3
%76 = select i1 %74, i32 8, i32 16
%77 = or i32 %75, %76
store i32 %77, i32* %3
br label %78
78: ; preds = %72, %69
%79 = and i32 %63, 64
%80 = icmp eq i32 %79, 0
br i1 %80, label %81, label %84
81: ; preds = %78, %49
%82 = load i32, i32* %3
%83 = or i32 %82, 256
store i32 %83, i32* %3
br label %84
84: ; preds = %81, %78, %49
ret void
}