cerc-io/solidity
16
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
0f65e17b7b
solidity/test/libsolidity/semanticTests/viaYul/detect_mul_overflow_signed.sol

85 lines
7.1 KiB
Solidity
Raw Normal View History

Implement signed multiplication for sol->yul code generation.
2019-06-12 12:06:13 +00:00
contract C {
function f(int a, int b) public pure returns (int x) {
x = a * b;
}
function g(int8 a, int8 b) public pure returns (int8 x) {
x = a * b;
}
Added overflow checks after multiplication operation is executed.
2022-06-20 22:19:20 +00:00
function h(int160 a, int160 b) public pure returns (int160 x) {
x = a * b;
}
Implement signed multiplication for sol->yul code generation.
2019-06-12 12:06:13 +00:00
}
// ====
Enable more semantic tests for Ewasm
2021-04-23 15:59:01 +00:00
// compileToEwasm: also
Implement signed multiplication for sol->yul code generation.
2019-06-12 12:06:13 +00:00
// ----
// f(int256,int256): 5, 6 -> 30
// f(int256,int256): -1, 1 -> -1
Update existing tests.
2020-09-15 14:16:30 +00:00
// f(int256,int256): -1, 2 -> -2 # positive, positive #
Implement signed multiplication for sol->yul code generation.
2019-06-12 12:06:13 +00:00
// f(int256,int256): 0x3FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF, 2 -> 0x7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFE
Update tests.
2020-10-13 11:28:39 +00:00
// f(int256,int256): 0x4000000000000000000000000000000000000000000000000000000000000000, 2 -> FAILURE, hex"4e487b71", 0x11
Implement signed multiplication for sol->yul code generation.
2019-06-12 12:06:13 +00:00
// f(int256,int256): 2, 0x3FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF -> 0x7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFE
Added overflow checks after multiplication operation is executed.
2022-06-20 22:19:20 +00:00
// f(int256,int256): 2, 0x4000000000000000000000000000000000000000000000000000000000000000 -> FAILURE, hex"4e487b71", 0x11
// f(int256,int256): -1, 0x8000000000000000000000000000000000000000000000000000000000000000 -> FAILURE, hex"4e487b71", 0x11
// f(int256,int256): 0x8000000000000000000000000000000000000000000000000000000000000000, -1 -> FAILURE, hex"4e487b71", 0x11
Update tests.
2020-10-13 11:28:39 +00:00
// f(int256,int256): 2, 0x4000000000000000000000000000000000000000000000000000000000000000 -> FAILURE, hex"4e487b71", 0x11 # positive, negative #
// f(int256,int256): 2, 0x4000000000000000000000000000000000000000000000000000000000000000 -> FAILURE, hex"4e487b71", 0x11 # positive, negative #
// f(int256,int256): 2, 0x4000000000000000000000000000000000000000000000000000000000000000 -> FAILURE, hex"4e487b71", 0x11 # positive, negative #
Implement signed multiplication for sol->yul code generation.
2019-06-12 12:06:13 +00:00
// f(int256,int256): 0x4000000000000000000000000000000000000000000000000000000000000000, -2 -> 0x8000000000000000000000000000000000000000000000000000000000000000
Update tests.
2020-10-13 11:28:39 +00:00
// f(int256,int256): 0x4000000000000000000000000000000000000000000000000000000000000001, -2 -> FAILURE, hex"4e487b71", 0x11
Implement signed multiplication for sol->yul code generation.
2019-06-12 12:06:13 +00:00
// f(int256,int256): 2, 0xC000000000000000000000000000000000000000000000000000000000000000 -> 0x8000000000000000000000000000000000000000000000000000000000000000
Update tests.
2020-10-13 11:28:39 +00:00
// f(int256,int256): 2, 0xBFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF -> FAILURE, hex"4e487b71", 0x11 # negative, positive #
// f(int256,int256): 2, 0xBFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF -> FAILURE, hex"4e487b71", 0x11 # negative, positive #
// f(int256,int256): 2, 0xBFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF -> FAILURE, hex"4e487b71", 0x11 # negative, positive #
Implement signed multiplication for sol->yul code generation.
2019-06-12 12:06:13 +00:00
// f(int256,int256): -2, 0x4000000000000000000000000000000000000000000000000000000000000000 -> 0x8000000000000000000000000000000000000000000000000000000000000000
Update tests.
2020-10-13 11:28:39 +00:00
// f(int256,int256): -2, 0x4000000000000000000000000000000000000000000000000000000000000001 -> FAILURE, hex"4e487b71", 0x11
Implement signed multiplication for sol->yul code generation.
2019-06-12 12:06:13 +00:00
// f(int256,int256): 0xC000000000000000000000000000000000000000000000000000000000000000, 2 -> 0x8000000000000000000000000000000000000000000000000000000000000000
Update tests.
2020-10-13 11:28:39 +00:00
// f(int256,int256): 0xBFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF, 2 -> FAILURE, hex"4e487b71", 0x11 # negative, negative #
// f(int256,int256): 0xBFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF, 2 -> FAILURE, hex"4e487b71", 0x11 # negative, negative #
// f(int256,int256): 0xBFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF, 2 -> FAILURE, hex"4e487b71", 0x11 # negative, negative #
Implement signed multiplication for sol->yul code generation.
2019-06-12 12:06:13 +00:00
// f(int256,int256): 0xC000000000000000000000000000000000000000000000000000000000000001, -2 -> 0x7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFE
Update tests.
2020-10-13 11:28:39 +00:00
// f(int256,int256): 0xC000000000000000000000000000000000000000000000000000000000000000, -2 -> FAILURE, hex"4e487b71", 0x11
Implement signed multiplication for sol->yul code generation.
2019-06-12 12:06:13 +00:00
// f(int256,int256): -2, 0xC000000000000000000000000000000000000000000000000000000000000001 -> 0x7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFE
Update tests.
2020-10-13 11:28:39 +00:00
// f(int256,int256): -2, 0xC000000000000000000000000000000000000000000000000000000000000000 -> FAILURE, hex"4e487b71", 0x11 # small type #
// f(int256,int256): -2, 0xC000000000000000000000000000000000000000000000000000000000000000 -> FAILURE, hex"4e487b71", 0x11 # small type #
// f(int256,int256): -2, 0xC000000000000000000000000000000000000000000000000000000000000000 -> FAILURE, hex"4e487b71", 0x11 # small type #
Implement signed multiplication for sol->yul code generation.
2019-06-12 12:06:13 +00:00
// g(int8,int8): 5, 6 -> 30
// g(int8,int8): -1, 1 -> -1
Update existing tests.
2020-09-15 14:16:30 +00:00
// g(int8,int8): -1, 2 -> -2 # positive, positive #
Implement signed multiplication for sol->yul code generation.
2019-06-12 12:06:13 +00:00
// g(int8,int8): 63, 2 -> 126
Update tests.
2020-10-13 11:28:39 +00:00
// g(int8,int8): 64, 2 -> FAILURE, hex"4e487b71", 0x11
Implement signed multiplication for sol->yul code generation.
2019-06-12 12:06:13 +00:00
// g(int8,int8): 2, 63 -> 126
Update tests.
2020-10-13 11:28:39 +00:00
// g(int8,int8): 2, 64 -> FAILURE, hex"4e487b71", 0x11 # positive, negative #
// g(int8,int8): 2, 64 -> FAILURE, hex"4e487b71", 0x11 # positive, negative #
// g(int8,int8): 2, 64 -> FAILURE, hex"4e487b71", 0x11 # positive, negative #
Implement signed multiplication for sol->yul code generation.
2019-06-12 12:06:13 +00:00
// g(int8,int8): 64, -2 -> -128
Update tests.
2020-10-13 11:28:39 +00:00
// g(int8,int8): 65, -2 -> FAILURE, hex"4e487b71", 0x11
Implement signed multiplication for sol->yul code generation.
2019-06-12 12:06:13 +00:00
// g(int8,int8): 2, -64 -> -128
Update tests.
2020-10-13 11:28:39 +00:00
// g(int8,int8): 2, -65 -> FAILURE, hex"4e487b71", 0x11 # negative, positive #
// g(int8,int8): 2, -65 -> FAILURE, hex"4e487b71", 0x11 # negative, positive #
// g(int8,int8): 2, -65 -> FAILURE, hex"4e487b71", 0x11 # negative, positive #
Implement signed multiplication for sol->yul code generation.
2019-06-12 12:06:13 +00:00
// g(int8,int8): -2, 64 -> -128
Update tests.
2020-10-13 11:28:39 +00:00
// g(int8,int8): -2, 65 -> FAILURE, hex"4e487b71", 0x11
Implement signed multiplication for sol->yul code generation.
2019-06-12 12:06:13 +00:00
// g(int8,int8): -64, 2 -> -128
Update tests.
2020-10-13 11:28:39 +00:00
// g(int8,int8): -65, 2 -> FAILURE, hex"4e487b71", 0x11 # negative, negative #
// g(int8,int8): -65, 2 -> FAILURE, hex"4e487b71", 0x11 # negative, negative #
// g(int8,int8): -65, 2 -> FAILURE, hex"4e487b71", 0x11 # negative, negative #
Implement signed multiplication for sol->yul code generation.
2019-06-12 12:06:13 +00:00
// g(int8,int8): -63, -2 -> 126
Update tests.
2020-10-13 11:28:39 +00:00
// g(int8,int8): -64, -2 -> FAILURE, hex"4e487b71", 0x11
Implement signed multiplication for sol->yul code generation.
2019-06-12 12:06:13 +00:00
// g(int8,int8): -2, -63 -> 126
Update tests.
2020-10-13 11:28:39 +00:00
// g(int8,int8): -2, -64 -> FAILURE, hex"4e487b71", 0x11
Added overflow checks after multiplication operation is executed.
2022-06-20 22:19:20 +00:00
// h(int160,int160): -1, 1 -> -1
// h(int160,int160): 1, -1 -> -1
// h(int160,int160): -1, 2 -> -2
// h(int160,int160): 2, -1 -> -2
// h(int160,int160): -1, 0xFFFFFFFFFFFFFFFFFFFFFFFF8000000000000000000000000000000000000000 -> FAILURE, hex"4e487b71", 0x11
// h(int160,int160): -1, 0xFFFFFFFFFFFFFFFFFFFFFFFF8000000000000000000000000000000000000000 -> FAILURE, hex"4e487b71", 0x11
// h(int160,int160): 0xFFFFFFFFFFFFFFFFFFFFFFFF8000000000000000000000000000000000000000, -1 -> FAILURE, hex"4e487b71", 0x11
// h(int160,int160): 0x0000000000000000000000004000000000000000000000000000000000000000, -2 -> 0xFFFFFFFFFFFFFFFFFFFFFFFF8000000000000000000000000000000000000000
// h(int160,int160): -2, 0x0000000000000000000000004000000000000000000000000000000000000000 -> 0xFFFFFFFFFFFFFFFFFFFFFFFF8000000000000000000000000000000000000000
// h(int160,int160): -2, 0x0000000000000000000000004000000000000000000000000000000000000001 -> FAILURE, hex"4e487b71", 0x11
// h(int160,int160): 0x0000000000000000000000004000000000000000000000000000000000000001, -2 -> FAILURE, hex"4e487b71", 0x11
// h(int160,int160): 0x0000000000000000000000004000000000000000000000000000000000000001, 2 -> FAILURE, hex"4e487b71", 0x11
// h(int160,int160): 2, 0x0000000000000000000000004000000000000000000000000000000000000001 -> FAILURE, hex"4e487b71", 0x11
// h(int160,int160): 0x0000000000000000000000003FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF, 2 -> 0x0000000000000000000000007FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFE
// h(int160,int160): 2, 0x0000000000000000000000004000000000000000000000000000000000000001 -> FAILURE, hex"4e487b71", 0x11
Reference in New Issue Copy Permalink