lestes::backend_v2::backend Class Reference

Main backend class. More...

#include <backend.g.hh>

Inheritance diagram for lestes::backend_v2::backend:

List of all members.

Public Member Functions
::std::ostream &	output_get () const
	The method output_get returns the value of the field backend::output.
bool	optimization_conditional_jumps_get () const
	The method optimization_conditional_jumps_get returns the value of the field backend::optimization_conditional_jumps.
void	optimization_conditional_jumps_set (bool)
	The method optimization_conditional_jumps_set sets the field backend::optimization_conditional_jumps to the given value.
bool	optimization_immediate_inlining_get () const
	The method optimization_immediate_inlining_get returns the value of the field backend::optimization_immediate_inlining.
void	optimization_immediate_inlining_set (bool)
	The method optimization_immediate_inlining_set sets the field backend::optimization_immediate_inlining to the given value.
bool	optimization_memory_inlining_get () const
	The method optimization_memory_inlining_get returns the value of the field backend::optimization_memory_inlining.
void	optimization_memory_inlining_set (bool)
	The method optimization_memory_inlining_set sets the field backend::optimization_memory_inlining to the given value.
bool	optimization_deadcode_elimination_get () const
	The method optimization_deadcode_elimination_get returns the value of the field backend::optimization_deadcode_elimination.
void	optimization_deadcode_elimination_set (bool)
	The method optimization_deadcode_elimination_set sets the field backend::optimization_deadcode_elimination to the given value.
bool	optimization_register_allocation_get () const
	The method optimization_register_allocation_get returns the value of the field backend::optimization_register_allocation.
void	optimization_register_allocation_set (bool)
	The method optimization_register_allocation_set sets the field backend::optimization_register_allocation to the given value.
bool	optimization_uselesscode_elimination_get () const
	The method optimization_uselesscode_elimination_get returns the value of the field backend::optimization_uselesscode_elimination.
void	optimization_uselesscode_elimination_set (bool)
	The method optimization_uselesscode_elimination_set sets the field backend::optimization_uselesscode_elimination to the given value.
bool	optimization_code_scheduling_get () const
	The method optimization_code_scheduling_get returns the value of the field backend::optimization_code_scheduling.
void	optimization_code_scheduling_set (bool)
	The method optimization_code_scheduling_set sets the field backend::optimization_code_scheduling to the given value.
void	main ()
	The backend's main.
virtual ptr< reflection_list >	reflection_get () const
	for purposes of dumping
virtual ptr< field_list_list >	field_values_get () const
	for purposes of dumping
Static Public Member Functions
static ptr< backend >	create (::std::ostream &a__backend__output, bool a__backend__optimization_conditional_jumps, bool a__backend__optimization_immediate_inlining, bool a__backend__optimization_memory_inlining, bool a__backend__optimization_deadcode_elimination, bool a__backend__optimization_register_allocation, bool a__backend__optimization_uselesscode_elimination, bool a__backend__optimization_code_scheduling)
	First generated factory method for class backend.
static ptr< backend >	create (::std::ostream &a__backend__output)
	Second generated factory method for class backend.
Protected Member Functions
	backend (::std::ostream &a__backend__output, bool a__backend__optimization_conditional_jumps, bool a__backend__optimization_immediate_inlining, bool a__backend__optimization_memory_inlining, bool a__backend__optimization_deadcode_elimination, bool a__backend__optimization_register_allocation, bool a__backend__optimization_uselesscode_elimination, bool a__backend__optimization_code_scheduling)
	Generated constructor for class backend.
virtual void	gc_mark ()
	Marking routine for class backend.
Private Attributes
::std::ostream &	output
	A stream where an output asm code is flushed into.
bool	optimization_conditional_jumps
	Switch that turns on/off conditional jumps optimization ( pi_cond_jmp_rewritter worker ).
bool	optimization_immediate_inlining
	Switch that turns on/off elimination of immediate loading by special load instruction rather than inlining of immediate into instructions that use it. ( literal_inliner worker ).
bool	optimization_memory_inlining
	Switch that turns on/off elimination of memory operand loading by special load instruction rather than inlining of memory operand into instructions that use it. ( memory_inliner worker ).
bool	optimization_deadcode_elimination
	Switch that turns on/off dead coe elimination ( dead_code_eliminator worker ).
