Home
last modified time | relevance | path

Searched refs:low_minus_one (Results 1 – 15 of 15) sorted by relevance

/dports/math/stp/stp-2.3.3/lib/Simplifier/
H A DBVSolver.cpp799 ASTNode low_minus_one = _bm->CreateBVConst(32, len - power_of_2 - 1); in BVSolve_Even() local
822 _bm->CreateTerm(BVEXTRACT, newlen, aaa, low_minus_one, low_zero)); in BVSolve_Even()
830 _bm->CreateTerm(BVEXTRACT, newlen, coeff, low_minus_one, low_zero)); in BVSolve_Even()
832 BVEXTRACT, newlen, aaa[1], low_minus_one, low_zero)); in BVSolve_Even()
/dports/lang/gnat_util/gcc-6-20180516/gcc/
H A Dstmt.c1439 tree low_minus_one; in node_has_low_bound() local
1455 low_minus_one = fold_build2 (MINUS_EXPR, TREE_TYPE (node->low), in node_has_low_bound()
1462 if (! tree_int_cst_lt (low_minus_one, node->low)) in node_has_low_bound()
1466 if (tree_int_cst_equal (low_minus_one, pnode->high)) in node_has_low_bound()
/dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/
H A Dstmt.c1491 tree low_minus_one; in node_has_low_bound() local
1507 low_minus_one = fold_build2 (MINUS_EXPR, TREE_TYPE (node->low), in node_has_low_bound()
1514 if (! tree_int_cst_lt (low_minus_one, node->low)) in node_has_low_bound()
1518 if (tree_int_cst_equal (low_minus_one, pnode->high)) in node_has_low_bound()
/dports/lang/gcc6-aux/gcc-6-20180516/gcc/
H A Dstmt.c1439 tree low_minus_one; in node_has_low_bound() local
1455 low_minus_one = fold_build2 (MINUS_EXPR, TREE_TYPE (node->low), in node_has_low_bound()
1462 if (! tree_int_cst_lt (low_minus_one, node->low)) in node_has_low_bound()
1466 if (tree_int_cst_equal (low_minus_one, pnode->high)) in node_has_low_bound()
/dports/devel/mingw32-gcc/gcc-4.8.1/gcc/
H A Dstmt.c2413 tree low_minus_one; in node_has_low_bound() local
2429 low_minus_one = fold_build2 (MINUS_EXPR, TREE_TYPE (node->low), in node_has_low_bound()
2436 if (! tree_int_cst_lt (low_minus_one, node->low)) in node_has_low_bound()
2440 if (tree_int_cst_equal (low_minus_one, pnode->high)) in node_has_low_bound()
/dports/lang/gcc48/gcc-4.8.5/gcc/
H A Dstmt.c2450 tree low_minus_one; in node_has_low_bound() local
2466 low_minus_one = fold_build2 (MINUS_EXPR, TREE_TYPE (node->low), in node_has_low_bound()
2473 if (! tree_int_cst_lt (low_minus_one, node->low)) in node_has_low_bound()
2477 if (tree_int_cst_equal (low_minus_one, pnode->high)) in node_has_low_bound()
/dports/lang/gcc8/gcc-8.5.0/gcc/
H A Dtree-switch-conversion.c2750 tree low_minus_one; in node_has_low_bound() local
2766 low_minus_one = fold_build2 (MINUS_EXPR, TREE_TYPE (node->low), node->low, in node_has_low_bound()
2772 if (!tree_int_cst_lt (low_minus_one, node->low)) in node_has_low_bound()
2776 if (tree_int_cst_equal (low_minus_one, pnode->high)) in node_has_low_bound()
/dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/
H A Dtree-switch-conversion.c2750 tree low_minus_one; in node_has_low_bound() local
2766 low_minus_one = fold_build2 (MINUS_EXPR, TREE_TYPE (node->low), node->low, in node_has_low_bound()
2772 if (!tree_int_cst_lt (low_minus_one, node->low)) in node_has_low_bound()
2776 if (tree_int_cst_equal (low_minus_one, pnode->high)) in node_has_low_bound()
/dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/
H A Dtree-switch-conversion.c2750 tree low_minus_one; in node_has_low_bound() local
2766 low_minus_one = fold_build2 (MINUS_EXPR, TREE_TYPE (node->low), node->low, in node_has_low_bound()
2772 if (!tree_int_cst_lt (low_minus_one, node->low)) in node_has_low_bound()
2776 if (tree_int_cst_equal (low_minus_one, pnode->high)) in node_has_low_bound()
/dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/
H A Dtree-switch-conversion.c2750 tree low_minus_one; in node_has_low_bound() local
2766 low_minus_one = fold_build2 (MINUS_EXPR, TREE_TYPE (node->low), node->low, in node_has_low_bound()
2772 if (!tree_int_cst_lt (low_minus_one, node->low)) in node_has_low_bound()
2776 if (tree_int_cst_equal (low_minus_one, pnode->high)) in node_has_low_bound()
/dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/
H A Dtree-switch-conversion.c2750 tree low_minus_one; in node_has_low_bound() local
2766 low_minus_one = fold_build2 (MINUS_EXPR, TREE_TYPE (node->low), node->low, in node_has_low_bound()
2772 if (!tree_int_cst_lt (low_minus_one, node->low)) in node_has_low_bound()
2776 if (tree_int_cst_equal (low_minus_one, pnode->high)) in node_has_low_bound()
/dports/devel/tigcc/tigcc-0.96.b8_10/gnu/gcc-4.1-20060728/gcc/
H A Dstmt.c2829 tree low_minus_one; in node_has_low_bound() local
2845 low_minus_one = fold_build2 (MINUS_EXPR, TREE_TYPE (node->low), in node_has_low_bound()
2852 if (! tree_int_cst_lt (low_minus_one, node->low)) in node_has_low_bound()
2856 if (tree_int_cst_equal (low_minus_one, pnode->high)) in node_has_low_bound()
/dports/devel/riscv64-gcc/gcc-8.3.0/gcc/
H A Dtree-switch-conversion.c2750 tree low_minus_one; in node_has_low_bound() local
2766 low_minus_one = fold_build2 (MINUS_EXPR, TREE_TYPE (node->low), node->low, in node_has_low_bound()
2772 if (!tree_int_cst_lt (low_minus_one, node->low)) in node_has_low_bound()
2776 if (tree_int_cst_equal (low_minus_one, pnode->high)) in node_has_low_bound()
/dports/devel/zpu-gcc/zpu-toolchain-1.0/toolchain/gcc/gcc/
H A Dstmt.c6034 tree low_minus_one; in node_has_low_bound() local
6050 low_minus_one = fold (build (MINUS_EXPR, TREE_TYPE (node->low), in node_has_low_bound()
6056 if (! tree_int_cst_lt (low_minus_one, node->low)) in node_has_low_bound()
6060 if (tree_int_cst_equal (low_minus_one, pnode->high)) in node_has_low_bound()
/dports/devel/zpu-binutils/zpu-toolchain-1.0/toolchain/gcc/gcc/
H A Dstmt.c6034 tree low_minus_one; in node_has_low_bound() local
6050 low_minus_one = fold (build (MINUS_EXPR, TREE_TYPE (node->low), in node_has_low_bound()
6056 if (! tree_int_cst_lt (low_minus_one, node->low)) in node_has_low_bound()
6060 if (tree_int_cst_equal (low_minus_one, pnode->high)) in node_has_low_bound()