Home
last modified time | relevance | path

Searched refs:ISZERO (Results 1 – 25 of 224) sorted by relevance

123456789

/dports/lang/solidity/solidity_0.8.11/test/libsolidity/
H A DSolidityExpressionCompiler.cpp290 uint8_t(Instruction::LT), uint8_t(Instruction::ISZERO), uint8_t(Instruction::ISZERO), in BOOST_AUTO_TEST_CASE()
292 uint8_t(Instruction::ISZERO), uint8_t(Instruction::ISZERO), in BOOST_AUTO_TEST_CASE()
294 uint8_t(Instruction::ISZERO) in BOOST_AUTO_TEST_CASE()
301 uint8_t(Instruction::LT), uint8_t(Instruction::ISZERO), uint8_t(Instruction::ISZERO), in BOOST_AUTO_TEST_CASE()
303 uint8_t(Instruction::ISZERO) in BOOST_AUTO_TEST_CASE()
331 uint8_t(Instruction::ISZERO), uint8_t(Instruction::ISZERO), in BOOST_AUTO_TEST_CASE()
334 uint8_t(Instruction::ISZERO) in BOOST_AUTO_TEST_CASE()
385 uint8_t(Instruction::ISZERO), in BOOST_AUTO_TEST_CASE()
386 uint8_t(Instruction::ISZERO), in BOOST_AUTO_TEST_CASE()
475 uint8_t(Instruction::ISZERO) in BOOST_AUTO_TEST_CASE()
[all …]
/dports/math/spot/spot-2.10.2/buddy/src/
H A Dbddop.c1647 if (ISZERO(c)) in constrain_rec()
2156 if (ISZERO(d)) in simplify_rec()
3009 if (ISZERO(r)) in bdd_satoneset()
3109 if (ISZERO(f)) in satoneshortest_rec()
3156 if (ISZERO(f)) in bdd_satoneshortest_rec()
3369 if (ISZERO(r)) in allsat_rec()
3811 res = ((!ISZERO(l_left) && !ISZERO(l_right)) in bdd_have_common_assignment_()
3814 || ((!ISZERO(h_left) && !ISZERO(h_right)) in bdd_have_common_assignment_()
3839 if (ISZERO(left) || ISZERO(right)) in bdd_have_common_assignment()
3865 if (ISZERO(b)) in bdd_is_cube()
[all …]
/dports/math/py-spot/spot-2.10.2/buddy/src/
H A Dbddop.c1647 if (ISZERO(c)) in constrain_rec()
2156 if (ISZERO(d)) in simplify_rec()
3009 if (ISZERO(r)) in bdd_satoneset()
3109 if (ISZERO(f)) in satoneshortest_rec()
3156 if (ISZERO(f)) in bdd_satoneshortest_rec()
3369 if (ISZERO(r)) in allsat_rec()
3811 res = ((!ISZERO(l_left) && !ISZERO(l_right)) in bdd_have_common_assignment_()
3814 || ((!ISZERO(h_left) && !ISZERO(h_right)) in bdd_have_common_assignment_()
3839 if (ISZERO(left) || ISZERO(right)) in bdd_have_common_assignment()
3865 if (ISZERO(b)) in bdd_is_cube()
[all …]
/dports/lang/solidity/solidity_0.8.11/test/formal/
H A Dchecked_uint_mul_16.py1 from opcodes import AND, ISZERO, GT, DIV
33 overflow_check = AND(ISZERO(ISZERO(X)), GT(Y, DIV(maxValue, X)))
H A Deq_sub.py1 from opcodes import EQ, ISZERO, SUB
19 nonopt = ISZERO(SUB(X, Y))
H A Dexp_neg_one.py1 from opcodes import AND, ISZERO, MOD, SUB
17 rule.check(SUB(ISZERO(AND(X, 1)), AND(X, 1)), exp_neg_one)
H A Dchecked_int_add.py1 from opcodes import AND, ISZERO, SGT, SLT, SUB
34 overflow_check = AND(ISZERO(SLT(X, 0)), SGT(Y, SUB(maxValue, X)))
H A Dchecked_int_sub.py1 from opcodes import AND, ADD, ISZERO, SLT, SGT
34 underflow_check = AND(ISZERO(SLT(Y, 0)), SLT(X, ADD(minValue, Y)))
/dports/science/buddy/buddy-2.4/src/
H A Dbddop.c430 if (ISZERO(r)) in not_rec()
549 if (ISZERO(l) || ISZERO(r)) in apply_rec()
561 if (ISZERO(l)) in apply_rec()
575 if (ISZERO(l) || ISZERO(r)) in apply_rec()
583 if (ISZERO(l)) in apply_rec()
772 if (ISZERO(f)) in ite_rec()
1040 if (ISZERO(c)) in constrain_rec()
1478 if (ISZERO(d)) in simplify_rec()
2212 if (ISZERO(r)) in bdd_satoneset()
2413 if (ISZERO(r)) in allsat_rec()
[all …]
/dports/lang/solidity/solidity_0.8.11/libevmasm/
H A DRuleList.h99 {Builtins::ISZERO(A), [=]() -> Word { return A.d() == 0 ? 1 : 0; }}, in simplificationRuleListPart1()
173 {Builtins::EQ(X, 0), [=]() -> Pattern { return Builtins::ISZERO(X); },}, in simplificationRuleListPart2()
179 {Builtins::GT(X, 0), [=]() -> Pattern { return Builtins::ISZERO(Builtins::ISZERO(X)); }}, in simplificationRuleListPart2()
180 {Builtins::LT(0, X), [=]() -> Pattern { return Builtins::ISZERO(Builtins::ISZERO(X)); }}, in simplificationRuleListPart2()
391 Builtins::ISZERO(Builtins::ISZERO(op(X, Y))), in simplificationRuleListPart6()
397 Builtins::ISZERO(Builtins::ISZERO(Builtins::ISZERO(X))), in simplificationRuleListPart6()
398 [=]() -> Pattern { return Builtins::ISZERO(X); } in simplificationRuleListPart6()
402 Builtins::ISZERO(Builtins::XOR(X, Y)), in simplificationRuleListPart6()
407 Builtins::ISZERO(Builtins::SUB(X, Y)), in simplificationRuleListPart6()
729 [=]() -> Pattern { return Builtins::ISZERO(X); } in evmRuleList()
[all …]
/dports/math/mpsolve/mpsolve-3.2.1/src/libmps/system/
H A Dinput-output.c20 #define ISZERO -1 macro
218 if (i == ISZERO || s->root[i]->attrs == MPS_ROOT_ATTRS_IMAG) in mps_outroot()
241 if (i == ISZERO || mpf_sgn (mpc_Im (s->root[i]->mvalue)) >= 0) in mps_outroot()
252 if (i == ISZERO || s->root[i]->attrs == MPS_ROOT_ATTRS_REAL) in mps_outroot()
276 if (i != ISZERO) in mps_outroot()
296 if (i == ISZERO) in mps_outroot()
360 mps_outroot (s, ISZERO, num++); in mps_output()
/dports/lang/solidity/solidity_0.8.11/libsolidity/codegen/
H A DArrayUtils.cpp173 _context << Instruction::DUP3 << Instruction::ISZERO; in copyArrayToStorage()
193 << Instruction::GT << Instruction::ISZERO; in copyArrayToStorage()
287 _context << dupInstruction(byteOffsetSize) << Instruction::ISZERO; in copyArrayToStorage()
352 m_context << Instruction::LT << Instruction::ISZERO; in copyArrayToMemory()
405 m_context << Instruction::DUP1 << Instruction::ISZERO; in copyArrayToMemory()
446 m_context << Instruction::DUP1 << Instruction::ISZERO; in copyArrayToMemory()
775 << Instruction::GT << Instruction::ISZERO; in resizeDynamicArray()
916 m_context << Instruction::ISZERO; in popStorageArrayElement()
961 Instruction::ISZERO; in clearStorageLoop()
1052 m_context << Instruction::DUP2 << Instruction::LT << Instruction::ISZERO; in accessIndex()
[all …]
/dports/emulators/hercules/hercules-3.13/decNumber/
H A DdecNumber.c991 if (a->bits&DECSPECIAL || ISZERO(a)) { in decNumberLog10()
1842 if (ISZERO(rhs)) { in decNumberSquareRoot()
2017 if (!ISZERO(t)) { in decNumberSquareRoot()
2312 if (!ISZERO(dn)) pre+=adj; in decToString()
2488 if (ISZERO(lhs)) { in decAddOp()
2743 if (ISZERO(res) in decAddOp()
2939 if (ISZERO(lhs)) { in decDivideOp()
4765 if (ISZERO(lhs)) result=0;
4772 if (ISZERO(rhs)) sigr=0;
5862 if (!ISZERO(dn)) {
[all …]
/dports/net-p2p/go-ethereum/go-ethereum-1.10.14/vendor/github.com/status-im/keycard-go/vendor/github.com/ethereum/go-ethereum/core/vm/
H A Dopcodes.go63 ISZERO const
238 ISZERO: "ISZERO",
411 "ISZERO": ISZERO,
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/llvm/test/Transforms/InstCombine/
H A Dispow2.ll426 ; CHECK-NEXT: [[ISZERO:%.*]] = icmp eq i32 [[X]], 0
427 ; CHECK-NEXT: call void @use_i1(i1 [[ISZERO]])
445 ; CHECK-NEXT: [[ISZERO:%.*]] = icmp eq i32 [[X]], 0
446 ; CHECK-NEXT: call void @use_i1(i1 [[ISZERO]])
480 ; CHECK-NEXT: [[ISZERO:%.*]] = icmp eq i32 [[X]], 0
481 ; CHECK-NEXT: [[R:%.*]] = or i1 [[ISZERO]], [[CMP]]
495 ; CHECK-NEXT: [[ISZERO:%.*]] = icmp eq i32 [[X]], 0
496 ; CHECK-NEXT: [[R:%.*]] = or i1 [[ISZERO]], [[CMP]]
512 ; CHECK-NEXT: [[ISZERO:%.*]] = icmp eq i32 [[X]], 1
513 ; CHECK-NEXT: [[R:%.*]] = or i1 [[ISZERO]], [[CMP]]
[all …]
/dports/devel/llvm12/llvm-project-12.0.1.src/llvm/test/Transforms/InstCombine/
H A Dispow2.ll426 ; CHECK-NEXT: [[ISZERO:%.*]] = icmp eq i32 [[X]], 0
427 ; CHECK-NEXT: call void @use_i1(i1 [[ISZERO]])
445 ; CHECK-NEXT: [[ISZERO:%.*]] = icmp eq i32 [[X]], 0
446 ; CHECK-NEXT: call void @use_i1(i1 [[ISZERO]])
480 ; CHECK-NEXT: [[ISZERO:%.*]] = icmp eq i32 [[X]], 0
481 ; CHECK-NEXT: [[R:%.*]] = or i1 [[ISZERO]], [[CMP]]
495 ; CHECK-NEXT: [[ISZERO:%.*]] = icmp eq i32 [[X]], 0
496 ; CHECK-NEXT: [[R:%.*]] = or i1 [[ISZERO]], [[CMP]]
512 ; CHECK-NEXT: [[ISZERO:%.*]] = icmp eq i32 [[X]], 1
513 ; CHECK-NEXT: [[R:%.*]] = or i1 [[ISZERO]], [[CMP]]
[all …]
/dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/llvm/test/Transforms/InstCombine/
H A Dispow2.ll426 ; CHECK-NEXT: [[ISZERO:%.*]] = icmp eq i32 [[X]], 0
427 ; CHECK-NEXT: call void @use_i1(i1 [[ISZERO]])
445 ; CHECK-NEXT: [[ISZERO:%.*]] = icmp eq i32 [[X]], 0
446 ; CHECK-NEXT: call void @use_i1(i1 [[ISZERO]])
480 ; CHECK-NEXT: [[ISZERO:%.*]] = icmp eq i32 [[X]], 0
481 ; CHECK-NEXT: [[R:%.*]] = or i1 [[ISZERO]], [[CMP]]
495 ; CHECK-NEXT: [[ISZERO:%.*]] = icmp eq i32 [[X]], 0
496 ; CHECK-NEXT: [[R:%.*]] = or i1 [[ISZERO]], [[CMP]]
512 ; CHECK-NEXT: [[ISZERO:%.*]] = icmp eq i32 [[X]], 1
513 ; CHECK-NEXT: [[R:%.*]] = or i1 [[ISZERO]], [[CMP]]
[all …]
/dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/llvm/test/Transforms/InstCombine/
H A Dispow2.ll426 ; CHECK-NEXT: [[ISZERO:%.*]] = icmp eq i32 [[X]], 0
427 ; CHECK-NEXT: call void @use_i1(i1 [[ISZERO]])
445 ; CHECK-NEXT: [[ISZERO:%.*]] = icmp eq i32 [[X]], 0
446 ; CHECK-NEXT: call void @use_i1(i1 [[ISZERO]])
480 ; CHECK-NEXT: [[ISZERO:%.*]] = icmp eq i32 [[X]], 0
481 ; CHECK-NEXT: [[R:%.*]] = or i1 [[ISZERO]], [[CMP]]
495 ; CHECK-NEXT: [[ISZERO:%.*]] = icmp eq i32 [[X]], 0
496 ; CHECK-NEXT: [[R:%.*]] = or i1 [[ISZERO]], [[CMP]]
512 ; CHECK-NEXT: [[ISZERO:%.*]] = icmp eq i32 [[X]], 1
513 ; CHECK-NEXT: [[R:%.*]] = or i1 [[ISZERO]], [[CMP]]
[all …]
/dports/devel/wasi-libcxx/llvm-project-13.0.1.src/llvm/test/Transforms/InstCombine/
H A Dispow2.ll426 ; CHECK-NEXT: [[ISZERO:%.*]] = icmp eq i32 [[X]], 0
427 ; CHECK-NEXT: call void @use_i1(i1 [[ISZERO]])
445 ; CHECK-NEXT: [[ISZERO:%.*]] = icmp eq i32 [[X]], 0
446 ; CHECK-NEXT: call void @use_i1(i1 [[ISZERO]])
480 ; CHECK-NEXT: [[ISZERO:%.*]] = icmp eq i32 [[X]], 0
481 ; CHECK-NEXT: [[R:%.*]] = or i1 [[ISZERO]], [[CMP]]
495 ; CHECK-NEXT: [[ISZERO:%.*]] = icmp eq i32 [[X]], 0
496 ; CHECK-NEXT: [[R:%.*]] = or i1 [[ISZERO]], [[CMP]]
512 ; CHECK-NEXT: [[ISZERO:%.*]] = icmp eq i32 [[X]], 1
513 ; CHECK-NEXT: [[R:%.*]] = or i1 [[ISZERO]], [[CMP]]
[all …]
/dports/graphics/llvm-mesa/llvm-13.0.1.src/test/Transforms/InstCombine/
H A Dispow2.ll426 ; CHECK-NEXT: [[ISZERO:%.*]] = icmp eq i32 [[X]], 0
427 ; CHECK-NEXT: call void @use_i1(i1 [[ISZERO]])
445 ; CHECK-NEXT: [[ISZERO:%.*]] = icmp eq i32 [[X]], 0
446 ; CHECK-NEXT: call void @use_i1(i1 [[ISZERO]])
480 ; CHECK-NEXT: [[ISZERO:%.*]] = icmp eq i32 [[X]], 0
481 ; CHECK-NEXT: [[R:%.*]] = or i1 [[ISZERO]], [[CMP]]
495 ; CHECK-NEXT: [[ISZERO:%.*]] = icmp eq i32 [[X]], 0
496 ; CHECK-NEXT: [[R:%.*]] = or i1 [[ISZERO]], [[CMP]]
512 ; CHECK-NEXT: [[ISZERO:%.*]] = icmp eq i32 [[X]], 1
513 ; CHECK-NEXT: [[R:%.*]] = or i1 [[ISZERO]], [[CMP]]
[all …]
/dports/devel/llvm13/llvm-project-13.0.1.src/llvm/test/Transforms/InstCombine/
H A Dispow2.ll426 ; CHECK-NEXT: [[ISZERO:%.*]] = icmp eq i32 [[X]], 0
427 ; CHECK-NEXT: call void @use_i1(i1 [[ISZERO]])
445 ; CHECK-NEXT: [[ISZERO:%.*]] = icmp eq i32 [[X]], 0
446 ; CHECK-NEXT: call void @use_i1(i1 [[ISZERO]])
480 ; CHECK-NEXT: [[ISZERO:%.*]] = icmp eq i32 [[X]], 0
481 ; CHECK-NEXT: [[R:%.*]] = or i1 [[ISZERO]], [[CMP]]
495 ; CHECK-NEXT: [[ISZERO:%.*]] = icmp eq i32 [[X]], 0
496 ; CHECK-NEXT: [[R:%.*]] = or i1 [[ISZERO]], [[CMP]]
512 ; CHECK-NEXT: [[ISZERO:%.*]] = icmp eq i32 [[X]], 1
513 ; CHECK-NEXT: [[R:%.*]] = or i1 [[ISZERO]], [[CMP]]
[all …]
/dports/net-p2p/go-ethereum/go-ethereum-1.10.14/core/vm/
H A Dopcodes.go58 ISZERO OpCode = 0x15 const
238 ISZERO: "ISZERO",
411 "ISZERO": ISZERO,
/dports/games/gnushogi/gnushogi-1.4.2/gnushogi/
H A Dutil.c37 short ISZERO = 1; variable
484 if (ISZERO ) in ZeroRPT()
487 ISZERO = 0; in ZeroRPT()
/dports/lang/gcc6-aux/gcc-6-20180516/libdecnumber/
H A DdecNumber.c2865 if (ISZERO(rhs)) { in decNumberSquareRoot()
3686 if (!ISZERO(dn)) pre+=adj; in decToString()
3865 if (ISZERO(lhs)) { in decAddOp()
4123 if (ISZERO(res) && diffsign in decAddOp()
4320 if (ISZERO(lhs)) { in decDivideOp()
6170 if (ISZERO(lhs)) result=0;
6180 if (ISZERO(rhs)) sigr=0;
6598 if (ISZERO(dn)) { /* .. or 0 */
7323 if (!ISZERO(dn)) {
7441 if ISZERO(dn) { /* value is zero */
[all …]
/dports/print/tex-luatex/texlive-20150521-source/texk/web2c/mplibdir/
H A DdecNumber.c1478 if (a->bits&DECSPECIAL || ISZERO(a)) { in decNumberLog10()
2869 if (ISZERO(rhs)) { in decNumberSquareRoot()
3690 if (!ISZERO(dn)) pre+=adj; in decToString()
3869 if (ISZERO(lhs)) { in decAddOp()
4127 if (ISZERO(res) && diffsign in decAddOp()
4324 if (ISZERO(lhs)) { in decDivideOp()
4909 if (((lhs->bits & DECINF)==0 && ISZERO(lhs)) in decMultiplyOp()
6174 if (ISZERO(lhs)) result=0;
6184 if (ISZERO(rhs)) sigr=0;
7327 if (!ISZERO(dn)) {
[all …]

123456789