// File: /workspace/github_cpp_makefile_star2_O3/luooofan[P]hblzbd_compiler/src/Pass/dead_code_eliminate.cpp
// Function: DeadCodeEliminate::FindNoSideEffectFunc(SSAModule*, std::unordered_set<SSAFunction*, std::hash<SSAFunction*>, std::equal_to<SSAFunction*>, std::allocator<SSAFunction*>>&)
void DeadCodeEliminate::FindNoSideEffectFunc(SSAModule* m, std::unordered_set<SSAFunction*>& no_side_effect_funcs) {
  // NOTE: 这里并没有把副作用的信息记录到函数中
  // 没有副作用的函数为 1.函数自身没有对数组类型参数和全局量有赋值(store)行为 2.同时没有调用有副作用的函数
  // 具体来说 如果函数pointer类型的argument的使用没有store语句 用了的globalvariable的使用也只有load语句即满足第一点
  no_side_effect_funcs.clear();
  for (auto func : m->GetFuncList()) {
    no_side_effect_funcs.insert(func);
  }

  // 每个builtin函数都是有副作用的
  for (auto builtin_func : m->GetBuiltinFuncList()) {
    no_side_effect_funcs.insert(builtin_func);
    RemoveFromNoSideEffectFuncs(builtin_func, no_side_effect_funcs);
  }

  for (auto func : m->GetFuncList()) {
    if (no_side_effect_funcs.find(func) == no_side_effect_funcs.end()) continue;
    bool has_side_effect = false;
    for (Argument* arg : func->GetValue()->GetArgList()) {
      for (Use* use : arg->GetUses()) {
        if (nullptr != dynamic_cast<StoreInst*>(use->GetUser())) goto setflag;
      }
    }
    for (GlobalVariable* glo : func->GetUsedGlobVarList()) {
      for (Use* use : glo->GetUses()) {
        auto inst = dynamic_cast<SSAInstruction*>(use->GetUser());
        MyAssert(nullptr != inst);
        if (func == inst->GetParent()->GetFunction()) {
          if (nullptr != dynamic_cast<StoreInst*>(inst)) goto setflag;
        }
      }
    }
    continue;
  setflag:
    has_side_effect = true;
    // propagate to caller
    RemoveFromNoSideEffectFuncs(func, no_side_effect_funcs);
  }
#ifdef DEBUG_DEAD_CODE_ELIMINATE_PROCESS
  std::cout << "No side effect functions: ";
  for (auto func : no_side_effect_funcs) {
    std::cout << func->GetFuncName() << " ";
  }
  std::cout << std::endl;
#endif
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %rsi, %r13
movq %rdi, %r14
movq %rsi, %rdi
callq 0x363da
leaq 0x40(%r14), %rbp
movq 0x40(%r14), %rbx
cmpq %rbp, %rbx
je 0x48bfa
leaq 0x8(%rsp), %r15
movq %rsp, %r12
movq 0x10(%rbx), %rax
movq %rax, 0x8(%rsp)
movq %r13, (%rsp)
movq %r13, %rdi
movq %r15, %rsi
movq %r12, %rdx
callq 0x369b0
movq (%rbx), %rbx
cmpq %rbp, %rbx
jne 0x48bd7
movq 0x58(%r14), %rbx
addq $0x58, %r14
cmpq %r14, %rbx
je 0x48c3f
leaq 0x8(%rsp), %r15
movq %rsp, %r12
movq 0x10(%rbx), %rax
movq %rax, 0x8(%rsp)
movq %r13, (%rsp)
movq %r13, %rdi
movq %r15, %rsi
movq %r12, %rdx
callq 0x369b0
movq 0x8(%rsp), %rdi
movq %r13, %rsi
callq 0x49512
movq (%rbx), %rbx
cmpq %r14, %rbx
jne 0x48c0f
movq (%rbp), %rax
cmpq %rbp, %rax
je 0x48d73
leaq 0x4596d(%rip), %r15     # 0x8e5c0
movq %r13, 0x10(%rsp)
movq %rbp, 0x18(%rsp)
movq %rax, 0x20(%rsp)
movq 0x10(%rax), %rax
movq %rax, (%rsp)
movq %r13, %rdi
movq %rsp, %rsi
callq 0x49760
testq %rax, %rax
je 0x48d5d
movq (%rsp), %rbp
movq 0x28(%rbp), %rbx
movq 0x48(%rbx), %r14
addq $0x48, %rbx
cmpq %rbx, %r14
je 0x48cd7
movq 0x10(%r14), %r13
movq 0x10(%r13), %r12
addq $0x10, %r13
cmpq %r13, %r12
je 0x48cd2
movq 0x10(%r12), %rax
movq 0x8(%rax), %rdi
testq %rdi, %rdi
je 0x48ccc
movq %r15, %rsi
leaq 0x45b04(%rip), %rdx     # 0x8e7c0
xorl %ecx, %ecx
callq 0x8320
testq %rax, %rax
jne 0x48d4d
movq (%r12), %r12
jmp 0x48c9f
movq (%r14), %r14
jmp 0x48c8e
movq 0x90(%rbp), %rbx
testq %rbx, %rbx
movq 0x10(%rsp), %r13
je 0x48d5d
movq 0x8(%rbx), %r14
movq 0x10(%r14), %r13
addq $0x10, %r14
cmpq %r14, %r13
je 0x48d48
movq 0x10(%r13), %rax
movq 0x8(%rax), %rdi
testq %rdi, %rdi
je 0x48d82
movq %r15, %rsi
leaq 0x456b8(%rip), %rdx     # 0x8e3c8
xorl %ecx, %ecx
callq 0x8320
testq %rax, %rax
je 0x48d82
movq 0x60(%rax), %rcx
cmpq (%rcx), %rbp
jne 0x48d42
movq %rax, %rdi
leaq 0x45699(%rip), %rsi     # 0x8e3c8
leaq 0x45a8a(%rip), %rdx     # 0x8e7c0
xorl %ecx, %ecx
callq 0x8320
testq %rax, %rax
jne 0x48d4d
movq (%r13), %r13
jmp 0x48cf4
movq (%rbx), %rbx
jmp 0x48cde
movq %rbp, %rdi
movq 0x10(%rsp), %r13
movq %r13, %rsi
callq 0x49512
movq 0x20(%rsp), %rax
movq (%rax), %rax
movq 0x18(%rsp), %rbp
cmpq %rbp, %rax
jne 0x48c5d
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq 0x4625f(%rip), %rdi     # 0x8efe8
leaq 0x253d8(%rip), %rsi     # 0x6e168
callq 0x8280
leaq 0x28a3d(%rip), %rsi     # 0x717d9
movq %rax, %rdi
callq 0x8280
leaq 0x26615(%rip), %rsi     # 0x6f3c0
movq %rax, %rdi
callq 0x8280
movq %rax, %rdi
movl $0x96, %esi
callq 0x8520
movq %rax, %rdi
callq 0x8180
movl $0xff, %edi
callq 0x8380