bool	optimization_register_allocation
	Switch that turns on/off register allocation ( linscan_regalloc worker ).
bool	optimization_uselesscode_elimination
	Switch that turns on/off uselesscode elimination ( useless_code_eliminator worker ).
bool	optimization_code_scheduling
	Switch that turns on/off code scheduling ( scheduler worker ).
Static Private Attributes
static ptr< reflection_list >	reflection = reflection

---

Detailed Description

Main backend class.

The compiler's backend. It takes intercode structures representing single translation unit that are passed to backend in backend_data_builder object. It splits these structures to blocks that coresponds to function bodies and passes them one by one to block_processor for further processing. At the end it manages asm code generation.

Definition at line 35 of file backend.g.hh.

---

Constructor & Destructor Documentation

lestes::backend_v2::backend::backend	(	::std::ostream &	a__backend__output,
		bool	a__backend__optimization_conditional_jumps,
		bool	a__backend__optimization_immediate_inlining,
		bool	a__backend__optimization_memory_inlining,
		bool	a__backend__optimization_deadcode_elimination,
		bool	a__backend__optimization_register_allocation,
		bool	a__backend__optimization_uselesscode_elimination,
		bool	a__backend__optimization_code_scheduling
	)			[protected]

Generated constructor for class backend.

Generated constructor for class backend.

Author:

lsg

Definition at line 202 of file backend.g.cc.

Referenced by create().

        : ::lestes::std::object(), output(a__backend__output), optimization_conditional_jumps(a__backend__optimization_conditional_jumps), optimization_immediate_inlining(a__backend__optimization_immediate_inlining), optimization_memory_inlining(a__backend__optimization_memory_inlining), optimization_deadcode_elimination(a__backend__optimization_deadcode_elimination), optimization_register_allocation(a__backend__optimization_register_allocation), optimization_uselesscode_elimination(a__backend__optimization_uselesscode_elimination), optimization_code_scheduling(a__backend__optimization_code_scheduling)
{}

---

Member Function Documentation

std::ostream & lestes::backend_v2::backend::output_get

(

)

const

The method output_get returns the value of the field backend::output.

Returns:

The value of backend::output.

Author:

lsg

Definition at line 35 of file backend.g.cc.

References output.

{
        return output;
}

bool lestes::backend_v2::backend::optimization_conditional_jumps_get

(

)

const

The method optimization_conditional_jumps_get returns the value of the field backend::optimization_conditional_jumps.

Returns:

The value of backend::optimization_conditional_jumps.

Author:

lsg

Definition at line 44 of file backend.g.cc.

References optimization_conditional_jumps.

{
        return optimization_conditional_jumps;
}

void lestes::backend_v2::backend::optimization_conditional_jumps_set

(

bool

x

)

The method optimization_conditional_jumps_set sets the field backend::optimization_conditional_jumps to the given value.

Parameters:

[in]

x

The new value to set backend::optimization_conditional_jumps to.

Author:

lsg

Definition at line 53 of file backend.g.cc.

References optimization_conditional_jumps.

{
        backend::optimization_conditional_jumps = x;
}

bool lestes::backend_v2::backend::optimization_immediate_inlining_get

(

)

const

The method optimization_immediate_inlining_get returns the value of the field backend::optimization_immediate_inlining.

Returns:

The value of backend::optimization_immediate_inlining.

Author:

lsg

Definition at line 62 of file backend.g.cc.

References optimization_immediate_inlining.

{
        return optimization_immediate_inlining;
}

void lestes::backend_v2::backend::optimization_immediate_inlining_set

(

bool

x

)

The method optimization_immediate_inlining_set sets the field backend::optimization_immediate_inlining to the given value.

Parameters:

[in]

x

The new value to set backend::optimization_immediate_inlining to.

Author:

lsg

Definition at line 71 of file backend.g.cc.

References optimization_immediate_inlining.

{
        backend::optimization_immediate_inlining = x;
}

bool lestes::backend_v2::backend::optimization_memory_inlining_get

(

)

const

The method optimization_memory_inlining_get returns the value of the field backend::optimization_memory_inlining.

Returns:

The value of backend::optimization_memory_inlining.

Author:

lsg

Definition at line 80 of file backend.g.cc.

References optimization_memory_inlining.

