// File: /workspace/github_c_makefile_star2_O2/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 $0x5956a8, %r12         # imm = 0x5956A8
movq (%r12), %rdi
leaq 0x135765(%rip), %rsi    # 0x538b2f
xorl %eax, %eax
callq 0x474dd0
movq (%r12), %rcx
leaq 0x13576a(%rip), %rdi    # 0x538b46
pushq $0x17
popq %rsi
pushq $0x1
popq %rbx
movq %rbx, %rdx
callq 0x4839c0
movq (%r12), %rcx
leaq 0x135769(%rip), %rdi    # 0x538b5e
pushq $0x9
popq %rsi
movq %rbx, %rdx
callq 0x4839c0
movq (%r12), %rcx
leaq 0x13575d(%rip), %rdi    # 0x538b68
pushq $0x2a
popq %r14
movq %r14, %rsi
movq %rbx, %rdx
callq 0x4839c0
movq (%r12), %rcx
leaq 0x13576e(%rip), %rdi    # 0x538b93
pushq $0x26
popq %rsi
movq %rbx, %rdx
callq 0x4839c0
movq (%r12), %rcx
leaq 0x13577f(%rip), %rdi    # 0x538bba
pushq $0x20
popq %r15
movq %r15, %rsi
movq %rbx, %rdx
callq 0x4839c0
movq (%r12), %rcx
leaq 0x135786(%rip), %rdi    # 0x538bdb
pushq $0x2f
popq %rsi
movq %rbx, %rdx
callq 0x4839c0
movq (%r12), %rcx
leaq 0x1357a0(%rip), %rdi    # 0x538c0b
pushq $0x30
popq %rsi
movq %rbx, %rdx
callq 0x4839c0
movq (%r12), %rcx
leaq 0x1357bb(%rip), %rdi    # 0x538c3c
movq %r15, %rsi
movq %rbx, %rdx
callq 0x4839c0
movq (%r12), %rcx
leaq 0x1357c6(%rip), %rdi    # 0x538c5d
movq %r15, %rsi
movq %rbx, %rdx
callq 0x4839c0
movq (%r12), %rcx
leaq 0x1357d1(%rip), %rdi    # 0x538c7e
pushq $0x1f
popq %rsi
movq %rbx, %rdx
callq 0x4839c0
movq (%r12), %rcx
leaq 0x1357db(%rip), %rdi    # 0x538c9e
pushq $0x28
popq %rsi
movq %rbx, %rdx
callq 0x4839c0
movq (%r12), %rcx
leaq 0x1357ee(%rip), %rdi    # 0x538cc7
pushq $0x1d
popq %rsi
movq %rbx, %rdx
callq 0x4839c0
movq (%r12), %rcx
leaq 0x1357f6(%rip), %rdi    # 0x538ce5
pushq $0x23
popq %rsi
movq %rbx, %rdx
callq 0x4839c0
movq (%r12), %rcx
leaq 0x135804(%rip), %rdi    # 0x538d09
pushq $0x22
popq %rsi
movq %rbx, %rdx
callq 0x4839c0
movq (%r12), %rcx
leaq 0x135811(%rip), %rdi    # 0x538d2c
pushq $0x35
popq %rsi
movq %rbx, %rdx
callq 0x4839c0
movq (%r12), %rcx
leaq 0x135831(%rip), %rdi    # 0x538d62
pushq $0x1a
popq %rsi
movq %rbx, %rdx
callq 0x4839c0
movq (%r12), %rsi
pushq $0xa
popq %rdi
callq 0x485da0
movq (%r12), %rcx
leaq 0x13582a(%rip), %rdi    # 0x538d7d
pushq $0x8
popq %rsi
movq %rbx, %rdx
callq 0x4839c0
movq (%r12), %rcx
leaq 0x13581d(%rip), %rdi    # 0x538d86
pushq $0x3f
popq %rsi
movq %rbx, %rdx
callq 0x4839c0
movq (%r12), %rcx
leaq 0x135847(%rip), %rdi    # 0x538dc6
pushq $0x46
popq %r15
movq %r15, %rsi
movq %rbx, %rdx
callq 0x4839c0
movq (%r12), %rcx
leaq 0x135874(%rip), %rdi    # 0x538e0d
pushq $0x4a
popq %rsi
movq %rbx, %rdx
callq 0x4839c0
movq (%r12), %rcx
leaq 0x1358a9(%rip), %rdi    # 0x538e58
pushq $0x3e
popq %rsi
movq %rbx, %rdx
callq 0x4839c0
movq (%r12), %rcx
leaq 0x1358d2(%rip), %rdi    # 0x538e97
pushq $0x43
popq %rsi
movq %rbx, %rdx
callq 0x4839c0
movq (%r12), %rcx
leaq 0x135900(%rip), %rdi    # 0x538edb
pushq $0x47
popq %rsi
movq %rbx, %rdx
callq 0x4839c0
movq (%r12), %rcx
leaq 0x135932(%rip), %rdi    # 0x538f23
pushq $0x41
popq %rsi
movq %rbx, %rdx
callq 0x4839c0
movq (%r12), %rcx
leaq 0x13595e(%rip), %rdi    # 0x538f65
movq %r15, %rsi
movq %rbx, %rdx
callq 0x4839c0
movq (%r12), %rcx
leaq 0x13598f(%rip), %rdi    # 0x538fac
pushq $0x49
popq %r15
movq %r15, %rsi
movq %rbx, %rdx
callq 0x4839c0
movq (%r12), %rcx
leaq 0x1359bf(%rip), %rdi    # 0x538ff6
pushq $0x24
popq %rsi
movq %rbx, %rdx
callq 0x4839c0
movq (%r12), %rcx
leaq 0x1359ce(%rip), %rdi    # 0x53901b
movq %r14, %rsi
movq %rbx, %rdx
callq 0x4839c0
movq (%r12), %rcx
leaq 0x1359e3(%rip), %rdi    # 0x539046
movq %r15, %rsi
movq %rbx, %rdx
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmp 0x4839c0