tree::Binop Class Reference

#include <binop.hh>

Inheritance diagram for tree::Binop:

Collaboration diagram for tree::Binop:

Public Types
enum	Oper {   add, sub, mul, div,   logic_and, logic_or, lshift, rshift,   arshift, logic_xor }
	Possible operations. More...
Kinds of Tree nodes.
enum	kind_tree_type {   const_kind, name_kind, temp_kind, binop_kind,   mem_kind, call_kind, eseq_kind, move_kind,   sxp_kind, jump_kind, cjump_kind, seq_kind,   label_kind }
	The kinds of Tree instuctions. More...

Public Member Functions
	Binop (const Oper oper, const rExp &left, const rExp &right)
	Construct a Binary operator.
void	child_push_back (const rTree &tree)
tree_list_type &	children_get ()
const tree_list_type &	children_get () const
rTree &	child_get (int nth)
rTree	child_get (int nth) const
rTree &	left_get ()
rTree &	right_get ()
void	parent_get_assert () const
Tree *	parent_get ()
const Tree *	parent_get () const
void	parent_set (Tree *parent)
void	replace_by (const rTree &tree)
virtual std::ostream &	dump (std::ostream &o) const
	Report this instruction on o.
temp::Temp &	asm_get ()
void	asm_set (const temp::Temp &temp)
void *	state_get () const
void *&	state_get ()
bool	reducible_get () const
void	reducible_set (bool b)
Accessors.
rExp	left_get () const
	Left operand.
rExp	right_get () const
	Right operand.
Oper	oper_get () const
Printing.
virtual std::ostream &	tag_print (std::ostream &ostr) const override
	Report on o the kind of this instruction.
virtual kind_tree_type	kind_get () const override
	The kind of this instruction.

Protected Attributes
tree_list_type	children_
	The arguments.
Tree *	parent_ = nullptr
	The Tree instruction this is a child from.
temp::Temp *	temp_ = nullptr
	The Temp for asm output.
void *	state_ = nullptr
	The state for asm output.
bool	reducible_ = true
	Tell if the tree is reducible.

Private Attributes
Oper	oper_

Member Enumeration Documentation

enum tree::Tree::kind_tree_type

inherited

The kinds of Tree instuctions.

These flags are used to facilitate the pattern matching during instruction selection. This method is not very clean nevertheless this way is cleaner and more efficient than the use of dynamic_cast<>().

Enumerator:

const_kind
name_kind
temp_kind
binop_kind
mem_kind
call_kind
eseq_kind
move_kind
sxp_kind
jump_kind
cjump_kind
seq_kind
label_kind

enum tree::Binop::Oper

Possible operations.

Enumerator:

add
sub
mul
div
logic_and
logic_or
lshift
rshift
arshift
logic_xor

Constructor & Destructor Documentation

tree::Binop::Binop ( const Oper  oper, const rExp &  left, const rExp &  right  )

inline

Construct a Binary operator.

Parameters

oper	Operation
left	Left operand
right	Right operand

References tree::Tree::child_push_back().

Member Function Documentation

temp::Temp & tree::Tree::asm_get ( )

inlineinherited

References tree::Tree::temp_.

void tree::Tree::asm_set ( const temp::Temp &  temp )

inlineinherited

References tree::Tree::temp_.

rTree & tree::Tree::child_get ( int  nth )

inlineinherited

References tree::Tree::children_, and postcondition.

Referenced by tree::Move::dst_get(), tree::Sxp::exp_get(), tree::Jump::exp_get(), tree::Mem::exp_get(), tree::Eseq::exp_get(), tree::Cjump::flip(), tree::Cjump::label_false_get(), tree::Jump::label_get(), tree::Cjump::label_true_get(), left_get(), tree::Cjump::left_get(), tree::Tree::left_get(), right_get(), tree::Cjump::right_get(), tree::Tree::right_get(), tree::Move::src_get(), and tree::Eseq::stm_get().

rTree tree::Tree::child_get ( int  nth ) const

inlineinherited

References tree::Tree::children_, and postcondition.

void tree::Tree::child_push_back ( const rTree &  tree )

inlineinherited

References tree::Tree::children_.

