#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*/ stdout;
int /*<<< orphan*/ string_fprintf(int /*<<< orphan*/, char *, ...);
int /*<<< orphan*/ version_get_compilation_date();
int /*<<< orphan*/ version_get_compilation_time();
int /*<<< orphan*/ version_get_version_with_git();
void weechat_display_copyright() {
  string_fprintf(stdout, "\n");
  string_fprintf(stdout,
                 ("WeeChat %s Copyright %s, compiled on %s %s\n"
                  "Developed by Sébastien Helleu <flashcode@flashtux.org> "
                  "- %s"),
                 version_get_version_with_git(), "(C) 2003-2017",
                 version_get_compilation_date(), version_get_compilation_time(),
                 "https://weechat.org/");
  string_fprintf(stdout, "\n");
}


x86 assembly (clang, -O0):
<weechat_display_copyright>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    0x2e91(%rip),%rax
mov    (%rax),%edi
lea    0xea8(%rip),%rsi
mov    $0x0,%al
call   1060 <string_fprintf@plt>
mov    0x2e7a(%rip),%rax
mov    (%rax),%eax
mov    %eax,-0xc(%rbp)
mov    $0x0,%al
call   1050 <version_get_version_with_git@plt>
mov    %eax,-0x8(%rbp)
mov    $0x0,%al
call   1040 <version_get_compilation_date@plt>
mov    %eax,-0x4(%rbp)
mov    $0x0,%al
call   1030 <version_get_compilation_time@plt>
mov    -0xc(%rbp),%edi
mov    -0x8(%rbp),%edx
mov    -0x4(%rbp),%r8d
mov    %eax,%r9d
lea    0xe68(%rip),%rsi
lea    0xec9(%rip),%rcx
lea    0xed0(%rip),%rax
mov    %rax,(%rsp)
mov    $0x0,%al
call   1060 <string_fprintf@plt>
mov    0x2e26(%rip),%rax
mov    (%rax),%edi
lea    0xe3d(%rip),%rsi
mov    $0x0,%al
call   1060 <string_fprintf@plt>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<weechat_display_copyright>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
sub    $0x10,%rsp
mov    0x2e8d(%rip),%r12
mov    (%r12),%edi
lea    0xea2(%rip),%r14
mov    %r14,%rsi
xor    %eax,%eax
call   1060 <string_fprintf@plt>
mov    (%r12),%r15d
xor    %eax,%eax
call   1050 <version_get_version_with_git@plt>
mov    %eax,%ebx
xor    %eax,%eax
call   1040 <version_get_compilation_date@plt>
mov    %eax,%ebp
xor    %eax,%eax
call   1030 <version_get_compilation_time@plt>
lea    0xeec(%rip),%rcx
mov    %rcx,(%rsp)
lea    0xe6b(%rip),%rsi
lea    0xecc(%rip),%rcx
mov    %r15d,%edi
mov    %ebx,%edx
mov    %ebp,%r8d
mov    %eax,%r9d
xor    %eax,%eax
call   1060 <string_fprintf@plt>
mov    (%r12),%edi
mov    %r14,%rsi
xor    %eax,%eax
add    $0x10,%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
jmp    1060 <string_fprintf@plt>

LLVM IR (-O0):
@stdout = global i32 0
@.str = [2 x i8] c"\0A\00"
@.str.1 = [104 x i8] c"WeeChat %s Copyright %s, compiled on %s %s\0ADeveloped by S\C3\A9bastien Helleu <flashcode@flashtux.org> - %s\00"
@.str.2 = [14 x i8] c"(C) 2003-2017\00"
@.str.3 = [21 x i8] c"https://weechat.org/\00"
define void @weechat_display_copyright() {
%1 = load i32, i32* @stdout
%2 = call i32 (i32, i8*, ...) @string_fprintf(i32 %1, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%3 = load i32, i32* @stdout
%4 = call i32 (...) @version_get_version_with_git()
%5 = call i32 (...) @version_get_compilation_date()
%6 = call i32 (...) @version_get_compilation_time()
%7 = call i32 (i32, i8*, ...) @string_fprintf(i32 %3, i8* getelementptr inbounds ([104 x i8], [104 x i8]* @.str.1, i64 0, i64 0), i32 %4, i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.2, i64 0, i64 0), i32 %5, i32 %6, i8* getelementptr inbounds ([21 x i8], [21 x i8]* @.str.3, i64 0, i64 0))
%8 = load i32, i32* @stdout
%9 = call i32 (i32, i8*, ...) @string_fprintf(i32 %8, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
ret void
}

LLVM IR (-O2):
@stdout = global i32 0
@.str = [2 x i8] c"\0A\00"
@.str.1 = [104 x i8] c"WeeChat %s Copyright %s, compiled on %s %s\0ADeveloped by S\C3\A9bastien Helleu <flashcode@flashtux.org> - %s\00"
@.str.2 = [14 x i8] c"(C) 2003-2017\00"
@.str.3 = [21 x i8] c"https://weechat.org/\00"
define void @weechat_display_copyright() {
%1 = load i32, i32* @stdout
%2 = tail call i32 (i32, i8*, ...) @string_fprintf(i32 %1, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%3 = load i32, i32* @stdout
%4 = tail call i32 (...) @version_get_version_with_git()
%5 = tail call i32 (...) @version_get_compilation_date()
%6 = tail call i32 (...) @version_get_compilation_time()
%7 = tail call i32 (i32, i8*, ...) @string_fprintf(i32 %3, i8* getelementptr inbounds ([104 x i8], [104 x i8]* @.str.1, i64 0, i64 0), i32 %4, i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.2, i64 0, i64 0), i32 %5, i32 %6, i8* getelementptr inbounds ([21 x i8], [21 x i8]* @.str.3, i64 0, i64 0))
%8 = load i32, i32* @stdout
%9 = tail call i32 (i32, i8*, ...) @string_fprintf(i32 %8, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
ret void
}