// File: /workspace/github_cpp_makefile_star2_O3/mh0fm4[P]SCDC/src/components/dataprov/dataprov_fs2.cc
// Function: scdc_dataset_fs2_access::do_cmd_get(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&, _scdc_dataset_inout_t*, _scdc_dataset_inout_t*, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>&)
bool do_cmd_get(const string &params, scdc_dataset_input_t *input, scdc_dataset_output_t *output, scdc_result &result)
    {
      SCDC_TRACE("do_cmd_get: params: '" << params << "'");

      bool ret = false;

      stringlist psl(' ', params);

      const string sub = (!pwd_file)?psl.front_pop():"";
      string pwd_path, abs_path;

      if (!dataprov_fs2()->make_pwd_path(pwd, sub, pwd_path))
      {
        result = "invalid path";
        SCDC_FAIL(__func__ << ": make path '" << pwd << "' + '" << sub << "' failed: " << result);
        goto do_return;
      }

      dataprov_fs2()->make_abs_path(pwd_path, abs_path);
      SCDC_TRACE("do_cmd_get: pwd_path: '" << pwd_path << "', abs_path: '" << abs_path << "'");

      if (z_fs_is_directory(abs_path.c_str()))
      {
        SCDC_TRACE("do_cmd_get: fstar output from directory");

        if (scdc_dataset_output_redirect(output, "from:fs", abs_path.c_str(), params.c_str()) != SCDC_SUCCESS)
        {
          result = "output redirection failed";
          SCDC_FAIL("do_cmd_get: redirecting output '" << params << "' from directory '" << abs_path.c_str() << "' failed: " << result);

        } else ret = true;

      } else
      {
        SCDC_TRACE("do_cmd_get: plain output from file");

        string conf = "from:streamdup:" + psl.front_pop();

        FILE *file = open_file(abs_path, true, false);

        if (scdc_dataset_output_redirect(output, conf.c_str(), file) != SCDC_SUCCESS)
        {
          result = "output redirection failed";
          SCDC_FAIL("do_cmd_get: redirecting output from file '" << abs_path << "' failed: " << result);

        } else ret = true;

        close_file(file);
      }

do_return:
      SCDC_TRACE("do_cmd_get: return: " << ret);

      return ret;
    }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xe8, %rsp
