Home
last modified time | relevance | path

Searched defs:funType (Results 1 – 25 of 39) sorted by relevance

12

/dports/devel/icmake/icmake-9b958b05ac462adf6cde394875964a8127599514/icmake/comp/parser/
H A Dpmvreturn.c18 ExprType funType = symtab_funType(funIdx); in pmv_return() local
/dports/math/cvc3/cvc3-2.4.1/src/include/
H A Dtype.h76 Type funType(const Type& typeRan) const in funType() function
/dports/math/cvc3/cvc3-2.4.1/src/theory_datatype/
H A Dtheory_datatype.cpp480 Expr funType = cons.getType().getExpr(); in finiteTypeInfo() local
527 Expr funType = cons.getType().getExpr(); in finiteTypeInfo() local
1034 Expr funType = getBaseType(cons).getExpr(); in dataType() local
1184 Expr funType = getBaseType(cons).getExpr(); in getConstant() local
1200 Expr funType = getBaseType(cons).getExpr(); in getConstant() local
/dports/lang/solidity/solidity_0.8.11/libyul/optimiser/
H A DTypeInfo.cpp53 auto& funType = functionTypes[_funDef.name]; in operator ()() local
/dports/lang/solidity/solidity_0.8.11/libsolidity/formal/
H A DBMC.cpp138 …FunctionType const& funType = dynamic_cast<FunctionType const&>(*_funCall.expression().annotation(… in shouldInlineFunctionCall() local
441 …FunctionType const& funType = dynamic_cast<FunctionType const&>(*_funCall.expression().annotation(… in endVisit() local
574 auto const& funType = dynamic_cast<FunctionType const&>(*_funCall.expression().annotation().type); in internalOrExternalFunctionCall() local
H A DCHC.cpp530 …FunctionType const& funType = dynamic_cast<FunctionType const&>(*_funCall.expression().annotation(… in endVisit() local
761 FunctionType const& funType = dynamic_cast<FunctionType const&>(*callExpr->annotation().type); in externalFunctionCall() local
840 …FunctionType const& funType = dynamic_cast<FunctionType const&>(*_funCall.expression().annotation(… in externalFunctionCallToTrustedCode() local
890 …FunctionType const& funType = dynamic_cast<FunctionType const&>(*_arrayPop.expression().annotation… in makeArrayPopVerificationTarget() local
1467 …FunctionType const& funType = dynamic_cast<FunctionType const&>(*_funCall.expression().annotation(… in predicate() local
1479 FunctionType const& funType = dynamic_cast<FunctionType const&>(*callExpr->annotation().type); in predicate() local
H A DSMTEncoder.cpp574 …FunctionType const& funType = dynamic_cast<FunctionType const&>(*_funCall.expression().annotation(… in visit() local
614 …FunctionType const& funType = dynamic_cast<FunctionType const&>(*_funCall.expression().annotation(… in endVisit() local
762 auto const& funType = dynamic_cast<FunctionType const&>(*_funCall.expression().annotation().type); in visitABIFunction() local
808 auto const& funType = dynamic_cast<FunctionType const&>(*_funCall.expression().annotation().type); in visitCryptoFunction() local
854 auto const& funType = dynamic_cast<FunctionType const&>(*_funCall.expression().annotation().type); in visitAddMulMod() local
2042 if (auto funType = dynamic_cast<FunctionType const*>(funCall->expression().annotation().type)) in assignment() local
2754 auto const& funType = dynamic_cast<FunctionType const&>(*funCall->expression().annotation().type); in isEmptyPush() local
3092 auto funType = dynamic_cast<FunctionType const*>(calledExpr->annotation().type); in symbolicArguments() local
/dports/lang/solidity/solidity_0.8.11/libsolidity/codegen/
H A DExpressionCompiler.cpp1408 FunctionType const& funType = dynamic_cast<FunctionType const&>( in visit() local
1454 if (auto funType = dynamic_cast<FunctionType const*>(_memberAccess.annotation().type)) in visit() local
1504 else if (auto funType = dynamic_cast<FunctionType const*>(_memberAccess.annotation().type)) in visit() local
1986 auto funType = dynamic_cast<FunctionType const*>(_memberAccess.annotation().type); in visit() local
2271 if (FunctionType const* funType = dynamic_cast<decltype(funType)>(&_type)) in appendCompareOperatorCode() local
H A DCompilerUtils.cpp1324 if (auto const* funType = dynamic_cast<FunctionType const*>(&_type)) in pushZeroValue() local
1561 if (auto const* funType = dynamic_cast<FunctionType const*>(type)) in loadFromMemoryHelper() local
H A DYulUtilFunctions.cpp2635 auto const* funType = dynamic_cast<FunctionType const*>(&_type); in readFromStorageValueType() local
2949 auto const* funType = dynamic_cast<FunctionType const*>(&_type); in prepareStoreFunction() local
4304 auto const* funType = dynamic_cast<FunctionType const*>(&_type); in readFromMemoryOrCalldata() local
/dports/devel/kdevelop/kdevelop-21.12.3/plugins/qmljs/duchain/tests/
H A Dtest_qmljsdeclarations.cpp104 FunctionType::Ptr funType = fooDec->type<FunctionType>(); in testFunction() local
/dports/lang/solidity/solidity_0.8.11/libsolidity/analysis/
H A DFunctionCallGraph.cpp158 auto funType = dynamic_cast<FunctionType const*>(_identifier.annotation().type); in visit() local
H A DTypeChecker.cpp2924 if (auto const* funType = dynamic_cast<FunctionType const*>(exprType)) in visit() local
2999 if (auto funType = dynamic_cast<FunctionType const*>(annotation.type)) in visit() local
/dports/devel/kdevelop/kdevelop-21.12.3/plugins/clang/codegen/
H A Dadaptsignatureassistant.cpp61 if (auto funType = functionDecl->type<FunctionType>()) { in getDeclarationSignature() local
H A Dcodegenhelper.cpp321 FunctionType::Ptr funType = decl->type<FunctionType>(); in typeForShortenedString() local
/dports/devel/tinygo/tinygo-0.14.1/llvm-project/mlir/lib/Dialect/Linalg/IR/
H A DLinalgOps.cpp166 LogicalResult verifyFuncArgsGeneric(GenericOpType op, FunctionType funType) { in verifyFuncArgsGeneric()
184 template <> LogicalResult verifyFuncArgs(GenericOp op, FunctionType funType) { in verifyFuncArgs()
208 LogicalResult verifyFuncArgs(IndexedGenericOp op, FunctionType funType) { in verifyFuncArgs()
248 auto funType = funOp ? funOp.getType() : FunctionType(); in verifyGenericOp() local
/dports/math/cvc3/cvc3-2.4.1/src/theory_uf/
H A Dtheory_uf.cpp443 Type funType = funExpr.getType(); in computeType() local
619 Type funType(op.getType()); in computeTCC() local
/dports/math/cvc3/cvc3-2.4.1/src/translator/
H A Dtranslator.cpp634 Type funType; in preprocess2Rec() local
951 Expr funType = Expr(ARROW, e[1][0], e[1][1]); in dump() local
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/
H A DAbstract.hs93 funType str a = mkPi $ setArgInfo info $ defaultDom (str, a) function
/dports/lang/polyml/polyml-5.8.2/mlsource/MLCompiler/ParseTree/
H A DTYPECHECK_PARSETREE.sml760 val funType = assValues near f; value
1350 val funType = value
1696 val funType = mkTypeVar(generalisable, false, false, false) value
/dports/math/cvc3/cvc3-2.4.1/src/expr/
H A Dexpr.cpp641 Type Type::funType(const std::vector<Type>& typeDom, const Type& typeRan) { in funType() function in CVC3::Type
/dports/lang/solidity/solidity_0.8.11/libsolidity/codegen/ir/
H A DIRGeneratorForStatements.cpp2091 auto funType = dynamic_cast<FunctionType const*>(_memberAccess.annotation().type); in endVisit() local
2439 FunctionType const& funType = dynamic_cast<FunctionType const&>(type(_functionCall.expression())); in appendExternalFunctionCall() local
2599 FunctionType const& funType = dynamic_cast<FunctionType const&>(type(_functionCall.expression())); in appendBareCall() local
/dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/mlir/lib/Dialect/GPU/IR/
H A DGPUDialect.cpp720 FunctionType funType = function.getType(); in verify() local
/dports/math/vampire/vampire-4.5.1/Parse/
H A DSMTLIB2.cpp1949 OperatorType* funType = Theory::getArrayOperatorType(arraySortIdx,Theory::ARRAY_SELECT); in parseAsBuiltinTermSymbol() local
1983 OperatorType* funType = Theory::getArrayOperatorType(arraySortIdx,Theory::ARRAY_STORE); in parseAsBuiltinTermSymbol() local
/dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/mlir/lib/Dialect/GPU/IR/
H A DGPUDialect.cpp785 FunctionType funType = function.getType(); in verify() local

12