Context Navigation

source: src/CodeGen/CodeGenerator.cc @ 1840193

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc

Last change on this file since 1840193 was 1840193, checked in by Rob Schluntz <rschlunt@…>, 9 years ago
adding constructor and destructor cases for codegen calls
Property mode set to `100644`
File size: 20.1 KB

Rev	Line
[51587aa]	1	//
	2	// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
	3	//
	4	// The contents of this file are covered under the licence agreement in the
	5	// file "LICENCE" distributed with Cforall.
	6	//
[6c4ff37]	7	// CodeGenerator.cc --
[51587aa]	8	//
	9	// Author : Richard C. Bilson
	10	// Created On : Mon May 18 07:44:20 2015
[145f1fc]	11	// Last Modified By : Rob Schluntz
[1840193]	12	// Last Modified On : Thu Sep 17 15:25:58 2015
	13	// Update Count : 233
[51587aa]	14	//
	15
[51b7345]	16	#include <algorithm>
	17	#include <iostream>
	18	#include <cassert>
	19	#include <list>
	20
[68cd1ce]	21	#include "Parser/ParseNode.h"
	22
[51b7345]	23	#include "SynTree/Type.h"
	24	#include "SynTree/Expression.h"
	25	#include "SynTree/Initializer.h"
[68cd1ce]	26	#include "SynTree/Statement.h"
[51b7345]	27
	28	#include "utility.h"
	29	#include "UnimplementedError.h"
	30
