Home
last modified time | relevance | path

Searched refs:cond_4 (Results 1 – 6 of 6) sorted by relevance

/dports/math/boolector/boolector-3.2.2/examples/api/c/boundsprop/
H A Dmaxor.c25 BoolectorNode *and_break, *cond_3, *cond_4, *_break; in btor_maxor() local
86 cond_4 = boolector_cond (btor, b_and_d_and_m_ne_zero, cond_3, d); in btor_maxor()
87 tmp = boolector_cond (btor, _break, d, cond_4); in btor_maxor()
109 boolector_release (btor, cond_4); in btor_maxor()
H A Dminand.c25 BoolectorNode *cond_1, *cond_2, *result, *and_break, *cond_3, *cond_4; in btor_minand() local
91 cond_4 = boolector_cond (btor, not_a_and_not_c_and_m_ne_zero, cond_3, c); in btor_minand()
92 tmp = boolector_cond (btor, _break, c, cond_4); in btor_minand()
119 boolector_release (btor, cond_4); in btor_minand()
/dports/devel/llvm90/llvm-9.0.1.src/test/Transforms/GuardWidening/
H A Dwiden-frequent-branches.ll333 define void @test_06(i1 %cond_0, i1 %cond_1, i1 %cond_2, i1 %cond_3, i1 %cond_4, i32 %n) {
419 br i1 %cond_4, label %if.true_4, label %if.false_4, !prof !1
439 define void @test_06_not_taken(i1 %cond_0, i1 %cond_1, i1 %cond_2, i1 %cond_3, i1 %cond_4, i32 %n) {
527 br i1 %cond_4, label %if.true_4, label %if.false_4, !prof !3
/dports/devel/llvm80/llvm-8.0.1.src/test/Transforms/GuardWidening/
H A Dwiden-frequent-branches.ll333 define void @test_06(i1 %cond_0, i1 %cond_1, i1 %cond_2, i1 %cond_3, i1 %cond_4, i32 %n) {
419 br i1 %cond_4, label %if.true_4, label %if.false_4, !prof !1
439 define void @test_06_not_taken(i1 %cond_0, i1 %cond_1, i1 %cond_2, i1 %cond_3, i1 %cond_4, i32 %n) {
527 br i1 %cond_4, label %if.true_4, label %if.false_4, !prof !3
/dports/math/py-sympy/sympy-1.9/sympy/integrals/
H A Dmeijerint.py789 cond_4 = (-re(g.nu) + (q + 1 - p)/2 > q - p)
799 debug(' cond_3=%s, cond_3*=%s, cond_4=%s' % (cond_3, cond_3_star, cond_4))
829 extra = [cond_3, cond_4]
/dports/math/py-Diofant/Diofant-0.13.0/diofant/integrals/
H A Dmeijerint.py745 cond_4 = (-re(g.nu) + (q + 1 - p)/2 > q - p)
775 extra = [cond_3, cond_4]