Home
last modified time | relevance | path

Searched refs:y_sig (Results 1 – 8 of 8) sorted by relevance

/dports/cad/yosys/yosys-yosys-0.12/passes/opt/
H A Dmuxpack.cc152 SigSpec y_sig = sigmap(cell->getPort(ID::Y)); in make_sig_chain_next_prev() local
172 sig_chain_prev[y_sig] = cell; in make_sig_chain_next_prev()
233 SigSpec y_sig = sigmap(c->getPort(ID::Y)); in create_chain() local
235 if (sig_chain_next.count(y_sig) == 0) in create_chain()
238 c = sig_chain_next.at(y_sig); in create_chain()
H A Dopt_expr.cc1844 SigSpec y_sig = cell->getPort(ID::Y); in replace_const_cells() local
1845 Const y_value(cell->type.in(ID($eq), ID($eqx)) ? 0 : 1, GetSize(y_sig)); in replace_const_cells()
1850 module->connect(y_sig, y_value); in replace_const_cells()
/dports/games/libretro-shaders-slang/slang-shaders-9850d68939b86262eae9f0da01ff1c11daafcdc3/ntsc/shaders/artifact-colors/
H A Dartifact-colors1.slang130 float y_sig = 0.0;
144 …y_sig += sample2D(Source, params.SourceSize.xy, vec2(n - float(i), (vTexCoord.y * params.OutputSiz…
151 FragColor = vec4(y_sig, iq_sig_mix, 0.);
/dports/security/botan110/Botan-1.10.17/src/math/numbertheory/
H A Dpowm_mnt.cpp61 const size_t y_sig = y.sig_words(); in set_base() local
66 y.data(), y.size(), y_sig, in set_base()
/dports/science/v_sim/v_sim-3.8.0/src/panelModules/
H A DgtkSpin.c95 static gulong x_sig, y_sig, z_sig;
122 g_signal_handler_block(gtkw_y, y_sig);
124 g_signal_handler_unblock(gtkw_y, y_sig);
197 y_sig = g_signal_connect(gtkw_y, "value-changed",
/dports/games/libretro-shaders-glsl/glsl-shaders-7052b09dc657d56bea443d5661dccbebcafe32dc/ntsc/shaders/artifact-colors/
H A Dartifact-colors1.glsl200 float y_sig = 0.0;
214 y_sig += sample2D(Source, SourceSize.xy, vec2(n - float(i), (gl_FragCoord.y))).r * lp;
221 vec4 final = vec4(y_sig, iq_sig_mix, 0.);
/dports/math/z3/z3-z3-4.8.13/src/ast/fpa/
H A Dfpa2bv_converter.cpp1093 expr_ref y_sgn(m), y_sig(m), y_exp(m); in mk_rem() local
1095 split_fp(y, y_sgn, y_exp, y_sig); in mk_rem()
1286 expr_ref y_sgn(m), y_sig(m), y_exp(m); in mk_min() local
1288 split_fp(y, y_sgn, y_exp, y_sig); in mk_min()
1331 expr_ref y_sgn(m), y_sig(m), y_exp(m); in mk_max() local
1333 split_fp(y, y_sgn, y_exp, y_sig); in mk_max()
2221 expr_ref y_sgn(m), y_sig(m), y_exp(m); in mk_float_eq() local
2223 split_fp(y, y_sgn, y_exp, y_sig); in mk_float_eq()
2262 split_fp(y, y_sgn, y_exp, y_sig); in mk_float_lt()
2272 BVULT(y_sig, x_sig, y_lt_x_sig); in mk_float_lt()
[all …]
/dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/fpa/
H A Dfpa2bv_converter.cpp1092 expr_ref y_sgn(m), y_sig(m), y_exp(m);
1094 split_fp(y, y_sgn, y_exp, y_sig);
1275 expr_ref y_sgn(m), y_sig(m), y_exp(m);
1277 split_fp(y, y_sgn, y_exp, y_sig);
1320 expr_ref y_sgn(m), y_sig(m), y_exp(m);
1322 split_fp(y, y_sgn, y_exp, y_sig);
2210 expr_ref y_sgn(m), y_sig(m), y_exp(m);
2212 split_fp(y, y_sgn, y_exp, y_sig);
2251 split_fp(y, y_sgn, y_exp, y_sig);
2261 BVULT(y_sig, x_sig, y_lt_x_sig);
[all …]