void GPIODirModeSet(unsigned long ulPort, unsigned char ucPins,
                    unsigned long ulPinIO) {
  ;

  ;
  (*((volatile unsigned long *)(ulPort + 0x00000400))) =
      ((ulPinIO & 1)
           ? ((*((volatile unsigned long *)(ulPort + 0x00000400))) | ucPins)
           : ((*((volatile unsigned long *)(ulPort + 0x00000400))) &
              ~(ucPins)));
  (*((volatile unsigned long *)(ulPort + 0x00000420))) =
      ((ulPinIO & 2)
           ? ((*((volatile unsigned long *)(ulPort + 0x00000420))) | ucPins)
           : ((*((volatile unsigned long *)(ulPort + 0x00000420))) &
              ~(ucPins)));
}


x86 assembly (clang, -O0):
<GPIODirModeSet>:
push   %rbp
mov    %rsp,%rbp
mov    %sil,%al
mov    %rdi,-0x8(%rbp)
mov    %al,-0x9(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x18(%rbp),%rax
and    $0x1,%rax
cmp    $0x0,%rax
je     113f <GPIODirModeSet+0x3f>
mov    -0x8(%rbp),%rax
mov    0x400(%rax),%rax
movzbl -0x9(%rbp),%ecx
or     %rcx,%rax
mov    %rax,-0x20(%rbp)
jmp    115b <GPIODirModeSet+0x5b>
mov    -0x8(%rbp),%rax
mov    0x400(%rax),%rax
movzbl -0x9(%rbp),%ecx
xor    $0xffffffff,%ecx
movslq %ecx,%rcx
and    %rcx,%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,0x400(%rax)
mov    -0x18(%rbp),%rax
and    $0x2,%rax
cmp    $0x0,%rax
je     1197 <GPIODirModeSet+0x97>
mov    -0x8(%rbp),%rax
mov    0x420(%rax),%rax
movzbl -0x9(%rbp),%ecx
or     %rcx,%rax
mov    %rax,-0x28(%rbp)
jmp    11b3 <GPIODirModeSet+0xb3>
mov    -0x8(%rbp),%rax
mov    0x420(%rax),%rax
movzbl -0x9(%rbp),%ecx
xor    $0xffffffff,%ecx
movslq %ecx,%rcx
and    %rcx,%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,0x420(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<GPIODirModeSet>:
mov    0x400(%rdi),%rax
mov    %esi,%r8d
mov    %r8,%rsi
not    %rsi
mov    %rax,%rcx
and    %rsi,%rcx
or     %r8,%rax
test   $0x1,%dl
cmove  %rcx,%rax
mov    %rax,0x400(%rdi)
mov    0x420(%rdi),%rax
and    %rax,%rsi
or     %r8,%rax
test   $0x2,%dl
cmove  %rsi,%rax
mov    %rax,0x420(%rdi)
ret

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

LLVM IR (-O2):
define void @GPIODirModeSet(i64 %0, i8 zeroext %1, i64 %2) {
%4 = and i64 %2, 1
%5 = icmp eq i64 %4, 0
%6 = add i64 %0, 1024
%7 = inttoptr i64 %6 to i64*
%8 = load volatile i64, i64* %7
%9 = zext i8 %1 to i64
%10 = xor i64 %9, -1
%11 = and i64 %8, %10
%12 = or i64 %8, %9
%13 = select i1 %5, i64 %11, i64 %12
store volatile i64 %13, i64* %7
%14 = and i64 %2, 2
%15 = icmp eq i64 %14, 0
%16 = add i64 %0, 1056
%17 = inttoptr i64 %16 to i64*
%18 = load volatile i64, i64* %17
%19 = zext i8 %1 to i64
%20 = xor i64 %19, -1
%21 = and i64 %18, %20
%22 = or i64 %18, %19
%23 = select i1 %15, i64 %21, i64 %22
store volatile i64 %23, i64* %17
ret void
}