source: src/ResolvExpr/PtrsCastable.cc@ c43c171

ADT aaron-thesis arm-eh ast-experimental cleanup-dtors deferred_resn demangler enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr new-env no_list persistent-indexer pthread-emulation qualifiedEnum resolv-new with_gc
Last change on this file since c43c171 was ea6332d, checked in by Thierry Delisle <tdelisle@…>, 8 years ago

Big header cleaning pass - commit 3

  • Property mode set to 100644
File size: 5.4 KB
RevLine 
[a32b204]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//
[2c57025]7// PtrsCastable.cc --
[a32b204]8//
9// Author : Richard C. Bilson
10// Created On : Sun May 17 11:48:00 2015
[4040425]11// Last Modified By : Peter A. Buhr
12// Last Modified On : Wed Mar 2 17:36:18 2016
13// Update Count : 8
[a32b204]14//
[51b73452]15
[ea6332d]16#include "ResolvExpr/TypeEnvironment.h" // for EqvClass, TypeEnvironment
17#include "SymTab/Indexer.h" // for Indexer
18#include "SynTree/Declaration.h" // for TypeDecl, TypeDecl::Kind::Ftype
19#include "SynTree/Type.h" // for TypeInstType, Type, BasicType
20#include "SynTree/Visitor.h" // for Visitor
21#include "typeops.h" // for ptrsAssignable
[51b73452]22
23
24namespace ResolvExpr {
[a32b204]25 class PtrsCastable : public Visitor {
26 public:
27 PtrsCastable( Type *dest, const TypeEnvironment &env, const SymTab::Indexer &indexer );
[2c57025]28
[a32b204]29 int get_result() const { return result; }
30
31 virtual void visit(VoidType *voidType);
32 virtual void visit(BasicType *basicType);
33 virtual void visit(PointerType *pointerType);
34 virtual void visit(ArrayType *arrayType);
35 virtual void visit(FunctionType *functionType);
36 virtual void visit(StructInstType *inst);
37 virtual void visit(UnionInstType *inst);
38 virtual void visit(EnumInstType *inst);
[4040425]39 virtual void visit(TraitInstType *inst);
[a32b204]40 virtual void visit(TypeInstType *inst);
41 virtual void visit(TupleType *tupleType);
[44b7088]42 virtual void visit(VarArgsType *varArgsType);
[89e6ffc]43 virtual void visit(ZeroType *zeroType);
44 virtual void visit(OneType *oneType);
[a32b204]45 private:
46 Type *dest;
47 int result;
48 const TypeEnvironment &env;
49 const SymTab::Indexer &indexer;
50 };
51
52 int objectCast( Type *src, const TypeEnvironment &env, const SymTab::Indexer &indexer ) {
53 if ( dynamic_cast< FunctionType* >( src ) ) {
54 return -1;
55 } else if ( TypeInstType *typeInst = dynamic_cast< TypeInstType* >( src ) ) {
56 EqvClass eqvClass;
57 if ( NamedTypeDecl *ntDecl = indexer.lookupType( typeInst->get_name() ) ) {
58 if ( TypeDecl *tyDecl = dynamic_cast< TypeDecl* >( ntDecl ) ) {
59 if ( tyDecl->get_kind() == TypeDecl::Ftype ) {
60 return -1;
61 } // if
62 } //if
63 } else if ( env.lookup( typeInst->get_name(), eqvClass ) ) {
[2c57025]64 if ( eqvClass.data.kind == TypeDecl::Ftype ) {
[a32b204]65 return -1;
66 } // if
67 } // if
68 } //if
69 return 1;
70 }
[1d29d46]71 int functionCast( Type *src, const TypeEnvironment &env, const SymTab::Indexer &indexer ) {
72 return -1 * objectCast( src, env, indexer ); // reverse the sense of objectCast
73 }
[a32b204]74
75 int ptrsCastable( Type *src, Type *dest, const TypeEnvironment &env, const SymTab::Indexer &indexer ) {
76 if ( TypeInstType *destAsTypeInst = dynamic_cast< TypeInstType* >( dest ) ) {
77 EqvClass eqvClass;
78 if ( env.lookup( destAsTypeInst->get_name(), eqvClass ) ) {
79 return ptrsAssignable( src, eqvClass.type, env );
80 } // if
81 } // if
82 if ( dynamic_cast< VoidType* >( dest ) ) {
83 return objectCast( src, env, indexer );
84 } else {
85 PtrsCastable ptrs( dest, env, indexer );
86 src->accept( ptrs );
87 return ptrs.get_result();
88 } // if
89 }
90
91 PtrsCastable::PtrsCastable( Type *dest, const TypeEnvironment &env, const SymTab::Indexer &indexer )
92 : dest( dest ), result( 0 ), env( env ), indexer( indexer ) {
93 }
94
[7e003011]95 void PtrsCastable::visit( __attribute__((unused)) VoidType *voidType) {
[a32b204]96 result = objectCast( dest, env, indexer );
97 }
98
[7e003011]99 void PtrsCastable::visit( __attribute__((unused)) BasicType *basicType) {
[a32b204]100 result = objectCast( dest, env, indexer );
101 }
102
[7e003011]103 void PtrsCastable::visit( __attribute__((unused)) PointerType *pointerType) {
[a32b204]104 result = objectCast( dest, env, indexer );
105 }
106
[7e003011]107 void PtrsCastable::visit( __attribute__((unused)) ArrayType *arrayType) {
[a32b204]108 result = objectCast( dest, env, indexer );
109 }
110
[7e003011]111 void PtrsCastable::visit( __attribute__((unused)) FunctionType *functionType) {
[1d29d46]112 // result = -1;
113 result = functionCast( dest, env, indexer );
[a32b204]114 }
115
[7e003011]116 void PtrsCastable::visit( __attribute__((unused)) StructInstType *inst) {
[a32b204]117 result = objectCast( dest, env, indexer );
118 }
119
[7e003011]120 void PtrsCastable::visit( __attribute__((unused)) UnionInstType *inst) {
[a32b204]121 result = objectCast( dest, env, indexer );
122 }
123
[7e003011]124 void PtrsCastable::visit( __attribute__((unused)) EnumInstType *inst) {
[931dd12]125 if ( dynamic_cast< EnumInstType* >( dest ) ) {
[a32b204]126 result = 1;
[931dd12]127 } else if ( BasicType *bt = dynamic_cast< BasicType* >( dest ) ) {
[a32b204]128 if ( bt->get_kind() == BasicType::SignedInt ) {
129 result = 0;
130 } else {
131 result = 1;
132 }
133 } else {
134 result = objectCast( dest, env, indexer );
135 }
136 }
137
[af397ef8]138 void PtrsCastable::visit( __attribute__((unused)) TraitInstType *inst ) {}
[a32b204]139
140 void PtrsCastable::visit(TypeInstType *inst) {
[1d29d46]141 //result = objectCast( inst, env, indexer ) > 0 && objectCast( dest, env, indexer ) > 0 ? 1 : -1;
142 result = objectCast( inst, env, indexer ) == objectCast( dest, env, indexer ) ? 1 : -1;
[a32b204]143 }
144
[7e003011]145 void PtrsCastable::visit( __attribute__((unused)) TupleType *tupleType) {
[a32b204]146 result = objectCast( dest, env, indexer );
147 }
[44b7088]148
[7e003011]149 void PtrsCastable::visit( __attribute__((unused)) VarArgsType *varArgsType) {
[44b7088]150 result = objectCast( dest, env, indexer );
151 }
[89e6ffc]152
[7e003011]153 void PtrsCastable::visit( __attribute__((unused)) ZeroType *zeroType) {
[89e6ffc]154 result = objectCast( dest, env, indexer );
155 }
156
[7e003011]157 void PtrsCastable::visit( __attribute__((unused)) OneType *oneType) {
[89e6ffc]158 result = objectCast( dest, env, indexer );
159 }
[51b73452]160} // namespace ResolvExpr
[a32b204]161
162// Local Variables: //
163// tab-width: 4 //
164// mode: c++ //
165// compile-command: "make install" //
166// End: //
Note: See TracBrowser for help on using the repository browser.