source: src/SynTree/AddressExpr.cc @ 396fd72

//
// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
//
// The contents of this file are covered under the licence agreement in the
// file "LICENCE" distributed with Cforall.
//
// AddressExpr.cc --
//
// Author           : Richard C. Bilson
// Created On       : Sun May 17 23:54:44 2015
// Last Modified By : Rob Schluntz
// Last Modified On : Tue Apr 26 12:35:13 2016
// Update Count     : 6
//

#include <ostream>           // for ostream, operator<<, basic_ostream, endl
#include <string>            // for operator<<, string

#include "Common/utility.h"  // for maybeClone
#include "Expression.h"      // for AddressExpr, Expression
#include "Type.h"            // for PointerType, Type, Type::Qualifiers

// Address expressions are typed based on the following inference rules:
//    E : lvalue T  &..& (n references)
//   &E :        T *&..& (n references)
//
//    E : T  &..&        (m references)
//   &E : T *&..&        (m-1 references)
//
// That is, lvalues becomes

namespace {
        Type * addrType( Type * type ) {
                if ( ReferenceType * refType = dynamic_cast< ReferenceType * >( type ) ) {
                        return new ReferenceType( refType->get_qualifiers(), addrType( refType->base ) );
                } else {
                        return new PointerType( Type::Qualifiers(), type->clone() );
                }
        }
}

AddressExpr::AddressExpr( Expression *arg ) : Expression(), arg( arg ) {
        if ( arg->result ) {
                if ( arg->result->get_lvalue() ) {
                        // lvalue, retains all layers of reference and gains a pointer inside the references
                        set_result( addrType( arg->result ) );
                } else {
                        // taking address of non-lvalue -- must be a reference, loses one layer of reference
                        ReferenceType * refType = strict_dynamic_cast< ReferenceType * >( arg->result );
                        set_result( addrType( refType->base ) );
                }
                // result of & is never an lvalue
                get_result()->set_lvalue( false );
        }
}

AddressExpr::AddressExpr( const AddressExpr &other ) : Expression( other ), arg( maybeClone( other.arg ) ) {
}

AddressExpr::~AddressExpr() {
        delete arg;
}

void AddressExpr::print( std::ostream &os, Indenter indent ) const {
        os << "Address of:" << std::endl;
        if ( arg ) {
                os << indent+1;
                arg->print( os, indent+1 );
        } // if
}

LabelAddressExpr::LabelAddressExpr( const Label &arg ) : arg( arg ) {
        // label address always has type void *
        result = new PointerType( Type::Qualifiers(), new VoidType( Type::Qualifiers() ) );
}
LabelAddressExpr::LabelAddressExpr( const LabelAddressExpr & other ) : Expression( other ), arg( other.arg ) {}
LabelAddressExpr::~LabelAddressExpr() {}

void LabelAddressExpr::print( std::ostream & os, Indenter ) const {
        os << "Address of label:" << arg;
}

// Local Variables: //
// tab-width: 4 //
// mode: c++ //
// compile-command: "make install" //
// End: //