Home
last modified time | relevance | path

Searched refs:x_is_nan (Results 1 – 5 of 5) sorted by relevance

/dports/math/z3/z3-z3-4.8.13/src/ast/fpa/
H A Dfpa2bv_converter.cpp563 mk_is_nan(x, x_is_nan); in mk_add()
714 mk_is_nan(x, x_is_nan); in mk_neg()
741 mk_is_nan(x, x_is_nan); in mk_mul()
890 mk_is_nan(x, x_is_nan); in mk_div()
1046 mk_is_nan(x, x_is_nan); in mk_rem()
1295 mk_is_nan(x, x_is_nan); in mk_min()
1336 mk_is_nan(x, x_is_nan); in mk_max()
1418 mk_is_nan(x, x_is_nan); in mk_fma()
1808 mk_is_nan(x, x_is_nan); in mk_sqrt()
1821 c1 = x_is_nan; in mk_sqrt()
[all …]
/dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/fpa/
H A Dfpa2bv_converter.cpp562 mk_is_nan(x, x_is_nan);
713 mk_is_nan(x, x_is_nan);
740 mk_is_nan(x, x_is_nan);
889 mk_is_nan(x, x_is_nan);
1045 mk_is_nan(x, x_is_nan);
1284 mk_is_nan(x, x_is_nan);
1325 mk_is_nan(x, x_is_nan);
1407 mk_is_nan(x, x_is_nan);
1797 mk_is_nan(x, x_is_nan);
1810 c1 = x_is_nan;
[all …]
/dports/misc/openmvg/openMVG-2.0/src/third_party/eigen/Eigen/src/Core/arch/Default/
H A DGenericPacketMathFunctions.h1467 const Packet x_is_nan = pandnot(ptrue(x), pcmp_eq(x, x));
1493 const Packet pow_is_nan = por(invalid_negative_x, por(x_is_nan, y_is_nan));
/dports/devel/bullet/bullet3-3.21/examples/ThirdPartyLibs/Eigen/src/Core/arch/Default/
H A DGenericPacketMathFunctions.h1467 const Packet x_is_nan = pandnot(ptrue(x), pcmp_eq(x, x));
1493 const Packet pow_is_nan = por(invalid_negative_x, por(x_is_nan, y_is_nan));
/dports/devel/py-bullet3/bullet3-3.21/examples/ThirdPartyLibs/Eigen/src/Core/arch/Default/
H A DGenericPacketMathFunctions.h1467 const Packet x_is_nan = pandnot(ptrue(x), pcmp_eq(x, x));
1493 const Packet pow_is_nan = por(invalid_negative_x, por(x_is_nan, y_is_nan));