| /dports/math/stp/stp-2.3.3/tests/api/C/ |
| H A D | leaks.cpp | 164 Expr not_y = vc_notExpr(vc, y); in TEST() local
|
| /dports/math/boolector/boolector-3.2.2/src/ |
| H A D | btoraigvec.c | 224 BtorAIG *res, *x_and_y, *not_x, *not_y, *not_x_and_not_y, *x_xnor_y; in half_adder() local
|
| /dports/lang/gcc6-aux/gcc-6-20180516/gcc/ |
| H A D | simplify-rtx.c | 4796 rtx not_y = simplify_gen_unary (NOT, cmp_mode, XEXP (op0, 1), cmp_mode); in simplify_relational_operation_1() local
|
| /dports/lang/gnat_util/gcc-6-20180516/gcc/ |
| H A D | simplify-rtx.c | 4796 rtx not_y = simplify_gen_unary (NOT, cmp_mode, XEXP (op0, 1), cmp_mode); in simplify_relational_operation_1() local
|
| /dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/ |
| H A D | simplify-rtx.c | 5081 rtx not_y = simplify_gen_unary (NOT, cmp_mode, XEXP (op0, 1), in simplify_relational_operation_1() local
|
| /dports/math/z3/z3-z3-4.8.13/examples/c/ |
| H A D | test_capi.c | 728 Z3_ast x, y, not_x, not_y, x_and_y, ls, rs, conjecture, negated_conjecture; in demorgan() local
|
| /dports/devel/riscv64-gcc/gcc-8.3.0/gcc/ |
| H A D | simplify-rtx.c | 5069 rtx not_y = simplify_gen_unary (NOT, cmp_mode, XEXP (op0, 1), in simplify_relational_operation_1() local
|
| /dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/ |
| H A D | simplify-rtx.c | 5081 rtx not_y = simplify_gen_unary (NOT, cmp_mode, XEXP (op0, 1), in simplify_relational_operation_1() local
|
| /dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/ |
| H A D | simplify-rtx.c | 5081 rtx not_y = simplify_gen_unary (NOT, cmp_mode, XEXP (op0, 1), in simplify_relational_operation_1() local
|
| /dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/ |
| H A D | simplify-rtx.c | 5081 rtx not_y = simplify_gen_unary (NOT, cmp_mode, XEXP (op0, 1), in simplify_relational_operation_1() local
|
| /dports/lang/gcc8/gcc-8.5.0/gcc/ |
| H A D | simplify-rtx.c | 5081 rtx not_y = simplify_gen_unary (NOT, cmp_mode, XEXP (op0, 1), in simplify_relational_operation_1() local
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/examples/c/ |
| H A D | test_capi.c | 729 Z3_ast x, y, not_x, not_y, x_and_y, ls, rs, conjecture, negated_conjecture; in demorgan() local
|
| /dports/lang/gcc9/gcc-9.4.0/gcc/ |
| H A D | simplify-rtx.c | 5112 rtx not_y = simplify_gen_unary (NOT, cmp_mode, XEXP (op0, 1), in simplify_relational_operation_1() local
|
| /dports/lang/gcc9-aux/gcc-9.1.0/gcc/ |
| H A D | simplify-rtx.c | 5100 rtx not_y = simplify_gen_unary (NOT, cmp_mode, XEXP (op0, 1), in simplify_relational_operation_1() local
|
| /dports/lang/gcc9-devel/gcc-9-20211007/gcc/ |
| H A D | simplify-rtx.c | 5112 rtx not_y = simplify_gen_unary (NOT, cmp_mode, XEXP (op0, 1), in simplify_relational_operation_1() local
|
| /dports/devel/avr-gcc/gcc-10.2.0/gcc/ |
| H A D | simplify-rtx.c | 5342 rtx not_y = simplify_gen_unary (NOT, cmp_mode, XEXP (op0, 1), in simplify_relational_operation_1() local
|
| /dports/lang/gcc10-devel/gcc-10-20211008/gcc/ |
| H A D | simplify-rtx.c | 5342 rtx not_y = simplify_gen_unary (NOT, cmp_mode, XEXP (op0, 1), in simplify_relational_operation_1() local
|
| /dports/lang/gcc10/gcc-10.3.0/gcc/ |
| H A D | simplify-rtx.c | 5342 rtx not_y = simplify_gen_unary (NOT, cmp_mode, XEXP (op0, 1), in simplify_relational_operation_1() local
|
| /dports/lang/gcc11-devel/gcc-11-20211009/gcc/ |
| H A D | simplify-rtx.c | 5591 rtx not_y = simplify_gen_unary (NOT, cmp_mode, XEXP (op0, 1), in simplify_relational_operation_1() local
|
| /dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/ |
| H A D | simplify-rtx.c | 5591 rtx not_y = simplify_gen_unary (NOT, cmp_mode, XEXP (op0, 1), in simplify_relational_operation_1() local
|
| /dports/lang/gcc12-devel/gcc-12-20211205/gcc/ |
| H A D | simplify-rtx.c | 5852 rtx not_y = simplify_gen_unary (NOT, cmp_mode, XEXP (op0, 1), in simplify_relational_operation_1() local
|