live_variables.h

// This file if part of the llir-opt project.
// Licensing information can be found in the LICENSE file.
// (C) 2018 Nandor Licker. All rights reserved.
 
#pragma once
 
#include <set>
#include <unordered_set>
#include <vector>
 
#include "core/inst.h"
#include "core/analysis/loop_nesting.h"
 
class Block;
class Func;
class Inst;
 
 
 
class LiveVariables final {
public:
  LiveVariables(const Func *func);
 
  ~LiveVariables();
 
  std::vector<ConstRef<Inst>> LiveOut(const Inst *inst);
 
private:
  using InstSet = std::unordered_set<ConstRef<Inst>>;
 
  void TraverseDAG(const Block *block);
  void TraverseNode(const Block *block);
  void TraverseLoop(LoopNesting::Loop *loop);
  void KillDef(InstSet &live, const Inst *inst);
 
private:
  LoopNesting loops_;
  std::unordered_map
    < const Block *
    , std::pair<InstSet, InstSet>
    > live_;
  std::unordered_map
    < const Inst *
    , InstSet
    > liveCache_;
  const Block *liveBlock_ = nullptr;
};