movq %r8, %rbx
movq %rcx, %r15
movq %rsi, %r12
movq %rdi, %r14
leaq 0xb0(%rsp), %rbp
movq %rbp, -0x10(%rbp)
movq (%rsi), %rsi
movq 0x8(%r12), %rdx
addq %rsi, %rdx
leaq 0xa0(%rsp), %r13
movq %r13, %rdi
callq 0x1d0a0
leaq 0xc0(%rsp), %rdi
movl $0x20, %esi
movq %r13, %rdx
callq 0x37a30
movq 0xa0(%rsp), %rdi
cmpq %rbp, %rdi
je 0x46e9a
movq 0xb0(%rsp), %rsi
incq %rsi
callq 0xb510
cmpb $0x0, 0x38(%r14)
je 0x46ec0
leaq 0x30(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x2467c(%rip), %rdx     # 0x6b52d
leaq 0x20(%rsp), %rdi
movq %rdx, %rsi
callq 0x1be38
jmp 0x46ed2
leaq 0x20(%rsp), %rdi
leaq 0xc0(%rsp), %rsi
callq 0x1b878
leaq 0x70(%rsp), %rcx
movq %rcx, -0x10(%rcx)
xorl %eax, %eax
movq %rax, -0x8(%rcx)
movb %al, (%rcx)
leaq 0x10(%rsp), %r13
movq %r13, -0x10(%r13)
movq %rax, -0x8(%r13)
movb %al, (%r13)
leaq 0x18(%r14), %rsi
leaq 0x20(%rsp), %rdx
leaq 0x60(%rsp), %rcx
callq 0x45584
testb %al, %al
je 0x47026
movq 0x8(%r14), %rdi
leaq 0x60(%rsp), %rsi
movq %rsp, %rdx
callq 0x456e0
movq (%rsp), %rdi
callq 0x35787
testq %rax, %rax
je 0x4714a
movq (%rsp), %rdx
movq (%r12), %rcx
leaq 0x25556(%rip), %rsi     # 0x6c497
movq %r15, %rdi
xorl %eax, %eax
callq 0x2e106
movb $0x1, %bpl
cmpq $0x1, %rax
je 0x47394
movq 0x8(%rbx), %rdx
leaq 0x2553c(%rip), %rcx     # 0x6c49f
movl $0x19, %r8d
movq %rbx, %rdi
xorl %esi, %esi
callq 0xb870
leaq 0x455f6(%rip), %rbp     # 0x8c570
movq (%rbp), %rdi
cmpq $0x0, 0x8(%rdi)
je 0x47392
addq $0x20, %rdi
callq 0xb7d0
movq (%rbp), %rax
movq 0x8(%rax), %r14
leaq 0x23207(%rip), %rsi     # 0x6a1a8
movl $0xb, %edx
movq %r14, %rdi
callq 0xb5f0
leaq 0x253f8(%rip), %rsi     # 0x6c3ad
movl $0x13, %edx
movq %r14, %rdi
callq 0xb5f0
leaq 0x254f0(%rip), %rsi     # 0x6c4b9
movl $0x20, %edx
movq %r14, %rdi
callq 0xb5f0
movq (%r12), %rsi
movq 0x8(%r12), %rdx
movq %r14, %rdi
callq 0xb5f0
movq %rax, %r14
leaq 0x254e9(%rip), %rsi     # 0x6c4da
movl $0x12, %edx
movq %rax, %rdi
callq 0xb5f0
movq (%rsp), %r15
testq %r15, %r15
je 0x4731e
movq %r15, %rdi
callq 0xb200
movq %r14, %rdi
movq %r15, %rsi
movq %rax, %rdx
callq 0xb5f0
jmp 0x47338
movq 0x8(%rbx), %rdx
leaq 0x24ff5(%rip), %rcx     # 0x6c026
movl $0xc, %r8d
movq %rbx, %rdi
xorl %esi, %esi
callq 0xb870
leaq 0x45528(%rip), %r12     # 0x8c570
movq (%r12), %rdi
cmpq $0x0, 0x8(%rdi)
je 0x47392
addq $0x20, %rdi
callq 0xb7d0
movq (%r12), %rax
movq 0x8(%rax), %r15
leaq 0x23139(%rip), %rsi     # 0x6a1a8
movl $0xb, %edx
movq %r15, %rdi
callq 0xb5f0
leaq 0x2532a(%rip), %rsi     # 0x6c3ad
movl $0x13, %edx
movq %r15, %rdi
callq 0xb5f0
leaq 0x23ae5(%rip), %rsi     # 0x6ab7c
movl $0xa, %edx
movq %r15, %rdi
callq 0xb5f0
leaq 0x25316(%rip), %rsi     # 0x6c3c1
movl $0xd, %edx
movq %r15, %rdi
callq 0xb5f0
movq 0x18(%r14), %rsi
movq 0x20(%r14), %rdx
movq %r15, %rdi
callq 0xb5f0
movq %rax, %r14
leaq 0x252fd(%rip), %rsi     # 0x6c3cf
movl $0x5, %edx
movq %rax, %rdi
callq 0xb5f0
movq 0x20(%rsp), %rsi
movq 0x28(%rsp), %rdx
movq %r14, %rdi
callq 0xb5f0
movq %rax, %r14
leaq 0x23915(%rip), %rsi     # 0x6aa10
movl $0xa, %edx
movq %rax, %rdi
callq 0xb5f0
movq (%rbx), %rsi
movq 0x8(%rbx), %rdx
movq %r14, %rdi
callq 0xb5f0
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0xb4d0
movsbl %al, %esi
movq %rbx, %rdi
callq 0xb050
movq %rax, %rdi
callq 0xb340
movq (%r12), %rdi
jmp 0x47389
leaq 0x80(%rsp), %rdi
leaq 0xc0(%rsp), %rsi
callq 0x1b878
leaq 0x25387(%rip), %rcx     # 0x6c4ed
leaq 0x80(%rsp), %rdi
movl $0xf, %r8d
xorl %esi, %esi
xorl %edx, %edx
callq 0xb5d0
leaq 0x50(%rsp), %r12
movq %r12, -0x10(%r12)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x471a5
movq %rdx, 0x40(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x50(%rsp)
jmp 0x471ad
movups (%rcx), %xmm0
movups %xmm0, (%r12)
movq 0x8(%rax), %rdx
movq %rdx, 0x48(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x90(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x471e6
movq 0x90(%rsp), %rsi
incq %rsi
callq 0xb510
movq %rsp, %rsi
movq %r14, %rdi
movl $0x1, %edx
xorl %ecx, %ecx
callq 0x4a290
movq 0x40(%rsp), %rsi
movq %r15, %rdi
movq %rax, %rdx
xorl %eax, %eax
callq 0x2e106
cmpq $0x1, %rax
sete %bpl
je 0x47301
movq 0x8(%rbx), %rdx
leaq 0x2527c(%rip), %rcx     # 0x6c49f
movl $0x19, %r8d
movq %rbx, %rdi
xorl %esi, %esi
callq 0xb870
leaq 0x45336(%rip), %r15     # 0x8c570
movq (%r15), %rdi
cmpq $0x0, 0x8(%rdi)
je 0x47301
addq $0x20, %rdi
callq 0xb7d0
movq (%r15), %rax
movq 0x8(%rax), %r14
leaq 0x22f49(%rip), %rsi     # 0x6a1a8
movl $0xb, %edx
movq %r14, %rdi
callq 0xb5f0
leaq 0x2513a(%rip), %rsi     # 0x6c3ad
movl $0x13, %edx
movq %r14, %rdi
callq 0xb5f0
leaq 0x25276(%rip), %rsi     # 0x6c4fd
movl $0x2a, %edx
movq %r14, %rdi
callq 0xb5f0
movq (%rsp), %rsi
movq 0x8(%rsp), %rdx
movq %r14, %rdi
callq 0xb5f0
movq %rax, %r14
leaq 0x23761(%rip), %rsi     # 0x6aa10
movl $0xa, %edx
movq %rax, %rdi
callq 0xb5f0
movq (%rbx), %rsi
movq 0x8(%rbx), %rdx
movq %r14, %rdi
callq 0xb5f0
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0xb4d0
movsbl %al, %esi
movq %rbx, %rdi
callq 0xb050
movq %rax, %rdi
callq 0xb340
movq (%r15), %rdi
addq $0x20, %rdi
callq 0xb3b0
movq 0x40(%rsp), %rdi
cmpq %r12, %rdi
je 0x47394
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xb510
jmp 0x47394
movq (%r14), %rax
movq -0x18(%rax), %rax
movq %r14, %rdi
addq %rax, %rdi
movl 0x20(%r14,%rax), %esi
orl $0x1, %esi
callq 0xb990
leaq 0x236d1(%rip), %rsi     # 0x6aa10
movl $0xa, %edx
movq %r14, %rdi
callq 0xb5f0
movq (%rbx), %rsi
movq 0x8(%rbx), %rdx
movq %r14, %rdi
callq 0xb5f0
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0xb4d0
movsbl %al, %esi
movq %rbx, %rdi
callq 0xb050
movq %rax, %rdi
callq 0xb340
movq (%rbp), %rdi
addq $0x20, %rdi
callq 0xb3b0
xorl %ebp, %ebp
movq (%rsp), %rdi
cmpq %r13, %rdi
je 0x473aa
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xb510
movq 0x60(%rsp), %rdi
leaq 0x70(%rsp), %rax
cmpq %rax, %rdi
je 0x473c6
movq 0x70(%rsp), %rsi
incq %rsi
callq 0xb510
leaq 0x30(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x473e1
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xb510
leaq 0xc0(%rsp), %rdi
callq 0x1bad0
movl %ebp, %eax
addq $0xe8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
leaq 0x90(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x4746d
movq 0x90(%rsp), %rsi
jmp 0x4743e
jmp 0x4746a
jmp 0x47424
movq %rax, %rbx
jmp 0x474ba
movq %rax, %rbx
movq 0x40(%rsp), %rdi
cmpq %r12, %rdi
je 0x4746d
movq 0x50(%rsp), %rsi
incq %rsi
callq 0xb510
jmp 0x4746d
movq %rax, %rbx
movq 0xa0(%rsp), %rdi
cmpq %rbp, %rdi
je 0x474c7
movq 0xb0(%rsp), %rsi
incq %rsi
callq 0xb510
jmp 0x474c7
movq %rax, %rbx
movq (%rsp), %rdi
cmpq %r13, %rdi
je 0x47483
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xb510
movq 0x60(%rsp), %rdi
leaq 0x70(%rsp), %rax
cmpq %rax, %rdi
je 0x4749f
movq 0x70(%rsp), %rsi
incq %rsi
callq 0xb510
leaq 0x30(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x474ba
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xb510
leaq 0xc0(%rsp), %rdi
callq 0x1bad0
movq %rbx, %rdi
callq 0xb9c0
nop