source: src/ResolvExpr/Alternative.h @ 3c13c03

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
Last change on this file since 3c13c03 was 3c13c03, checked in by Rob Schluntz <rschlunt@…>, 8 years ago

expand TupleExpr? and TupleIndexExpr?, add UniqueExpr?

  • Property mode set to 100644
File size: 2.5 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// Alternative.h --
8//
9// Author           : Richard C. Bilson
10// Created On       : Sat May 16 23:45:43 2015
11// Last Modified By : Peter A. Buhr
12// Last Modified On : Sat May 16 23:54:39 2015
13// Update Count     : 2
14//
15
16#ifndef ALTERNATIVE_H
17#define ALTERNATIVE_H
18
19#include <list>
20#include "SynTree/SynTree.h"
21#include "Cost.h"
22#include "TypeEnvironment.h"
23
24namespace ResolvExpr {
25        struct Alternative;
26        typedef std::list< Alternative > AltList;
27
28        struct Alternative {
29                Alternative();
30                Alternative( Expression *expr, const TypeEnvironment &env, const Cost &cost );
31                Alternative( Expression *expr, const TypeEnvironment &env, const Cost &cost, const Cost &cvtCost );
32                Alternative( const Alternative &other );
33                Alternative &operator=( const Alternative &other );
34                ~Alternative();
35
36                void initialize( const Alternative &src, Alternative &dest );
37
38                void print( std::ostream &os, int indent = 0 ) const;
39
40                Cost cost;
41                Cost cvtCost;
42                Expression *expr;
43                TypeEnvironment env;
44        };
45
46        /// helper function used by explode
47        template< typename OutputIterator >
48        void explodeUnique( Expression * expr, const Alternative & alt, OutputIterator out ) {
49                Type * res = expr->get_result();
50                if ( TupleType * tupleType = dynamic_cast< TupleType * > ( res ) ) {
51                        if ( TupleExpr * tupleExpr = dynamic_cast< TupleExpr * >( alt.expr ) ) {
52                                for ( Expression * expr : tupleExpr->get_exprs() ) {
53                                        explodeUnique( expr, alt, out );
54                                }
55                        } else {
56                                UniqueExpr * unq = new UniqueExpr( expr->clone() );
57                                for ( unsigned int i = 0; i < tupleType->size(); i++ ) {
58                                        TupleIndexExpr * idx = new TupleIndexExpr( unq->clone(), i );
59                                        explodeUnique( idx, alt, out );
60                                        delete idx;
61                                }
62                                delete unq;
63                        }
64                } else {
65                        *out++ = Alternative( expr->clone(), alt.env, alt.cost, alt.cvtCost );
66                }
67        }
68
69        /// expands a tuple-valued alternative into multiple alternatives, each with a non-tuple-type
70        template< typename OutputIterator >
71        void explode( Alternative &alt, OutputIterator out ) {
72                explodeUnique( alt.expr, alt, out );
73        }
74
75        // explode list of alternatives
76        template< typename OutputIterator >
77        void explode( AltList & alts, OutputIterator out ) {
78                for ( Alternative & alt : alts ) {
79                        explode( alt, out );
80                }
81        }
82} // namespace ResolvExpr
83
84#endif // ALTERNATIVE_H
85
86// Local Variables: //
87// tab-width: 4 //
88// mode: c++ //
89// compile-command: "make install" //
90// End: //
Note: See TracBrowser for help on using the repository browser.