Referenced by Binop(), tree::Call::Call(), tree::Cjump::Cjump(), tree::Eseq::Eseq(), tree::Jump::Jump(), tree::Mem::Mem(), tree::Move::Move(), tree::Seq::push_back(), and tree::Sxp::Sxp().

tree_list_type & tree::Tree::children_get ( )

inlineinherited

References tree::Tree::children_.

Referenced by canon::Canon::assemble_stm(), tree::Call::dump(), and tree::Seq::dump().

const tree_list_type & tree::Tree::children_get ( ) const

inlineinherited

References tree::Tree::children_.

std::ostream & tree::Tree::dump ( std::ostream &  o ) const

virtualinherited

Report this instruction on o.

Reimplemented in tree::Seq, tree::Eseq, and tree::Call.

References tree::Tree::children_, misc::decindent(), misc::incendl(), and tree::Tree::tag_print().

Referenced by tree::operator<<().

Tree::kind_tree_type tree::Binop::kind_get ( ) const

overridevirtual

The kind of this instruction.

Implements tree::Tree.

References tree::Tree::binop_kind.

rExp tree::Binop::left_get ( ) const

inline

Left operand.

References tree::Tree::child_get().

rTree & tree::Tree::left_get ( )

inlineinherited

References tree::Tree::child_get().

Binop::Oper tree::Binop::oper_get ( ) const

inline

Operation.

See Also

Oper.

References oper_.

Tree * tree::Tree::parent_get ( )

inlineinherited

References tree::Tree::parent_.

const Tree * tree::Tree::parent_get ( ) const

inlineinherited

References tree::Tree::parent_.

void tree::Tree::parent_get_assert ( ) const

inherited

References misc::decindent(), misc::incendl(), tree::Tree::parent_, and precondition.

Referenced by tree::Tree::replace_by().

void tree::Tree::parent_set ( Tree *  parent )

inlineinherited

References tree::Tree::parent_.

bool tree::Tree::reducible_get ( ) const

inlineinherited

References tree::Tree::reducible_.

void tree::Tree::reducible_set ( bool  b )

inlineinherited

References tree::Tree::children_, and tree::Tree::reducible_.

void tree::Tree::replace_by ( const rTree &  tree )

inherited

References assertion, tree::Tree::child_set(), tree::Tree::children_, misc::find(), tree::Tree::parent_, tree::Tree::parent_get_assert(), and precondition.

rExp tree::Binop::right_get ( ) const

inline

Right operand.

References tree::Tree::child_get().

rTree & tree::Tree::right_get ( )

inlineinherited

References tree::Tree::child_get().

void * tree::Tree::state_get ( ) const

inlineinherited

References tree::Tree::state_.

void *& tree::Tree::state_get ( )

inlineinherited

References tree::Tree::state_.

std::ostream & tree::Binop::tag_print ( std::ostream &  o ) const

overridevirtual

Report on o the kind of this instruction.

Implements tree::Tree.

References add, arshift, div, logic_and, logic_or, logic_xor, lshift, mul, oper_, rshift, and sub.

Member Data Documentation

tree_list_type tree::Tree::children_

protectedinherited

The arguments.

Referenced by tree::Tree::child_get(), tree::Tree::child_push_back(), tree::Tree::children_get(), tree::Tree::dump(), tree::Mem::exp_set(), tree::Cjump::flip(), tree::Cjump::label_false_set(), tree::Tree::reducible_set(), and tree::Tree::replace_by().

Oper tree::Binop::oper_

private

Referenced by oper_get(), and tag_print().

Tree* tree::Tree::parent_ = nullptr

protectedinherited

The Tree instruction this is a child from.

Referenced by tree::Tree::parent_get(), tree::Tree::parent_get_assert(), tree::Tree::parent_set(), and tree::Tree::replace_by().

bool tree::Tree::reducible_ = true

protectedinherited

Tell if the tree is reducible.

Referenced by tree::Tree::reducible_get(), and tree::Tree::reducible_set().

void* tree::Tree::state_ = nullptr

protectedinherited

The state for asm output.

Referenced by tree::Tree::state_get().

temp::Temp* tree::Tree::temp_ = nullptr

protectedinherited

The Temp for asm output.

Referenced by tree::Tree::asm_get(), tree::Tree::asm_set(), and tree::Tree::~Tree().

---

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

• tree/binop.hh
• tree/binop.cc
• tree/binop.hxx