Changeset bdd516a for translator/SynTree

Timestamp:

Apr 28, 2015, 4:21:36 PM (11 years ago)

Author:

Peter A. Buhr <pabuhr@…>

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, string, with_gc

Children:

42e2ad7

Parents:

ad17ba6a

Message:

fixed sizeof type variable, find lowest cost alternative for sizeof expression, removed unused classes, added compiler flag, remove temporary file for -CFA, formatting

Location:

translator/SynTree

Files:

• Initializer.cc (modified) (1 diff)
• Initializer.h (modified) (1 diff)
• Mutator.cc (modified) (1 diff)
• Mutator.h (modified) (1 diff)
• SynTree.h (modified) (1 diff)
• Type.cc (modified) (1 diff)
• Type.h (modified) (9 diffs)
• Visitor.cc (modified) (1 diff)
• Visitor.h (modified) (1 diff)

translator/SynTree/Initializer.cc

@@ -39 +39 @@
 }
 
-MemberInit::MemberInit( Expression *_value, std::string _member ) : member ( _member ), value ( _value ) {}
-
-MemberInit::~MemberInit() {}
-
-MemberInit * MemberInit::clone() const {
-    return new MemberInit( *this );
-}
-
-void MemberInit::print( std::ostream &os, int indent ) {
-    os << "Member Initializer";
-    value->print( os, indent+2 );
-}
-
 ListInit::ListInit( std::list<Initializer*> &_initializers, std::list<Expression *> &_designators )
     : initializers( _initializers ), designators( _designators ) {

translator/SynTree/Initializer.h

@@ -61 +61 @@
 };
 
-// MemberInit represents an initializer for a member of an aggregate object (e.g., struct q { int a; } x = { a : 4 } )
-class MemberInit : public Initializer {
-  public:
-    MemberInit( Expression *value, std::string member = std::string("") );
-    virtual ~MemberInit();
-    
-    std::string get_member() { return member; }
-    void set_member( std::string newValue ) { member = newValue; }
-    Expression *get_value() { return value; }
-    void set_value( Expression *newValue ) { value = newValue; }
-
-    virtual MemberInit *clone() const;
-    virtual void accept( Visitor &v ) { v.visit( this ); }
-    virtual Initializer *acceptMutator( Mutator &m ) { return m.mutate( this ); }
-    virtual void print( std::ostream &os, int indent = 0 );
-  private:
-    std::string member;
-    Expression *value;
-};
-
-// ElementInit represents an initializer of an element of an array (e.g., [10] int x = { [7] : 4 }
-class ElementInit : public Initializer {
-  public:
-    ElementInit( Expression *value );
-    virtual ~ElementInit();
-    
-    int get_index() { return index; }
-    void set_index( int newValue ) { index = newValue; }
-    Expression *get_value() { return value; }
-    void set_value( Expression *newValue ) { value = newValue; }
-
-    virtual ElementInit *clone() const;
-    virtual void accept( Visitor &v ) { v.visit( this ); }
-    virtual Initializer *acceptMutator( Mutator &m ) { return m.mutate( this ); }
-    virtual void print( std::ostream &os, int indent = 0 );
-  private:
-    int index;
-    Expression *value;
-};
-
 // ListInit represents an initializer that is composed recursively of a list of initializers; this is used to initialize
 // an array or aggregate

translator/SynTree/Mutator.cc

@@ -368 +368 @@
 }
 
-Initializer *Mutator::mutate( MemberInit *memberInit ) {
-    memberInit->set_value( memberInit->get_value()->acceptMutator( *this ) );
-    return memberInit;
-}
-
-Initializer *Mutator::mutate( ElementInit *elementInit ) {
-    elementInit->set_value( elementInit->get_value()->acceptMutator( *this ) );
-    return elementInit;
-}
-
 Initializer *Mutator::mutate( SingleInit *singleInit ) {
     singleInit->set_value( singleInit->get_value()->acceptMutator( *this ) );

translator/SynTree/Mutator.h

@@ -72 +72 @@
     virtual Type* mutate( AttrType *attrType );
 
-    virtual Initializer* mutate( MemberInit *memberInit );
-    virtual Initializer* mutate( ElementInit *elementInit );
     virtual Initializer* mutate( SingleInit *singleInit );
     virtual Initializer* mutate( ListInit *listInit );

translator/SynTree/SynTree.h

@@ -89 +89 @@
 
 class Initializer;
-class MemberInit;
-class ElementInit;
 class SingleInit;
 class ListInit;

translator/SynTree/Type.cc

@@ -57 +57 @@
         os << "lvalue ";
     } // if
