#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 */

/* Variables and functions */
int /*<<< orphan*/ GPIODirModeSet(int, int, int);
int /*<<< orphan*/ PRCMPeripheralClkEnable(int, int);
int /*<<< orphan*/ PinTypeGPIO(int, int, int /*<<< orphan*/);
int /*<<< orphan*/ PinTypeUART(int, int);
void PinMuxConfig(void) {
  PRCMPeripheralClkEnable(0x00000007, 0x00000001);
  PRCMPeripheralClkEnable(0x00000008, 0x00000001);
  PRCMPeripheralClkEnable(0x0000000C, 0x00000001);
  PinTypeGPIO(0x0000003F, 0x00000000, 0);
  GPIODirModeSet(0x40005000, 0x2, 0x00000001);
  PinTypeGPIO(0x00000000, 0x00000000, 0);
  GPIODirModeSet(0x40005000, 0x4, 0x00000001);
  PinTypeGPIO(0x00000001, 0x00000000, 0);
  GPIODirModeSet(0x40005000, 0x8, 0x00000001);
  PinTypeGPIO(0x00000003, 0x00000000, 0);
  GPIODirModeSet(0x40005000, 0x20, 0x00000000);
  PinTypeGPIO(0x0000000E, 0x00000000, 0);
  GPIODirModeSet(0x40006000, 0x40, 0x00000000);
  PinTypeUART(0x00000036, 0x00000003);
  PinTypeUART(0x00000038, 0x00000003);
}


x86 assembly (clang, -O0):
<PinMuxConfig>:
push   %rbp
mov    %rsp,%rbp
mov    $0x7,%edi
mov    $0x1,%esi
call   1030 <PRCMPeripheralClkEnable@plt>
mov    $0x8,%edi
mov    $0x1,%esi
call   1030 <PRCMPeripheralClkEnable@plt>
mov    $0xc,%edi
mov    $0x1,%esi
call   1030 <PRCMPeripheralClkEnable@plt>
mov    $0x3f,%edi
xor    %edx,%edx
mov    %edx,%esi
call   1040 <PinTypeGPIO@plt>
mov    $0x40005000,%edi
mov    $0x2,%esi
mov    $0x1,%edx
call   1060 <GPIODirModeSet@plt>
xor    %edx,%edx
mov    %edx,%edi
mov    %edx,%esi
call   1040 <PinTypeGPIO@plt>
mov    $0x40005000,%edi
mov    $0x4,%esi
mov    $0x1,%edx
call   1060 <GPIODirModeSet@plt>
mov    $0x1,%edi
xor    %edx,%edx
mov    %edx,%esi
call   1040 <PinTypeGPIO@plt>
mov    $0x40005000,%edi
mov    $0x8,%esi
mov    $0x1,%edx
call   1060 <GPIODirModeSet@plt>
mov    $0x3,%edi
xor    %edx,%edx
mov    %edx,%esi
call   1040 <PinTypeGPIO@plt>
mov    $0x40005000,%edi
mov    $0x20,%esi
xor    %edx,%edx
call   1060 <GPIODirModeSet@plt>
mov    $0xe,%edi
xor    %edx,%edx
mov    %edx,%esi
call   1040 <PinTypeGPIO@plt>
mov    $0x40006000,%edi
mov    $0x40,%esi
xor    %edx,%edx
call   1060 <GPIODirModeSet@plt>
mov    $0x36,%edi
mov    $0x3,%esi
call   1050 <PinTypeUART@plt>
mov    $0x38,%edi
mov    $0x3,%esi
call   1050 <PinTypeUART@plt>
pop    %rbp
ret

