315 Commits

Author	SHA1	Message	Date
Djordje Mijovic	c891597204	Adding ssa type check and test for that one	2020-02-24 15:05:19 +01:00
Djordje Mijovic	2efda4129b	Adding test for multi return values including bool in evmTyped dialect. Calling zeroLiteralForType from inliner	2020-02-24 15:05:19 +01:00
chriseth	bddbcbe6a4	Use bool type in word size transform.	2020-02-24 15:05:19 +01:00
chriseth	a52305d3bd	Use bool type in conditional simplifier and for loop condition into body.	2020-02-24 15:05:19 +01:00
Djordje Mijovic	a52c9af5b9	Adding vardecl optimization for boolean types	2020-02-24 15:05:19 +01:00
chriseth	b9b36cd89e	Properly assign types in ExpressionSplitter.	2020-02-24 15:05:19 +01:00
chriseth	2ee748b7f5	Add tests	2020-02-24 15:05:19 +01:00
chriseth	9140bc52c4	Tests for invalid types.	2020-02-24 15:05:18 +01:00
chriseth	6eec968365	Test updates.	2020-02-24 15:05:18 +01:00
Gaith Hallak	24d6702986	[Yul] Prune functions that call each other but are otherwise unreferenced	2020-02-11 20:39:32 +03:00
chriseth	92c9b078b4	Use correct instance of EVMDialectTyped.	2020-02-06 19:46:37 +01:00
chriseth	4ae97f4563	Make dialect option lowercase.	2020-02-06 19:46:37 +01:00
chriseth	5de3379d82	Merge pull request #8238 from ethereum/yul-syntax-tests ... Implement yul syntax tests	2020-02-05 15:15:41 +01:00
Mathias Baumann	fc10e701fc	Implement yul syntax tests	2020-02-05 14:58:34 +01:00
Mathias Baumann	ef07fc3066	Fix formatting	2020-02-05 13:22:15 +01:00
chriseth	9f0cef97c2	Specify default type for word size transform externally.	2020-02-04 18:13:37 +01:00
chriseth	d3b53ee394	Make bool type optional for bool literals.	2020-01-29 19:01:28 +01:00
chriseth	a66782537a	Use old yul dialect only in tests.	2020-01-29 19:01:28 +01:00
chriseth	23667ce12d	Update Yul optimizer tests.	2020-01-29 17:25:25 +01:00
chriseth	e7b95de315	Tests for default type parsing.	2020-01-29 17:25:25 +01:00
chriseth	fbe5bb0cce	Parse default dialect and omit when printing.	2020-01-29 17:25:25 +01:00
chriseth	e41155cf48	Merge pull request #8062 from imapp-pl/polyfill-part-2 ... Arithmetic functions implementation for EVM->EWasm translator.	2020-01-29 17:22:27 +01:00
Mathias Baumann	00e4d13975	TestFramework: Merge Options.h into Common.h	2020-01-29 12:27:05 +01:00
Mathias Baumann	2f1f8e25c1	TestFramework: Remove headers from Options.h	2020-01-28 17:29:22 +01:00
rodiazet	f1004e712c	[WASM] Add div, sdiv, mod, smod, exp, lt, sar, addmod, mulmod, signextend	2020-01-28 13:32:43 +01:00
chriseth	5fb8e76931	Merge pull request #8136 from imapp-pl/polyfill-mstore8 ... mstore8 polyfill	2020-01-15 17:02:40 +01:00
rodiazet	3760e90582	[WASM] mstore8 function implementation added.	2020-01-15 14:06:43 +01:00
chriseth	123ea0a250	Remove asm flavour.	2020-01-14 17:16:09 +01:00
chriseth	b5bd4787af	Merge pull request #7801 from ethereum/tuneRemat ... Tune rematerializer	2020-01-08 10:41:32 +01:00
rodiazet	b8c59c56e0	[WASM] Add keccak256, balance, extcodecopy, blockhash, coinbase, log's, call, callcode, delegatecall, staticcall	2020-01-08 10:08:36 +01:00
chriseth	40c0602b5c	Do not rematerialize in loops.	2020-01-08 09:56:08 +01:00
chriseth	25d3f27c11	Tune Rematerializer	2020-01-08 09:56:08 +01:00
Christian Parpart	345f9928ab	Library libdevcore renamed to libsolutil.	2020-01-07 15:51:50 +01:00
Christian Parpart	ed45b000d1	Adapt tests directory to C++ namespace changes.	2020-01-07 15:51:50 +01:00
Christian Parpart	6b23412fae	C++ namespace cleanup (except tests).	2020-01-07 15:51:50 +01:00
chriseth	3994c9135f	Tests.	2019-12-29 15:53:47 +01:00
chriseth	1e59c19166	Dialect setting for yul optimizer tests.	2019-12-18 21:54:30 +01:00
Alex Beregszaszi	7effc94f24	Rename EVMToEWasmTranslator to EVMToEwasmTranslator	2019-12-18 16:57:45 +00:00
Alex Beregszaszi	7d3ccee921	Fix implementation of getCodeSize in Ewasm	2019-12-18 14:58:28 +00:00
rodiazet	7d8c4c24ee	Add arithmetic test cases for most of EVM->Ewasm translator	2019-12-18 13:58:03 +01:00
chriseth	b6fc703a27	Merge remote-tracking branch 'origin/release' into HEAD	2019-12-17 19:47:59 +01:00
chriseth	244b011a30	More test cases.	2019-12-17 17:08:27 +01:00
chriseth	143471fe87	Tests.	2019-12-17 15:47:32 +01:00
Alex Beregszaszi	2a808e4f32	Add trace for unreachable in Yul Ewasm translation tests	2019-12-15 13:28:38 +00:00
chriseth	b53629d3d0	Merge pull request #7977 from imapp-pl/yul-ewasm-tests-imapp ... Add comparison test cases for most of EVM->Ewasm translator	2019-12-12 14:07:13 +01:00
rodiazet	336b436d3e	Add comparison test cases for most of EVM->Ewasm translator ... Add comparison test cases for most of EVM->Ewasm translator	2019-12-11 23:23:35 +01:00
Alex Beregszaszi	8cb085ca0d	Add bitwise test cases for most of EVM->Ewasm translator	2019-12-11 12:44:05 +00:00
Alex Beregszaszi	fbf946e493	Add also smoke tests for opcodes not part of Ewasm	2019-12-10 17:00:45 +00:00
Alex Beregszaszi	d8cf8e98bd	Add basic test cases for most of EVM->Ewasm translator	2019-12-10 17:00:45 +00:00
chriseth	42d9a8e962	Merge remote-tracking branch 'origin/develop' into develop_060	2019-12-04 17:01:44 +01:00