{
        return optimization_memory_inlining;
}

void lestes::backend_v2::backend::optimization_memory_inlining_set

(

bool

x

)

The method optimization_memory_inlining_set sets the field backend::optimization_memory_inlining to the given value.

Parameters:

[in]

x

The new value to set backend::optimization_memory_inlining to.

Author:

lsg

Definition at line 89 of file backend.g.cc.

References optimization_memory_inlining.

{
        backend::optimization_memory_inlining = x;
}

bool lestes::backend_v2::backend::optimization_deadcode_elimination_get

(

)

const

The method optimization_deadcode_elimination_get returns the value of the field backend::optimization_deadcode_elimination.

Returns:

The value of backend::optimization_deadcode_elimination.

Author:

lsg

Definition at line 98 of file backend.g.cc.

References optimization_deadcode_elimination.

{
        return optimization_deadcode_elimination;
}

void lestes::backend_v2::backend::optimization_deadcode_elimination_set

(

bool

x

)

The method optimization_deadcode_elimination_set sets the field backend::optimization_deadcode_elimination to the given value.

Parameters:

[in]

x

The new value to set backend::optimization_deadcode_elimination to.

Author:

lsg

Definition at line 107 of file backend.g.cc.

References optimization_deadcode_elimination.

{
        backend::optimization_deadcode_elimination = x;
}

bool lestes::backend_v2::backend::optimization_register_allocation_get

(

)

const

The method optimization_register_allocation_get returns the value of the field backend::optimization_register_allocation.

Returns:

The value of backend::optimization_register_allocation.

Author:

lsg

Definition at line 116 of file backend.g.cc.

References optimization_register_allocation.

{
        return optimization_register_allocation;
}

void lestes::backend_v2::backend::optimization_register_allocation_set

(

bool

x

)

The method optimization_register_allocation_set sets the field backend::optimization_register_allocation to the given value.

Parameters:

[in]

x

The new value to set backend::optimization_register_allocation to.

Author:

lsg

Definition at line 125 of file backend.g.cc.

References optimization_register_allocation.

{
        backend::optimization_register_allocation = x;
}

bool lestes::backend_v2::backend::optimization_uselesscode_elimination_get

(

)

const

The method optimization_uselesscode_elimination_get returns the value of the field backend::optimization_uselesscode_elimination.

Returns:

The value of backend::optimization_uselesscode_elimination.

Author:

lsg

Definition at line 134 of file backend.g.cc.

References optimization_uselesscode_elimination.

{
        return optimization_uselesscode_elimination;
}

void lestes::backend_v2::backend::optimization_uselesscode_elimination_set

(

bool

x

)

The method optimization_uselesscode_elimination_set sets the field backend::optimization_uselesscode_elimination to the given value.

Parameters:

[in]

x

The new value to set backend::optimization_uselesscode_elimination to.

Author:

lsg

Definition at line 143 of file backend.g.cc.

References optimization_uselesscode_elimination.

{
        backend::optimization_uselesscode_elimination = x;
}

bool lestes::backend_v2::backend::optimization_code_scheduling_get

(

)

const

The method optimization_code_scheduling_get returns the value of the field backend::optimization_code_scheduling.

Returns:

The value of backend::optimization_code_scheduling.

Author:

lsg

Definition at line 152 of file backend.g.cc.

References optimization_code_scheduling.

{
        return optimization_code_scheduling;
}

void lestes::backend_v2::backend::optimization_code_scheduling_set

(

bool

x

)

The method optimization_code_scheduling_set sets the field backend::optimization_code_scheduling to the given value.

Parameters:

[in]

x

The new value to set backend::optimization_code_scheduling to.

Author:

lsg

Definition at line 161 of file backend.g.cc.

References optimization_code_scheduling.

{
        backend::optimization_code_scheduling = x;
}

void lestes::backend_v2::backend::main

(

)

The backend's main.

Definition at line 43 of file backend.cc.

