order_governor.g.hh

Go to the documentation of this file.

// This file is automatically generated, do not edit.

/*!
        \file
        \brief Fuction body linearizator.
        \author jaz
*/

#ifndef lestes__backend_v2__workers__order_governor_g_hh__included
#define lestes__backend_v2__workers__order_governor_g_hh__included

#include <lestes/backend_v2/common.hh>
#include <lestes/std/map.hh>
#include <lestes/std/vector.hh>
#include <lestes/backend_v2/workers/worker_base.g.hh>

#include <lestes/std/objectize_macros.hh>
package(lestes);
package(backend_v2);
package(intercode);
class pi_pi;
end_package(intercode);
end_package(backend_v2);
end_package(lestes);

package(lestes);
package(backend_v2);
package(intercode);
class pi_sp;
end_package(intercode);
end_package(backend_v2);
end_package(lestes);

package(lestes);
package(backend_v2);
package(intercode);
class pi_operand;
end_package(intercode);
end_package(backend_v2);
end_package(lestes);

package(lestes);
package(backend_v2);
package(structs);
class func_data;
end_package(structs);
end_package(backend_v2);
end_package(lestes);

package(lestes);
package(backend_v2);
package(workers);


class order_governor;


/*! \brief Linearizes pseudopinstructions within function's body.

Result of linearization is order where every pseudoinstruction is positioned
between its psp and nsp sequencepoints and after origins of its operands. It means that pseudoinstruction
is executed after all its origins are ready.
*/
class order_governor : public worker_base {
public:
        typedef ulint level_t;
        
        //! The method pis_ordered_get returns the value of the field order_governor::pis_ordered.
        ptr< ::lestes::std::list< srp< ::lestes::backend_v2::intercode::pi_pi > > > pis_ordered_get() const;

        //! The method pis_ordered_set sets the field order_governor::pis_ordered to the given value.
        void pis_ordered_set(const ptr< ::lestes::std::list< srp< ::lestes::backend_v2::intercode::pi_pi > > > & );

        //! The method pis_unordered_get returns the value of the field order_governor::pis_unordered.
        ptr< ::lestes::std::list< srp< ::lestes::backend_v2::intercode::pi_pi > > > pis_unordered_get() const;

        //! The method pis_unordered_set sets the field order_governor::pis_unordered to the given value.
        void pis_unordered_set(const ptr< ::lestes::std::list< srp< ::lestes::backend_v2::intercode::pi_pi > > > & );

        //! The method is_ordered_get returns the value of the field order_governor::is_ordered.
        ptr< ::lestes::std::map< srp< ::lestes::backend_v2::intercode::pi_pi >, bool > > is_ordered_get() const;

        //! The method is_ordered_set sets the field order_governor::is_ordered to the given value.
        void is_ordered_set(const ptr< ::lestes::std::map< srp< ::lestes::backend_v2::intercode::pi_pi >, bool > > & );

        void process();

        ptr< ::lestes::backend_v2::structs::func_data > get_result();

        //! Merges unordered pseudoinstructions of given level with ordered pseudoinstructions.
        void merge_ordered_with_unordered_level_X(level_t level_to_merge);

        //! Linearizes pis_ordered list.
        void torder_ordered();

        //! Tells whether origin of each operand in list is ordered.
        bool pi_operands_origins_ordered(ptr<vector< srp< ::lestes::backend_v2::intercode::pi_operand > > > operand_list);

        //! Decrease by 1 level of pseudoinstructions in a list.
        void renumber_levels(ptr<list< srp< ::lestes::backend_v2::intercode::pi_pi > > > pi_list);

        //! Tells whether a sequencepoint is psp for any of pseudoinstructions in a list.
        bool nsp_for_any(ptr< ::lestes::backend_v2::intercode::pi_pi > sp, ptr<list< srp< ::lestes::backend_v2::intercode::pi_pi > > > list);

        //! Moves pseudoinstructions with level 0 from pis_unordered to pis_ordered list.
        void identify_level_0();

        //! Linearizes sequencepoints in pis_ordered list.
        void linearize_ordered_sps();

        //! Shifts psp and nsp of pis_unordered pseudoinstructions.
        void shift_unordered_nsp_psp();

        //! Returns level of a pi_pi pseudoinstruction.
        lint get_pi_level(ptr< ::lestes::backend_v2::intercode::pi_pi > pi);

        //! Gets last pi_pi pseudoinstruction of chain where two consequent pi_pi point with psp and nsp to each other.
        ptr< ::lestes::backend_v2::intercode::pi_pi > conjugated_chain_end_find(ptr< ::lestes::backend_v2::intercode::pi_pi > pi);

        //! Gets first pi_pi pseudoinstruction of chain where two consequent pi_pi point with psp and nsp to each other.
        ptr< ::lestes::backend_v2::intercode::pi_pi > conjugated_chain_start_find(ptr< ::lestes::backend_v2::intercode::pi_pi > pi);

        
        //! First generated factory method for class order_governor.
        static ptr< order_governor > create (
                ptr< ::lestes::backend_v2::structs::func_data > a__worker_base__data,
                ptr< ::lestes::std::list< srp< ::lestes::backend_v2::intercode::pi_pi > > > a__order_governor__pis_ordered,
                ptr< ::lestes::std::list< srp< ::lestes::backend_v2::intercode::pi_pi > > > a__order_governor__pis_unordered,
                ptr< ::lestes::std::map< srp< ::lestes::backend_v2::intercode::pi_pi >, bool > > a__order_governor__is_ordered);

        //! Second generated factory method for class order_governor.
        static ptr< order_governor > create (
                ptr< ::lestes::backend_v2::structs::func_data > a__worker_base__data);

        

        //! for purposes of dumping
        virtual ptr<reflection_list> reflection_get() const;
        //! for purposes of dumping
        virtual ptr<field_list_list> field_values_get() const;
        
protected:
        //! Generated constructor for class order_governor.
        order_governor (
                ptr< ::lestes::backend_v2::structs::func_data > a__worker_base__data,
                ptr< ::lestes::std::list< srp< ::lestes::backend_v2::intercode::pi_pi > > > a__order_governor__pis_ordered,
                ptr< ::lestes::std::list< srp< ::lestes::backend_v2::intercode::pi_pi > > > a__order_governor__pis_unordered,
                ptr< ::lestes::std::map< srp< ::lestes::backend_v2::intercode::pi_pi >, bool > > a__order_governor__is_ordered);

        //! Marking routine for class order_governor. 
        virtual void gc_mark();

private:
        //! List of already linearized pseudoinstructions.
        srp< ::lestes::std::list< srp< ::lestes::backend_v2::intercode::pi_pi > > >  pis_ordered;
        //! List of not yet linerized pseudoinstructions.
        srp< ::lestes::std::list< srp< ::lestes::backend_v2::intercode::pi_pi > > >  pis_unordered;
        //! Map that tells whether a pseudoinstruction is already in ordered list.
        srp< ::lestes::std::map< srp< ::lestes::backend_v2::intercode::pi_pi >, bool > >  is_ordered;
        static ptr<reflection_list> reflection;
        
}; // order_governor


end_package(workers);
end_package(backend_v2);
end_package(lestes);

#endif // lestes__backend_v2__workers__order_governor_g_hh__included

---