#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*/ EXIT_FAILURE;
int /*<<< orphan*/ exit(int /*<<< orphan*/);
int /*<<< orphan*/ sprintf(char *, char *, char *, char *, char *, char *);
void defaultConfig(void) {
  char header[] = "Default configuration:\n";
  char file_name[] = "    file name:  simulation_2500_1800.csv\n";
  char num_cars[] = "    number of cars:                 2500\n";
  char num_iter[] = "    number of iterations:           1800s\n";
  char str[1000];
  sprintf(str, "%s%d%s", header, file_name, num_cars, num_iter);
  exit(EXIT_FAILURE);
}


x86 assembly (clang, -O0):
<defaultConfig>:
push   %rbp
mov    %rsp,%rbp
sub    $0x4a0,%rsp
mov    0xebe(%rip),%rax
mov    %rax,-0x20(%rbp)
mov    0xebb(%rip),%rax
mov    %rax,-0x18(%rbp)
mov    0xeb8(%rip),%rax
mov    %rax,-0x10(%rbp)
lea    -0x50(%rbp),%rdi
lea    0xeb9(%rip),%rsi
mov    $0x2a,%edx
call   1030 <memcpy@plt>
lea    -0x80(%rbp),%rdi
lea    0xed4(%rip),%rsi
mov    $0x2a,%edx
call   1030 <memcpy@plt>
lea    -0xb0(%rbp),%rdi
lea    0xeec(%rip),%rsi
mov    $0x2b,%edx
call   1030 <memcpy@plt>
lea    -0x4a0(%rbp),%rdi
lea    -0x20(%rbp),%rdx
lea    -0x50(%rbp),%rcx
lea    -0x80(%rbp),%r8
lea    -0xb0(%rbp),%r9
lea    0xeec(%rip),%rsi
call   1040 <sprintf@plt>
mov    0x2e15(%rip),%rax
mov    (%rax),%edi
call   1050 <exit@plt>

x86 assembly (clang, -O2):
<defaultConfig>:
sub    $0x498,%rsp
movaps 0xed2(%rip),%xmm0
movaps %xmm0,(%rsp)
movabs $0xa3a6e6f697461,%rax
mov    %rax,0x10(%rsp)
movups 0xef2(%rip),%xmm0
movups %xmm0,0x6a(%rsp)
movaps 0xedc(%rip),%xmm0
movaps %xmm0,0x60(%rsp)
movaps 0xec0(%rip),%xmm0
movaps %xmm0,0x50(%rsp)
movups 0xefe(%rip),%xmm0
movups %xmm0,0x3a(%rsp)
movaps 0xee8(%rip),%xmm0
movaps %xmm0,0x30(%rsp)
movaps 0xecc(%rip),%xmm0
movaps %xmm0,0x20(%rsp)
movups 0xf0b(%rip),%xmm0
movups %xmm0,0x9b(%rsp)
movaps 0xef1(%rip),%xmm0
movaps %xmm0,0x90(%rsp)
movaps 0xed2(%rip),%xmm0
movaps %xmm0,0x80(%rsp)
lea    0xeee(%rip),%rsi
lea    0xb0(%rsp),%rdi
mov    %rsp,%rdx
lea    0x50(%rsp),%rcx
lea    0x20(%rsp),%r8
lea    0x80(%rsp),%r9
call   1030 <sprintf@plt>
mov    0x2dfa(%rip),%rax
mov    (%rax),%edi
call   1040 <exit@plt>

LLVM IR (-O0):
@__const.defaultConfig.header = [24 x i8] c"Default configuration:\0A\00"
@__const.defaultConfig.file_name = [42 x i8] c" file name: simulation_2500_1800.csv\0A\00"
@__const.defaultConfig.num_cars = [42 x i8] c" number of cars: 2500\0A\00"
@__const.defaultConfig.num_iter = [43 x i8] c" number of iterations: 1800s\0A\00"
@.str = [7 x i8] c"%s%d%s\00"
@EXIT_FAILURE = global i32 0
define void @defaultConfig() {
%1 = alloca [24 x i8]
%2 = alloca [42 x i8]
%3 = alloca [42 x i8]
%4 = alloca [43 x i8]
%5 = alloca [1000 x i8]
%6 = bitcast [24 x i8]* %1 to i8*
%7 = bitcast [42 x i8]* %2 to i8*
%8 = bitcast [42 x i8]* %3 to i8*
%9 = bitcast [43 x i8]* %4 to i8*
%10 = getelementptr inbounds [1000 x i8], [1000 x i8]* %5, i64 0, i64 0
%11 = getelementptr inbounds [24 x i8], [24 x i8]* %1, i64 0, i64 0
%12 = getelementptr inbounds [42 x i8], [42 x i8]* %2, i64 0, i64 0
%13 = getelementptr inbounds [42 x i8], [42 x i8]* %3, i64 0, i64 0
%14 = getelementptr inbounds [43 x i8], [43 x i8]* %4, i64 0, i64 0
%15 = call i32 @sprintf(i8* %10, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str, i64 0, i64 0), i8* %11, i8* %12, i8* %13, i8* %14)
%16 = load i32, i32* @EXIT_FAILURE
%17 = call i32 @exit(i32 %16)
unreachable
}

LLVM IR (-O2):
@__const.defaultConfig.header = [24 x i8] c"Default configuration:\0A\00"
@__const.defaultConfig.file_name = [42 x i8] c" file name: simulation_2500_1800.csv\0A\00"
@__const.defaultConfig.num_cars = [42 x i8] c" number of cars: 2500\0A\00"
@__const.defaultConfig.num_iter = [43 x i8] c" number of iterations: 1800s\0A\00"
@.str = [7 x i8] c"%s%d%s\00"
@EXIT_FAILURE = global i32 0
define void @defaultConfig() {
%1 = alloca [24 x i8]
%2 = alloca [42 x i8]
%3 = alloca [42 x i8]
%4 = alloca [43 x i8]
%5 = alloca [1000 x i8]
%6 = getelementptr inbounds [24 x i8], [24 x i8]* %1, i64 0, i64 0
%7 = getelementptr inbounds [42 x i8], [42 x i8]* %2, i64 0, i64 0
%8 = getelementptr inbounds [42 x i8], [42 x i8]* %3, i64 0, i64 0
%9 = getelementptr inbounds [43 x i8], [43 x i8]* %4, i64 0, i64 0
%10 = getelementptr inbounds [1000 x i8], [1000 x i8]* %5, i64 0, i64 0
%11 = call i32 @sprintf(i8* %10, i8* dereferenceable(1) getelementptr inbounds ([7 x i8], [7 x i8]* @.str, i64 0, i64 0), i8* %6, i8* %7, i8* %8, i8* %9)
%12 = load i32, i32* @EXIT_FAILURE
%13 = call i32 @exit(i32 %12)
unreachable
}