//===-- UnifyMethodExitNodes.h - Ensure methods have one return --*- C++ -*--=//
//
// This pass is used to ensure that methods have at most one return instruction
// in them.  It also holds onto the return instruction of the last unified
// method.
//
//===----------------------------------------------------------------------===//

#ifndef LLVM_XFORMS_UNIFY_METHOD_EXIT_NODES_H
#define LLVM_XFORMS_UNIFY_METHOD_EXIT_NODES_H

#include "llvm/Pass.h"
#include "llvm/Analysis/SimplifyCFG.h"   // FIXME!!

struct UnifyMethodExitNodes : public MethodPass {
  BasicBlock *ExitNode;
public:
  static AnalysisID ID;            // Pass ID
  UnifyMethodExitNodes(AnalysisID id) : ExitNode(0) { assert(ID == id); }

  virtual bool runOnMethod(Method *M) {
    ExitNode = cfg::UnifyAllExitNodes(M);

    return true; // FIXME: This should return a correct code!!!
  }

  BasicBlock *getExitNode() const { return ExitNode; }

  virtual void getAnalysisUsageInfo(Pass::AnalysisSet &Required,
                                    Pass::AnalysisSet &Destroyed,
                                    Pass::AnalysisSet &Provided) {
    // FIXME: Should invalidate CFG
    Provided.push_back(ID);  // Provide self!
  }
};

#endif