traces.hh

Go to the documentation of this file.

#ifndef CANON_TRACES_HH
# define CANON_TRACES_HH

# include <map>
# include <canon/basic-block.hh>

namespace canon
{
  class Traces : public std::unary_function<tree::rTree, tree::rTree>
  {
  public:
    Traces(bool trace_p = false);

    tree::rStm operator()(const tree::rStm& tree);

  private:
    /*----------------------.
    | Making Basic Blocks.  |
    `----------------------*/

    typedef std::map <temp::Label, BasicBlock*> block_map;

    block_map
    make_basic_blocks(const tree::rStm& tree,
                      const temp::Label& entry_label,
                      const temp::Label& epilogue_label);

    tree::tree_list_type
    make_trace(block_map& blocks,
               const temp::Label& entry_label,
               const temp::Label& epilogue_label);


    /*-------------------------.
    | Removing useless jumps.  |
    `-------------------------*/

    bool useless_jump_p(tree::tree_list_type::iterator begin,
                        tree::tree_list_type::iterator end);

    void strip_useless_jumps(tree::tree_list_type& trace);

  private:
    bool trace_p_;
  };
}

#endif // !CANON_TRACES_HH