References lestes::backend_v2::debug::b_dump(), create(), lestes::msg::eolog, optimization_code_scheduling, optimization_conditional_jumps, optimization_deadcode_elimination, optimization_immediate_inlining, optimization_memory_inlining, optimization_register_allocation, optimization_uselesscode_elimination, and output.

                   {

        backend_v2_logger << "main - start\n" << eolog;
        
        ptr<vector<srp<builder_func_data> > > builder_data = backend_data_builder::instance()->get_result();
        ptr<vector<srp<func_data> > > tu_data = vector<srp<func_data> >::create();
        
        for(ulint i=0; i<builder_data->size(); ++i) {
                
                backend_v2_logger << "function body processing - start\n" << eolog;
                
                ptr<builder_func_data> bfd = (*builder_data)[i]; 
                
                b_dump(bfd,"function_data");
                
                ptr<func_data> fd = func_data::create(bfd->function_decl_get());
                fd->pi_body_set(bfd->pi_body_get()); 

                backend_v2_logger << "registering function in symbol register\n" << eolog;
                symbol_register::instance()->register_symbol(fd->function_decl_get());
                
                if ( optimization_conditional_jumps ) {
                        backend_v2_logger << "optimizing conditional jumps\n" << eolog;
                        ptr<pi_cond_jmp_rewriter> jmps = pi_cond_jmp_rewriter::create(fd);
                        jmps->process();
                        fd = jmps->get_result();
                }
                
                backend_v2_logger << "ordering pi-pseudoinstructions\n" << eolog;
                ptr<order_governor> linearizator = order_governor::create(fd);
                linearizator->process();
                fd = linearizator->get_result();
                
                backend_v2_logger << "generating ge-code\n" << eolog;
                ptr<ge_generator> ge_gen = ge_generator::create(fd);
                ge_gen->process();
                fd = ge_gen->get_result();
                
                if ( optimization_immediate_inlining ) {
                        backend_v2_logger << "inlining immediates\n" << eolog;
                        ptr<literal_inliner> lit_inliner = literal_inliner::create(fd);
                        lit_inliner->process();
                        fd = lit_inliner->get_result();
                }
                
                
                if ( optimization_memory_inlining ) {
                        backend_v2_logger << "inlining memory operands\n" << eolog;
                        ptr<memory_inliner> mem_inliner = memory_inliner::create(fd);
                        mem_inliner->process();
                        fd = mem_inliner->get_result();
                }
                
                if ( optimization_deadcode_elimination ) {
                        backend_v2_logger << "dead code elimination\n" << eolog;
                        ptr<dead_code_eliminator> dead = dead_code_eliminator::create(fd);
                        dead->process();
                        fd = dead->get_result();
                }
                
                backend_v2_logger << "preprocessing body\n" << eolog;
                ptr<body_preprocessor> bp = body_preprocessor::create(fd);
                bp->process();
                fd = bp->get_result();
                
                backend_v2_logger << "analyzing basic blocks\n" << eolog;
                ptr<bb_finder> bb = bb_finder::create(fd);
                bb->process();
                fd = bb->get_result();
                
                backend_v2_logger << "scheduling ge-code - pass 1\n" << eolog;
                ptr<scheduler> sched = scheduler::create(fd);
                if ( !optimization_code_scheduling ) {
                        sched->dumb_scheduling_set(true);
                }
                sched->process();
                fd = sched->get_result();
                                
                backend_v2_logger << "analyzing intervals for register allocation and spill code generation\n" << eolog;
                ptr<alloc_int_finder> ints = alloc_int_finder::create(fd);
                ints->process();
                fd = ints->get_result();
                
                if ( optimization_register_allocation ) {
                        backend_v2_logger << "register allocation\n" << eolog;
                        ptr<linscan_regalloc> regalloc = linscan_regalloc::create(fd);
                        regalloc->process();
                        fd = regalloc->get_result();
                }
                
                backend_v2_logger << "spillcode generation - pass 1\n" << eolog;
                ptr<spillgen> spill = spillgen::create(fd);
                spill->process();
                fd = spill->get_result();
                
                backend_v2_logger << "scheduling ge-code - pass 2\n" << eolog;
                sched = scheduler::create(fd);
                if ( !optimization_code_scheduling ) {
                        sched->dumb_scheduling_set(true);
                }
                sched->process();
                fd = sched->get_result();
                
                backend_v2_logger << "spillcode generation - pass 2\n" << eolog;
                ptr<simple_spillgen> simple_spill = simple_spillgen::create(fd);
                simple_spill->process();
                fd = simple_spill->get_result();
                
                if ( optimization_uselesscode_elimination ) {
                        backend_v2_logger << "useless code elimination\n" << eolog;
                        ptr<useless_code_eliminator> useless = useless_code_eliminator::create(fd);
                        useless->process();
                        fd = useless->get_result();
                }
                
                backend_v2_logger << "computing placement of the function's local variables\n" << eolog;
                local_variable_allocator::instance(fd->function_decl_get())->calculate_placement();
                
                ptr<preasmgen_body_changes> preasm = preasmgen_body_changes::create(fd->function_decl_get(),fd->ge_body_get());
                preasm->process_body();
                fd->ge_body_set(preasm->get_result());
                
                tu_data->push_back(fd); 
                
                backend_v2_logger << "function body processing - end\n" << eolog;       
        }
        
        backend_v2_logger << "computing placement of global variables\n" << eolog;
        global_variable_allocator::instance()->calculate_placement();
        
        backend_v2_logger << "generating asm-code for TU\n" << eolog;
        ptr<asm_generator> asm_gen = asm_generator::create(output);
        asm_gen->generate_tu_prologue();
        asm_gen->generate_tu_body(tu_data);
        asm_gen->generate_tu_epilogue();
        
        backend_v2_logger << "main - end\n" << eolog;
}

