Changeset c92bdcc for src/ResolvExpr
- Timestamp:
- May 10, 2024, 4:06:07 PM (12 months ago)
- Branches:
- master
- Children:
- 0f612d2
- Parents:
- 41c8312
- Location:
- src/ResolvExpr
- Files:
-
- 9 edited
- 24 moved
Legend:
- Unmodified
- Added
- Removed
-
TabularUnified src/ResolvExpr/Candidate.hpp ¶
r41c8312 rc92bdcc 20 20 #include <vector> 21 21 22 #include "Cost.h "22 #include "Cost.hpp" 23 23 #include "AST/Node.hpp" 24 24 #include "AST/TypeEnvironment.hpp" 25 #include "Common/Indenter.h "25 #include "Common/Indenter.hpp" 26 26 27 27 namespace ast { -
TabularUnified src/ResolvExpr/CandidateFinder.cpp ¶
r41c8312 rc92bdcc 17 17 18 18 #include <deque> 19 #include <iterator> // for back_inserter19 #include <iterator> // for back_inserter 20 20 #include <sstream> 21 21 #include <string> … … 25 25 #include "AdjustExprType.hpp" 26 26 #include "Candidate.hpp" 27 #include "CastCost.hpp" // for castCost27 #include "CastCost.hpp" // for castCost 28 28 #include "CompilationState.hpp" 29 #include "ConversionCost.h " // for conversionCast30 #include "Cost.h "29 #include "ConversionCost.hpp" // for conversionCast 30 #include "Cost.hpp" 31 31 #include "ExplodedArg.hpp" 32 32 #include "PolyCost.hpp" 33 #include "RenameVars.h " // for renameTyVars34 #include "Resolver.h "35 #include "ResolveTypeof.h "33 #include "RenameVars.hpp" // for renameTyVars 34 #include "Resolver.hpp" 35 #include "ResolveTypeof.hpp" 36 36 #include "SatisfyAssertions.hpp" 37 37 #include "SpecCost.hpp" 38 #include " typeops.h" // for combos39 #include "Unify.h "40 #include "WidenMode.h "38 #include "Typeops.hpp" // for combos 39 #include "Unify.hpp" 40 #include "WidenMode.hpp" 41 41 #include "AST/Expr.hpp" 42 42 #include "AST/Node.hpp" … … 45 45 #include "AST/SymbolTable.hpp" 46 46 #include "AST/Type.hpp" 47 #include "Common/ utility.h" // for move, copy48 #include "SymTab/Mangler.h "49 #include "Tuples/Tuples.h " // for handleTupleAssignment50 #include "InitTweak/InitTweak.h " // for getPointerBase51 52 #include "Common/Stats/Counter.h "47 #include "Common/Utility.hpp" // for move, copy 48 #include "SymTab/Mangler.hpp" 49 #include "Tuples/Tuples.hpp" // for handleTupleAssignment 50 #include "InitTweak/InitTweak.hpp" // for getPointerBase 51 52 #include "Common/Stats/Counter.hpp" 53 53 54 54 #include "AST/Inspect.hpp" // for getFunctionName -
TabularUnified src/ResolvExpr/CandidatePrinter.cpp ¶
r41c8312 rc92bdcc 24 24 #include "AST/TranslationUnit.hpp" 25 25 #include "ResolvExpr/CandidateFinder.hpp" 26 #include "ResolvExpr/Resolver.h "26 #include "ResolvExpr/Resolver.hpp" 27 27 28 28 namespace ResolvExpr { -
TabularUnified src/ResolvExpr/CastCost.cpp ¶
r41c8312 rc92bdcc 5 5 // file "LICENCE" distributed with Cforall. 6 6 // 7 // CastCost.c c--7 // CastCost.cpp -- 8 8 // 9 9 // Author : Richard C. Bilson … … 22 22 #include "AST/Type.hpp" 23 23 #include "AST/TypeEnvironment.hpp" 24 #include "ConversionCost.h "// for ConversionCost25 #include "Cost.h "// for Cost, Cost::infinity26 #include "ResolvExpr/ConversionCost.h "// for conversionCost24 #include "ConversionCost.hpp" // for ConversionCost 25 #include "Cost.hpp" // for Cost, Cost::infinity 26 #include "ResolvExpr/ConversionCost.hpp" // for conversionCost 27 27 #include "ResolvExpr/PtrsCastable.hpp" // for ptrsCastable 28 #include "ResolvExpr/Unify.h "// for typesCompatibleIgnoreQualifiers28 #include "ResolvExpr/Unify.hpp" // for typesCompatibleIgnoreQualifiers 29 29 30 30 #if 0 -
TabularUnified src/ResolvExpr/CastCost.hpp ¶
r41c8312 rc92bdcc 16 16 #pragma once 17 17 18 #include "ResolvExpr/Cost.h" // for Cost19 20 18 namespace ast { 21 19 class SymbolTable; … … 25 23 26 24 namespace ResolvExpr { 25 26 class Cost; 27 27 28 28 Cost castCost( -
TabularUnified src/ResolvExpr/CommonType.cpp ¶
r41c8312 rc92bdcc 5 5 // file "LICENCE" distributed with Cforall. 6 6 // 7 // CommonType.c c--7 // CommonType.cpp -- 8 8 // 9 9 // Author : Richard C. Bilson … … 23 23 #include "AST/Pass.hpp" 24 24 #include "AST/Type.hpp" 25 #include "Unify.h "// for unifyExact, WidenMode26 #include " typeops.h"// for isFtype27 #include "Tuples/Tuples.h "25 #include "Unify.hpp" // for unifyExact, WidenMode 26 #include "Typeops.hpp" // for isFtype 27 #include "Tuples/Tuples.hpp" 28 28 29 29 // #define DEBUG -
TabularUnified src/ResolvExpr/CommonType.hpp ¶
r41c8312 rc92bdcc 18 18 #include "AST/Fwd.hpp" 19 19 #include "AST/TypeEnvironment.hpp" // for AssertionSet, OpenVarSet 20 #include "WidenMode.h "// for WidenMode20 #include "WidenMode.hpp" // for WidenMode 21 21 22 22 namespace ResolvExpr { -
TabularUnified src/ResolvExpr/ConversionCost.cpp ¶
r41c8312 rc92bdcc 5 5 // file "LICENCE" distributed with Cforall. 6 6 // 7 // ConversionCost.c c--7 // ConversionCost.cpp -- 8 8 // 9 9 // Author : Richard C. Bilson … … 14 14 // 15 15 16 #include "ConversionCost.h "16 #include "ConversionCost.hpp" 17 17 18 18 #include <cassert> // for assert … … 20 20 #include <string> // for operator==, string 21 21 22 #include "ResolvExpr/Cost.h "// for Cost23 #include "ResolvExpr/Unify.h "// for typesCompatibleIgnoreQualifiers22 #include "ResolvExpr/Cost.hpp" // for Cost 23 #include "ResolvExpr/Unify.hpp" // for typesCompatibleIgnoreQualifiers 24 24 #include "ResolvExpr/PtrsAssignable.hpp" // for ptrsAssignable 25 25 -
TabularUnified src/ResolvExpr/ConversionCost.hpp ¶
r41c8312 rc92bdcc 5 5 // file "LICENCE" distributed with Cforall. 6 6 // 7 // ConversionCost.h --7 // ConversionCost.hpp -- 8 8 // 9 9 // Author : Richard C. Bilson … … 18 18 #include <functional> // for function 19 19 20 #include "Cost.h "// for Cost20 #include "Cost.hpp" // for Cost 21 21 22 22 #include "AST/Fwd.hpp" -
TabularUnified src/ResolvExpr/CurrentObject.cpp ¶
r41c8312 rc92bdcc 5 5 // file "LICENCE" distributed with Cforall. 6 6 // 7 // CurrentObject. h--7 // CurrentObject.cpp -- 8 8 // 9 9 // Author : Rob Schluntz … … 14 14 // 15 15 16 #include "CurrentObject.hpp" 17 16 18 #include <stddef.h> // for size_t 17 19 #include <cassert> // for assertf, assert, safe_dynamic_... … … 28 30 #include "AST/Print.hpp" // for readonly 29 31 #include "AST/Type.hpp" 30 #include "Common/Eval.h" // for eval 31 #include "Common/Indenter.h" // for Indenter, operator<< 32 #include "Common/SemanticError.h" // for SemanticError 33 #include "Common/utility.h" // for toString 34 #include "CurrentObject.h" 32 #include "Common/Eval.hpp" // for eval 33 #include "Common/Indenter.hpp" // for Indenter, operator<< 34 #include "Common/SemanticError.hpp" // for SemanticError 35 #include "Common/Utility.hpp" // for toString 35 36 36 37 #if 0 -
TabularUnified src/ResolvExpr/CurrentObject.hpp ¶
r41c8312 rc92bdcc 5 5 // file "LICENCE" distributed with Cforall. 6 6 // 7 // CurrentObject.h --7 // CurrentObject.hpp -- 8 8 // 9 9 // Author : Rob Schluntz … … 21 21 22 22 #include "AST/Node.hpp" // for ptr 23 #include "Common/CodeLocation.h "23 #include "Common/CodeLocation.hpp" 24 24 25 25 namespace ast { -
TabularUnified src/ResolvExpr/ExplodedArg.cpp ¶
r41c8312 rc92bdcc 16 16 #include "ExplodedArg.hpp" 17 17 18 #include "Tuples/Explode.h " // for Tuples::explode18 #include "Tuples/Explode.hpp" // for Tuples::explode 19 19 20 20 namespace ResolvExpr { -
TabularUnified src/ResolvExpr/ExplodedArg.hpp ¶
r41c8312 rc92bdcc 19 19 20 20 #include "Candidate.hpp" // for Candidate, CandidateList 21 #include "Cost.h "// for Cost21 #include "Cost.hpp" // for Cost 22 22 #include "AST/Expr.hpp" 23 23 #include "AST/Node.hpp" // for ptr -
TabularUnified src/ResolvExpr/FindOpenVars.cpp ¶
r41c8312 rc92bdcc 5 5 // file "LICENCE" distributed with Cforall. 6 6 // 7 // FindOpenVars.c c--7 // FindOpenVars.cpp -- 8 8 // 9 9 // Author : Richard C. Bilson … … 14 14 // 15 15 16 #include "FindOpenVars.h "16 #include "FindOpenVars.hpp" 17 17 18 18 #include "AST/Pass.hpp" -
TabularUnified src/ResolvExpr/RenameVars.cpp ¶
r41c8312 rc92bdcc 5 5 // file "LICENCE" distributed with Cforall. 6 6 // 7 // RenameVars.c c--7 // RenameVars.cpp -- 8 8 // 9 9 // Author : Richard C. Bilson … … 14 14 // 15 15 16 #include <ext/alloc_traits.h> // for __alloc_traits<>::value_type17 #include <memory> // for allocator_traits<>::value_type18 #include <sstream> // for operator<<, basic_ostream, ostring...19 #include <utility> // for pair16 #include <ext/alloc_traits.h> // for __alloc_traits<>::value_type 17 #include <memory> // for allocator_traits<>::value_type 18 #include <sstream> // for operator<<, basic_ostream, ostr... 19 #include <utility> // for pair 20 20 21 21 #include "AST/Pass.hpp" 22 22 #include "AST/Type.hpp" 23 #include "Common/ScopedMap.h "24 #include "Common/SemanticError.h "// for SemanticError25 #include "RenameVars.h "23 #include "Common/ScopedMap.hpp" 24 #include "Common/SemanticError.hpp" // for SemanticError 25 #include "RenameVars.hpp" 26 26 27 27 #include "AST/Copy.hpp" -
TabularUnified src/ResolvExpr/RenameVars.hpp ¶
r41c8312 rc92bdcc 5 5 // file "LICENCE" distributed with Cforall. 6 6 // 7 // RenameVars.h --7 // RenameVars.hpp -- 8 8 // 9 9 // Author : Richard C. Bilson -
TabularUnified src/ResolvExpr/ResolveTypeof.cpp ¶
r41c8312 rc92bdcc 5 5 // file "LICENCE" distributed with Cforall. 6 6 // 7 // ResolveTypeof.c c--7 // ResolveTypeof.cpp -- 8 8 // 9 9 // Author : Richard C. Bilson … … 14 14 // 15 15 16 #include "ResolveTypeof.h "16 #include "ResolveTypeof.hpp" 17 17 18 #include <cassert> // for assert18 #include <cassert> // for assert 19 19 20 20 #include "AST/CVQualifiers.hpp" … … 24 24 #include "AST/Type.hpp" 25 25 #include "AST/TypeEnvironment.hpp" 26 #include "Common/ utility.h" // for copy27 #include "InitTweak/InitTweak.h " // for isConstExpr28 #include "RenameVars.h "29 #include "Resolver.h "// for resolveInVoidContext30 #include "SymTab/Mangler.h "26 #include "Common/Utility.hpp" // for copy 27 #include "InitTweak/InitTweak.hpp" // for isConstExpr 28 #include "RenameVars.hpp" 29 #include "Resolver.hpp" // for resolveInVoidContext 30 #include "SymTab/Mangler.hpp" 31 31 32 32 namespace ResolvExpr { -
TabularUnified src/ResolvExpr/ResolveTypeof.hpp ¶
r41c8312 rc92bdcc 5 5 // file "LICENCE" distributed with Cforall. 6 6 // 7 // ResolveTypeof.h --7 // ResolveTypeof.hpp -- 8 8 // 9 9 // Author : Richard C. Bilson -
TabularUnified src/ResolvExpr/Resolver.cpp ¶
r41c8312 rc92bdcc 5 5 // file "LICENCE" distributed with Cforall. 6 6 // 7 // Resolver.c c--7 // Resolver.cpp -- 8 8 // 9 9 // Author : Aaron B. Moss … … 21 21 #include "Candidate.hpp" 22 22 #include "CandidateFinder.hpp" 23 #include "CurrentObject.h "// for CurrentObject24 #include "RenameVars.h "// for RenameVars, global_renamer25 #include "Resolver.h "26 #include "ResolveTypeof.h "23 #include "CurrentObject.hpp" // for CurrentObject 24 #include "RenameVars.hpp" // for RenameVars, global_renamer 25 #include "Resolver.hpp" 26 #include "ResolveTypeof.hpp" 27 27 #include "ResolveMode.hpp" // for ResolveMode 28 #include " typeops.h"// for extractResultType29 #include "Unify.h "// for unify28 #include "Typeops.hpp" // for extractResultType 29 #include "Unify.hpp" // for unify 30 30 #include "CompilationState.hpp" 31 31 #include "AST/Decl.hpp" … … 35 35 #include "AST/SymbolTable.hpp" 36 36 #include "AST/Type.hpp" 37 #include "Common/Eval.h "// for eval37 #include "Common/Eval.hpp" // for eval 38 38 #include "Common/Iterate.hpp" // for group_iterate 39 #include "Common/SemanticError.h "// for SemanticError40 #include "Common/Stats/ResolveTime.h "// for ResolveTime::start(), ResolveTime::stop()39 #include "Common/SemanticError.hpp" // for SemanticError 40 #include "Common/Stats/ResolveTime.hpp" // for ResolveTime::start(), ResolveTime::stop() 41 41 #include "Common/ToString.hpp" // for toCString 42 #include "Common/UniqueName.h "// for UniqueName43 #include "InitTweak/GenInit.h "44 #include "InitTweak/InitTweak.h "// for isIntrinsicSingleArgCallStmt45 #include "SymTab/Mangler.h "// for Mangler46 #include "Tuples/Tuples.h "47 #include "Validate/FindSpecialDecls.h "// for SizeType42 #include "Common/UniqueName.hpp" // for UniqueName 43 #include "InitTweak/GenInit.hpp" 44 #include "InitTweak/InitTweak.hpp" // for isIntrinsicSingleArgCallStmt 45 #include "SymTab/Mangler.hpp" // for Mangler 46 #include "Tuples/Tuples.hpp" 47 #include "Validate/FindSpecialDecls.hpp" // for SizeType 48 48 49 49 using namespace std; -
TabularUnified src/ResolvExpr/Resolver.hpp ¶
r41c8312 rc92bdcc 5 5 // file "LICENCE" distributed with Cforall. 6 6 // 7 // Resolver.h --7 // Resolver.hpp -- 8 8 // 9 9 // Author : Richard C. Bilson -
TabularUnified src/ResolvExpr/SatisfyAssertions.cpp ¶
r41c8312 rc92bdcc 28 28 #include "CandidateFinder.hpp" 29 29 #include "CommonType.hpp" 30 #include "Cost.h "31 #include "RenameVars.h "30 #include "Cost.hpp" 31 #include "RenameVars.hpp" 32 32 #include "SpecCost.hpp" 33 #include " typeops.h"34 #include "Unify.h "33 #include "Typeops.hpp" 34 #include "Unify.hpp" 35 35 #include "AST/Decl.hpp" 36 36 #include "AST/Expr.hpp" … … 40 40 #include "AST/SymbolTable.hpp" 41 41 #include "AST/TypeEnvironment.hpp" 42 #include "FindOpenVars.h "43 #include "Common/FilterCombos.h "44 #include "Common/Indenter.h "45 #include "GenPoly/GenPoly.h "46 #include "SymTab/Mangler.h "42 #include "FindOpenVars.hpp" 43 #include "Common/FilterCombos.hpp" 44 #include "Common/Indenter.hpp" 45 #include "GenPoly/GenPoly.hpp" 46 #include "SymTab/Mangler.hpp" 47 47 48 48 namespace ResolvExpr { -
TabularUnified src/ResolvExpr/Typeops.hpp ¶
r41c8312 rc92bdcc 5 5 // file "LICENCE" distributed with Cforall. 6 6 // 7 // typeops.h--7 // Typeops.hpp -- 8 8 // 9 9 // Author : Richard C. Bilson -
TabularUnified src/ResolvExpr/Unify.cpp ¶
r41c8312 rc92bdcc 5 5 // file "LICENCE" distributed with Cforall. 6 6 // 7 // Unify.c c--7 // Unify.cpp -- 8 8 // 9 9 // Author : Richard C. Bilson … … 14 14 // 15 15 16 #include "Unify.h "16 #include "Unify.hpp" 17 17 18 18 #include <cassert> // for assertf, assert … … 32 32 #include "AST/Type.hpp" 33 33 #include "AST/TypeEnvironment.hpp" 34 #include "Common/Eval.h "// for eval34 #include "Common/Eval.hpp" // for eval 35 35 #include "CommonType.hpp" // for commonType 36 #include "FindOpenVars.h "// for findOpenVars36 #include "FindOpenVars.hpp" // for findOpenVars 37 37 #include "SpecCost.hpp" // for SpecCost 38 #include "Tuples/Tuples.h "// for isTtype39 #include " typeops.h"// for flatten, occurs38 #include "Tuples/Tuples.hpp" // for isTtype 39 #include "Typeops.hpp" // for flatten, occurs 40 40 41 41 namespace ast { -
TabularUnified src/ResolvExpr/Unify.hpp ¶
r41c8312 rc92bdcc 5 5 // file "LICENCE" distributed with Cforall. 6 6 // 7 // Unify.h --7 // Unify.hpp -- 8 8 // 9 9 // Author : Richard C. Bilson … … 18 18 #include "AST/Node.hpp" // for ptr 19 19 #include "AST/TypeEnvironment.hpp" // for TypeEnvironment, AssertionSet, OpenVarSet 20 #include "WidenMode.h "// for WidenMode20 #include "WidenMode.hpp" // for WidenMode 21 21 22 22 namespace ast { -
TabularUnified src/ResolvExpr/module.mk ¶
r41c8312 rc92bdcc 16 16 17 17 SRC_RESOLVEXPR = \ 18 ResolvExpr/AdjustExprType.c c\18 ResolvExpr/AdjustExprType.cpp \ 19 19 ResolvExpr/AdjustExprType.hpp \ 20 20 ResolvExpr/Candidate.cpp \ … … 22 22 ResolvExpr/CandidateFinder.hpp \ 23 23 ResolvExpr/Candidate.hpp \ 24 ResolvExpr/CastCost.c c\24 ResolvExpr/CastCost.cpp \ 25 25 ResolvExpr/CastCost.hpp \ 26 ResolvExpr/CommonType.c c\26 ResolvExpr/CommonType.cpp \ 27 27 ResolvExpr/CommonType.hpp \ 28 ResolvExpr/ConversionCost.c c\29 ResolvExpr/ConversionCost.h \30 ResolvExpr/Cost.h \31 ResolvExpr/CurrentObject.c c\32 ResolvExpr/CurrentObject.h \28 ResolvExpr/ConversionCost.cpp \ 29 ResolvExpr/ConversionCost.hpp \ 30 ResolvExpr/Cost.hpp \ 31 ResolvExpr/CurrentObject.cpp \ 32 ResolvExpr/CurrentObject.hpp \ 33 33 ResolvExpr/ExplodedArg.cpp \ 34 34 ResolvExpr/ExplodedArg.hpp \ 35 ResolvExpr/FindOpenVars.c c\36 ResolvExpr/FindOpenVars.h \37 ResolvExpr/PolyCost.c c\35 ResolvExpr/FindOpenVars.cpp \ 36 ResolvExpr/FindOpenVars.hpp \ 37 ResolvExpr/PolyCost.cpp \ 38 38 ResolvExpr/PolyCost.hpp \ 39 ResolvExpr/PtrsAssignable.c c\39 ResolvExpr/PtrsAssignable.cpp \ 40 40 ResolvExpr/PtrsAssignable.hpp \ 41 ResolvExpr/PtrsCastable.c c\41 ResolvExpr/PtrsCastable.cpp \ 42 42 ResolvExpr/PtrsCastable.hpp \ 43 ResolvExpr/RenameVars.c c\44 ResolvExpr/RenameVars.h \45 ResolvExpr/Resolver.c c\46 ResolvExpr/Resolver.h \47 ResolvExpr/ResolveTypeof.c c\48 ResolvExpr/ResolveTypeof.h \43 ResolvExpr/RenameVars.cpp \ 44 ResolvExpr/RenameVars.hpp \ 45 ResolvExpr/Resolver.cpp \ 46 ResolvExpr/Resolver.hpp \ 47 ResolvExpr/ResolveTypeof.cpp \ 48 ResolvExpr/ResolveTypeof.hpp \ 49 49 ResolvExpr/ResolveMode.hpp \ 50 50 ResolvExpr/SatisfyAssertions.cpp \ 51 51 ResolvExpr/SatisfyAssertions.hpp \ 52 ResolvExpr/SpecCost.c c\52 ResolvExpr/SpecCost.cpp \ 53 53 ResolvExpr/SpecCost.hpp \ 54 ResolvExpr/typeops.h \55 ResolvExpr/Unify.c c\56 ResolvExpr/Unify.h \57 ResolvExpr/WidenMode.h 54 ResolvExpr/typeops.hpp \ 55 ResolvExpr/Unify.cpp \ 56 ResolvExpr/Unify.hpp \ 57 ResolvExpr/WidenMode.hpp 58 58 59 59 SRC += $(SRC_RESOLVEXPR) \
Note: See TracChangeset
for help on using the changeset viewer.