// File: /workspace/github_c_makefile_star2_O1/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 0x148c08(%rip), %rsi    # 0x54ab1f
xorl %eax, %eax
callq 0x4872b0
movq (%r12), %rcx
leaq 0x148c0d(%rip), %rdi    # 0x54ab36
pushq $0x17
popq %rsi
pushq $0x1
popq %rbx
movq %rbx, %rdx
callq 0x495ea0
movq (%r12), %rcx
leaq 0x148c0c(%rip), %rdi    # 0x54ab4e
pushq $0x9
popq %rsi
movq %rbx, %rdx
callq 0x495ea0
movq (%r12), %rcx
leaq 0x148c00(%rip), %rdi    # 0x54ab58
pushq $0x2a
popq %r14
movq %r14, %rsi
movq %rbx, %rdx
callq 0x495ea0
movq (%r12), %rcx
leaq 0x148c11(%rip), %rdi    # 0x54ab83
pushq $0x26
popq %rsi
movq %rbx, %rdx
callq 0x495ea0
movq (%r12), %rcx
leaq 0x148c22(%rip), %rdi    # 0x54abaa
pushq $0x20
popq %r15
movq %r15, %rsi
movq %rbx, %rdx
callq 0x495ea0
movq (%r12), %rcx
leaq 0x148c29(%rip), %rdi    # 0x54abcb
pushq $0x2f
popq %rsi
movq %rbx, %rdx
callq 0x495ea0
movq (%r12), %rcx
leaq 0x148c43(%rip), %rdi    # 0x54abfb
pushq $0x30
popq %rsi
movq %rbx, %rdx
callq 0x495ea0
movq (%r12), %rcx
leaq 0x148c5e(%rip), %rdi    # 0x54ac2c
movq %r15, %rsi
movq %rbx, %rdx
callq 0x495ea0
movq (%r12), %rcx
leaq 0x148c69(%rip), %rdi    # 0x54ac4d
movq %r15, %rsi
movq %rbx, %rdx
callq 0x495ea0
movq (%r12), %rcx
leaq 0x148c74(%rip), %rdi    # 0x54ac6e
pushq $0x1f
popq %rsi
movq %rbx, %rdx
callq 0x495ea0
movq (%r12), %rcx
leaq 0x148c7e(%rip), %rdi    # 0x54ac8e
pushq $0x28
popq %rsi
movq %rbx, %rdx
callq 0x495ea0
movq (%r12), %rcx
leaq 0x148c91(%rip), %rdi    # 0x54acb7
pushq $0x1d
popq %rsi
movq %rbx, %rdx
callq 0x495ea0
movq (%r12), %rcx
leaq 0x148c99(%rip), %rdi    # 0x54acd5
pushq $0x23
popq %rsi
movq %rbx, %rdx
callq 0x495ea0
movq (%r12), %rcx
leaq 0x148ca7(%rip), %rdi    # 0x54acf9
pushq $0x22
popq %rsi
movq %rbx, %rdx
callq 0x495ea0
movq (%r12), %rcx
leaq 0x148cb4(%rip), %rdi    # 0x54ad1c
pushq $0x35
popq %rsi
movq %rbx, %rdx
callq 0x495ea0
movq (%r12), %rcx
leaq 0x148cd4(%rip), %rdi    # 0x54ad52
pushq $0x1a
popq %rsi
movq %rbx, %rdx
callq 0x495ea0
movq (%r12), %rsi
pushq $0xa
popq %rdi
callq 0x498280
movq (%r12), %rcx
leaq 0x148ccd(%rip), %rdi    # 0x54ad6d
pushq $0x8
popq %rsi
movq %rbx, %rdx
callq 0x495ea0
movq (%r12), %rcx
leaq 0x148cc0(%rip), %rdi    # 0x54ad76
pushq $0x3f
popq %rsi
movq %rbx, %rdx
callq 0x495ea0
movq (%r12), %rcx
leaq 0x148cea(%rip), %rdi    # 0x54adb6
pushq $0x46
popq %r15
movq %r15, %rsi
movq %rbx, %rdx
callq 0x495ea0
movq (%r12), %rcx
leaq 0x148d17(%rip), %rdi    # 0x54adfd
pushq $0x4a
popq %rsi
movq %rbx, %rdx
callq 0x495ea0
movq (%r12), %rcx
leaq 0x148d4c(%rip), %rdi    # 0x54ae48
pushq $0x3e
popq %rsi
movq %rbx, %rdx
callq 0x495ea0
movq (%r12), %rcx
leaq 0x148d75(%rip), %rdi    # 0x54ae87
pushq $0x43
popq %rsi
movq %rbx, %rdx
callq 0x495ea0
movq (%r12), %rcx
leaq 0x148da3(%rip), %rdi    # 0x54aecb
pushq $0x47
popq %rsi
movq %rbx, %rdx
callq 0x495ea0
movq (%r12), %rcx
leaq 0x148dd5(%rip), %rdi    # 0x54af13
pushq $0x41
popq %rsi
movq %rbx, %rdx
callq 0x495ea0
movq (%r12), %rcx
leaq 0x148e01(%rip), %rdi    # 0x54af55
movq %r15, %rsi
movq %rbx, %rdx
callq 0x495ea0
movq (%r12), %rcx
leaq 0x148e32(%rip), %rdi    # 0x54af9c
pushq $0x49
popq %r15
movq %r15, %rsi
movq %rbx, %rdx
callq 0x495ea0
movq (%r12), %rcx
leaq 0x148e62(%rip), %rdi    # 0x54afe6
pushq $0x24
popq %rsi
movq %rbx, %rdx
callq 0x495ea0
movq (%r12), %rcx
leaq 0x148e71(%rip), %rdi    # 0x54b00b
movq %r14, %rsi
movq %rbx, %rdx
callq 0x495ea0
movq (%r12), %rcx
leaq 0x148e86(%rip), %rdi    # 0x54b036
movq %r15, %rsi
movq %rbx, %rdx
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmp 0x495ea0