ptr< backend > lestes::backend_v2::backend::create	(	::std::ostream &	a__backend__output,
		bool	a__backend__optimization_conditional_jumps,
		bool	a__backend__optimization_immediate_inlining,
		bool	a__backend__optimization_memory_inlining,
		bool	a__backend__optimization_deadcode_elimination,
		bool	a__backend__optimization_register_allocation,
		bool	a__backend__optimization_uselesscode_elimination,
		bool	a__backend__optimization_code_scheduling
	)			[static]

First generated factory method for class backend.

This factory method for class backend takes values of all fields as arguments.

Author:

lsg

Definition at line 170 of file backend.g.cc.

References backend().

Referenced by main().

{
        return ptr< backend > ( new backend(a__backend__output,
                a__backend__optimization_conditional_jumps,
                a__backend__optimization_immediate_inlining,
                a__backend__optimization_memory_inlining,
                a__backend__optimization_deadcode_elimination,
                a__backend__optimization_register_allocation,
                a__backend__optimization_uselesscode_elimination,
                a__backend__optimization_code_scheduling) );
}

ptr< backend > lestes::backend_v2::backend::create

(

::std::ostream &

a__backend__output

)

[static]

Second generated factory method for class backend.

This factory method for class backend uses initializers.

Author:

lsg

Definition at line 193 of file backend.g.cc.

References backend().

{
        return ptr< backend > ( new backend(a__backend__output, true, true, true, true, true, true, true) );
}

ptr< object::reflection_list > lestes::backend_v2::backend::reflection_get

(

)

const [virtual]

for purposes of dumping

Reimplemented from lestes::std::object.

Definition at line 213 of file backend.g.cc.

References lestes::std::list< T >::create(), reflection, and lestes::std::object::reflection_get().

{
        if (!reflection) {
                typedef class_reflection::field_metadata md;
                typedef class_reflection::field_metadata_list mdlist;
                ptr<mdlist> mdl = mdlist::create();
                mdl->push_back( md::create( "output", "::std::ostream&" ) );
                mdl->push_back( md::create( "optimization_conditional_jumps", "bool" ) );
                mdl->push_back( md::create( "optimization_immediate_inlining", "bool" ) );
                mdl->push_back( md::create( "optimization_memory_inlining", "bool" ) );
                mdl->push_back( md::create( "optimization_deadcode_elimination", "bool" ) );
                mdl->push_back( md::create( "optimization_register_allocation", "bool" ) );
                mdl->push_back( md::create( "optimization_uselesscode_elimination", "bool" ) );
                mdl->push_back( md::create( "optimization_code_scheduling", "bool" ) );
                reflection = reflection_list::create( ::lestes::std::object::reflection_get() );
                reflection->push_back( class_reflection::create( "backend", mdl ) );
        }
        return reflection;
}

ptr< object::field_list_list > lestes::backend_v2::backend::field_values_get

(

)

const [virtual]

for purposes of dumping

Reimplemented from lestes::std::object.

Definition at line 233 of file backend.g.cc.

References lestes::std::list< T >::create(), and lestes::std::object::field_values_get().

