sail/Instruction.h

/*
 * Instruction.h
 *
 *  Created on: Jun 30, 2008
 *      Author: isil
 */

#ifndef SAIL_INSTRUCTION_H_
#define SAIL_INSTRUCTION_H_

#include <boost/serialization/vector.hpp>
#include <boost/serialization/map.hpp>
#include <boost/serialization/list.hpp>
#include <boost/serialization/string.hpp>
#include <boost/serialization/version.hpp>
#include <boost/serialization/split_member.hpp>
#include <boost/serialization/shared_ptr.hpp>
#include <boost/serialization/base_object.hpp>
#include <boost/serialization/export.hpp>
#include <boost/serialization/set.hpp>

#include <set>
#include <string>
using namespace std;

namespace il{class node;}

namespace sail {

class Variable;
class Symbol;

enum instruction_type
{
        ADDRESS_LABEL,
        ADDRESS_VAR,
        ADDRESS_STRING,
        ARRAY_REF_READ,
        ARRAY_REF_WRITE,
        SAIL_ASSEMBLY,
        ASSIGNMENT,
        BINOP,
        BRANCH,
        CAST,
        FIELD_REF_READ,
        FIELD_REF_WRITE,
        FUNCTION_CALL,
        FUNCTION_POINTER_CALL,
        JUMP,
        SAIL_LABEL,
        LOAD,
        STORE,
        UNOP,
        LOOP_INVOCATION,
        DROP_TEMPORARY,
        STATIC_ASSERT,
        ASSUME,
        ASSUME_SIZE
};

class Instruction {
    friend class boost::serialization::access;

    template<class Archive>
    void serialize(Archive & ar, const unsigned int version)
    {
        ar & original;
        ar & inst_id;
        ar & line;
    }
protected:
        il::node* original;
        instruction_type inst_id;
public:
        int line;

public:
        Instruction();
        virtual string to_string() const = 0;
        virtual string to_string(bool pretty_print) const = 0;

        il::node* get_original_node();

        virtual bool is_save_instruction();

        virtual instruction_type get_instruction_id();


        virtual bool is_removable() = 0;


        virtual ~Instruction();

        /*
         * Gives the symbols used in the rhs of an instruction.
         */
        void get_rhs_symbols(set<Symbol*>& syms);

        /*
         * Gives the symbols used in the rhs of an instruction.
         */
        void get_symbols(set<Symbol*>& syms);
};

}

#endif /* SAIL_INSTRUCTION_H_ */

---