+    if ( tq.isAtomic ) {
+        os << "_Atomic ";
+    } // if
 }

translator/SynTree/Type.h

@@ -10 +10 @@
   public:
     struct Qualifiers {  
-      Qualifiers(): isConst( false ), isVolatile( false ), isRestrict( false ), isLvalue( false ) {}
-      Qualifiers( bool isConst, bool isVolatile, bool isRestrict, bool isLvalue ): isConst( isConst ), isVolatile( isVolatile ), isRestrict( isRestrict ), isLvalue( isLvalue ) {}
+      Qualifiers(): isConst( false ), isVolatile( false ), isRestrict( false ), isLvalue( false ), isAtomic( false ) {}
+      Qualifiers( bool isConst, bool isVolatile, bool isRestrict, bool isLvalue, bool isAtomic ): isConst( isConst ), isVolatile( isVolatile ), isRestrict( isRestrict ), isLvalue( isLvalue ), isAtomic( isAtomic ) {}
         
         Qualifiers &operator+=( const Qualifiers &other );
@@ -27 +27 @@
         bool isRestrict;
         bool isLvalue;
+        bool isAtomic;
     };  
 
@@ -38 +39 @@
     bool get_isRestrict() { return tq.isRestrict; }
     bool get_isLvalue() { return tq.isLvalue; }
+    bool get_isAtomic() { return tq.isAtomic; }
     void set_isConst( bool newValue ) { tq.isConst = newValue; }
     void set_iisVolatile( bool newValue ) { tq.isVolatile = newValue; }
     void set_isRestrict( bool newValue ) { tq.isRestrict = newValue; }
     void set_isLvalue( bool newValue ) { tq.isLvalue = newValue; }
+    void set_isAtomic( bool newValue ) { tq.isAtomic = newValue; }
     std::list<TypeDecl*>& get_forall() { return forall; }
 
@@ -380 +383 @@
     isRestrict |= other.isRestrict;
     isLvalue |= other.isLvalue;
+    isAtomic |= other.isAtomic;
     return *this;
 }
@@ -387 +391 @@
     if ( other.isVolatile ) isVolatile = 0;
     if ( other.isRestrict ) isRestrict = 0;
+    if ( other.isAtomic ) isAtomic = 0;
     return *this;
 }
@@ -398 +403 @@
 inline bool Type::Qualifiers::operator==( const Qualifiers &other ) {
     return isConst == other.isConst
-    && isVolatile == other.isVolatile
-    && isRestrict == other.isRestrict;
-///         && isLvalue == other.isLvalue;
+        && isVolatile == other.isVolatile
+        && isRestrict == other.isRestrict
+//      && isLvalue == other.isLvalue
+        && isAtomic == other.isAtomic;
 }
 
@@ -406 +412 @@
     return isConst != other.isConst
         || isVolatile != other.isVolatile
-        || isRestrict != other.isRestrict;
-///         && isLvalue == other.isLvalue;
+        || isRestrict != other.isRestrict
+//      || isLvalue != other.isLvalue
+        || isAtomic != other.isAtomic;
 }
 
@@ -413 +420 @@
     return isConst <= other.isConst
         && isVolatile <= other.isVolatile
-        && isRestrict <= other.isRestrict;
-///         && isLvalue >= other.isLvalue;
+        && isRestrict <= other.isRestrict
+//      && isLvalue >= other.isLvalue
+        && isAtomic == other.isAtomic;
 }
 
@@ -420 +428 @@
     return isConst >= other.isConst
         && isVolatile >= other.isVolatile
-        && isRestrict >= other.isRestrict;
-///         && isLvalue <= other.isLvalue;
+        && isRestrict >= other.isRestrict
+//      && isLvalue <= other.isLvalue
+        && isAtomic == other.isAtomic;
 }
 

translator/SynTree/Visitor.cc

@@ -309 +309 @@
 }
 
-void Visitor::visit(MemberInit *memberInit) {
-    memberInit->get_value()->accept( *this );
-}
-
-void Visitor::visit(ElementInit *elementInit) {
-    elementInit->get_value()->accept( *this );
-}
-
 void Visitor::visit(SingleInit *singleInit) {
     singleInit->get_value()->accept( *this );

translator/SynTree/Visitor.h

@@ -72 +72 @@
     virtual void visit( AttrType *attrType );
 
-    virtual void visit( MemberInit *memberInit );
-    virtual void visit( ElementInit *elementInit );
     virtual void visit( SingleInit *singleInit );
     virtual void visit( ListInit *listInit );