/dports/math/py-z3-solver/z3-z3-4.8.10/src/tactic/smtlogics/ |
H A D | qflra_tactic.cpp | 42 params_ref lhs_p; in mk_qflra_tactic() local 43 lhs_p.set_bool("arith_lhs", true); in mk_qflra_tactic() 44 lhs_p.set_bool("eq2ineq", true); in mk_qflra_tactic() 61 using_params(mk_simplify_tactic(m), lhs_p), in mk_qflra_tactic()
|
H A D | qfidl_tactic.cpp | 44 params_ref lhs_p; 45 lhs_p.set_bool("arith_lhs", true); 64 using_params(mk_simplify_tactic(m), lhs_p),
|
H A D | qflia_tactic.cpp | 193 params_ref lhs_p; 194 lhs_p.set_bool("arith_lhs", true); 205 using_params(mk_simplify_tactic(m), lhs_p)
|
/dports/math/z3/z3-z3-4.8.13/src/tactic/smtlogics/ |
H A D | qflra_tactic.cpp | 42 params_ref lhs_p; in mk_qflra_tactic() local 43 lhs_p.set_bool("arith_lhs", true); in mk_qflra_tactic() 44 lhs_p.set_bool("eq2ineq", true); in mk_qflra_tactic() 61 using_params(mk_simplify_tactic(m), lhs_p), in mk_qflra_tactic()
|
H A D | qfidl_tactic.cpp | 44 params_ref lhs_p; in mk_qfidl_tactic() local 45 lhs_p.set_bool("arith_lhs", true); in mk_qfidl_tactic() 64 using_params(mk_simplify_tactic(m), lhs_p), in mk_qfidl_tactic()
|
H A D | qflia_tactic.cpp | 214 params_ref lhs_p; in mk_qflia_tactic() local 215 lhs_p.set_bool("arith_lhs", true); in mk_qflia_tactic() 220 using_params(mk_simplify_tactic(m), lhs_p), in mk_qflia_tactic()
|
/dports/graphics/opencv/opencv-4.5.3/modules/gapi/src/api/ |
H A D | gorigin.cpp | 34 const GNode::Priv* lhs_p = &lhs.node.priv(); in operator ()() local 36 if (lhs_p == rhs_p) in operator ()() 47 else return lhs_p < rhs_p; in operator ()()
|
/dports/emulators/mess/mame-mame0226/3rdparty/sol2/sol/ |
H A D | string_shim.hpp | 38 … static int compare(const char* lhs_p, std::size_t lhs_sz, const char* rhs_p, std::size_t rhs_sz) { in compare() 39 int result = std::char_traits<char>::compare(lhs_p, rhs_p, lhs_sz < rhs_sz ? lhs_sz : rhs_sz); in compare()
|
/dports/emulators/mame/mame-mame0226/3rdparty/sol2/sol/ |
H A D | string_shim.hpp | 38 … static int compare(const char* lhs_p, std::size_t lhs_sz, const char* rhs_p, std::size_t rhs_sz) { in compare() 39 int result = std::char_traits<char>::compare(lhs_p, rhs_p, lhs_sz < rhs_sz ? lhs_sz : rhs_sz); in compare()
|
/dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/ |
H A D | gimple-expr.c | 568 tree *lhs_p, tree *rhs_p) in gimple_cond_get_ops_from_tree() argument 575 extract_ops_from_tree (cond, code_p, lhs_p, rhs_p); in gimple_cond_get_ops_from_tree() 581 gcc_assert (*lhs_p && *rhs_p == NULL_TREE); in gimple_cond_get_ops_from_tree() 582 *rhs_p = build_zero_cst (TREE_TYPE (*lhs_p)); in gimple_cond_get_ops_from_tree() 588 gcc_assert (*lhs_p && *rhs_p == NULL_TREE); in gimple_cond_get_ops_from_tree() 589 *rhs_p = build_zero_cst (TREE_TYPE (*lhs_p)); in gimple_cond_get_ops_from_tree()
|
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/ |
H A D | gimple-expr.c | 564 tree *lhs_p, tree *rhs_p) in gimple_cond_get_ops_from_tree() argument 572 extract_ops_from_tree (cond, code_p, lhs_p, rhs_p); in gimple_cond_get_ops_from_tree() 578 gcc_assert (*lhs_p && *rhs_p == NULL_TREE); in gimple_cond_get_ops_from_tree() 579 *rhs_p = build_zero_cst (TREE_TYPE (*lhs_p)); in gimple_cond_get_ops_from_tree() 585 gcc_assert (*lhs_p && *rhs_p == NULL_TREE); in gimple_cond_get_ops_from_tree() 586 *rhs_p = build_zero_cst (TREE_TYPE (*lhs_p)); in gimple_cond_get_ops_from_tree()
|
/dports/lang/gcc9/gcc-9.4.0/gcc/ |
H A D | gimple-expr.c | 568 tree *lhs_p, tree *rhs_p) in gimple_cond_get_ops_from_tree() argument 575 extract_ops_from_tree (cond, code_p, lhs_p, rhs_p); in gimple_cond_get_ops_from_tree() 581 gcc_assert (*lhs_p && *rhs_p == NULL_TREE); in gimple_cond_get_ops_from_tree() 582 *rhs_p = build_zero_cst (TREE_TYPE (*lhs_p)); in gimple_cond_get_ops_from_tree() 588 gcc_assert (*lhs_p && *rhs_p == NULL_TREE); in gimple_cond_get_ops_from_tree() 589 *rhs_p = build_zero_cst (TREE_TYPE (*lhs_p)); in gimple_cond_get_ops_from_tree()
|
/dports/devel/avr-gcc/gcc-10.2.0/gcc/ |
H A D | gimple-expr.c | 574 tree *lhs_p, tree *rhs_p) in gimple_cond_get_ops_from_tree() argument 582 extract_ops_from_tree (cond, code_p, lhs_p, rhs_p); in gimple_cond_get_ops_from_tree() 588 gcc_assert (*lhs_p && *rhs_p == NULL_TREE); in gimple_cond_get_ops_from_tree() 589 *rhs_p = build_zero_cst (TREE_TYPE (*lhs_p)); in gimple_cond_get_ops_from_tree() 595 gcc_assert (*lhs_p && *rhs_p == NULL_TREE); in gimple_cond_get_ops_from_tree() 596 *rhs_p = build_zero_cst (TREE_TYPE (*lhs_p)); in gimple_cond_get_ops_from_tree()
|
/dports/lang/gnat_util/gcc-6-20180516/gcc/ |
H A D | gimple-expr.c | 562 tree *lhs_p, tree *rhs_p) in gimple_cond_get_ops_from_tree() argument 569 extract_ops_from_tree (cond, code_p, lhs_p, rhs_p); in gimple_cond_get_ops_from_tree() 575 gcc_assert (*lhs_p && *rhs_p == NULL_TREE); in gimple_cond_get_ops_from_tree() 576 *rhs_p = build_zero_cst (TREE_TYPE (*lhs_p)); in gimple_cond_get_ops_from_tree() 582 gcc_assert (*lhs_p && *rhs_p == NULL_TREE); in gimple_cond_get_ops_from_tree() 583 *rhs_p = build_zero_cst (TREE_TYPE (*lhs_p)); in gimple_cond_get_ops_from_tree()
|
/dports/devel/riscv64-gcc/gcc-8.3.0/gcc/ |
H A D | gimple-expr.c | 568 tree *lhs_p, tree *rhs_p) in gimple_cond_get_ops_from_tree() argument 575 extract_ops_from_tree (cond, code_p, lhs_p, rhs_p); in gimple_cond_get_ops_from_tree() 581 gcc_assert (*lhs_p && *rhs_p == NULL_TREE); in gimple_cond_get_ops_from_tree() 582 *rhs_p = build_zero_cst (TREE_TYPE (*lhs_p)); in gimple_cond_get_ops_from_tree() 588 gcc_assert (*lhs_p && *rhs_p == NULL_TREE); in gimple_cond_get_ops_from_tree() 589 *rhs_p = build_zero_cst (TREE_TYPE (*lhs_p)); in gimple_cond_get_ops_from_tree()
|
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/ |
H A D | gimple-expr.c | 564 tree *lhs_p, tree *rhs_p) in gimple_cond_get_ops_from_tree() argument 572 extract_ops_from_tree (cond, code_p, lhs_p, rhs_p); in gimple_cond_get_ops_from_tree() 578 gcc_assert (*lhs_p && *rhs_p == NULL_TREE); in gimple_cond_get_ops_from_tree() 579 *rhs_p = build_zero_cst (TREE_TYPE (*lhs_p)); in gimple_cond_get_ops_from_tree() 585 gcc_assert (*lhs_p && *rhs_p == NULL_TREE); in gimple_cond_get_ops_from_tree() 586 *rhs_p = build_zero_cst (TREE_TYPE (*lhs_p)); in gimple_cond_get_ops_from_tree()
|
/dports/lang/gcc10-devel/gcc-10-20211008/gcc/ |
H A D | gimple-expr.c | 574 tree *lhs_p, tree *rhs_p) in gimple_cond_get_ops_from_tree() argument 582 extract_ops_from_tree (cond, code_p, lhs_p, rhs_p); in gimple_cond_get_ops_from_tree() 588 gcc_assert (*lhs_p && *rhs_p == NULL_TREE); in gimple_cond_get_ops_from_tree() 589 *rhs_p = build_zero_cst (TREE_TYPE (*lhs_p)); in gimple_cond_get_ops_from_tree() 595 gcc_assert (*lhs_p && *rhs_p == NULL_TREE); in gimple_cond_get_ops_from_tree() 596 *rhs_p = build_zero_cst (TREE_TYPE (*lhs_p)); in gimple_cond_get_ops_from_tree()
|
/dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/ |
H A D | gimple-expr.c | 568 tree *lhs_p, tree *rhs_p) in gimple_cond_get_ops_from_tree() argument 575 extract_ops_from_tree (cond, code_p, lhs_p, rhs_p); in gimple_cond_get_ops_from_tree() 581 gcc_assert (*lhs_p && *rhs_p == NULL_TREE); in gimple_cond_get_ops_from_tree() 582 *rhs_p = build_zero_cst (TREE_TYPE (*lhs_p)); in gimple_cond_get_ops_from_tree() 588 gcc_assert (*lhs_p && *rhs_p == NULL_TREE); in gimple_cond_get_ops_from_tree() 589 *rhs_p = build_zero_cst (TREE_TYPE (*lhs_p)); in gimple_cond_get_ops_from_tree()
|
/dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/ |
H A D | gimple-expr.c | 568 tree *lhs_p, tree *rhs_p) in gimple_cond_get_ops_from_tree() argument 575 extract_ops_from_tree (cond, code_p, lhs_p, rhs_p); in gimple_cond_get_ops_from_tree() 581 gcc_assert (*lhs_p && *rhs_p == NULL_TREE); in gimple_cond_get_ops_from_tree() 582 *rhs_p = build_zero_cst (TREE_TYPE (*lhs_p)); in gimple_cond_get_ops_from_tree() 588 gcc_assert (*lhs_p && *rhs_p == NULL_TREE); in gimple_cond_get_ops_from_tree() 589 *rhs_p = build_zero_cst (TREE_TYPE (*lhs_p)); in gimple_cond_get_ops_from_tree()
|
/dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/ |
H A D | gimple-expr.c | 595 tree *lhs_p, tree *rhs_p) in gimple_cond_get_ops_from_tree() argument 602 extract_ops_from_tree (cond, code_p, lhs_p, rhs_p); in gimple_cond_get_ops_from_tree() 608 gcc_assert (*lhs_p && *rhs_p == NULL_TREE); in gimple_cond_get_ops_from_tree() 609 *rhs_p = build_zero_cst (TREE_TYPE (*lhs_p)); in gimple_cond_get_ops_from_tree() 615 gcc_assert (*lhs_p && *rhs_p == NULL_TREE); in gimple_cond_get_ops_from_tree() 616 *rhs_p = build_zero_cst (TREE_TYPE (*lhs_p)); in gimple_cond_get_ops_from_tree()
|
/dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/ |
H A D | gimple-expr.c | 568 tree *lhs_p, tree *rhs_p) in gimple_cond_get_ops_from_tree() argument 575 extract_ops_from_tree (cond, code_p, lhs_p, rhs_p); in gimple_cond_get_ops_from_tree() 581 gcc_assert (*lhs_p && *rhs_p == NULL_TREE); in gimple_cond_get_ops_from_tree() 582 *rhs_p = build_zero_cst (TREE_TYPE (*lhs_p)); in gimple_cond_get_ops_from_tree() 588 gcc_assert (*lhs_p && *rhs_p == NULL_TREE); in gimple_cond_get_ops_from_tree() 589 *rhs_p = build_zero_cst (TREE_TYPE (*lhs_p)); in gimple_cond_get_ops_from_tree()
|
/dports/lang/gcc9-aux/gcc-9.1.0/gcc/ |
H A D | gimple-expr.c | 568 tree *lhs_p, tree *rhs_p) in gimple_cond_get_ops_from_tree() argument 575 extract_ops_from_tree (cond, code_p, lhs_p, rhs_p); in gimple_cond_get_ops_from_tree() 581 gcc_assert (*lhs_p && *rhs_p == NULL_TREE); in gimple_cond_get_ops_from_tree() 582 *rhs_p = build_zero_cst (TREE_TYPE (*lhs_p)); in gimple_cond_get_ops_from_tree() 588 gcc_assert (*lhs_p && *rhs_p == NULL_TREE); in gimple_cond_get_ops_from_tree() 589 *rhs_p = build_zero_cst (TREE_TYPE (*lhs_p)); in gimple_cond_get_ops_from_tree()
|
/dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/ |
H A D | gimple-expr.c | 564 tree *lhs_p, tree *rhs_p) in gimple_cond_get_ops_from_tree() argument 572 extract_ops_from_tree (cond, code_p, lhs_p, rhs_p); in gimple_cond_get_ops_from_tree() 578 gcc_assert (*lhs_p && *rhs_p == NULL_TREE); in gimple_cond_get_ops_from_tree() 579 *rhs_p = build_zero_cst (TREE_TYPE (*lhs_p)); in gimple_cond_get_ops_from_tree() 585 gcc_assert (*lhs_p && *rhs_p == NULL_TREE); in gimple_cond_get_ops_from_tree() 586 *rhs_p = build_zero_cst (TREE_TYPE (*lhs_p)); in gimple_cond_get_ops_from_tree()
|
/dports/lang/gcc10/gcc-10.3.0/gcc/ |
H A D | gimple-expr.c | 574 tree *lhs_p, tree *rhs_p) in gimple_cond_get_ops_from_tree() argument 582 extract_ops_from_tree (cond, code_p, lhs_p, rhs_p); in gimple_cond_get_ops_from_tree() 588 gcc_assert (*lhs_p && *rhs_p == NULL_TREE); in gimple_cond_get_ops_from_tree() 589 *rhs_p = build_zero_cst (TREE_TYPE (*lhs_p)); in gimple_cond_get_ops_from_tree() 595 gcc_assert (*lhs_p && *rhs_p == NULL_TREE); in gimple_cond_get_ops_from_tree() 596 *rhs_p = build_zero_cst (TREE_TYPE (*lhs_p)); in gimple_cond_get_ops_from_tree()
|
/dports/lang/gcc9-devel/gcc-9-20211007/gcc/ |
H A D | gimple-expr.c | 568 tree *lhs_p, tree *rhs_p) in gimple_cond_get_ops_from_tree() argument 575 extract_ops_from_tree (cond, code_p, lhs_p, rhs_p); in gimple_cond_get_ops_from_tree() 581 gcc_assert (*lhs_p && *rhs_p == NULL_TREE); in gimple_cond_get_ops_from_tree() 582 *rhs_p = build_zero_cst (TREE_TYPE (*lhs_p)); in gimple_cond_get_ops_from_tree() 588 gcc_assert (*lhs_p && *rhs_p == NULL_TREE); in gimple_cond_get_ops_from_tree() 589 *rhs_p = build_zero_cst (TREE_TYPE (*lhs_p)); in gimple_cond_get_ops_from_tree()
|