/dports/audio/sfront/sfront-0.99/src/ |
H A D | optmain.c | 159 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 D | optconst.c | 1276 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 D | collapse.c | 635 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 D | qbfsat.cc | 165 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 D | embryo_cc_sc3.c | 393 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 D | constids.inc | 16 X(allconst)
|
H A D | celltypes.h | 97 setup_type(ID($allconst), pool<RTLIL::IdString>(), {ID::Y}, true); in setup_internals()
|
H A D | rtlil.cc | 1621 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 D | README.md | 516 - 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 D | CHANGELOG | 400 - Added $allseq/$allconst cells for EA-solving
|
/dports/misc/openvdb/openvdb-9.0.0/openvdb_ax/openvdb_ax/codegen/ |
H A D | FunctionTypes.h | 648 auto allconst = 657 if (!allconst(args)) return nullptr;
|
/dports/cad/yosys/yosys-yosys-0.12/passes/opt/ |
H A D | opt_merge.cc | 241 ct.cell_types.erase(ID($allconst)); in OptMergeWorker()
|
/dports/cad/yosys/yosys-yosys-0.12/backends/smt2/ |
H A D | smt2.cc | 580 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 D | runtimeoptimize.cpp | 2974 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 D | runtimeoptimize.cpp | 2974 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 D | verilog_parser.y | 1945 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 D | codmat.red | 966 (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 D | CHAPTER_CellLib.tex | 606 {\tt \$initstate}, {\tt \$anyconst}, {\tt \$anyseq}, {\tt \$allconst}, {\tt \$allseq} cells.
|
H A D | command-reference-manual.tex | 3559 a wire "$allconst", but module inputs will be treated as universally-quantified
|