ADT
        arm-eh
        ast-experimental
        enum
        forall-pointer-decay
        jacob/cs343-translation
        new-ast
        new-ast-unique-expr
        pthread-emulation
        qualifiedEnum
      
      
        
          | Last change
 on this file since 4d23dd2 was             310e5b7, checked in by Thierry Delisle <tdelisle@…>, 8 years ago | 
        
          | 
Fix some issues with waitfor... it appears to work!
 | 
        
          | 
              
Property                 mode
 set to                 100644 | 
        
          | File size:
            1.3 KB | 
      
      
| Line |  | 
|---|
| 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 | // | 
|---|
| 7 | // parserutility.cc -- | 
|---|
| 8 | // | 
|---|
| 9 | // Author           : Rodolfo G. Esteves | 
|---|
| 10 | // Created On       : Sat May 16 15:30:39 2015 | 
|---|
| 11 | // Last Modified By : Andrew Beach | 
|---|
| 12 | // Last Modified On : Tus Jul 18 10:12:00 2017 | 
|---|
| 13 | // Update Count     : 8 | 
|---|
| 14 | // | 
|---|
| 15 |  | 
|---|
| 16 | #include "parserutility.h" | 
|---|
| 17 |  | 
|---|
| 18 | #include <list>                  // for list | 
|---|
| 19 | #include <string>                // for string | 
|---|
| 20 |  | 
|---|
| 21 | #include "SynTree/Constant.h"    // for Constant | 
|---|
| 22 | #include "SynTree/Expression.h"  // for UntypedExpr, CastExpr, ConstantExpr | 
|---|
| 23 | #include "SynTree/Type.h"        // for BasicType, ZeroType, BasicType::Kind... | 
|---|
| 24 |  | 
|---|
| 25 | // rewrite | 
|---|
| 26 | //    if ( x ) ... | 
|---|
| 27 | // as | 
|---|
| 28 | //    if ( (int)(x != 0) ) ... | 
|---|
| 29 |  | 
|---|
| 30 | Expression *notZeroExpr( Expression *orig ) { | 
|---|
| 31 | if( !orig ) return nullptr; | 
|---|
| 32 | UntypedExpr *comparison = new UntypedExpr( new NameExpr( "?!=?" ) ); | 
|---|
| 33 | comparison->get_args().push_back( orig ); | 
|---|
| 34 | comparison->get_args().push_back( new ConstantExpr( Constant( new ZeroType( noQualifiers ), "0", (unsigned long long int)0 ) ) ); | 
|---|
| 35 | return new CastExpr( comparison, new BasicType( Type::Qualifiers(), BasicType::SignedInt ) ); | 
|---|
| 36 | } | 
|---|
| 37 |  | 
|---|
| 38 | // Local Variables: // | 
|---|
| 39 | // tab-width: 4 // | 
|---|
| 40 | // mode: c++ // | 
|---|
| 41 | // compile-command: "make install" // | 
|---|
| 42 | // End: // | 
|---|
       
      
  Note:
 See   
TracBrowser
 for help on using the repository browser.