x86 assembly (clang, -O2):
<PinMuxConfig>:
push   %rax
mov    $0x7,%edi
mov    $0x1,%esi
call   1030 <PRCMPeripheralClkEnable@plt>
mov    $0x8,%edi
mov    $0x1,%esi
call   1030 <PRCMPeripheralClkEnable@plt>
mov    $0xc,%edi
mov    $0x1,%esi
call   1030 <PRCMPeripheralClkEnable@plt>
mov    $0x3f,%edi
xor    %esi,%esi
xor    %edx,%edx
call   1040 <PinTypeGPIO@plt>
mov    $0x40005000,%edi
mov    $0x2,%esi
mov    $0x1,%edx
call   1060 <GPIODirModeSet@plt>
xor    %edi,%edi
xor    %esi,%esi
xor    %edx,%edx
call   1040 <PinTypeGPIO@plt>
mov    $0x40005000,%edi
mov    $0x4,%esi
mov    $0x1,%edx
call   1060 <GPIODirModeSet@plt>
mov    $0x1,%edi
xor    %esi,%esi
xor    %edx,%edx
call   1040 <PinTypeGPIO@plt>
mov    $0x40005000,%edi
mov    $0x8,%esi
mov    $0x1,%edx
call   1060 <GPIODirModeSet@plt>
mov    $0x3,%edi
xor    %esi,%esi
xor    %edx,%edx
call   1040 <PinTypeGPIO@plt>
mov    $0x40005000,%edi
mov    $0x20,%esi
xor    %edx,%edx
call   1060 <GPIODirModeSet@plt>
mov    $0xe,%edi
xor    %esi,%esi
xor    %edx,%edx
call   1040 <PinTypeGPIO@plt>
mov    $0x40006000,%edi
mov    $0x40,%esi
xor    %edx,%edx
call   1060 <GPIODirModeSet@plt>
mov    $0x36,%edi
mov    $0x3,%esi
call   1050 <PinTypeUART@plt>
mov    $0x38,%edi
mov    $0x3,%esi
pop    %rax
jmp    1050 <PinTypeUART@plt>

LLVM IR (-O0):
define void @PinMuxConfig() {
%1 = call i32 @PRCMPeripheralClkEnable(i32 7, i32 1)
%2 = call i32 @PRCMPeripheralClkEnable(i32 8, i32 1)
%3 = call i32 @PRCMPeripheralClkEnable(i32 12, i32 1)
%4 = call i32 @PinTypeGPIO(i32 63, i32 0, i32 0)
%5 = call i32 @GPIODirModeSet(i32 1073762304, i32 2, i32 1)
%6 = call i32 @PinTypeGPIO(i32 0, i32 0, i32 0)
%7 = call i32 @GPIODirModeSet(i32 1073762304, i32 4, i32 1)
%8 = call i32 @PinTypeGPIO(i32 1, i32 0, i32 0)
%9 = call i32 @GPIODirModeSet(i32 1073762304, i32 8, i32 1)
%10 = call i32 @PinTypeGPIO(i32 3, i32 0, i32 0)
%11 = call i32 @GPIODirModeSet(i32 1073762304, i32 32, i32 0)
%12 = call i32 @PinTypeGPIO(i32 14, i32 0, i32 0)
%13 = call i32 @GPIODirModeSet(i32 1073766400, i32 64, i32 0)
%14 = call i32 @PinTypeUART(i32 54, i32 3)
%15 = call i32 @PinTypeUART(i32 56, i32 3)
ret void
}

LLVM IR (-O2):
define void @PinMuxConfig() {
%1 = tail call i32 @PRCMPeripheralClkEnable(i32 7, i32 1)
%2 = tail call i32 @PRCMPeripheralClkEnable(i32 8, i32 1)
%3 = tail call i32 @PRCMPeripheralClkEnable(i32 12, i32 1)
%4 = tail call i32 @PinTypeGPIO(i32 63, i32 0, i32 0)
%5 = tail call i32 @GPIODirModeSet(i32 1073762304, i32 2, i32 1)
%6 = tail call i32 @PinTypeGPIO(i32 0, i32 0, i32 0)
%7 = tail call i32 @GPIODirModeSet(i32 1073762304, i32 4, i32 1)
%8 = tail call i32 @PinTypeGPIO(i32 1, i32 0, i32 0)
%9 = tail call i32 @GPIODirModeSet(i32 1073762304, i32 8, i32 1)
%10 = tail call i32 @PinTypeGPIO(i32 3, i32 0, i32 0)
%11 = tail call i32 @GPIODirModeSet(i32 1073762304, i32 32, i32 0)
%12 = tail call i32 @PinTypeGPIO(i32 14, i32 0, i32 0)
%13 = tail call i32 @GPIODirModeSet(i32 1073766400, i32 64, i32 0)
%14 = tail call i32 @PinTypeUART(i32 54, i32 3)
%15 = tail call i32 @PinTypeUART(i32 56, i32 3)
ret void
}