Home
last modified time | relevance | path

Searched refs:allconst (Results 1 – 19 of 19) sorted by relevance

/dports/audio/sfront/sfront-0.99/src/
H A Doptmain.c159 int allconst; in optglobalblock() local
245 allconst = 1 && constoptimize; in optglobalblock()
256 allconst = allconst && (pvalptr->vol == CONSTANT); in optglobalblock()
262 if (allconst) in optglobalblock()
534 int allconst; in tablepromote() local
541 allconst = 1 && constoptimize; in tablepromote()
549 allconst = allconst && (tptr->vol == CONSTANT); in tablepromote()
554 sptr->defnode->vol = allconst ? CONSTANT : VARIABLE; in tablepromote()
557 if (allconst) in tablepromote()
H A Doptconst.c1276 int allconst;
1288 allconst = 1;
1296 allconst = 0;
1351 allconst = 0;
1366 if (!allconst) /* only reduce if all arguments constant */
1390 userdefcollapse(passrate, tptr, allconst);
1476 void userdefcollapse(int passrate, tnode * t_opcode, int allconst)
1508 allconst = 0;
1521 allconst = 0;
1557 if (allconst)
H A Dcollapse.c635 int allconst; in co_opcodecollapse() local
650 allconst = 1; in co_opcodecollapse()
657 allconst = 0; in co_opcodecollapse()
662 if (!allconst) in co_opcodecollapse()
/dports/cad/yosys/yosys-yosys-0.12/passes/sat/
H A Dqbfsat.cc165 RTLIL::Cell *allconst = module->addCell("$allconst$" + n, "$allconst"); in allconstify_inputs() local
166 allconst->setParam(ID(WIDTH), input->width); in allconstify_inputs()
167 allconst->setPort(ID::Y, input); in allconstify_inputs()
168 allconst->set_src_attribute(input->get_src_attribute()); in allconstify_inputs()
/dports/devel/efl/efl-1.25.1/src/bin/embryo/
H A Dembryo_cc_sc3.c393 int allconst; in skim() local
400 allconst = TRUE; /* assume all values "const" */ in skim()
407 allconst = allconst && (lval->ident == iCONSTEXPR); in skim()
408 if (allconst) in skim()
441 if (allconst) in skim()
/dports/cad/yosys/yosys-yosys-0.12/kernel/
H A Dconstids.inc16 X(allconst)
H A Dcelltypes.h97 setup_type(ID($allconst), pool<RTLIL::IdString>(), {ID::Y}, true); in setup_internals()
H A Drtlil.cc1621 if (cell->type.in(ID($anyconst), ID($anyseq), ID($allconst), ID($allseq))) { in check()
3108 Cell *cell = addCell(name, ID($allconst)); in Allconst()
/dports/cad/yosys/yosys-yosys-0.12/
H A DREADME.md516 - The system functions ``$allconst`` and ``$allseq`` can be used to construct
518 the assumption for all ``$allconst/$allseq`` values. For assertions and cover
519 statements it is sufficient if just one ``$allconst/$allseq`` value triggers
522 - Wires/registers declared using the ``anyconst/anyseq/allconst/allseq`` attribute
524 by a ``$anyconst/$anyseq/$allconst/$allseq`` function.
H A DCHANGELOG400 - Added $allseq/$allconst cells for EA-solving
/dports/misc/openvdb/openvdb-9.0.0/openvdb_ax/openvdb_ax/codegen/
H A DFunctionTypes.h648 auto allconst =
657 if (!allconst(args)) return nullptr;
/dports/cad/yosys/yosys-yosys-0.12/passes/opt/
H A Dopt_merge.cc241 ct.cell_types.erase(ID($allconst)); in OptMergeWorker()
/dports/cad/yosys/yosys-yosys-0.12/backends/smt2/
H A Dsmt2.cc580 if (cell->type.in(ID($anyconst), ID($anyseq), ID($allconst), ID($allseq))) in export_cell()
1072 if (cell->type.in(ID($anyconst), ID($allconst))) in run()
1648 if (cell->type.in(ID($allconst), ID($allseq))) in execute()
/dports/graphics/openshadinglanguage/OpenShadingLanguage-Release-1.11.15.0/src/liboslexec/
H A Druntimeoptimize.cpp2974 bool allconst = true; in printinst() local
2984 allconst &= s->is_constant(); in printinst()
2994 if (allconst) in printinst()
/dports/graphics/py-openshadinglanguage/OpenShadingLanguage-Release-1.11.15.0/src/liboslexec/
H A Druntimeoptimize.cpp2974 bool allconst = true; in printinst() local
2984 allconst &= s->is_constant(); in printinst()
2994 if (allconst) in printinst()
/dports/cad/yosys/yosys-yosys-0.12/frontends/verilog/
H A Dverilog_parser.y1945 if (ast_stack.back()->children.back()->get_bool_attribute(ID::allconst)) {
1946 delete ast_stack.back()->children.back()->attributes.at(ID::allconst);
1947 ast_stack.back()->children.back()->attributes.erase(ID::allconst);
/dports/math/reduce/Reduce-svn5758-src/packages/scope/
H A Dcodmat.red966 (b and varf and allconst(cdr f, cdr varf))
1002 symbolic procedure allconst (l,f);
/dports/cad/yosys/yosys-yosys-0.12/manual/
H A DCHAPTER_CellLib.tex606 {\tt \$initstate}, {\tt \$anyconst}, {\tt \$anyseq}, {\tt \$allconst}, {\tt \$allseq} cells.
H A Dcommand-reference-manual.tex3559 a wire "$allconst", but module inputs will be treated as universally-quantified