Searched refs:b_lt_0 (Results 1 – 5 of 5) sorted by relevance
| /dports/math/cvc4/CVC4-1.7/src/theory/bv/ |
| H A D | theory_bv_rewrite_rules_operator_elimination.h | 383 Node b_lt_0 = in apply() local
388 nm->mkNode(kind::ITE, b_lt_0, nm->mkNode(kind::BITVECTOR_NEG, b), b); in apply()
397 Node condition = nm->mkNode(kind::XOR, a_lt_0, b_lt_0); in apply()
421 Node b_lt_0 = in apply() local
426 nm->mkNode(kind::ITE, b_lt_0, nm->mkNode(kind::BITVECTOR_NEG, b), b); in apply()
|
| /dports/lang/zig-devel/zig-0.9.0/src/codegen/ |
| H A D | llvm.zig | 3034 const b_lt_0 = self.builder.buildICmp(.SLT, rhs, zero, "");
3035 const a_b_xor = self.builder.buildXor(a_lt_0, b_lt_0, "");
|
| /dports/lang/zig/zig-0.9.0/src/codegen/ |
| H A D | llvm.zig | 3034 const b_lt_0 = self.builder.buildICmp(.SLT, rhs, zero, "");
3035 const a_b_xor = self.builder.buildXor(a_lt_0, b_lt_0, "");
|
| /dports/lang/zig-devel/zig-0.9.0/src/stage1/ |
| H A D | codegen.cpp | 3040 LLVMValueRef b_lt_0 = LLVMBuildICmp(g->builder, LLVMIntSLT, val2, zero, ""); in gen_div() local
3041 LLVMValueRef a_b_xor = LLVMBuildXor(g->builder, a_lt_0, b_lt_0, ""); in gen_div()
|
| /dports/lang/zig/zig-0.9.0/src/stage1/ |
| H A D | codegen.cpp | 3040 LLVMValueRef b_lt_0 = LLVMBuildICmp(g->builder, LLVMIntSLT, val2, zero, ""); in gen_div() local
3041 LLVMValueRef a_b_xor = LLVMBuildXor(g->builder, a_lt_0, b_lt_0, ""); in gen_div()
|