// File: /workspace/github_c_makefile_star2_O3/ukontainer[P]sqlite-bench/main.c
// Function: print_usage
void print_usage(const char* argv0) {
  fprintf(stderr, "Usage: %s [OPTION]...\n", argv0);
  fprintf(stderr, "SQLite3 benchmark tool\n");
  fprintf(stderr, "[OPTION]\n");
  fprintf(stderr, "  --benchmarks=[BENCH]\t\tspecify benchmark\n");
  fprintf(stderr, "  --histogram={0,1}\t\trecord histogram\n");
  fprintf(stderr, "  --raw={0,1}\t\t\toutput raw data\n");
  fprintf(stderr, "  --compression_ratio=DOUBLE\tcompression ratio\n");
  fprintf(stderr, "  --use_existing_db={0,1}\tuse existing database\n");
  fprintf(stderr, "  --num=INT\t\t\tnumber of entries\n");
  fprintf(stderr, "  --reads=INT\t\t\tnumber of reads\n");
  fprintf(stderr, "  --value_size=INT\t\tvalue size\n");
  fprintf(stderr, "  --no_transaction\t\tdisable transaction\n");
  fprintf(stderr, "  --page_size=INT\t\tpage size\n");
  fprintf(stderr, "  --num_pages=INT\t\tnumber of pages\n");
  fprintf(stderr, "  --WAL_enabled={0,1}\t\tenable WAL\n");
  fprintf(stderr, "  --db=PATH\t\t\tpath to location databases are created\n");
  fprintf(stderr, "  --help\t\t\tshow this help\n");
  fprintf(stderr, "\n");
  fprintf(stderr, "[BENCH]\n");
  fprintf(stderr, "  fillseq\twrite N values in sequential key order in async mode\n");
  fprintf(stderr, "  fillseqsync\twrite N/100 values in sequential key order in sync mode\n");
  fprintf(stderr, "  fillseqbatch\tbatch write N values in sequential key order in async mode\n");
  fprintf(stderr, "  fillrandom\twrite N values in random key order in async mode\n");
  fprintf(stderr, "  fillrandsync\twrite N/100 values in random key order in sync mode\n");
  fprintf(stderr, "  fillrandbatch\tbatch write N values in random key order in async mode\n");
  fprintf(stderr, "  overwrite\toverwrite N values in random key order in async mode\n");
  fprintf(stderr, "  fillrand100K\twrite N/1000 100K values in random order in async mode\n");
  fprintf(stderr, "  fillseq100K\twirte N/1000 100K values in sequential order in async mode\n");
  fprintf(stderr, "  readseq\tread N times sequentially\n");
  fprintf(stderr, "  readrandom\tread N times in random order\n");
  fprintf(stderr, "  readrand100K\tread N/1000 100K values in sequential order in async mode\n");

}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %rdx
movq $0x5a26a8, %r12         # imm = 0x5A26A8
movq (%r12), %rdi
leaq 0x148bfe(%rip), %rsi    # 0x54ab2f
xorl %eax, %eax
callq 0x486930
movq (%r12), %rcx
leaq 0x148c03(%rip), %rdi    # 0x54ab46
pushq $0x17
popq %rsi
pushq $0x1
popq %rbx
movq %rbx, %rdx
callq 0x495520
movq (%r12), %rcx
leaq 0x148c02(%rip), %rdi    # 0x54ab5e
pushq $0x9
popq %rsi
movq %rbx, %rdx
callq 0x495520
movq (%r12), %rcx
leaq 0x148bf6(%rip), %rdi    # 0x54ab68
pushq $0x2a
popq %r14
movq %r14, %rsi
movq %rbx, %rdx
callq 0x495520
movq (%r12), %rcx
leaq 0x148c07(%rip), %rdi    # 0x54ab93
pushq $0x26
popq %rsi
movq %rbx, %rdx
callq 0x495520
movq (%r12), %rcx
leaq 0x148c18(%rip), %rdi    # 0x54abba
pushq $0x20
popq %r15
movq %r15, %rsi
movq %rbx, %rdx
callq 0x495520
movq (%r12), %rcx
leaq 0x148c1f(%rip), %rdi    # 0x54abdb
pushq $0x2f
popq %rsi
movq %rbx, %rdx
callq 0x495520
movq (%r12), %rcx
leaq 0x148c39(%rip), %rdi    # 0x54ac0b
pushq $0x30
popq %rsi
movq %rbx, %rdx
callq 0x495520
movq (%r12), %rcx
leaq 0x148c54(%rip), %rdi    # 0x54ac3c
movq %r15, %rsi
movq %rbx, %rdx
callq 0x495520
movq (%r12), %rcx
leaq 0x148c5f(%rip), %rdi    # 0x54ac5d
movq %r15, %rsi
movq %rbx, %rdx
callq 0x495520
movq (%r12), %rcx
leaq 0x148c6a(%rip), %rdi    # 0x54ac7e
pushq $0x1f
popq %rsi
movq %rbx, %rdx
callq 0x495520
movq (%r12), %rcx
leaq 0x148c74(%rip), %rdi    # 0x54ac9e
pushq $0x28
popq %rsi
movq %rbx, %rdx
callq 0x495520
movq (%r12), %rcx
leaq 0x148c87(%rip), %rdi    # 0x54acc7
pushq $0x1d
popq %rsi
movq %rbx, %rdx
callq 0x495520
movq (%r12), %rcx
leaq 0x148c8f(%rip), %rdi    # 0x54ace5
pushq $0x23
popq %rsi
movq %rbx, %rdx
callq 0x495520
movq (%r12), %rcx
leaq 0x148c9d(%rip), %rdi    # 0x54ad09
pushq $0x22
popq %rsi
movq %rbx, %rdx
callq 0x495520
movq (%r12), %rcx
leaq 0x148caa(%rip), %rdi    # 0x54ad2c
pushq $0x35
popq %rsi
movq %rbx, %rdx
callq 0x495520
movq (%r12), %rcx
leaq 0x148cca(%rip), %rdi    # 0x54ad62
pushq $0x1a
popq %rsi
movq %rbx, %rdx
callq 0x495520
movq (%r12), %rsi
pushq $0xa
popq %rdi
callq 0x497900
movq (%r12), %rcx
leaq 0x148cc3(%rip), %rdi    # 0x54ad7d
pushq $0x8
popq %rsi
movq %rbx, %rdx
callq 0x495520
movq (%r12), %rcx
leaq 0x148cb6(%rip), %rdi    # 0x54ad86
pushq $0x3f
popq %rsi
movq %rbx, %rdx
callq 0x495520
movq (%r12), %rcx
leaq 0x148ce0(%rip), %rdi    # 0x54adc6
pushq $0x46
popq %r15
movq %r15, %rsi
movq %rbx, %rdx
callq 0x495520
movq (%r12), %rcx
leaq 0x148d0d(%rip), %rdi    # 0x54ae0d
pushq $0x4a
popq %rsi
movq %rbx, %rdx
callq 0x495520
movq (%r12), %rcx
leaq 0x148d42(%rip), %rdi    # 0x54ae58
pushq $0x3e
popq %rsi
movq %rbx, %rdx
callq 0x495520
movq (%r12), %rcx
leaq 0x148d6b(%rip), %rdi    # 0x54ae97
pushq $0x43
popq %rsi
movq %rbx, %rdx
callq 0x495520
movq (%r12), %rcx
leaq 0x148d99(%rip), %rdi    # 0x54aedb
pushq $0x47
popq %rsi
movq %rbx, %rdx
callq 0x495520
movq (%r12), %rcx
leaq 0x148dcb(%rip), %rdi    # 0x54af23
pushq $0x41
popq %rsi
movq %rbx, %rdx
callq 0x495520
movq (%r12), %rcx
leaq 0x148df7(%rip), %rdi    # 0x54af65
movq %r15, %rsi
movq %rbx, %rdx
callq 0x495520
movq (%r12), %rcx
leaq 0x148e28(%rip), %rdi    # 0x54afac
pushq $0x49
popq %r15
movq %r15, %rsi
movq %rbx, %rdx
callq 0x495520
movq (%r12), %rcx
leaq 0x148e58(%rip), %rdi    # 0x54aff6
pushq $0x24
popq %rsi
movq %rbx, %rdx
callq 0x495520
movq (%r12), %rcx
leaq 0x148e67(%rip), %rdi    # 0x54b01b
movq %r14, %rsi
movq %rbx, %rdx
callq 0x495520
movq (%r12), %rcx
leaq 0x148e7c(%rip), %rdi    # 0x54b046
movq %r15, %rsi
movq %rbx, %rdx
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmp 0x495520