#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*/ pcibios_write_config_byte(int /*<<< orphan*/, scalar_t__,
                                             int, int);
void set_drb(void) {
  pcibios_write_config_byte(0, ((0x00 << 3) + 0), 0x60, 0x01);
  pcibios_write_config_byte(0, ((0x00 << 3) + 0), 0x61, 0x01);
  pcibios_write_config_byte(0, ((0x00 << 3) + 0), 0x62, 0x01);
  pcibios_write_config_byte(0, ((0x00 << 3) + 0), 0x63, 0x01);
  pcibios_write_config_byte(0, ((0x00 << 3) + 0), 0x64, 0x01);
  pcibios_write_config_byte(0, ((0x00 << 3) + 0), 0x65, 0x01);
  pcibios_write_config_byte(0, ((0x00 << 3) + 0), 0x66, 0x01);
  pcibios_write_config_byte(0, ((0x00 << 3) + 0), 0x67, 0x01);
}


x86 assembly (clang, -O0):
<set_drb>:
push   %rbp
mov    %rsp,%rbp
xor    %edi,%edi
xor    %eax,%eax
mov    %eax,%esi
mov    $0x60,%edx
mov    $0x1,%ecx
call   1030 <pcibios_write_config_byte@plt>
xor    %edi,%edi
xor    %eax,%eax
mov    %eax,%esi
mov    $0x61,%edx
mov    $0x1,%ecx
call   1030 <pcibios_write_config_byte@plt>
xor    %edi,%edi
xor    %eax,%eax
mov    %eax,%esi
mov    $0x62,%edx
mov    $0x1,%ecx
call   1030 <pcibios_write_config_byte@plt>
xor    %edi,%edi
xor    %eax,%eax
mov    %eax,%esi
mov    $0x63,%edx
mov    $0x1,%ecx
call   1030 <pcibios_write_config_byte@plt>
xor    %edi,%edi
xor    %eax,%eax
mov    %eax,%esi
mov    $0x64,%edx
mov    $0x1,%ecx
call   1030 <pcibios_write_config_byte@plt>
xor    %edi,%edi
xor    %eax,%eax
mov    %eax,%esi
mov    $0x65,%edx
mov    $0x1,%ecx
call   1030 <pcibios_write_config_byte@plt>
xor    %edi,%edi
xor    %eax,%eax
mov    %eax,%esi
mov    $0x66,%edx
mov    $0x1,%ecx
call   1030 <pcibios_write_config_byte@plt>
xor    %edi,%edi
xor    %eax,%eax
mov    %eax,%esi
mov    $0x67,%edx
mov    $0x1,%ecx
call   1030 <pcibios_write_config_byte@plt>
pop    %rbp
ret

x86 assembly (clang, -O2):
<set_drb>:
push   %rax
xor    %edi,%edi
xor    %esi,%esi
mov    $0x60,%edx
mov    $0x1,%ecx
call   1030 <pcibios_write_config_byte@plt>
xor    %edi,%edi
xor    %esi,%esi
mov    $0x61,%edx
mov    $0x1,%ecx
call   1030 <pcibios_write_config_byte@plt>
xor    %edi,%edi
xor    %esi,%esi
mov    $0x62,%edx
mov    $0x1,%ecx
call   1030 <pcibios_write_config_byte@plt>
xor    %edi,%edi
xor    %esi,%esi
mov    $0x63,%edx
mov    $0x1,%ecx
call   1030 <pcibios_write_config_byte@plt>
xor    %edi,%edi
xor    %esi,%esi
mov    $0x64,%edx
mov    $0x1,%ecx
call   1030 <pcibios_write_config_byte@plt>
xor    %edi,%edi
xor    %esi,%esi
mov    $0x65,%edx
mov    $0x1,%ecx
call   1030 <pcibios_write_config_byte@plt>
xor    %edi,%edi
xor    %esi,%esi
mov    $0x66,%edx
mov    $0x1,%ecx
call   1030 <pcibios_write_config_byte@plt>
xor    %edi,%edi
xor    %esi,%esi
mov    $0x67,%edx
mov    $0x1,%ecx
pop    %rax
jmp    1030 <pcibios_write_config_byte@plt>

LLVM IR (-O0):
define void @set_drb() {
%1 = call i32 @pcibios_write_config_byte(i32 0, i64 0, i32 96, i32 1)
%2 = call i32 @pcibios_write_config_byte(i32 0, i64 0, i32 97, i32 1)
%3 = call i32 @pcibios_write_config_byte(i32 0, i64 0, i32 98, i32 1)
%4 = call i32 @pcibios_write_config_byte(i32 0, i64 0, i32 99, i32 1)
%5 = call i32 @pcibios_write_config_byte(i32 0, i64 0, i32 100, i32 1)
%6 = call i32 @pcibios_write_config_byte(i32 0, i64 0, i32 101, i32 1)
%7 = call i32 @pcibios_write_config_byte(i32 0, i64 0, i32 102, i32 1)
%8 = call i32 @pcibios_write_config_byte(i32 0, i64 0, i32 103, i32 1)
ret void
}

LLVM IR (-O2):
define void @set_drb() {
%1 = tail call i32 @pcibios_write_config_byte(i32 0, i64 0, i32 96, i32 1)
%2 = tail call i32 @pcibios_write_config_byte(i32 0, i64 0, i32 97, i32 1)
%3 = tail call i32 @pcibios_write_config_byte(i32 0, i64 0, i32 98, i32 1)
%4 = tail call i32 @pcibios_write_config_byte(i32 0, i64 0, i32 99, i32 1)
%5 = tail call i32 @pcibios_write_config_byte(i32 0, i64 0, i32 100, i32 1)
%6 = tail call i32 @pcibios_write_config_byte(i32 0, i64 0, i32 101, i32 1)
%7 = tail call i32 @pcibios_write_config_byte(i32 0, i64 0, i32 102, i32 1)
%8 = tail call i32 @pcibios_write_config_byte(i32 0, i64 0, i32 103, i32 1)
ret void
}