/dports/lang/solidity/solidity_0.8.11/test/libsolidity/ |
H A D | SolidityExpressionCompiler.cpp | 290 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 D | bddop.c | 1647 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 D | bddop.c | 1647 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 D | checked_uint_mul_16.py | 1 from opcodes import AND, ISZERO, GT, DIV 33 overflow_check = AND(ISZERO(ISZERO(X)), GT(Y, DIV(maxValue, X)))
|
H A D | eq_sub.py | 1 from opcodes import EQ, ISZERO, SUB 19 nonopt = ISZERO(SUB(X, Y))
|
H A D | exp_neg_one.py | 1 from opcodes import AND, ISZERO, MOD, SUB 17 rule.check(SUB(ISZERO(AND(X, 1)), AND(X, 1)), exp_neg_one)
|
H A D | checked_int_add.py | 1 from opcodes import AND, ISZERO, SGT, SLT, SUB 34 overflow_check = AND(ISZERO(SLT(X, 0)), SGT(Y, SUB(maxValue, X)))
|
H A D | checked_int_sub.py | 1 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 D | bddop.c | 430 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 D | RuleList.h | 99 {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 D | input-output.c | 20 #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 D | ArrayUtils.cpp | 173 _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 D | decNumber.c | 991 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 D | opcodes.go | 63 ISZERO const 238 ISZERO: "ISZERO", 411 "ISZERO": ISZERO,
|
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/llvm/test/Transforms/InstCombine/ |
H A D | ispow2.ll | 426 ; 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 D | ispow2.ll | 426 ; 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 D | ispow2.ll | 426 ; 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 D | ispow2.ll | 426 ; 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 D | ispow2.ll | 426 ; 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 D | ispow2.ll | 426 ; 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 D | ispow2.ll | 426 ; 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 D | opcodes.go | 58 ISZERO OpCode = 0x15 const 238 ISZERO: "ISZERO", 411 "ISZERO": ISZERO,
|
/dports/games/gnushogi/gnushogi-1.4.2/gnushogi/ |
H A D | util.c | 37 short ISZERO = 1; variable 484 if (ISZERO ) in ZeroRPT() 487 ISZERO = 0; in ZeroRPT()
|
/dports/lang/gcc6-aux/gcc-6-20180516/libdecnumber/ |
H A D | decNumber.c | 2865 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 D | decNumber.c | 1478 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 …]
|