Searched refs:dtypeName (Results 1 – 2 of 2) sorted by relevance
| /dports/math/vampire/vampire-4.5.1/Parse/ |
| H A D | SMTLIB2.cpp | 935 const vstring& dtypeName = dtypeNRdr.readAtom(); in readDeclareDatatypes() local
940 if (isAlreadyKnownSortSymbol(dtypeName)) { in readDeclareDatatypes()
941 USER_ERROR("Redeclaring built-in, declared or defined sort symbol as datatype: "+dtypeName); in readDeclareDatatypes()
944 ALWAYS(_declaredSorts.insert(dtypeName, 0)); in readDeclareDatatypes()
946 unsigned srt = env.sorts->addSort(dtypeName + "()", added,false); in readDeclareDatatypes()
950 LOG2("reading datatype "+dtypeName+" as sort ",srt); in readDeclareDatatypes()
951 dtypeNames.push(dtypeName+"()"); in readDeclareDatatypes()
|
| /dports/math/libpgmath/flang-d07daf3/tools/flang2/flang2exe/ |
| H A D | cgmain.cpp | 7653 DTYPE dtypeName = (vecTy->sub_types[0] == floatTy) ? DT_FLOAT : DT_DBLE; in gen_llvm_vsincos_call() local
7667 mask_dtype = get_vector_dtype(dtypeName==DT_FLOAT?DT_INT:DT_INT8,vecLen); in gen_llvm_vsincos_call()
7672 llmk_math_name(sincosName, MTH_sincos, vecLen, hasMask, dtypeName); in gen_llvm_vsincos_call()
|