[a61fea9a]	31	#include "CodeGenerator.h"
[51b7345]	32	#include "OperatorTable.h"
	33	#include "GenType.h"
	34
	35	using namespace std;
	36
	37	namespace CodeGen {
[6c4ff37]	38	int CodeGenerator::tabsize = 4;
[51587aa]	39
[145f1fc]	40	// the kinds of statements that would ideally be followed by whitespace
[2b6c1e0]	41	bool wantSpacing( Statement * stmt) {
	42	return dynamic_cast< IfStmt * >( stmt ) \|\| dynamic_cast< CompoundStmt * >( stmt ) \|\|
	43	dynamic_cast< WhileStmt * >( stmt ) \|\| dynamic_cast< ForStmt * > ( stmt ) \|\| dynamic_cast< SwitchStmt *>( stmt );
	44	}
	45
[cda48b6]	46	ostream & CodeGenerator::Indenter::operator()( ostream & output ) {
	47	return output << string( cg.cur_indent, ' ' );
	48	}
	49
	50	ostream & operator<<( ostream & output, CodeGenerator::Indenter &indent ) {
	51	return indent( output );
	52	}
[51587aa]	53
[7f5566b]	54	CodeGenerator::CodeGenerator( std::ostream &os ) : indent( *this), cur_indent( 0 ), insideFunction( false ), output( os ) { }
[cda48b6]	55
	56	CodeGenerator::CodeGenerator( std::ostream &os, std::string init, int indentation, bool infunp )
[7f5566b]	57	: indent( *this), cur_indent( indentation ), insideFunction( infunp ), output( os ) {
[6c4ff37]	58	//output << std::string( init );
[51587aa]	59	}
	60
[cda48b6]	61	CodeGenerator::CodeGenerator( std::ostream &os, char *init, int indentation, bool infunp )
[7f5566b]	62	: indent( *this ), cur_indent( indentation ), insideFunction( infunp ), output( os ) {
[6c4ff37]	63	//output << std::string( init );
[51587aa]	64	}
	65
	66	string mangleName( DeclarationWithType *decl ) {
	67	if ( decl->get_mangleName() != "" ) {
	68	return decl->get_mangleName();
	69	} else {
	70	return decl->get_name();
	71	} // if
	72	}
[94b4364]	73
[51587aa]	74	//*** Declarations
[6c4ff37]	75	void CodeGenerator::visit( FunctionDecl *functionDecl ) {
[51587aa]	76	handleStorageClass( functionDecl );
[f38c8d9]	77	if ( functionDecl->get_isInline() ) {
[6c4ff37]	78	output << "inline ";
[f38c8d9]	79	} // if
[de62360d]	80	if ( functionDecl->get_isNoreturn() ) {
	81	output << "_Noreturn ";
	82	} // if
[6c4ff37]	83	output << genType( functionDecl->get_functionType(), mangleName( functionDecl ) );
[51587aa]	84
	85	// how to get this to the Functype?
	86	std::list< Declaration * > olds = functionDecl->get_oldDecls();
	87	if ( ! olds.empty() ) {
[6c4ff37]	88	output << " /* function has old declaration */";
[51587aa]	89	} // if
	90
	91	// acceptAll( functionDecl->get_oldDecls(), *this );
	92	if ( functionDecl->get_statements() ) {
[7f5566b]	93	functionDecl->get_statements()->accept( *this );
[51587aa]	94	} // if
	95	}
	96
[6c4ff37]	97	void CodeGenerator::visit( ObjectDecl *objectDecl ) {
[51587aa]	98	handleStorageClass( objectDecl );
[6c4ff37]	99	output << genType( objectDecl->get_type(), mangleName( objectDecl ) );
[51587aa]	100
	101	if ( objectDecl->get_init() ) {
[6c4ff37]	102	output << " = ";
[51587aa]	103	objectDecl->get_init()->accept( *this );
	104	} // if
	105	if ( objectDecl->get_bitfieldWidth() ) {
[6c4ff37]	106	output << ":";
[51587aa]	107	objectDecl->get_bitfieldWidth()->accept( *this );
	108	} // if
	109	}
	110
[6c4ff37]	111	void CodeGenerator::handleAggregate( AggregateDecl *aggDecl ) {
[51587aa]	112	if ( aggDecl->get_name() != "" )
[6c4ff37]	113	output << aggDecl->get_name();
[51587aa]	114
	115	std::list< Declaration * > &memb = aggDecl->get_members();
	116
	117	if ( ! memb.empty() ) {
[94b4364]	118	output << " {" << endl;
[51587aa]	119
[6c4ff37]	120	cur_indent += CodeGenerator::tabsize;
[51587aa]	121	for ( std::list< Declaration* >::iterator i = memb.begin(); i != memb.end(); i++) {
[cda48b6]	122	output << indent;
[7f5566b]	123	(i)->accept( this );
[6c4ff37]	124	output << ";" << endl;
[51587aa]	125	}
	126
[6c4ff37]	127	cur_indent -= CodeGenerator::tabsize;
[51587aa]	128
[cda48b6]	129	output << indent << "}";
[17cd4eb]	130	} // if
[51587aa]	131	}
[17cd4eb]	132
[6c4ff37]	133	void CodeGenerator::visit( StructDecl *structDecl ) {
	134	output << "struct ";
[51587aa]	135	handleAggregate( structDecl );
	136	}
[17cd4eb]	137
[6c4ff37]	138	void CodeGenerator::visit( UnionDecl *aggregateDecl ) {
	139	output << "union ";
[51587aa]	140	handleAggregate( aggregateDecl );
	141	}
[51b7345]	142
[6c4ff37]	143	void CodeGenerator::visit( EnumDecl *aggDecl ) {
	144	output << "enum ";
[51587aa]	145
	146	if ( aggDecl->get_name() != "" )
[6c4ff37]	147	output << aggDecl->get_name();
[51587aa]	148
	149	std::list< Declaration* > &memb = aggDecl->get_members();
	150
	151	if ( ! memb.empty() ) {
[cda48b6]	152	output << " {" << endl;
[51587aa]	153
[6c4ff37]	154	cur_indent += CodeGenerator::tabsize;
[51587aa]	155	for ( std::list< Declaration* >::iterator i = memb.begin(); i != memb.end(); i++) {
	156	ObjectDecl obj = dynamic_cast< ObjectDecl >( *i );
	157	assert( obj );
[cda48b6]	158	output << indent << mangleName( obj );
[51587aa]	159	if ( obj->get_init() ) {
[6c4ff37]	160	output << " = ";
[7f5566b]	161	obj->get_init()->accept( *this );
[51587aa]	162	} // if
[6c4ff37]	163	output << "," << endl;
[51587aa]	164	} // for
	165
[6c4ff37]	166	cur_indent -= CodeGenerator::tabsize;
[51587aa]	167
[cda48b6]	168	output << indent << "}";
[51587aa]	169	} // if
	170	}
[51b7345]	171
[6c4ff37]	172	void CodeGenerator::visit( ContextDecl *aggregateDecl ) {}
[51587aa]	173
[6c4ff37]	174	void CodeGenerator::visit( TypedefDecl *typeDecl ) {
	175	output << "typedef ";
	176	output << genType( typeDecl->get_base(), typeDecl->get_name() );
[51587aa]	177	}
[51b7345]	178
[6c4ff37]	179	void CodeGenerator::visit( TypeDecl *typeDecl ) {
[51587aa]	180	// really, we should mutate this into something that isn't a TypeDecl but that requires large-scale changes,
	181	// still to be done
[6c4ff37]	182	output << "extern unsigned long " << typeDecl->get_name();
[51587aa]	183	if ( typeDecl->get_base() ) {
[6c4ff37]	184	output << " = sizeof( " << genType( typeDecl->get_base(), "" ) << " )";
[51587aa]	185	} // if
	186	}
	187
[e45215c]	188	void CodeGenerator::printDesignators( std::list< Expression * > & designators ) {
	189	typedef std::list< Expression * > DesignatorList;
	190	if ( designators.size() == 0 ) return;
	191	for ( DesignatorList::iterator iter = designators.begin(); iter != designators.end(); ++iter ) {
[8a4da06]	192	if ( dynamic_cast< NameExpr * >( *iter ) ) {
[f32c7f4]	193	// if expression is a name, then initializing aggregate member
	194	output << ".";
	195	(iter)->accept( this );
	196	} else {
	197	// if not a simple name, it has to be a constant expression, i.e. an array designator
[e45215c]	198	output << "[";
	199	(iter)->accept( this );
	200	output << "]";
	201	}
	202	}
	203	output << " = ";
	204	}
	205
[6c4ff37]	206	void CodeGenerator::visit( SingleInit *init ) {
[e45215c]	207	printDesignators( init->get_designators() );
[51587aa]	208	init->get_value()->accept( *this );
	209	}
	210
[6c4ff37]	211	void CodeGenerator::visit( ListInit *init ) {
[e45215c]	212	printDesignators( init->get_designators() );
[6c4ff37]	213	output << "{ ";
[51587aa]	214	genCommaList( init->begin_initializers(), init->end_initializers() );
[6c4ff37]	215	output << " }";
[51587aa]	216	}
	217
[6c4ff37]	218	void CodeGenerator::visit( Constant *constant ) {
	219	output << constant->get_value() ;
[51587aa]	220	}
	221
	222	//*** Expressions
[6c4ff37]	223	void CodeGenerator::visit( ApplicationExpr *applicationExpr ) {
[51587aa]	224	if ( VariableExpr varExpr = dynamic_cast< VariableExpr >( applicationExpr->get_function() ) ) {
	225	OperatorInfo opInfo;
	226	if ( varExpr->get_var()->get_linkage() == LinkageSpec::Intrinsic && operatorLookup( varExpr->get_var()->get_name(), opInfo ) ) {
	227	std::list< Expression* >::iterator arg = applicationExpr->get_args().begin();
	228	switch ( opInfo.type ) {
	229	case OT_PREFIXASSIGN:
	230	case OT_POSTFIXASSIGN:
	231	case OT_INFIXASSIGN:
	232	{
	233	assert( arg != applicationExpr->get_args().end() );
	234	if ( AddressExpr addrExpr = dynamic_cast< AddressExpr >( *arg ) ) {
	235
	236	*arg = addrExpr->get_arg();
	237	} else {
	238	UntypedExpr newExpr = new UntypedExpr( new NameExpr( "?" ) );
	239	newExpr->get_args().push_back( *arg );
	240	*arg = newExpr;
	241	} // if
	242	break;
	243	}
	244
	245	default:
	246	// do nothing
	247	;
	248	}
	249
	250	switch ( opInfo.type ) {
	251	case OT_INDEX:
	252	assert( applicationExpr->get_args().size() == 2 );
	253	(arg++)->accept( this );
[6c4ff37]	254	output << "[";
[51587aa]	255	(arg)->accept( this );
[6c4ff37]	256	output << "]";
[51587aa]	257	break;
	258
	259	case OT_CALL:
[2794fff]	260	case OT_CTOR:
	261	case OT_DTOR:
	262	// there are no intrinsic definitions of the function call operator or constructors or destructors
[51587aa]	263	assert( false );
	264	break;
	265
	266	case OT_PREFIX:
	267	case OT_PREFIXASSIGN:
	268	assert( applicationExpr->get_args().size() == 1 );
[6c4ff37]	269	output << "(";
	270	output << opInfo.symbol;
[51587aa]	271	(arg)->accept( this );
[6c4ff37]	272	output << ")";
[51587aa]	273	break;
	274
	275	case OT_POSTFIX:
	276	case OT_POSTFIXASSIGN:
	277	assert( applicationExpr->get_args().size() == 1 );
	278	(arg)->accept( this );
[6c4ff37]	279	output << opInfo.symbol;
[51587aa]	280	break;
	281
	282	case OT_INFIX:
	283	case OT_INFIXASSIGN:
	284	assert( applicationExpr->get_args().size() == 2 );
[6c4ff37]	285	output << "(";
[51587aa]	286	(arg++)->accept( this );
[6c4ff37]	287	output << opInfo.symbol;
[51587aa]	288	(arg)->accept( this );
[6c4ff37]	289	output << ")";
[51587aa]	290	break;
	291
	292	case OT_CONSTANT:
[721f17a]	293	case OT_LABELADDRESS:
	294	// there are no intrinsic definitions of 0/1 or label addresses as functions
[51587aa]	295	assert( false );
	296	}
[17cd4eb]	297	} else {
[51587aa]	298	varExpr->accept( *this );
[6c4ff37]	299	output << "(";
[51587aa]	300	genCommaList( applicationExpr->get_args().begin(), applicationExpr->get_args().end() );
[6c4ff37]	301	output << ")";
[17cd4eb]	302	} // if
[51587aa]	303	} else {
	304	applicationExpr->get_function()->accept( *this );
[6c4ff37]	305	output << "(";
[51587aa]	306	genCommaList( applicationExpr->get_args().begin(), applicationExpr->get_args().end() );
[6c4ff37]	307	output << ")";
[51587aa]	308	} // if
	309	}
[51b7345]	310
[6c4ff37]	311	void CodeGenerator::visit( UntypedExpr *untypedExpr ) {
[51587aa]	312	if ( NameExpr nameExpr = dynamic_cast< NameExpr >( untypedExpr->get_function() ) ) {
	313	OperatorInfo opInfo;
	314	if ( operatorLookup( nameExpr->get_name(), opInfo ) ) {
	315	std::list< Expression* >::iterator arg = untypedExpr->get_args().begin();
	316	switch ( opInfo.type ) {
	317	case OT_INDEX:
	318	assert( untypedExpr->get_args().size() == 2 );
	319	(arg++)->accept( this );
[6c4ff37]	320	output << "[";
[51587aa]	321	(arg)->accept( this );
[6c4ff37]	322	output << "]";
[51587aa]	323	break;
	324
	325	case OT_CALL:
[1840193]	326	case OT_CTOR:
	327	case OT_DTOR:
[51587aa]	328	assert( false );
	329	break;
	330
	331	case OT_PREFIX:
	332	case OT_PREFIXASSIGN:
[de62360d]	333	case OT_LABELADDRESS:
[51587aa]	334	assert( untypedExpr->get_args().size() == 1 );
[6c4ff37]	335	output << "(";
	336	output << opInfo.symbol;
[51587aa]	337	(arg)->accept( this );
[6c4ff37]	338	output << ")";
[51587aa]	339	break;
	340
	341	case OT_POSTFIX:
	342	case OT_POSTFIXASSIGN:
	343	assert( untypedExpr->get_args().size() == 1 );
	344	(arg)->accept( this );
[6c4ff37]	345	output << opInfo.symbol;
[51587aa]	346	break;
[51b7345]	347
[51587aa]	348	case OT_INFIX:
	349	case OT_INFIXASSIGN:
	350	assert( untypedExpr->get_args().size() == 2 );
[6c4ff37]	351	output << "(";
[51587aa]	352	(arg++)->accept( this );
[6c4ff37]	353	output << opInfo.symbol;
[51587aa]	354	(arg)->accept( this );
[6c4ff37]	355	output << ")";
[51587aa]	356	break;
[de62360d]	357
[51587aa]	358	case OT_CONSTANT:
	359	// there are no intrinsic definitions of 0 or 1 as functions
	360	assert( false );
	361	}
	362	} else {
	363	nameExpr->accept( *this );
[6c4ff37]	364	output << "(";
[51587aa]	365	genCommaList( untypedExpr->get_args().begin(), untypedExpr->get_args().end() );
[6c4ff37]	366	output << ")";
[51587aa]	367	} // if
	368	} else {
	369	untypedExpr->get_function()->accept( *this );
[6c4ff37]	370	output << "(";
[51587aa]	371	genCommaList( untypedExpr->get_args().begin(), untypedExpr->get_args().end() );
[6c4ff37]	372	output << ")";
[51587aa]	373	} // if
	374	}
[51b7345]	375
[6c4ff37]	376	void CodeGenerator::visit( NameExpr *nameExpr ) {
[51587aa]	377	OperatorInfo opInfo;
	378	if ( operatorLookup( nameExpr->get_name(), opInfo ) ) {
	379	assert( opInfo.type == OT_CONSTANT );
[6c4ff37]	380	output << opInfo.symbol;
[51587aa]	381	} else {
[6c4ff37]	382	output << nameExpr->get_name();
[51587aa]	383	} // if
	384	}
[51b7345]	385
[6c4ff37]	386	void CodeGenerator::visit( AddressExpr *addressExpr ) {
	387	output << "(&";
[51587aa]	388	// this hack makes sure that we don't convert "constant_zero" to "0" if we're taking its address
	389	if ( VariableExpr variableExpr = dynamic_cast< VariableExpr >( addressExpr->get_arg() ) ) {
[6c4ff37]	390	output << mangleName( variableExpr->get_var() );
[51587aa]	391	} else {
	392	addressExpr->get_arg()->accept( *this );
	393	} // if
[6c4ff37]	394	output << ")";
[51587aa]	395	}
	396
[6c4ff37]	397	void CodeGenerator::visit( CastExpr *castExpr ) {
[76b48f1]	398	// if the cast is to an lvalue type, then the cast
	399	// should be dropped, since the result of a cast is
	400	// never an lvalue in C
	401	if ( castExpr->get_results().front()->get_isLvalue() ) {
	402	castExpr->get_arg()->accept( *this );
[51587aa]	403	} else {
[76b48f1]	404	output << "((";
	405	if ( castExpr->get_results().empty() ) {
	406	output << "void" ;
	407	} else {
	408	output << genType( castExpr->get_results().front(), "" );
	409	} // if
	410	output << ")";
	411	castExpr->get_arg()->accept( *this );
	412	output << ")";
	413	}
[51587aa]	414	}
[51b7345]	415
[6c4ff37]	416	void CodeGenerator::visit( UntypedMemberExpr *memberExpr ) {
[51587aa]	417	assert( false );
	418	}
[51b7345]	419
[6c4ff37]	420	void CodeGenerator::visit( MemberExpr *memberExpr ) {
[51587aa]	421	memberExpr->get_aggregate()->accept( *this );
[6c4ff37]	422	output << "." << mangleName( memberExpr->get_member() );
[51587aa]	423	}
[51b7345]	424
[6c4ff37]	425	void CodeGenerator::visit( VariableExpr *variableExpr ) {
[51587aa]	426	OperatorInfo opInfo;
	427	if ( variableExpr->get_var()->get_linkage() == LinkageSpec::Intrinsic && operatorLookup( variableExpr->get_var()->get_name(), opInfo ) && opInfo.type == OT_CONSTANT ) {
[6c4ff37]	428	output << opInfo.symbol;
[51587aa]	429	} else {
[6c4ff37]	430	output << mangleName( variableExpr->get_var() );
[51587aa]	431	} // if
	432	}
[51b7345]	433
[6c4ff37]	434	void CodeGenerator::visit( ConstantExpr *constantExpr ) {
[51587aa]	435	assert( constantExpr->get_constant() );
	436	constantExpr->get_constant()->accept( *this );
	437	}
[51b7345]	438
[6c4ff37]	439	void CodeGenerator::visit( SizeofExpr *sizeofExpr ) {
	440	output << "sizeof(";
[51587aa]	441	if ( sizeofExpr->get_isType() ) {
[6c4ff37]	442	output << genType( sizeofExpr->get_type(), "" );
[51587aa]	443	} else {
	444	sizeofExpr->get_expr()->accept( *this );
	445	} // if
[6c4ff37]	446	output << ")";
[51587aa]	447	}
[51b7345]	448
[6c4ff37]	449	void CodeGenerator::visit( LogicalExpr *logicalExpr ) {
	450	output << "(";
[51587aa]	451	logicalExpr->get_arg1()->accept( *this );
	452	if ( logicalExpr->get_isAnd() ) {
[6c4ff37]	453	output << " && ";
[51587aa]	454	} else {
[6c4ff37]	455	output << " \|\| ";
[51587aa]	456	} // if
	457	logicalExpr->get_arg2()->accept( *this );
[6c4ff37]	458	output << ")";
[51587aa]	459	}
[51b7345]	460
[6c4ff37]	461	void CodeGenerator::visit( ConditionalExpr *conditionalExpr ) {
	462	output << "(";
[51587aa]	463	conditionalExpr->get_arg1()->accept( *this );
[6c4ff37]	464	output << " ? ";
[51587aa]	465	conditionalExpr->get_arg2()->accept( *this );
[6c4ff37]	466	output << " : ";
[51587aa]	467	conditionalExpr->get_arg3()->accept( *this );
[6c4ff37]	468	output << ")";
[51587aa]	469	}
[51b7345]	470
[6c4ff37]	471	void CodeGenerator::visit( CommaExpr *commaExpr ) {
	472	output << "(";
[51587aa]	473	commaExpr->get_arg1()->accept( *this );
[6c4ff37]	474	output << " , ";
[51587aa]	475	commaExpr->get_arg2()->accept( *this );
[6c4ff37]	476	output << ")";
[51587aa]	477	}
[51b7345]	478
[6c4ff37]	479	void CodeGenerator::visit( TupleExpr *tupleExpr ) {}
[51b7345]	480
[6c4ff37]	481	void CodeGenerator::visit( TypeExpr *typeExpr ) {}
[2b6c1e0]	482
[7f5566b]	483	void CodeGenerator::visit( AsmExpr *asmExpr ) {
	484	if ( asmExpr->get_inout() ) {
	485	output << "[ ";
	486	asmExpr->get_inout()->accept( *this );
	487	output << " ] ";
	488	} // if
	489	asmExpr->get_constraint()->accept( *this );
	490	output << " ( ";
	491	asmExpr->get_operand()->accept( *this );
	492	output << " )";
	493	}
	494
[51587aa]	495	//*** Statements
[6c4ff37]	496	void CodeGenerator::visit( CompoundStmt *compoundStmt ) {
[51587aa]	497	std::list<Statement*> ks = compoundStmt->get_kids();
[2b6c1e0]	498	output << "{" << endl;
[51587aa]	499
[2b6c1e0]	500	cur_indent += CodeGenerator::tabsize;
[51587aa]	501
[7f5566b]	502	for ( std::list<Statement *>::iterator i = ks.begin(); i != ks.end(); i++ ) {
[cda48b6]	503	output << indent << printLabels( (*i)->get_labels() );
[7f5566b]	504	(i)->accept( this );
[2b6c1e0]	505
[6c4ff37]	506	output << endl;
[2b6c1e0]	507	if ( wantSpacing( *i ) ) {
	508	output << endl;
	509	}
[51587aa]	510	}
[6c4ff37]	511	cur_indent -= CodeGenerator::tabsize;
[51587aa]	512
[cda48b6]	513	output << indent << "}";
[51587aa]	514	}
	515
[6c4ff37]	516	void CodeGenerator::visit( ExprStmt *exprStmt ) {
	517	// I don't see why this check is necessary.
	518	// If this starts to cause problems then put it back in,
	519	// with an explanation
	520	assert( exprStmt );
	521
	522	// if ( exprStmt != 0 ) {
	523	exprStmt->get_expr()->accept( *this );
	524	output << ";" ;
	525	// } // if
[51587aa]	526	}
	527
[7f5566b]	528	void CodeGenerator::visit( AsmStmt *asmStmt ) {
	529	output << "asm ";
	530	if ( asmStmt->get_voltile() ) output << "volatile ";
	531	if ( ! asmStmt->get_gotolabels().empty() ) output << "goto ";
	532	output << "( ";
	533	if ( asmStmt->get_instruction() ) asmStmt->get_instruction()->accept( *this );
	534	output << " : ";
	535	genCommaList( asmStmt->get_output().begin(), asmStmt->get_output().end() );
	536	output << " : ";
	537	genCommaList( asmStmt->get_input().begin(), asmStmt->get_input().end() );
	538	output << " : ";
	539	genCommaList( asmStmt->get_clobber().begin(), asmStmt->get_clobber().end() );
	540	if ( ! asmStmt->get_gotolabels().empty() ) {
	541	output << " : ";
	542	for ( std::list<Label>::iterator begin = asmStmt->get_gotolabels().begin();; ) {
	543	output << *begin++;
	544	if ( begin == asmStmt->get_gotolabels().end() ) break;
	545	output << ", ";
	546	} // for
	547	} // if
	548	output << " );" ;
	549	}
	550
[6c4ff37]	551	void CodeGenerator::visit( IfStmt *ifStmt ) {
[7f5566b]	552	output << "if ( ";
	553	ifStmt->get_condition()->accept( *this );
	554	output << " ) ";
[51587aa]	555
[7f5566b]	556	ifStmt->get_thenPart()->accept( *this );
[51587aa]	557
	558	if ( ifStmt->get_elsePart() != 0) {
[2b6c1e0]	559	output << " else ";
[7f5566b]	560	ifStmt->get_elsePart()->accept( *this );
[51587aa]	561	} // if
	562	}
	563
[6c4ff37]	564	void CodeGenerator::visit( SwitchStmt *switchStmt ) {
[7f5566b]	565	output << "switch ( " ;
	566	switchStmt->get_condition()->accept( *this );
	567	output << " ) ";
[6c4ff37]	568
[2b6c1e0]	569	output << "{" << std::endl;
[6c4ff37]	570	cur_indent += CodeGenerator::tabsize;
[51587aa]	571
[6c4ff37]	572	acceptAll( switchStmt->get_branches(), *this );
[51587aa]	573
[6c4ff37]	574	cur_indent -= CodeGenerator::tabsize;
[51587aa]	575
[cda48b6]	576	output << indent << "}";
[51587aa]	577	}
	578
[6c4ff37]	579	void CodeGenerator::visit( CaseStmt *caseStmt ) {
[cda48b6]	580	output << indent;
[eb3261f]	581	if ( caseStmt->isDefault()) {
[2b6c1e0]	582	output << "default";
[eb3261f]	583	} else {
[2b6c1e0]	584	output << "case ";
[7f5566b]	585	caseStmt->get_condition()->accept( *this );
[17cd4eb]	586	} // if
[6c4ff37]	587	output << ":\n";
	588
[51587aa]	589	std::list<Statement *> sts = caseStmt->get_statements();
	590
[6c4ff37]	591	cur_indent += CodeGenerator::tabsize;
[51587aa]	592	for ( std::list<Statement *>::iterator i = sts.begin(); i != sts.end(); i++) {
[cda48b6]	593	output << indent << printLabels( (*i)->get_labels() ) ;
[7f5566b]	594	(i)->accept( this );
[6c4ff37]	595	output << endl;
[51587aa]	596	}
[6c4ff37]	597	cur_indent -= CodeGenerator::tabsize;
[51587aa]	598	}
	599
[6c4ff37]	600	void CodeGenerator::visit( BranchStmt *branchStmt ) {
[51587aa]	601	switch ( branchStmt->get_type()) {
	602	case BranchStmt::Goto:
	603	if ( ! branchStmt->get_target().empty() )
[6c4ff37]	604	output << "goto " << branchStmt->get_target();
[51587aa]	605	else {
	606	if ( branchStmt->get_computedTarget() != 0 ) {
[6c4ff37]	607	output << "goto *";
[51587aa]	608	branchStmt->get_computedTarget()->accept( *this );
	609	} // if
	610	} // if
	611	break;
	612	case BranchStmt::Break:
[6c4ff37]	613	output << "break";
[51587aa]	614	break;
	615	case BranchStmt::Continue:
[6c4ff37]	616	output << "continue";
[51587aa]	617	break;
	618	}
[2b6c1e0]	619	output << ";";
[51587aa]	620	}
	621
	622
[6c4ff37]	623	void CodeGenerator::visit( ReturnStmt *returnStmt ) {
	624	output << "return ";
[51587aa]	625
	626	// xxx -- check for null expression;
	627	if ( returnStmt->get_expr() ) {
	628	returnStmt->get_expr()->accept( *this );
	629	} // if
[6c4ff37]	630	output << ";";
[51587aa]	631	}
	632
[6c4ff37]	633	void CodeGenerator::visit( WhileStmt *whileStmt ) {
[51587aa]	634	if ( whileStmt->get_isDoWhile() )
[6c4ff37]	635	output << "do" ;
[51587aa]	636	else {
[6c4ff37]	637	output << "while (" ;
[7f5566b]	638	whileStmt->get_condition()->accept( *this );
[6c4ff37]	639	output << ")";
[51587aa]	640	} // if
[2b6c1e0]	641	output << " ";
[51587aa]	642
[2b6c1e0]	643	output << CodeGenerator::printLabels( whileStmt->get_body()->get_labels() );
[51587aa]	644	whileStmt->get_body()->accept( *this );
	645
[cda48b6]	646	output << indent;
[51587aa]	647
	648	if ( whileStmt->get_isDoWhile() ) {
[6c4ff37]	649	output << " while (" ;
[7f5566b]	650	whileStmt->get_condition()->accept( *this );
[6c4ff37]	651	output << ");";
[51587aa]	652	} // if
	653	}
	654
[6c4ff37]	655	void CodeGenerator::visit( ForStmt *forStmt ) {
[145f1fc]	656	// initialization is always hoisted, so don't
	657	// bother doing anything with that
	658	output << "for (;";
[51587aa]	659
	660	if ( forStmt->get_condition() != 0 )
	661	forStmt->get_condition()->accept( *this );
[6c4ff37]	662	output << ";";
[51587aa]	663
	664	if ( forStmt->get_increment() != 0 )
	665	forStmt->get_increment()->accept( *this );
[2b6c1e0]	666	output << ") ";
[51587aa]	667
	668	if ( forStmt->get_body() != 0 ) {
[2b6c1e0]	669	output << CodeGenerator::printLabels( forStmt->get_body()->get_labels() );
[51587aa]	670	forStmt->get_body()->accept( *this );
	671	} // if
	672	}
	673
[6c4ff37]	674	void CodeGenerator::visit( NullStmt *nullStmt ) {
[cda48b6]	675	//output << indent << CodeGenerator::printLabels( nullStmt->get_labels() );
[6c4ff37]	676	output << "/* null statement */ ;";
[51587aa]	677	}
	678
[6c4ff37]	679	void CodeGenerator::visit( DeclStmt *declStmt ) {
[51587aa]	680	declStmt->get_decl()->accept( *this );
	681
	682	if ( doSemicolon( declStmt->get_decl() ) ) {
[6c4ff37]	683	output << ";";
[51587aa]	684	} // if
	685	}
	686
[6c4ff37]	687	std::string CodeGenerator::printLabels( std::list< Label > &l ) {
[51587aa]	688	std::string str( "" );
[6c4ff37]	689	l.unique(); // assumes a sorted list. Why not use set?
[51587aa]	690
	691	for ( std::list< Label >::iterator i = l.begin(); i != l.end(); i++ )
	692	str += *i + ": ";
	693
	694	return str;
	695	}
	696
[6c4ff37]	697	void CodeGenerator::handleStorageClass( Declaration *decl ) {
[51587aa]	698	switch ( decl->get_storageClass() ) {
[68cd1ce]	699	case DeclarationNode::Extern:
[6c4ff37]	700	output << "extern ";
[51587aa]	701	break;
[68cd1ce]	702	case DeclarationNode::Static:
[6c4ff37]	703	output << "static ";
[51587aa]	704	break;
[68cd1ce]	705	case DeclarationNode::Auto:
[51587aa]	706	// silently drop storage class
	707	break;
[68cd1ce]	708	case DeclarationNode::Register:
[6c4ff37]	709	output << "register ";
[51587aa]	710	break;
[68cd1ce]	711	case DeclarationNode::Inline:
[de62360d]	712	output << "inline ";
[f38c8d9]	713	break;
[68cd1ce]	714	case DeclarationNode::Fortran:
	715	output << "fortran ";
	716	break;
	717	case DeclarationNode::Noreturn:
	718	output << "_Noreturn ";
	719	break;
	720	case DeclarationNode::Threadlocal:
	721	output << "_Thread_local ";
	722	break;
	723	case DeclarationNode::NoStorageClass:
[f38c8d9]	724	break;
[843054c2]	725	} // switch
[51587aa]	726	}
[51b7345]	727	} // namespace CodeGen
[51587aa]	728
	729	// Local Variables: //
	730	// tab-width: 4 //
	731	// mode: c++ //
	732	// compile-command: "make install" //
	733	// End: //

Note: See TracBrowser for help on using the repository browser.

Download in other formats: