source: src/ResolvExpr/ConversionCost.cc @ cdb4eaa

Last change on this file since cdb4eaa was cdb4eaa, checked in by JiadaL <j82liang@…>, 2 months ago

Fix succ(Enum) error and resolution ambiguity of enum with inheritance
  • Property mode set to 100644
File size: 29.9 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// ConversionCost.cc --
8//
9// Author           : Richard C. Bilson
10// Created On       : Sun May 17 07:06:19 2015
11// Last Modified By : Andrew Beach
12// Last Modified On : Wed Jul 29 16:11:00 2020
13// Update Count     : 28
14//
15
16#include "ConversionCost.h"
17
18#include <cassert>                       // for assert
19#include <list>                          // for list, list<>::const_iterator
20#include <string>                        // for operator==, string
21
22#include "ResolvExpr/Cost.h"             // for Cost
23#include "ResolvExpr/Unify.h"            // for typesCompatibleIgnoreQualifiers
24#include "ResolvExpr/PtrsAssignable.hpp" // for ptrsAssignable
25
26namespace ResolvExpr {
27
28#if 0
29#define PRINT(x) x
30#else
31#define PRINT(x)
32#endif
33
34        // GENERATED START, DO NOT EDIT
35        // GENERATED BY BasicTypes-gen.cc
36        /* EXTENDED INTEGRAL RANK HIERARCHY (root to leaves)
37                                 _Bool
38        char                signed char         unsigned char
39                  signed short int         unsigned short int
40                  signed int               unsigned int
41                  signed long int          unsigned long int
42                  signed long long int     unsigned long long int
43                  __int128                 unsigned __int128
44                  _Float16                 _Float16 _Complex
45                  _Float32                 _Float32 _Complex
46                  float                    float _Complex
47                  _Float32x                _Float32x _Complex
48                  _Float64                 _Float64 _Complex
49                  double                   double _Complex
50                  _Float64x                _Float64x _Complex
51                             __float80
52                  _Float128                _Float128 _Complex
53                            __float128
54                  long double              long double _Complex
55                  _Float128x               _Float128x _Complex
56        */
57        // GENERATED END
58
59        // GENERATED START, DO NOT EDIT
60        // GENERATED BY BasicTypes-gen.cc
61        static const int costMatrix[ast::BasicType::NUMBER_OF_BASIC_TYPES][ast::BasicType::NUMBER_OF_BASIC_TYPES] = { // path length from root to node
62                /*               B    C   SC   UC   SI  SUI    I   UI   LI  LUI  LLI LLUI   IB  UIB  _FH  _FH   _F  _FC    F   FC  _FX _FXC   FD _FDC    D   DC F80X_FDXC  F80  _FB_FLDC   FB   LD  LDC _FBX_FLDXC */
63                /*      B */ {   0,   1,   1,   2,   2,   3,   3,   4,   4,   5,   5,   6,   6,   7,   7,   8,   8,   9,   9,  10,  10,  11,  11,  12,  12,  13,  13,  14,  14,  15,  15,  16,  17,  16,  18,  17, },
64                /*      C */ {  -1,   0,   1,   1,   1,   2,   2,   3,   3,   4,   4,   5,   5,   6,   6,   7,   7,   8,   8,   9,   9,  10,  10,  11,  11,  12,  12,  13,  13,  14,  14,  15,  16,  15,  17,  16, },
65                /*     SC */ {  -1,  -1,   0,   1,   1,   2,   2,   3,   3,   4,   4,   5,   5,   6,   6,   7,   7,   8,   8,   9,   9,  10,  10,  11,  11,  12,  12,  13,  13,  14,  14,  15,  16,  15,  17,  16, },
66                /*     UC */ {  -1,  -1,  -1,   0,   1,   1,   2,   2,   3,   3,   4,   4,   5,   5,   6,   7,   7,   8,   8,   9,   9,  10,  10,  11,  11,  12,  12,  13,  13,  14,  14,  15,  16,  15,  17,  16, },
67                /*     SI */ {  -1,  -1,  -1,  -1,   0,   1,   1,   2,   2,   3,   3,   4,   4,   5,   5,   6,   6,   7,   7,   8,   8,   9,   9,  10,  10,  11,  11,  12,  12,  13,  13,  14,  15,  14,  16,  15, },
68                /*    SUI */ {  -1,  -1,  -1,  -1,  -1,   0,   1,   1,   2,   2,   3,   3,   4,   4,   5,   6,   6,   7,   7,   8,   8,   9,   9,  10,  10,  11,  11,  12,  12,  13,  13,  14,  15,  14,  16,  15, },
69                /*      I */ {  -1,  -1,  -1,  -1,  -1,  -1,   0,   1,   1,   2,   2,   3,   3,   4,   4,   5,   5,   6,   6,   7,   7,   8,   8,   9,   9,  10,  10,  11,  11,  12,  12,  13,  14,  13,  15,  14, },
70                /*     UI */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,   0,   1,   1,   2,   2,   3,   3,   4,   5,   5,   6,   6,   7,   7,   8,   8,   9,   9,  10,  10,  11,  11,  12,  12,  13,  14,  13,  15,  14, },
71                /*     LI */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,   0,   1,   1,   2,   2,   3,   3,   4,   4,   5,   5,   6,   6,   7,   7,   8,   8,   9,   9,  10,  10,  11,  11,  12,  13,  12,  14,  13, },
72                /*    LUI */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,   0,   1,   1,   2,   2,   3,   4,   4,   5,   5,   6,   6,   7,   7,   8,   8,   9,   9,  10,  10,  11,  11,  12,  13,  12,  14,  13, },
73                /*    LLI */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,   0,   1,   1,   2,   2,   3,   3,   4,   4,   5,   5,   6,   6,   7,   7,   8,   8,   9,   9,  10,  10,  11,  12,  11,  13,  12, },
74                /*   LLUI */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,   0,   1,   1,   2,   3,   3,   4,   4,   5,   5,   6,   6,   7,   7,   8,   8,   9,   9,  10,  10,  11,  12,  11,  13,  12, },
75                /*     IB */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,   0,   1,   1,   2,   2,   3,   3,   4,   4,   5,   5,   6,   6,   7,   7,   8,   8,   9,   9,  10,  11,  10,  12,  11, },
76                /*    UIB */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,   0,   1,   2,   2,   3,   3,   4,   4,   5,   5,   6,   6,   7,   7,   8,   8,   9,   9,  10,  11,  10,  12,  11, },
77                /*    _FH */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,   0,   1,   1,   2,   2,   3,   3,   4,   4,   5,   5,   6,   6,   7,   7,   8,   8,   9,  10,   9,  11,  10, },
78                /*    _FH */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,   0,  -1,   1,  -1,   2,  -1,   3,  -1,   4,  -1,   5,  -1,   6,  -1,  -1,   7,  -1,  -1,   8,  -1,   9, },
79                /*     _F */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,   0,   1,   1,   2,   2,   3,   3,   4,   4,   5,   5,   6,   6,   7,   7,   8,   9,   8,  10,   9, },
80                /*    _FC */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,   0,  -1,   1,  -1,   2,  -1,   3,  -1,   4,  -1,   5,  -1,  -1,   6,  -1,  -1,   7,  -1,   8, },
81                /*      F */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,   0,   1,   1,   2,   2,   3,   3,   4,   4,   5,   5,   6,   6,   7,   8,   7,   9,   8, },
82                /*     FC */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,   0,  -1,   1,  -1,   2,  -1,   3,  -1,   4,  -1,  -1,   5,  -1,  -1,   6,  -1,   7, },
83                /*    _FX */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,   0,   1,   1,   2,   2,   3,   3,   4,   4,   5,   5,   6,   7,   6,   8,   7, },
84                /*   _FXC */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,   0,  -1,   1,  -1,   2,  -1,   3,  -1,  -1,   4,  -1,  -1,   5,  -1,   6, },
85                /*     FD */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,   0,   1,   1,   2,   2,   3,   3,   4,   4,   5,   6,   5,   7,   6, },
86                /*   _FDC */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,   0,  -1,   1,  -1,   2,  -1,  -1,   3,  -1,  -1,   4,  -1,   5, },
87                /*      D */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,   0,   1,   1,   2,   2,   3,   3,   4,   5,   4,   6,   5, },
88                /*     DC */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,   0,  -1,   1,  -1,  -1,   2,  -1,  -1,   3,  -1,   4, },
89                /*   F80X */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,   0,   1,   1,   2,   2,   3,   4,   3,   5,   4, },
90                /*  _FDXC */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,   0,  -1,  -1,   1,  -1,  -1,   2,  -1,   3, },
91                /*    F80 */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,   1,   0,   1,   2,   2,   3,   3,   4,   4, },
92                /*    _FB */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,   0,   1,   1,   2,   2,   3,   3, },
93                /*  _FLDC */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,   0,  -1,  -1,   1,  -1,   2, },
94                /*     FB */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,   1,   0,   1,   2,   2,   3, },
95                /*     LD */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,   0,   1,   1,   2, },
96                /*    LDC */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,   0,  -1,   1, },
97                /*   _FBX */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,   0,   1, },
98                /* _FLDXC */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,   0, },
99        }; // costMatrix
100        static const int maxIntCost = 15;
101        // GENERATED END
102        static_assert(
103                sizeof(costMatrix)/sizeof(costMatrix[0][0]) == ast::BasicType::NUMBER_OF_BASIC_TYPES * ast::BasicType::NUMBER_OF_BASIC_TYPES,
104                "Missing row in the cost matrix"
105        );
106
107        // GENERATED START, DO NOT EDIT
108        // GENERATED BY BasicTypes-gen.cc
109        static const int signMatrix[ast::BasicType::NUMBER_OF_BASIC_TYPES][ast::BasicType::NUMBER_OF_BASIC_TYPES] = { // number of sign changes in safe conversion
110                /*               B    C   SC   UC   SI  SUI    I   UI   LI  LUI  LLI LLUI   IB  UIB  _FH  _FH   _F  _FC    F   FC  _FX _FXC   FD _FDC    D   DC F80X_FDXC  F80  _FB_FLDC   FB   LD  LDC _FBX_FLDXC */
111                /*      B */ {   0,   0,   0,   1,   0,   1,   0,   1,   0,   1,   0,   1,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0, },
112                /*      C */ {  -1,   0,   0,   1,   0,   1,   0,   1,   0,   1,   0,   1,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0, },
113                /*     SC */ {  -1,  -1,   0,   1,   0,   1,   0,   1,   0,   1,   0,   1,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0, },
114                /*     UC */ {  -1,  -1,  -1,   0,   1,   0,   1,   0,   1,   0,   1,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0, },
115                /*     SI */ {  -1,  -1,  -1,  -1,   0,   1,   0,   1,   0,   1,   0,   1,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0, },
116                /*    SUI */ {  -1,  -1,  -1,  -1,  -1,   0,   1,   0,   1,   0,   1,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0, },
117                /*      I */ {  -1,  -1,  -1,  -1,  -1,  -1,   0,   1,   0,   1,   0,   1,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0, },
118                /*     UI */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,   0,   1,   0,   1,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0, },
119                /*     LI */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,   0,   1,   0,   1,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0, },
120                /*    LUI */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,   0,   1,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0, },
121                /*    LLI */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,   0,   1,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0, },
122                /*   LLUI */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0, },
123                /*     IB */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0, },
124                /*    UIB */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0, },
125                /*    _FH */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0, },
126                /*    _FH */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,   0,  -1,   0,  -1,   0,  -1,   0,  -1,   0,  -1,   0,  -1,   0,  -1,  -1,   0,  -1,  -1,   0,  -1,   0, },
127                /*     _F */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0, },
128                /*    _FC */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,   0,  -1,   0,  -1,   0,  -1,   0,  -1,   0,  -1,   0,  -1,  -1,   0,  -1,  -1,   0,  -1,   0, },
129                /*      F */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0, },
130                /*     FC */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,   0,  -1,   0,  -1,   0,  -1,   0,  -1,   0,  -1,  -1,   0,  -1,  -1,   0,  -1,   0, },
131                /*    _FX */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0, },
132                /*   _FXC */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,   0,  -1,   0,  -1,   0,  -1,   0,  -1,  -1,   0,  -1,  -1,   0,  -1,   0, },
133                /*     FD */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0, },
134                /*   _FDC */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,   0,  -1,   0,  -1,   0,  -1,  -1,   0,  -1,  -1,   0,  -1,   0, },
135                /*      D */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0, },
136                /*     DC */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,   0,  -1,   0,  -1,  -1,   0,  -1,  -1,   0,  -1,   0, },
137                /*   F80X */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0, },
138                /*  _FDXC */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,   0,  -1,  -1,   0,  -1,  -1,   0,  -1,   0, },
139                /*    F80 */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,   0,   0,   0,   0,   0,   0,   0,   0,   0, },
140                /*    _FB */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,   0,   0,   0,   0,   0,   0,   0, },
141                /*  _FLDC */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,   0,  -1,  -1,   0,  -1,   0, },
142                /*     FB */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,   0,   0,   0,   0,   0,   0, },
143                /*     LD */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,   0,   0,   0,   0, },
144                /*    LDC */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,   0,  -1,   0, },
145                /*   _FBX */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,   0,   0, },
146                /* _FLDXC */ {  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,  -1,   0, },
147        }; // signMatrix
148        // GENERATED END
149        static_assert(
150                sizeof(signMatrix)/sizeof(signMatrix[0][0]) == ast::BasicType::NUMBER_OF_BASIC_TYPES * ast::BasicType::NUMBER_OF_BASIC_TYPES,
151                "Missing row in the sign matrix"
152        );
153
154namespace {
155        int localPtrsAssignable(const ast::Type * t1, const ast::Type * t2,
156                        const ast::SymbolTable &, const ast::TypeEnvironment & env ) {
157                return ptrsAssignable( t1, t2, env );
158        }
159}
160
161Cost conversionCost(
162        const ast::Type * src, const ast::Type * dst, bool srcIsLvalue,
163        const ast::SymbolTable & symtab, const ast::TypeEnvironment & env
164) {
165        if ( const ast::TypeInstType * inst = dynamic_cast< const ast::TypeInstType * >( dst ) ) {
166                if ( const ast::EqvClass * eqv = env.lookup( *inst ) ) {
167                        if ( eqv->bound ) {
168                                return conversionCost(src, eqv->bound, srcIsLvalue, symtab, env );
169                        } else {
170                                return Cost::infinity;
171                        }
172                } else if ( const ast::NamedTypeDecl * named = symtab.lookupType( inst->name ) ) {
173                        const ast::TypeDecl * type = dynamic_cast< const ast::TypeDecl * >( named );
174                        assertf( type, "Unexpected typedef." );
175                        if ( type->base ) {
176                                return conversionCost( src, type->base, srcIsLvalue, symtab, env ) + Cost::safe;
177                        }
178                }
179        }
180        if ( typesCompatibleIgnoreQualifiers( src, dst, env ) ) {
181                return Cost::zero;
182        } else if ( dynamic_cast< const ast::VoidType * >( dst ) ) {
183                return Cost::safe;
184        } else if ( const ast::ReferenceType * refType =
185                         dynamic_cast< const ast::ReferenceType * >( dst ) ) {
186                return convertToReferenceCost( src, refType, srcIsLvalue, symtab, env, localPtrsAssignable );
187        } else {
188                return ast::Pass<ConversionCost>::read( src, dst, srcIsLvalue, symtab, env, conversionCost );
189        }
190}
191
192static Cost convertToReferenceCost( const ast::Type * src, const ast::Type * dst, bool srcIsLvalue,
193                int diff, const ast::SymbolTable & symtab, const ast::TypeEnvironment & env,
194                PtrsCalculation func ) {
195        if ( 0 < diff ) {
196                Cost cost = convertToReferenceCost(
197                        strict_dynamic_cast< const ast::ReferenceType * >( src )->base, dst,
198                        srcIsLvalue, (diff - 1), symtab, env, func );
199                cost.incReference();
200                return cost;
201        } else if ( diff < -1 ) {
202                Cost cost = convertToReferenceCost(
203                        src, strict_dynamic_cast< const ast::ReferenceType * >( dst )->base,
204                        srcIsLvalue, (diff + 1), symtab, env, func );
205                cost.incReference();
206                return cost;
207        } else if ( 0 == diff ) {
208                const ast::ReferenceType * srcAsRef = dynamic_cast< const ast::ReferenceType * >( src );
209                const ast::ReferenceType * dstAsRef = dynamic_cast< const ast::ReferenceType * >( dst );
210                if ( srcAsRef && dstAsRef ) {
211                        ast::CV::Qualifiers tq1 = srcAsRef->base->qualifiers;
212                        ast::CV::Qualifiers tq2 = dstAsRef->base->qualifiers;
213                        if ( tq1 <= tq2 && typesCompatibleIgnoreQualifiers(
214                                        srcAsRef->base, dstAsRef->base, env ) ) {
215                                if ( tq1 == tq2 ) {
216                                        return Cost::zero;
217                                } else {
218                                        return Cost::safe;
219                                }
220                        } else {
221                                int assignResult = func( srcAsRef->base, dstAsRef->base, symtab, env );
222                                if ( 0 < assignResult ) {
223                                        return Cost::safe;
224                                } else if ( assignResult < 0 ) {
225                                        return Cost::unsafe;
226                                }
227                        }
228                } else {
229                        return ast::Pass<ConversionCost>::read( src, dst, srcIsLvalue, symtab, env, conversionCost );
230                }
231        } else {
232                assert( -1 == diff );
233                const ast::ReferenceType * dstAsRef = dynamic_cast< const ast::ReferenceType * >( dst );
234                assert( dstAsRef );
235                if ( typesCompatibleIgnoreQualifiers( src, dstAsRef->base, env ) ) {
236                        if ( srcIsLvalue ) {
237                                if ( src->qualifiers == dstAsRef->base->qualifiers ) {
238                                        return Cost::reference;
239                                } else if ( src->qualifiers < dstAsRef->base->qualifiers ) {
240                                        return Cost::safe;
241                                } else {
242                                        return Cost::unsafe;
243                                }
244                        } else if ( dstAsRef->base->is_const() ) {
245                                return Cost::safe;
246                        } else {
247                                return Cost::unsafe;
248                        }
249                }
250        }
251        return Cost::infinity;
252}
253
254Cost convertToReferenceCost( const ast::Type * src, const ast::ReferenceType * dst,
255                bool srcIsLvalue, const ast::SymbolTable & symtab, const ast::TypeEnvironment & env,
256                PtrsCalculation func ) {
257        int sdepth = src->referenceDepth(), ddepth = dst->referenceDepth();
258        return convertToReferenceCost( src, dst, srcIsLvalue, sdepth - ddepth, symtab, env, func );
259}
260
261void ConversionCost::postvisit( const ast::VoidType * voidType ) {
262        (void)voidType;
263        cost = Cost::infinity;
264}
265
266void ConversionCost::conversionCostFromBasicToBasic( const ast::BasicType * src, const ast::BasicType* dest ) {
267        int tableResult = costMatrix[ src->kind ][ dest->kind ];
268        if ( tableResult == -1 ) {
269                cost = Cost::unsafe;
270        } else {
271                cost = Cost::zero;
272                cost.incSafe( tableResult );
273                cost.incSign( signMatrix[ src->kind ][ dest->kind ] );
274        }
275}
276
277void ConversionCost::postvisit( const ast::BasicType * basicType ) {
278        if ( const ast::BasicType * dstAsBasic = dynamic_cast< const ast::BasicType * >( dst ) ) {
279                conversionCostFromBasicToBasic( basicType, dstAsBasic );
280        } else if ( dynamic_cast< const ast::EnumAttrType *>(dst) ) {
281                static ast::ptr<ast::BasicType> integer = { new ast::BasicType( ast::BasicType::SignedInt ) };
282                cost = costCalc( basicType, integer, srcIsLvalue, symtab, env );
283        } else if ( auto dstAsEnumInst = dynamic_cast< const ast::EnumInstType * >( dst ) ) {
284                if ( dstAsEnumInst->base && !dstAsEnumInst->base->base ) {
285                        cost = Cost::zero;
286                        cost.incUnsafe();
287                }
288        }
289}
290
291void ConversionCost::postvisit( const ast::PointerType * pointerType ) {
292        if ( const ast::PointerType * dstAsPtr = dynamic_cast< const ast::PointerType * >( dst ) ) {
293                ast::CV::Qualifiers tq1 = pointerType->base->qualifiers;
294                ast::CV::Qualifiers tq2 = dstAsPtr->base->qualifiers;
295                if ( tq1 <= tq2 && typesCompatibleIgnoreQualifiers(
296                                pointerType->base, dstAsPtr->base, env ) ) {
297                        if ( tq1 == tq2 ) {
298                                cost = Cost::zero;
299                        } else {
300                                cost = Cost::safe;
301                        }
302                }
303                /*
304                else if ( const ast::FunctionType * dstFunc = dstAsPtr->base.as<ast::FunctionType>()) {
305                        if (const ast::FunctionType * srcFunc = pointerType->base.as<ast::FunctionType>()) {
306                                if (dstFunc->params.empty() && dstFunc->isVarArgs ) {
307                                        cost = Cost::unsafe; // assign any function to variadic fptr
308                                }
309                        }
310                        else {
311                                ast::AssertionSet need, have; // unused
312                                ast::OpenVarSet open;
313                                env.extractOpenVars(open);
314                                ast::TypeEnvironment tenv = env;
315                                if ( unify(dstAsPtr->base, pointerType->base, tenv, need, have, open, symtab) ) {
316                                        cost = Cost::safe;
317                                }
318                        }
319                        // else infinity
320                }
321                */
322                else {
323                        int assignResult = ptrsAssignable( pointerType->base, dstAsPtr->base, env );
324                        if ( 0 < assignResult && tq1 <= tq2 ) {
325                                if ( tq1 == tq2 ) {
326                                        cost = Cost::safe;
327                                } else {
328                                        cost = Cost::safe + Cost::safe;
329                                }
330                        } else if ( assignResult < 0 ) {
331                                cost = Cost::unsafe;
332                        } // else Cost::infinity
333                }
334        }
335}
336
337void ConversionCost::postvisit( const ast::ArrayType * arrayType ) {
338        (void)arrayType;
339}
340
341void ConversionCost::postvisit( const ast::ReferenceType * refType ) {
342        assert( nullptr == dynamic_cast< const ast::ReferenceType * >( dst ) );
343
344        cost = costCalc( refType->base, dst, srcIsLvalue, symtab, env );
345
346        // xxx - should qualifiers be considered in pass-by-value?
347        /*
348        if ( refType->base->qualifiers == dst->qualifiers ) {
349                cost.incReference();
350        } else if ( refType->base->qualifiers < dst->qualifiers ) {
351                cost.incSafe();
352        } else {
353                cost.incUnsafe();
354        }
355        */
356        cost.incReference();
357}
358
359void ConversionCost::postvisit( const ast::FunctionType * functionType ) {
360        (void)functionType;
361}
362
363void ConversionCost::postvisit( const ast::EnumInstType * inst ) {
364        if ( auto dstAsInst = dynamic_cast<const ast::EnumInstType *>( dst ) ) {
365                if (inst->base && dstAsInst->base) {
366                        if (inst->base->name == dstAsInst->base->name) {
367                                cost = Cost::zero;
368                                return;
369                        }
370                }
371        } 
372        static ast::ptr<ast::BasicType> integer = { new ast::BasicType( ast::BasicType::SignedInt ) };
373        cost = costCalc( integer, dst, srcIsLvalue, symtab, env );
374        if ( cost < Cost::unsafe ) {
375                cost.incSafe();
376        }
377}
378
379void ConversionCost::postvisit( const ast::EnumAttrType * src ) {
380    auto dstAsEnumAttrType = dynamic_cast<const ast::EnumAttrType *>(dst);
381    if ( src->attr == ast::EnumAttribute::Label ) {
382        if ( dstAsEnumAttrType && dstAsEnumAttrType->attr == ast::EnumAttribute::Label ) {
383            cost = costCalc( src->instance, dstAsEnumAttrType->instance, srcIsLvalue, symtab, env );
384        } 
385        // Add Conversion To String
386    } else if ( src->attr == ast::EnumAttribute::Value ) {
387        if ( dstAsEnumAttrType && dstAsEnumAttrType->attr == ast::EnumAttribute::Value) {
388            cost = costCalc( src->instance, dstAsEnumAttrType->instance, srcIsLvalue, symtab, env );
389        } else {
390            auto baseType = src->instance->base->base;
391            cost = costCalc( baseType, dst, srcIsLvalue, symtab, env );
392                        if ( cost < Cost::infinity ) {
393                                cost.incUnsafe();
394                        }
395        }
396    } else { // ast::EnumAttribute::Posn
397        if ( auto dstBase = dynamic_cast<const ast::EnumInstType *>( dst ) ) {
398                    cost = costCalc( src->instance, dstBase, srcIsLvalue, symtab, env );
399                    if ( cost < Cost::unsafe ) cost.incSafe();
400            } else {
401                    static ast::ptr<ast::BasicType> integer = { new ast::BasicType( ast::BasicType::SignedInt ) };
402                    cost = costCalc( integer, dst, srcIsLvalue, symtab, env );
403                    if ( cost < Cost::unsafe ) {
404                            cost.incSafe();
405                    }
406            }
407    }
408}
409
410void ConversionCost::postvisit( const ast::TraitInstType * traitInstType ) {
411        (void)traitInstType;
412}
413
414void ConversionCost::postvisit( const ast::TypeInstType * typeInstType ) {
415        if ( const ast::EqvClass * eqv = env.lookup( *typeInstType ) ) {
416                cost = costCalc( eqv->bound, dst, srcIsLvalue, symtab, env );
417        } else if ( const ast::TypeInstType * dstAsInst =
418                        dynamic_cast< const ast::TypeInstType * >( dst ) ) {
419                if ( *typeInstType == *dstAsInst ) {
420                        cost = Cost::zero;
421                }
422        } else if ( const ast::NamedTypeDecl * namedType = symtab.lookupType( typeInstType->name ) ) {
423                const ast::TypeDecl * type = dynamic_cast< const ast::TypeDecl * >( namedType );
424                assertf( type, "Unexpected typedef.");
425                if ( type->base ) {
426                        cost = costCalc( type->base, dst, srcIsLvalue, symtab, env ) + Cost::safe;
427                }
428        }
429}
430
431void ConversionCost::postvisit( const ast::TupleType * tupleType ) {
432        Cost c = Cost::zero;
433        if ( const ast::TupleType * dstAsTuple = dynamic_cast< const ast::TupleType * >( dst ) ) {
434                auto srcIt = tupleType->types.begin();
435                auto dstIt = dstAsTuple->types.begin();
436                auto srcEnd = tupleType->types.end();
437                auto dstEnd = dstAsTuple->types.end();
438                while ( srcIt != srcEnd && dstIt != dstEnd ) {
439                        Cost newCost = costCalc( * srcIt++, * dstIt++, srcIsLvalue, symtab, env );
440                        if ( newCost == Cost::infinity ) {
441                                return;
442                        }
443                        c += newCost;
444                }
445                if ( dstIt != dstEnd ) {
446                        cost = Cost::infinity;
447                } else {
448                        cost = c;
449                }
450        }
451}
452
453void ConversionCost::postvisit( const ast::VarArgsType * varArgsType ) {
454        (void)varArgsType;
455        if ( dynamic_cast< const ast::VarArgsType * >( dst ) ) {
456                cost = Cost::zero;
457        }
458}
459
460void ConversionCost::postvisit( const ast::ZeroType * zeroType ) {
461        (void)zeroType;
462        if ( dynamic_cast< const ast::ZeroType * >( dst ) ) {
463                cost = Cost::zero;
464        } else if ( const ast::BasicType * dstAsBasic =
465                        dynamic_cast< const ast::BasicType * >( dst ) ) {
466                int tableResult = costMatrix[ ast::BasicType::SignedInt ][ dstAsBasic->kind ];
467                if ( -1 == tableResult ) {
468                        cost = Cost::unsafe;
469                } else {
470                        cost = Cost::zero;
471                        cost.incSafe( tableResult + 1 );
472                        cost.incSign( signMatrix[ ast::BasicType::SignedInt ][ dstAsBasic->kind ] );
473                }
474                // this has the effect of letting any expr such as x+0, x+1 to be typed
475                // the same as x, instead of at least int. are we willing to sacrifice this little
476                // bit of coherence with C?
477                // TODO: currently this does not work when no zero/one overloads exist. Find a fix for it.
478                // cost = Cost::zero;
479        } else if ( dynamic_cast< const ast::PointerType * >( dst ) ) {
480                cost = Cost::zero;
481                // +1 for zero_t ->, +1 for disambiguation
482                cost.incSafe( maxIntCost + 2 );
483                // assuming 0p is supposed to be used for pointers?
484        } else if ( auto dstAsEnumInst = dynamic_cast< const ast::EnumInstType * >( dst ) ) {
485                if ( dstAsEnumInst->base && !dstAsEnumInst->base->base ) {
486                        cost = Cost::zero;
487                        cost.incUnsafe();
488                }
489        }
490}
491
492void ConversionCost::postvisit( const ast::OneType * oneType ) {
493        (void)oneType;
494        if ( dynamic_cast< const ast::OneType * >( dst ) ) {
495                cost = Cost::zero;
496        } else if ( const ast::BasicType * dstAsBasic =
497                        dynamic_cast< const ast::BasicType * >( dst ) ) {
498                int tableResult = costMatrix[ ast::BasicType::SignedInt ][ dstAsBasic->kind ];
499                if ( -1 == tableResult ) {
500                        cost = Cost::unsafe;
501                } else {
502                        cost = Cost::zero;
503                        cost.incSafe( tableResult + 1 );
504                        cost.incSign( signMatrix[ ast::BasicType::SignedInt ][ dstAsBasic->kind ] );
505                }
506        } else if ( auto dstAsEnumInst = dynamic_cast< const ast::EnumInstType * >( dst ) ) {
507                if ( dstAsEnumInst->base && !dstAsEnumInst->base->base ) {
508                        cost = Cost::zero;
509                        cost.incUnsafe();
510                }
511        }
512}
513
514// size_t ConversionCost::traceId = Stats::Heap::new_stacktrace_id("ConversionCost");
515
516} // namespace ResolvExpr
517
518// Local Variables: //
519// tab-width: 4 //
520// mode: c++ //
521// compile-command: "make install" //
522// End: //
Note: See TracBrowser for help on using the repository browser.