unsigned long USBIntStatus(unsigned long ulBase) {
  unsigned long ulStatus;
  ;
  ulStatus = ((*((volatile unsigned short *)(ulBase + 0x00000002))));
  ulStatus |= ((*((volatile unsigned short *)(ulBase + 0x00000004))) << 8);
  ulStatus |= ((*((volatile unsigned char *)(ulBase + 0x0000000A))) << 24);
  if ((*((volatile unsigned long *)(ulBase + 0x0000040C))) & 0x00000001) {
    ulStatus |= 0x00010000;
    (*((volatile unsigned char *)(ulBase + 0x0000040C))) |= 0x00000001;
  }
  return (ulStatus);
}


x86 assembly (clang, -O0):
<USBIntStatus>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rax
mov    0x2(%rax),%ax
movzwl %ax,%eax
mov    %rax,-0x10(%rbp)
mov    -0x8(%rbp),%rax
mov    0x4(%rax),%ax
movzwl %ax,%eax
shl    $0x8,%eax
cltq
or     -0x10(%rbp),%rax
mov    %rax,-0x10(%rbp)
mov    -0x8(%rbp),%rax
mov    0xa(%rax),%al
movzbl %al,%eax
shl    $0x18,%eax
cltq
or     -0x10(%rbp),%rax
mov    %rax,-0x10(%rbp)
mov    -0x8(%rbp),%rax
mov    0x40c(%rax),%rax
and    $0x1,%rax
cmp    $0x0,%rax
je     1183 <USBIntStatus+0x83>
mov    -0x10(%rbp),%rax
or     $0x10000,%rax
mov    %rax,-0x10(%rbp)
mov    -0x8(%rbp),%rax
mov    0x40c(%rax),%cl
movzbl %cl,%ecx
or     $0x1,%ecx
mov    %cl,0x40c(%rax)
mov    -0x10(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<USBIntStatus>:
movzwl 0x2(%rdi),%eax
movzwl 0x4(%rdi),%ecx
shl    $0x8,%rcx
or     %rax,%rcx
movzbl 0xa(%rdi),%eax
shl    $0x18,%eax
cltq
or     %rcx,%rax
testq  $0x1,0x40c(%rdi)
je     1135 <USBIntStatus+0x35>
or     $0x10000,%rax
orb    $0x1,0x40c(%rdi)
ret

LLVM IR (-O0):
define i64 @USBIntStatus(i64 %0) {
%2 = alloca i64
%3 = alloca i64
store i64 %0, i64* %2
%4 = load i64, i64* %2
%5 = add i64 %4, 2
%6 = inttoptr i64 %5 to i16*
%7 = load volatile i16, i16* %6
%8 = zext i16 %7 to i64
store i64 %8, i64* %3
%9 = load i64, i64* %2
%10 = add i64 %9, 4
%11 = inttoptr i64 %10 to i16*
%12 = load volatile i16, i16* %11
%13 = zext i16 %12 to i32
%14 = shl i32 %13, 8
%15 = sext i32 %14 to i64
%16 = load i64, i64* %3
%17 = or i64 %16, %15
store i64 %17, i64* %3
%18 = load i64, i64* %2
%19 = add i64 %18, 10
%20 = inttoptr i64 %19 to i8*
%21 = load volatile i8, i8* %20
%22 = zext i8 %21 to i32
%23 = shl i32 %22, 24
%24 = sext i32 %23 to i64
%25 = load i64, i64* %3
%26 = or i64 %25, %24
store i64 %26, i64* %3
%27 = load i64, i64* %2
%28 = add i64 %27, 1036
%29 = inttoptr i64 %28 to i64*
%30 = load volatile i64, i64* %29
%31 = and i64 %30, 1
%32 = icmp ne i64 %31, 0
br i1 %32, label %33, label %43
33: ; preds = %1
%34 = load i64, i64* %3
%35 = or i64 %34, 65536
store i64 %35, i64* %3
%36 = load i64, i64* %2
%37 = add i64 %36, 1036
%38 = inttoptr i64 %37 to i8*
%39 = load volatile i8, i8* %38
%40 = zext i8 %39 to i32
%41 = or i32 %40, 1
%42 = trunc i32 %41 to i8
store volatile i8 %42, i8* %38
br label %43
43: ; preds = %33, %1
%44 = load i64, i64* %3
ret i64 %44
}

LLVM IR (-O2):
define i64 @USBIntStatus(i64 %0) {
%2 = add i64 %0, 2
%3 = inttoptr i64 %2 to i16*
%4 = load volatile i16, i16* %3
%5 = zext i16 %4 to i64
%6 = add i64 %0, 4
%7 = inttoptr i64 %6 to i16*
%8 = load volatile i16, i16* %7
%9 = zext i16 %8 to i64
%10 = shl nuw nsw i64 %9, 8
%11 = or i64 %10, %5
%12 = add i64 %0, 10
%13 = inttoptr i64 %12 to i8*
%14 = load volatile i8, i8* %13
%15 = zext i8 %14 to i32
%16 = shl nuw i32 %15, 24
%17 = sext i32 %16 to i64
%18 = or i64 %11, %17
%19 = add i64 %0, 1036
%20 = inttoptr i64 %19 to i64*
%21 = load volatile i64, i64* %20
%22 = and i64 %21, 1
%23 = icmp eq i64 %22, 0
br i1 %23, label %29, label %24
24: ; preds = %1
%25 = or i64 %18, 65536
%26 = inttoptr i64 %19 to i8*
%27 = load volatile i8, i8* %26
%28 = or i8 %27, 1
store volatile i8 %28, i8* %26
br label %29
29: ; preds = %24, %1
%30 = phi i64 [ %25, %24 ], [ %18, %1 ]
ret i64 %30
}