| /dports/lang/solidity/solidity_0.8.11/test/formal/ |
| H A D | signextend.py | 1 from opcodes import SIGNEXTEND
25 rule1.check(SIGNEXTEND(A, X), X)
29 SIGNEXTEND(X, SIGNEXTEND(X, Y)),
30 SIGNEXTEND(X, Y)
35 SIGNEXTEND(A, SIGNEXTEND(B, X)),
36 SIGNEXTEND(If(ULT(A, B), A, B), X)
|
| H A D | signextend_equivalence.py | 1 from opcodes import SIGNEXTEND
19 SIGNEXTEND(BitVecVal(i, n_bits), x),
25 rule.check(SIGNEXTEND(i, x), x)
|
| H A D | signextend_shl.py | 1 from opcodes import SHL, SIGNEXTEND
24 SHL(A, SIGNEXTEND(B, X)),
25 SIGNEXTEND(LShR(A, 3) + B, SHL(A, X))
|
| H A D | signextend_and.py | 1 from opcodes import SIGNEXTEND, AND
25 AND(A, SIGNEXTEND(B, X)),
|
| H A D | signextend_shr.py | 1 from opcodes import SIGNEXTEND, SAR, SHR
29 SIGNEXTEND(A, SHR(B, X)),
|
| H A D | opcodes.py | 68 def SIGNEXTEND(i, x): function
|
| /dports/lang/solidity/solidity_0.8.11/libevmasm/ |
| H A D | RuleList.h | 111 {Builtins::SIGNEXTEND(A, B), [=]() -> Word { in simplificationRuleListPart1()
269 …{Builtins::SIGNEXTEND(X, Builtins::SIGNEXTEND(X, Y)), [=]() { return Builtins::SIGNEXTEND(X, Y); }… in simplificationRuleListPart4_5()
270 {Builtins::SIGNEXTEND(A, Builtins::SIGNEXTEND(B, X)), [=]() { in simplificationRuleListPart4_5()
271 return Builtins::SIGNEXTEND(A.d() < B.d() ? A.d() : B.d(), X); in simplificationRuleListPart4_5()
323 Builtins::SIGNEXTEND(A, X), in simplificationRuleListPart5()
328 Builtins::AND(A, Builtins::SIGNEXTEND(B, X)), in simplificationRuleListPart5()
337 Builtins::AND(Builtins::SIGNEXTEND(B, X), A), in simplificationRuleListPart5()
630 Builtins::SHL(A, Builtins::SIGNEXTEND(B, X)), in simplificationRuleListPart7()
631 [=]() -> Pattern { return Builtins::SIGNEXTEND((A.d() >> 3) + B.d(), Builtins::SHL(A, X)); }, in simplificationRuleListPart7()
636 Builtins::SIGNEXTEND(A, Builtins::SHR(B, X)), in simplificationRuleListPart7()
|
| H A D | SimplificationRule.h | 103 static auto constexpr SIGNEXTEND = PatternGenerator<Instruction::SIGNEXTEND>{};
|
| H A D | Instruction.h | 50 SIGNEXTEND, ///< extend length of signed integer enumerator
|
| H A D | Instruction.cpp | 61 { "SIGNEXTEND", Instruction::SIGNEXTEND },
208 { Instruction::SIGNEXTEND, { "SIGNEXTEND", 0, 2, 1, false, Tier::Low } },
|
| /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 | 53 SIGNEXTEND const
239 SIGNEXTEND: "SIGNEXTEND",
412 "SIGNEXTEND": SIGNEXTEND,
|
| /dports/net-p2p/go-ethereum/go-ethereum-1.10.14/core/vm/ |
| H A D | opcodes.go | 48 SIGNEXTEND OpCode = 0xb const
239 SIGNEXTEND: "SIGNEXTEND",
412 "SIGNEXTEND": SIGNEXTEND,
|
| /dports/net-p2p/qtum/qtum-mainnet-fastlane-v0.20.3/src/cpp-ethereum/libevm/ |
| H A D | Instruction.h | 31 SIGNEXTEND, ///< extend length of signed integer enumerator
|
| H A D | LegacyVMConfig.h | 164 &&SIGNEXTEND, \
|
| H A D | Instruction.cpp | 39 { Instruction::SIGNEXTEND, { "SIGNEXTEND", 2, 1, Tier::Low } },
|
| /dports/devel/capstone4/capstone-4.0.2/arch/EVM/ |
| H A D | EVMMappingInsn.inc | 15 { 2, 1, 5 }, // SIGNEXTEND
|
| /dports/emulators/qemu/qemu-6.2.0/capstone/arch/EVM/ |
| H A D | EVMMappingInsn.inc | 15 { 2, 1, 5 }, // SIGNEXTEND
|
| /dports/emulators/qemu60/qemu-6.0.0/capstone/arch/EVM/ |
| H A D | EVMMappingInsn.inc | 15 { 2, 1, 5 }, // SIGNEXTEND
|
| /dports/devel/py-capstone/capstone-4.0.1/src/arch/EVM/ |
| H A D | EVMMappingInsn.inc | 15 { 2, 1, 5 }, // SIGNEXTEND
|
| /dports/emulators/qemu5/qemu-5.2.0/capstone/arch/EVM/ |
| H A D | EVMMappingInsn.inc | 15 { 2, 1, 5 }, // SIGNEXTEND
|
| /dports/devel/redasm/REDasm-2.1.1/LibREDasm/depends/capstone/arch/EVM/ |
| H A D | EVMMappingInsn.inc | 15 { 2, 1, 5 }, // SIGNEXTEND
|
| /dports/devel/xelfviewer/XELFViewer-0.03/XCapstone/3rdparty/Capstone/src/arch/EVM/ |
| H A D | EVMMappingInsn.inc | 15 { 2, 1, 5 }, // SIGNEXTEND
|
| /dports/x11/xloadimage/xloadimage.4.1/tiff/ |
| H A D | machdep.h | 116 #define SIGNEXTEND(a,b) { char ch; ch = (a); (b) = ch; } macro
|
| /dports/net-p2p/qtum/qtum-mainnet-fastlane-v0.20.3/src/cpp-ethereum/libaleth-interpreter/ |
| H A D | VMConfig.h | 153 &&SIGNEXTEND, \
|
| /dports/emulators/vice/vice-3.5/src/lib/libffmpeg/libavcodec/x86/ |
| H A D | proresdsp.asm | 303 %macro SIGNEXTEND 2-3
|