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 D | maxor.c | 25 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 D | minand.c | 25 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 D | widen-frequent-branches.ll | 333 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 D | widen-frequent-branches.ll | 333 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 D | meijerint.py | 789 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 D | meijerint.py | 745 cond_4 = (-re(g.nu) + (q + 1 - p)/2 > q - p) 775 extra = [cond_3, cond_4]
|