Changeset 888cbe4

Timestamp:

Jun 28, 2016, 3:17:26 PM (8 years ago)

Author:

Rob Schluntz <rschlunt@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, ctor, deferred_resn, demangler, enum, forall-pointer-decay, gc_noraii, jacob/cs343-translation, jenkins-sandbox, master, memory, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

e39aa0f

Parents:

4d3ca1d8

Message:

generated labels contain unused attribute and fixed label code gen

Location:

src

Files:

• CodeGen/CodeGenerator.cc (modified) (2 diffs)
• CodeGen/CodeGenerator.h (modified) (2 diffs)
• ControlStruct/LabelGenerator.cc (modified) (2 diffs)

src/CodeGen/CodeGenerator.cc

@@ -48 +48 @@
         }
 
-        ostream & CodeGenerator::Indenter::operator()( ostream & output ) {
+        ostream & CodeGenerator::Indenter::operator()( ostream & output ) const {
           return output << string( cg.cur_indent, ' ' );
         }
 
-        ostream & operator<<( ostream & output, CodeGenerator::Indenter &indent ) {
+        ostream & operator<<( ostream & output, const CodeGenerator::Indenter &indent ) {
                 return indent( output );
         }
 
-        CodeGenerator::CodeGenerator( std::ostream &os ) : indent( *this), cur_indent( 0 ), insideFunction( false ), output( os ) { }
+        CodeGenerator::LabelPrinter & CodeGenerator::LabelPrinter::operator()( std::list< Label > & l ) {
+                labels = &l;
+                return *this;
+        }
+
+        ostream & operator<<( ostream & output, CodeGenerator::LabelPrinter &printLabels ) {
+                std::list< Label > & labs = *printLabels.labels;
+                // l.unique(); // assumes a sorted list. Why not use set? Does order matter?
+                for ( Label & l : labs ) {
+                        output << l.get_name() + ": ";
+                        printLabels.cg.genAttributes( l.get_attributes() );
+                }
+                return output;
+        }
+
+        CodeGenerator::CodeGenerator( std::ostream &os ) : indent( *this), cur_indent( 0 ), insideFunction( false ), output( os ), printLabels( *this ) { }
 
         CodeGenerator::CodeGenerator( std::ostream &os, std::string init, int indentation, bool infunp )
-                        : indent( *this), cur_indent( indentation ), insideFunction( infunp ), output( os ) {
+                        : indent( *this), cur_indent( indentation ), insideFunction( infunp ), output( os ), printLabels( *this ) {
                 //output << std::string( init );
         }
 
         CodeGenerator::CodeGenerator( std::ostream &os, char *init, int indentation, bool infunp )
-                        : indent( *this ), cur_indent( indentation ), insideFunction( infunp ), output( os ) {
+                        : indent( *this ), cur_indent( indentation ), insideFunction( infunp ), output( os ), printLabels( *this ) {
                 //output << std::string( init );
         }
@@ -801 +816 @@
         }
 
-        std::string CodeGenerator::printLabels( std::list< Label > &l ) {
-                std::string str( "" );
-                l.unique(); // assumes a sorted list. Why not use set?
-
-                for ( std::list< Label >::iterator i = l.begin(); i != l.end(); i++ )
-                        str += (*i).get_name() + ": ";
-
-                return str;
-        }
-
         void CodeGenerator::handleStorageClass( Declaration *decl ) {
                 switch ( decl->get_storageClass() ) {

src/CodeGen/CodeGenerator.h

@@ -94 +94 @@
                         Indenter(CodeGenerator &cg) : cg(cg) {}
                         CodeGenerator & cg;
-                        std::ostream& operator()(std::ostream & os);
+                        std::ostream& operator()(std::ostream & os) const;
+                };
+
+                struct LabelPrinter {
+                        LabelPrinter(CodeGenerator &cg) : cg(cg), labels( 0 ) {}
+                        LabelPrinter & operator()( std::list< Label > & l );
+                        CodeGenerator & cg;
+                        std::list< Label > * labels;
                 };
 
@@ -108 +115 @@
                 bool insideFunction;
                 std::ostream &output;
+                LabelPrinter printLabels;
 
                 void printDesignators( std::list< Expression * > & );
-                static std::string printLabels ( std::list < Label > & );
                 void handleStorageClass( Declaration *decl );
                 void handleAggregate( AggregateDecl *aggDecl );

src/ControlStruct/LabelGenerator.cc

@@ -19 +19 @@
 #include "LabelGenerator.h"
 #include "SynTree/Label.h"
+#include "SynTree/Attribute.h"
 
 namespace ControlStruct {
@@ -34 +35 @@
                 os << "__L" << current++ << "__" << suffix;
                 std::string ret = os.str();
-                return Label( ret );
+                Label l( ret );
+                l.get_attributes().push_back( new Attribute("unused") );
+                return l;
         }
 } // namespace ControlStruct