user: What would the C source look like for the assembly code provided here?

```asm
<GPIOPadConfigSet>:
  endbr64
  mov    %rdx,%r8
  movzbl %sil,%edx
  mov    %rdi,%rax
  mov    %rcx,%rdi
  not    %edx
  movslq %edx,%rdx
  test   $0x1,%r8b
  je     L147
  mov    0x500(%rax),%r9
  movzbl %sil,%ecx
  or     %r9,%rcx
  mov    %rcx,0x500(%rax)
  test   $0x2,%r8b
  je     L37
L17:
  mov    0x504(%rax),%r9
  movzbl %sil,%ecx
  or     %r9,%rcx
  mov    %rcx,0x504(%rax)
  test   $0x4,%r8b
  je     L118
L120:
  mov    0x508(%rax),%r9
  movzbl %sil,%ecx
  or     %r9,%rcx
  and    $0x8,%r8d
  mov    %rcx,0x508(%rax)
  je     L26
L161:
  mov    0x518(%rax),%r8
  movzbl %sil,%ecx
  or     %r8,%rcx
  mov    %rcx,0x518(%rax)
  test   $0x1,%dil
  je     L13
L163:
  mov    0x50c(%rax),%r8
  movzbl %sil,%ecx
  or     %r8,%rcx
  mov    %rcx,0x50c(%rax)
  test   $0x2,%dil
  je     L125
L106:
  mov    0x510(%rax),%r8
  movzbl %sil,%ecx
  or     %r8,%rcx
  mov    %rcx,0x510(%rax)
  test   $0x4,%dil
  je     L86
L92:
  mov    0x514(%rax),%r8
  movzbl %sil,%ecx
  lea    0x51c(%rax),%r9
  mov    %r8,%rsi
  lea    0x528(%rax),%r8
  or     %rcx,%rsi
  and    $0x8,%edi
  mov    %rsi,0x514(%rax)
  je     L70
L142:
  mov    (%r9),%rax
  or     %rax,%rcx
  mov    %rcx,(%r9)
L152:
  mov    (%r8),%rsi
  and    %rdx,%rsi
  mov    %rsi,(%r8)
  ret
  nopl   0x0(%rax)
L147:
  mov    0x500(%rax),%rcx
  and    %rdx,%rcx
  mov    %rcx,0x500(%rax)
  test   $0x2,%r8b
  jne    L17
L37:
  mov    0x504(%rax),%rcx
  and    %rdx,%rcx
  mov    %rcx,0x504(%rax)
  test   $0x4,%r8b
  jne    L120
L118:
  mov    0x508(%rax),%rcx
  and    %rdx,%rcx
  and    $0x8,%r8d
  mov    %rcx,0x508(%rax)
  jne    L161
L26:
  mov    0x518(%rax),%rcx
  and    %rdx,%rcx
  mov    %rcx,0x518(%rax)
  test   $0x1,%dil
  jne    L163
L13:
  mov    0x50c(%rax),%rcx
  and    %rdx,%rcx
  mov    %rcx,0x50c(%rax)
  test   $0x2,%dil
  jne    L106
L125:
  mov    0x510(%rax),%rcx
  and    %rdx,%rcx
  mov    %rcx,0x510(%rax)
  test   $0x4,%dil
  jne    L92
L86:
  mov    0x514(%rax),%rcx
  lea    0x51c(%rax),%r9
  lea    0x528(%rax),%r8
  and    %rdx,%rcx
  mov    %rcx,0x514(%rax)
  test   $0x8,%dil
  jne    L83
  mov    0x51c(%rax),%rcx
  and    %rdx,%rcx
  mov    %rcx,0x51c(%rax)
  test   %rdi,%rdi
  jne    L152
  mov    0x528(%rax),%rax
  movzbl %sil,%esi
  or     %rax,%rsi
  mov    %rsi,(%r8)
  ret
L70:
  mov    0x51c(%rax),%rcx
  and    %rdx,%rcx
  mov    %rcx,0x51c(%rax)
  jmp    L152
L83:
  movzbl %sil,%ecx
  jmp    L142
```

assistant: ```c
void GPIOPadConfigSet(unsigned long ulPort, unsigned char ucPins, unsigned long ulStrength, unsigned long ulPinType) {
  ;

  ;

  (*((volatile unsigned long *)(ulPort + 0x00000500))) = ((ulStrength & 1) ? ((*((volatile unsigned long *)(ulPort + 0x00000500))) | ucPins) : ((*((volatile unsigned long *)(ulPort + 0x00000500))) & ~(ucPins)));
  (*((volatile unsigned long *)(ulPort + 0x00000504))) = ((ulStrength & 2) ? ((*((volatile unsigned long *)(ulPort + 0x00000504))) | ucPins) : ((*((volatile unsigned long *)(ulPort + 0x00000504))) & ~(ucPins)));
  (*((volatile unsigned long *)(ulPort + 0x00000508))) = ((ulStrength & 4) ? ((*((volatile unsigned long *)(ulPort + 0x00000508))) | ucPins) : ((*((volatile unsigned long *)(ulPort + 0x00000508))) & ~(ucPins)));
  (*((volatile unsigned long *)(ulPort + 0x00000518))) = ((ulStrength & 8) ? ((*((volatile unsigned long *)(ulPort + 0x00000518))) | ucPins) : ((*((volatile unsigned long *)(ulPort + 0x00000518))) & ~(ucPins)));
  (*((volatile unsigned long *)(ulPort + 0x0000050C))) = ((ulPinType & 1) ? ((*((volatile unsigned long *)(ulPort + 0x0000050C))) | ucPins) : ((*((volatile unsigned long *)(ulPort + 0x0000050C))) & ~(ucPins)));
  (*((volatile unsigned long *)(ulPort + 0x00000510))) = ((ulPinType & 2) ? ((*((volatile unsigned long *)(ulPort + 0x00000510))) | ucPins) : ((*((volatile unsigned long *)(ulPort + 0x00000510))) & ~(ucPins)));
  (*((volatile unsigned long *)(ulPort + 0x00000514))) = ((ulPinType & 4) ? ((*((volatile unsigned long *)(ulPort + 0x00000514))) | ucPins) : ((*((volatile unsigned long *)(ulPort + 0x00000514))) & ~(ucPins)));
  (*((volatile unsigned long *)(ulPort + 0x0000051C))) = ((ulPinType & 8) ? ((*((volatile unsigned long *)(ulPort + 0x0000051C))) | ucPins) : ((*((volatile unsigned long *)(ulPort + 0x0000051C))) & ~(ucPins)));
  (*((volatile unsigned long *)(ulPort + 0x00000528))) = ((ulPinType == 0x00000000) ? ((*((volatile unsigned long *)(ulPort + 0x00000528))) | ucPins) : ((*((volatile unsigned long *)(ulPort + 0x00000528))) & ~(ucPins)));
}
```