{
        ptr < field_list_list > result = ::lestes::std::object::field_values_get();
        result->push_back( value_list::create() );
        result->back()->push_back( objectize< ::std::ostream& > ::create( this->output ) );
        result->push_back( value_list::create() );
        result->back()->push_back( objectize< bool > ::create( this->optimization_conditional_jumps ) );
        result->push_back( value_list::create() );
        result->back()->push_back( objectize< bool > ::create( this->optimization_immediate_inlining ) );
        result->push_back( value_list::create() );
        result->back()->push_back( objectize< bool > ::create( this->optimization_memory_inlining ) );
        result->push_back( value_list::create() );
        result->back()->push_back( objectize< bool > ::create( this->optimization_deadcode_elimination ) );
        result->push_back( value_list::create() );
        result->back()->push_back( objectize< bool > ::create( this->optimization_register_allocation ) );
        result->push_back( value_list::create() );
        result->back()->push_back( objectize< bool > ::create( this->optimization_uselesscode_elimination ) );
        result->push_back( value_list::create() );
        result->back()->push_back( objectize< bool > ::create( this->optimization_code_scheduling ) );
        return result;
}

void lestes::backend_v2::backend::gc_mark

(

void

)

[protected, virtual]

Marking routine for class backend.

Marking routine is used for garbage collection.

Author:

lsg

Reimplemented from lestes::std::mem::keystone.

Definition at line 260 of file backend.g.cc.

References lestes::std::mem::keystone::gc_mark().

{
	::lestes::std::object::gc_mark();
}

---

Member Data Documentation

::std::ostream& lestes::backend_v2::backend::output [private]

A stream where an output asm code is flushed into.

Definition at line 125 of file backend.g.hh.

Referenced by main(), and output_get().

bool lestes::backend_v2::backend::optimization_conditional_jumps [private]

Switch that turns on/off conditional jumps optimization ( pi_cond_jmp_rewritter worker ).

Definition at line 127 of file backend.g.hh.

Referenced by main(), optimization_conditional_jumps_get(), and optimization_conditional_jumps_set().

bool lestes::backend_v2::backend::optimization_immediate_inlining [private]

Switch that turns on/off elimination of immediate loading by special load instruction rather than inlining of immediate into instructions that use it. ( literal_inliner worker ).

Definition at line 129 of file backend.g.hh.

Referenced by main(), optimization_immediate_inlining_get(), and optimization_immediate_inlining_set().

bool lestes::backend_v2::backend::optimization_memory_inlining [private]

Switch that turns on/off elimination of memory operand loading by special load instruction rather than inlining of memory operand into instructions that use it. ( memory_inliner worker ).

Definition at line 131 of file backend.g.hh.

Referenced by main(), optimization_memory_inlining_get(), and optimization_memory_inlining_set().

bool lestes::backend_v2::backend::optimization_deadcode_elimination [private]

Switch that turns on/off dead coe elimination ( dead_code_eliminator worker ).

Definition at line 133 of file backend.g.hh.

Referenced by main(), optimization_deadcode_elimination_get(), and optimization_deadcode_elimination_set().

bool lestes::backend_v2::backend::optimization_register_allocation [private]

Switch that turns on/off register allocation ( linscan_regalloc worker ).

Definition at line 135 of file backend.g.hh.

Referenced by main(), optimization_register_allocation_get(), and optimization_register_allocation_set().

bool lestes::backend_v2::backend::optimization_uselesscode_elimination [private]

Switch that turns on/off uselesscode elimination ( useless_code_eliminator worker ).

Definition at line 137 of file backend.g.hh.

Referenced by main(), optimization_uselesscode_elimination_get(), and optimization_uselesscode_elimination_set().

bool lestes::backend_v2::backend::optimization_code_scheduling [private]

Switch that turns on/off code scheduling ( scheduler worker ).

Definition at line 139 of file backend.g.hh.

Referenced by main(), optimization_code_scheduling_get(), and optimization_code_scheduling_set().

ptr< object::reflection_list > lestes::backend_v2::backend::reflection = reflection [static, private]

Reimplemented from lestes::std::object.

Definition at line 140 of file backend.g.hh.

Referenced by reflection_get().

---

The documentation for this class was generated from the following files:

• backend.g.hh
• backend.cc
• backend.g.cc

---