Changeset da7fe39 for src/Common

Timestamp:

Apr 23, 2018, 12:57:46 PM (8 years ago)

Author:

Rob Schluntz <rschlunt@…>

Branches:

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

Children:

57acae0

Parents:

ba89e9b7 (diff), c8ad5d9 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' into references

Location:

src/Common

Files:

• Debug.h (modified) (1 diff)
• PassVisitor.h (modified) (2 diffs)
• PassVisitor.impl.h (modified) (1 diff)
• SemanticError.cc (modified) (1 diff)
• SemanticError.h (modified) (4 diffs)
• utility.h (modified) (2 diffs)

src/Common/Debug.h

@@ -37 +37 @@
 
                 std::cerr << "======" << label << "======" << std::endl;
-                CodeGen::generate( decls, std::cerr, true, true );
+                CodeGen::generate(
+                        decls,
+                        std::cerr,
+                        true /* doIntrinsics */,
+                        true /* pretty */,
+                        false /* generateC */,
+                        false /* lineMarks */,
+                        true /* printTypeExpr */
+                );
         #endif
         } // dump

src/Common/PassVisitor.h

@@ -92 +92 @@
         virtual void visit( NameExpr * nameExpr ) override final;
         virtual void visit( CastExpr * castExpr ) override final;
+        virtual void visit( KeywordCastExpr * castExpr ) override final;
         virtual void visit( VirtualCastExpr * castExpr ) override final;
         virtual void visit( AddressExpr * addressExpr ) override final;
@@ -187 +188 @@
         virtual Expression * mutate( UntypedExpr * untypedExpr ) override final;
         virtual Expression * mutate( NameExpr * nameExpr ) override final;
-        virtual Expression * mutate( AddressExpr * castExpr ) override final;
+        virtual Expression * mutate( AddressExpr * addrExpr ) override final;
         virtual Expression * mutate( LabelAddressExpr * labAddressExpr ) override final;
         virtual Expression * mutate( CastExpr * castExpr ) override final;
+        virtual Expression * mutate( KeywordCastExpr * castExpr ) override final;
         virtual Expression * mutate( VirtualCastExpr * castExpr ) override final;
         virtual Expression * mutate( UntypedMemberExpr * memberExpr ) override final;

src/Common/PassVisitor.impl.h

@@ -1259 +1259 @@
 
 //--------------------------------------------------------------------------
+// KeywordCastExpr
+template< typename pass_type >
+void PassVisitor< pass_type >::visit( KeywordCastExpr * node ) {
+        VISIT_START( node );
+
+        indexerScopedAccept( node->result, *this );
+        maybeAccept_impl        ( node->arg   , *this );
+
+        VISIT_END( node );
+}
+
+template< typename pass_type >
+Expression * PassVisitor< pass_type >::mutate( KeywordCastExpr * node ) {
+        MUTATE_START( node );
+
+        indexerScopedMutate( node->env   , *this );
+        indexerScopedMutate( node->result, *this );
+        maybeMutate_impl   ( node->arg   , *this );
+
+        MUTATE_END( Expression, node );
+}
+
+//--------------------------------------------------------------------------
 // VirtualCastExpr
 template< typename pass_type >

src/Common/SemanticError.cc

@@ -68 +68 @@
 }
 
-void SemanticWarningImpl( CodeLocation location, Warning, const char * const fmt, ... ) {
-        va_list args;
-        va_start(args, fmt);
-        std::string msg = fmtToString( fmt, args );
-        va_end(args);
-        std::cerr << ErrorHelpers::bold() << location << ErrorHelpers::warning_str() << ErrorHelpers::reset_font() << msg << std::endl;
+void SemanticWarningImpl( CodeLocation location, Warning warning, const char * const fmt, ... ) {
+        Severity severity = WarningFormats[(int)warning].severity;
+        switch(severity) {
+        case Severity::Suppress :
+                break;
+        case Severity::Warn :
+                {
+                        va_list args;
+                        va_start(args, fmt);
+                        std::string msg = fmtToString( fmt, args );
+                        va_end(args);
+                        std::cerr << ErrorHelpers::bold() << location << ErrorHelpers::warning_str() << ErrorHelpers::reset_font() << msg << std::endl;
+                }
+                break;
+        case Severity::Error :
+                {
+                        va_list args;
+                        va_start(args, fmt);
+                        std::string msg = fmtToString( fmt, args );
+                        va_end(args);
+                        SemanticError(location, msg);
+                }
+                break;
+        case Severity::Critical :
+                assertf(false, "Critical errors not implemented yet");
+                break;
+        }
 }
 

src/Common/SemanticError.h

@@ -10 +10 @@
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Tue Aug 29 22:03:36 2017
-// Update Count     : 17
+// Last Modified On : Thu Apr 19 17:52:03 2018
+// Update Count     : 19
 //
 
@@ -36 +36 @@
 // Warnings
 
-constexpr const char * const WarningFormats[] = {
-        "self assignment of expression: %s",
-        "rvalue to reference conversion of rvalue: %s",
+enum class Severity {
+        Suppress,
+        Warn,
+        Error,
+        Critical
+};
+
+struct WarningData {
+        const char * const name;
+        const char * const message;
+        mutable Severity severity;
+};
+
+constexpr const WarningData WarningFormats[] = {
+        {"self-assign"         , "self assignment of expression: %s"           , Severity::Warn},
+        {"reference-conversion", "rvalue to reference conversion of rvalue: %s", Severity::Warn},
+        {"qualifiers-zero_t-one_t", "questionable use of type qualifier %s with %s", Severity::Warn},
 };
 
@@ -44 +58 @@
         SelfAssignment,
         RvalueToReferenceConversion,
+        BadQualifiersZeroOne,
         NUMBER_OF_WARNINGS, //This MUST be the last warning
 };
@@ -52 +67 @@
 );
 
-// ## used here to allow empty __VA_ARGS__
-#define SemanticWarning(loc, id, ...) SemanticWarningImpl(loc, id, WarningFormats[(int)id], ## __VA_ARGS__)
+#define SemanticWarning(loc, id, ...) SemanticWarningImpl(loc, id, WarningFormats[(int)id].message, __VA_ARGS__)
 
 void SemanticWarningImpl (CodeLocation loc, Warning warn, const char * const fmt, ...) __attribute__((format(printf, 3, 4)));

src/Common/utility.h

@@ -9 +9 @@
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Andrew Beach
-// Last Modified On : Thr Aug 17 11:38:00 2017
-// Update Count     : 34
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Fri Apr 20 22:35:33 2018
+// Update Count     : 38
 //
 
@@ -436 +436 @@
 }
 
+// -----------------------------------------------------------------------------
+// O(1) polymorphic integer ilog2, using clz, which returns the number of leading 0-bits, starting at the most
+// significant bit (single instruction on x86)
+
+template<typename T>
+inline constexpr T ilog2(const T & t) {
+        if ( std::is_integral<T>::value ) {
+                const constexpr int r = sizeof(t) * __CHAR_BIT__ - 1;
+                if ( sizeof(T) == sizeof(unsigned int ) ) return r - __builtin_clz( t );
+                if ( sizeof(T) == sizeof(unsigned long) ) return r - __builtin_clzl( t );
+                if ( sizeof(T) == sizeof(unsigned long long) ) return r - __builtin_clzll( t );
+        } // if
+        return -1;
+} // ilong2