Searched refs:a_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 | 381 Node a_lt_0 = in apply() local 386 nm->mkNode(kind::ITE, a_lt_0, nm->mkNode(kind::BITVECTOR_NEG, a), a); in apply() 397 Node condition = nm->mkNode(kind::XOR, a_lt_0, b_lt_0); in apply() 419 Node a_lt_0 = in apply() local 424 nm->mkNode(kind::ITE, a_lt_0, nm->mkNode(kind::BITVECTOR_NEG, a), a); in apply() 435 Node result = nm->mkNode(kind::ITE, a_lt_0, neg_result, a_urem_b); in apply()
|
/dports/lang/zig-devel/zig-0.9.0/src/codegen/ |
H A D | llvm.zig | 3033 const a_lt_0 = self.builder.buildICmp(.SLT, lhs, 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 | 3033 const a_lt_0 = self.builder.buildICmp(.SLT, lhs, 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 | 3039 LLVMValueRef a_lt_0 = LLVMBuildICmp(g->builder, LLVMIntSLT, val1, 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 | 3039 LLVMValueRef a_lt_0 = LLVMBuildICmp(g->builder, LLVMIntSLT, val1, zero, ""); in gen_div() local 3041 LLVMValueRef a_b_xor = LLVMBuildXor(g->builder, a_lt_0, b_lt_0, ""); in gen_div()
|