void GPIODirModeSet(unsigned long ulPort, unsigned long ulBit,
                    unsigned long ulPinType, unsigned long ulPinSpeed) {
  ;
  ;

  ;

  ;
  if (ulBit < 8) {
    (*((volatile unsigned long *)(ulPort + 0x00000000))) &=
        (~((0x00000003 | 0x0000000C) << (ulBit * 4)));
    (*((volatile unsigned long *)(ulPort + 0x00000000))) =
        ((*((volatile unsigned long *)(ulPort + 0x00000000))) |
         (((ulPinSpeed | ulPinType)) << (ulBit * 4)));
  } else {
    (*((volatile unsigned long *)(ulPort + 0x00000004))) &=
        (~((0x00000003 | 0x0000000C) << ((ulBit - 8) * 4)));
    (*((volatile unsigned long *)(ulPort + 0x00000004))) =
        ((*((volatile unsigned long *)(ulPort + 0x00000004))) |
         (((ulPinSpeed | ulPinType)) << ((ulBit - 8) * 4)));
  }
}


x86 assembly (clang, -O0):
<GPIODirModeSet>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
cmpq   $0x8,-0x10(%rbp)
jae    1174 <GPIODirModeSet+0x74>
mov    -0x10(%rbp),%rax
shl    $0x2,%rax
mov    %eax,%ecx
mov    $0xf,%eax
shl    %cl,%eax
xor    $0xffffffff,%eax
movslq %eax,%rdx
mov    -0x8(%rbp),%rax
mov    (%rax),%rcx
and    %rdx,%rcx
mov    %rcx,(%rax)
mov    -0x8(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x28(%rbp)
mov    -0x20(%rbp),%rax
or     -0x18(%rbp),%rax
mov    -0x10(%rbp),%rcx
shl    $0x2,%rcx
shl    %cl,%rax
mov    -0x28(%rbp),%rcx
or     %rax,%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,(%rax)
jmp    11d0 <GPIODirModeSet+0xd0>
mov    -0x10(%rbp),%rax
sub    $0x8,%rax
shl    $0x2,%rax
mov    %eax,%ecx
mov    $0xf,%eax
shl    %cl,%eax
xor    $0xffffffff,%eax
movslq %eax,%rdx
mov    -0x8(%rbp),%rax
mov    0x4(%rax),%rcx
and    %rdx,%rcx
mov    %rcx,0x4(%rax)
mov    -0x8(%rbp),%rax
mov    0x4(%rax),%rax
mov    %rax,-0x30(%rbp)
mov    -0x20(%rbp),%rax
or     -0x18(%rbp),%rax
mov    -0x10(%rbp),%rcx
sub    $0x8,%rcx
shl    $0x2,%rcx
shl    %cl,%rax
mov    -0x30(%rbp),%rcx
or     %rax,%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,0x4(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<GPIODirModeSet>:
mov    %rcx,%r8
lea    0x0(,%rsi,4),%r9d
lea    0x4(%rdi),%rax
lea    -0x20(%r9),%ecx
cmp    $0x8,%rsi
cmovb  %rdi,%rax
movzbl %cl,%ecx
cmovb  %r9d,%ecx
mov    $0xf,%esi
shl    %cl,%esi
not    %esi
movslq %esi,%rsi
and    %rsi,(%rax)
or     %r8,%rdx
shl    %cl,%rdx
or     %rdx,(%rax)
ret

LLVM IR (-O0):
define void @GPIODirModeSet(i64 %0, i64 %1, i64 %2, i64 %3) {
%5 = alloca i64
%6 = alloca i64
%7 = alloca i64
%8 = alloca i64
store i64 %0, i64* %5
store i64 %1, i64* %6
store i64 %2, i64* %7
store i64 %3, i64* %8
%9 = load i64, i64* %6
%10 = icmp ult i64 %9, 8
br i1 %10, label %11, label %37
11: ; preds = %4
%12 = load i64, i64* %6
%13 = mul i64 %12, 4
%14 = trunc i64 %13 to i32
%15 = shl i32 15, %14
%16 = xor i32 %15, -1
%17 = sext i32 %16 to i64
%18 = load i64, i64* %5
%19 = add i64 %18, 0
%20 = inttoptr i64 %19 to i64*
%21 = load volatile i64, i64* %20
%22 = and i64 %21, %17
store volatile i64 %22, i64* %20
%23 = load i64, i64* %5
%24 = add i64 %23, 0
%25 = inttoptr i64 %24 to i64*
%26 = load volatile i64, i64* %25
%27 = load i64, i64* %8
%28 = load i64, i64* %7
%29 = or i64 %27, %28
%30 = load i64, i64* %6
%31 = mul i64 %30, 4
%32 = shl i64 %29, %31
%33 = or i64 %26, %32
%34 = load i64, i64* %5
%35 = add i64 %34, 0
%36 = inttoptr i64 %35 to i64*
store volatile i64 %33, i64* %36
br label %65
37: ; preds = %4
%38 = load i64, i64* %6
%39 = sub i64 %38, 8
%40 = mul i64 %39, 4
%41 = trunc i64 %40 to i32
%42 = shl i32 15, %41
%43 = xor i32 %42, -1
%44 = sext i32 %43 to i64
%45 = load i64, i64* %5
%46 = add i64 %45, 4
%47 = inttoptr i64 %46 to i64*
%48 = load volatile i64, i64* %47
%49 = and i64 %48, %44
store volatile i64 %49, i64* %47
%50 = load i64, i64* %5
%51 = add i64 %50, 4
%52 = inttoptr i64 %51 to i64*
%53 = load volatile i64, i64* %52
%54 = load i64, i64* %8
%55 = load i64, i64* %7
%56 = or i64 %54, %55
%57 = load i64, i64* %6
%58 = sub i64 %57, 8
%59 = mul i64 %58, 4
%60 = shl i64 %56, %59
%61 = or i64 %53, %60
%62 = load i64, i64* %5
%63 = add i64 %62, 4
%64 = inttoptr i64 %63 to i64*
store volatile i64 %61, i64* %64
br label %65
65: ; preds = %37, %11
ret void
}

LLVM IR (-O2):
define void @GPIODirModeSet(i64 %0, i64 %1, i64 %2, i64 %3) {
%5 = icmp ult i64 %1, 8
%6 = shl i64 %1, 2
%7 = add i64 %6, -32
%8 = add i64 %0, 4
%9 = select i1 %5, i64 %0, i64 %8
%10 = select i1 %5, i64 %6, i64 %7
%11 = trunc i64 %10 to i32
%12 = shl i32 15, %11
%13 = xor i32 %12, -1
%14 = sext i32 %13 to i64
%15 = inttoptr i64 %9 to i64*
%16 = load volatile i64, i64* %15
%17 = and i64 %16, %14
store volatile i64 %17, i64* %15
%18 = load volatile i64, i64* %15
%19 = or i64 %3, %2
%20 = shl i64 %19, %10
%21 = or i64 %18, %20
store volatile i64 %21, i64* %15
ret void
}