// File: /workspace/github_cpp_makefile_star2_O2/luooofan[P]hblzbd_compiler/src/ssa.cpp
// Function: User::Print(std::ostream&)
void User::Print(std::ostream &outfile) {
  for (auto &opn : operands_) {
    auto val = opn.Get();
    outfile << std::setw(INDENT);
    if (nullptr == val) {
      outfile << "nullptr";
    } else if (dynamic_cast<GlobalVariable *>(val)) {
      outfile << "%g:" + val->GetName();
    } else if (auto src_val = dynamic_cast<ConstantInt *>(val)) {
      outfile << "#" + std::to_string(src_val->GetImm());
    } else if (dynamic_cast<BasicBlockValue *>(val) || dynamic_cast<FunctionValue *>(val)) {
      outfile << "" + val->GetName();
    } else if (auto src_val = dynamic_cast<Argument *>(val)) {
      outfile << "%a" + std::to_string(src_val->GetArgNo()) + ":" + val->GetName();
    } else {
      outfile << "%" + val->GetName();
    }
  }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x88, %rsp
movq %rsi, %rbx
movq 0x48(%rdi), %r13
movq 0x50(%rdi), %rax
movq %rax, 0x20(%rsp)
leaq 0x59646(%rip), %rbp     # 0x80480
leaq 0x48(%rsp), %r15
leaq 0x68(%rsp), %r12
cmpq 0x20(%rsp), %r13
je 0x27037
movq (%r13), %r14
movq (%rbx), %rax
movq -0x18(%rax), %rax
movq $0xc, 0x10(%rbx,%rax)
testq %r14, %r14
je 0x26eaa
movq %r14, %rdi
movq %rbp, %rsi
leaq 0x5961b(%rip), %rdx     # 0x80490
xorl %ecx, %ecx
callq 0x82c0
testq %rax, %rax
je 0x26ebb
addq $0x28, %r14
movq %rsp, %rbp
movq %rbp, %rdi
leaq 0x325d7(%rip), %rsi     # 0x59469
movq %r14, %rdx
callq 0x1ae0c
movq %rbx, %rdi
movq %rbp, %rsi
callq 0x8230
movq %rbp, %rdi
jmp 0x26f0a
movq %rbx, %rdi
leaq 0x325ad(%rip), %rsi     # 0x59461
callq 0x8240
jmp 0x26f0f
movq %r14, %rdi
movq %rbp, %rsi
leaq 0x595e0(%rip), %rdx     # 0x804a8
xorl %ecx, %ecx
callq 0x82c0
testq %rax, %rax
je 0x26f1f
movl 0x48(%rax), %esi
movq %r12, %rdi
callq 0xa36c
movq %rsp, %rbp
movq %rbp, %rdi
leaq 0x2f286(%rip), %rsi     # 0x56172
movq %r12, %rdx
callq 0xa41c
movq %rbx, %rdi
movq %rbp, %rsi
callq 0x8230
movq %rbp, %rdi
callq 0x8578
movq %r12, %rdi
callq 0x8578
addq $0x10, %r13
leaq 0x59566(%rip), %rbp     # 0x80480
jmp 0x26e44
movq %r14, %rdi
movq %rbp, %rsi
leaq 0x59594(%rip), %rdx     # 0x804c0
xorl %ecx, %ecx
callq 0x82c0
testq %rax, %rax
jne 0x26f51
movq %r14, %rdi
movq %rbp, %rsi
leaq 0x59593(%rip), %rdx     # 0x804d8
xorl %ecx, %ecx
callq 0x82c0
testq %rax, %rax
je 0x26f7a
addq $0x28, %r14
movq %rsp, %rbp
movq %rbp, %rdi
leaq 0x2f1e7(%rip), %rsi     # 0x56149
movq %r14, %rdx
callq 0x1ae0c
movq %rbx, %rdi
movq %rbp, %rsi
callq 0x8230
jmp 0x26ea5
movq %r14, %rdi
movq %rbp, %rsi
leaq 0x59569(%rip), %rdx     # 0x804f0
xorl %ecx, %ecx
callq 0x82c0
testq %rax, %rax
je 0x2700e
movl 0x48(%rax), %esi
leaq 0x28(%rsp), %rbp
movq %rbp, %rdi
callq 0x2778b
movq %r15, %rdi
leaq 0x324c0(%rip), %rsi     # 0x5946d
movq %rbp, %rdx
callq 0xa41c
movq %r12, %rbp
movq %r12, %rdi
leaq 0x48(%rsp), %rsi
leaq 0x30359(%rip), %rdx     # 0x57320
callq 0xa440
addq $0x28, %r14
movq %rsp, %rdi
movq %rbp, %rsi
movq %r14, %rdx
callq 0xa476
movq %rbx, %rdi
movq %rsp, %rbp
movq %rbp, %rsi
callq 0x8230
movq %rbp, %rdi
callq 0x8578
movq %r12, %rdi
callq 0x8578
movq %r15, %rdi
callq 0x8578
leaq 0x28(%rsp), %rdi
jmp 0x26f0a
addq $0x28, %r14
movq %rsp, %rbp
movq %rbp, %rdi
leaq 0x2f404(%rip), %rsi     # 0x56423
movq %r14, %rdx
callq 0x1ae0c
movq %rbx, %rdi
movq %rbp, %rsi
callq 0x8230
jmp 0x26ea5
addq $0x88, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x27099
movq %rax, %rbx
movq %rsp, %rdi
callq 0x8578
jmp 0x2705b
movq %rax, %rbx
leaq 0x68(%rsp), %rdi
callq 0x8578
jmp 0x2706a
movq %rax, %rbx
leaq 0x48(%rsp), %rdi
callq 0x8578
jmp 0x27079
movq %rax, %rbx
leaq 0x28(%rsp), %rdi
jmp 0x2709f
jmp 0x27099
movq %rax, %rbx
movq %rsp, %rdi
callq 0x8578
jmp 0x27092
movq %rax, %rbx
leaq 0x68(%rsp), %rdi
jmp 0x2709f
movq %rax, %rbx
movq %rsp, %rdi
callq 0x8578
movq %rbx, %rdi
callq 0x84d0