Virtualizer.h

Go to the documentation of this file.

/*
 *      $Id$
 *      Virtualizer processor (function inliner)
 *
 *      This file is part of OTAWA
 *      Copyright (c) 2007, IRIT UPS.
 *
 *      OTAWA is free software; you can redistribute it and/or modify
 *      it under the terms of the GNU General Public License as published by
 *      the Free Software Foundation; either version 2 of the License, or
 *      (at your option) any later version.
 *
 *      OTAWA is distributed in the hope that it will be useful,
 *      but WITHOUT ANY WARRANTY; without even the implied warranty of
 *      MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 *      GNU General Public License for more details.
 *
 *      You should have received a copy of the GNU General Public License
 *      along with OTAWA; if not, write to the Free Software
 *      Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA
 *      02110-1301  USA
 */

#ifndef OTAWA_CFG_VIRTUALIZER_H_
#define OTAWA_CFG_VIRTUALIZER_H_

#include <otawa/proc/Processor.h>
#include <otawa/proc/Feature.h>
#include <otawa/prop/Identifier.h>
#include <elm/genstruct/HashTable.h>
#include <otawa/cfg/CFG.h>
#include <otawa/cfg/VirtualCFG.h>
#include <otawa/cfg/BasicBlock.h>
#include <otawa/prog/WorkSpace.h>
#include <otawa/prop/PropList.h>
#include <elm/util/Option.h>
#include <otawa/prop/ContextualProperty.h>


namespace otawa {

class CFGCollection;

// Virtualizer class
class Virtualizer: public Processor {

public:
        Virtualizer(void);
        static p::declare reg;

        virtual void configure(const PropList& props);

protected:
        virtual void processWorkSpace(WorkSpace *ws);
        virtual void cleanup(WorkSpace *ws);

private:
        void virtualize(struct call_t*, CFG *cfg, VirtualCFG *vcfg, BasicBlock *entry,
                        BasicBlock *exit, elm::Option<int> local_inlining, ContextualPath &path);
        VirtualCFG *virtualizeCFG(struct call_t *call, CFG *cfg, elm::Option<int> local_inlining);
        void enteringCall(BasicBlock *caller, BasicBlock *callee, ContextualPath &path);
        void leavingCall(BasicBlock *to, ContextualPath &path);
        bool isInlined(CFG* cfg, Option<int> local_inlining, ContextualPath &path);
        bool virtual_inlining;
        CFG *entry;
        elm::genstruct::HashTable<void *, VirtualCFG *> cfgMap;
};

}       // otawa

#endif  // OTAWA_CFG_VIRTUALIZER_H_