151 Commits

Author	SHA1	Message	Date
Alex Beregszaszi	9fc7706537	Change unreachable parser error to assertion in AsmParser	2019-03-04 15:08:46 +01:00
chriseth	8f5e12c192	Make unavailable opcodes errors.	2019-02-28 22:20:01 +01:00
Mathias Baumann	c686a65876	Yul Optimizer: reduce switches with const arguments	2019-02-28 15:43:10 +01:00
chriseth	477c53a46f	Fix expression simplifying by moving from SSAValueTracker to DataFlowAnalyzer as a base.	2019-02-27 16:14:39 +01:00
chriseth	9b7d793407	Fix windows build.	2019-02-26 19:43:24 +01:00
Alex Beregszaszi	cb7b053a4a	Consider extcodehash as part of Constantinople	2019-02-26 12:40:31 +00:00
Alex Beregszaszi	5fc8e29fff	More granular error reporting in warnOnInstruction in AsmAnalysis	2019-02-26 12:39:15 +00:00
chriseth	62e650dc42	Remove cpp files without symbols.	2019-02-25 17:23:11 +01:00
Leonardo Alt	2405b2151a	EVMVersion in langutil namespace instead of solidity	2019-02-25 15:29:57 +01:00
chriseth	8aeebf7fcd	Merge pull request #6071 from ethereum/moveEVMVersionToEVMDialect ... Make EVM version part of EVM dialect.	2019-02-25 11:56:53 +01:00
chriseth	7f5b335b47	Make EVM version part of EVM dialect.	2019-02-21 21:59:46 +01:00
chriseth	91fb2d094d	Clear state when entering new function.	2019-02-21 20:04:20 +01:00
Alex Beregszaszi	fcf884f201	Do not ignore fatal error in AsmParser for inline assembly	2019-02-21 16:18:53 +00:00
chriseth	15d275ed37	Merge pull request #6023 from ethereum/assignment-whitespace-op ... Add extra token for assembly assignment	2019-02-21 14:43:29 +01:00
Mathias Baumann	f395d5bab4	Add extra token for assembly assignment ... Adding an extra token for := prevents whitespace between : = being valid	2019-02-21 13:58:21 +01:00
chriseth	947215a901	Take builtin functions into account in the compilability checker.	2019-02-21 12:13:42 +01:00
chriseth	00084a9bd7	Merge pull request #6027 from ethereum/failEnErrorListNonEmpty ... Make analysis success not only dependent on flag but also on error list.	2019-02-20 15:19:48 +01:00
chriseth	372853b192	Make analysis success not only dependent on flag but also on error list.	2019-02-20 14:57:58 +01:00
Alex Beregszaszi	0f1be75f97	Assert for parserResult in optimize in AssemblyStack	2019-02-20 13:54:24 +00:00
chriseth	b4cd2d6a93	Properly detect name clashes with functions before their definition.	2019-02-18 14:51:05 +01:00
Daniel Kirchner	8ca6715e18	More style checks.	2019-02-14 11:41:20 +01:00
chriseth	b1df990a0f	Merge pull request #5990 from ethereum/provideAccessToAssmeblyAST ... Provide access to assembly ast	2019-02-13 17:38:22 +01:00
chriseth	c5879589af	Merge pull request #5998 from ethereum/codingStyleCheck ... More coding style checks	2019-02-13 17:36:34 +01:00
chriseth	1a823f0bf8	Fix tabs/spaces.	2019-02-13 17:05:48 +01:00
chriseth	17ea467e5b	Fix style of "const".	2019-02-13 16:34:53 +01:00
chriseth	3a3ed1c6b5	Fix assertion concerning jumps in strict assembly.	2019-02-13 15:57:14 +01:00
chriseth	a344381d5e	Provide access to AssemblyStack's AST.	2019-02-13 14:19:56 +01:00
chriseth	0bd049c849	Adapet uses of AssemblyStack.	2019-02-13 12:23:07 +01:00
chriseth	d073eb1544	Move AssemblyStack to libyul.	2019-02-13 12:23:07 +01:00
chriseth	02373c2225	Adjust uses of AsmCodeGen.	2019-02-13 11:35:49 +01:00
chriseth	1ff6f2c71c	Move AsmCodeGen.	2019-02-13 11:20:15 +01:00
chriseth	83083d2208	Stack compressor.	2019-02-11 15:48:29 +01:00
chriseth	5a34743d88	Allow optimizer steps to run on FunctionDefinition and group suite.	2019-02-11 15:48:29 +01:00
chriseth	b34e104173	Make dialect a shared pointer.	2019-02-11 15:48:29 +01:00
chriseth	22c8d74a8a	Store all stack errors before they are thrown.	2019-02-04 17:32:05 +01:00
chriseth	77baf6caf7	Compilability checker.	2019-02-04 17:32:05 +01:00
chriseth	4f641e3732	Helper function for analysis.	2019-02-04 17:32:05 +01:00
chriseth	dd5b43741c	No-output Assembly.	2019-02-04 17:32:04 +01:00
chriseth	11969cd760	Add some more explicit moves required in some compiler and boost version combinations.	2019-02-04 15:50:41 +01:00
chriseth	17a1e7aed5	Better error message for out of stack in assembly.	2019-01-30 12:24:10 +01:00
Alex Beregszaszi	ee09d54525	Change FIXMEs into TODOs where appropriate	2019-01-29 00:35:23 +00:00
Alex Beregszaszi	2fc7928697	Merge pull request #5864 from ethereum/tuneOptOrder ... Some optimizer tuning.	2019-01-28 13:50:09 +00:00
chriseth	12e2187661	Some tuning.	2019-01-24 23:06:01 +01:00
chriseth	1fc98b8133	Fix optimizer suite.	2019-01-24 20:42:32 +01:00
Daniel Kirchner	29f66b2674	Stabilize SSAReverser.	2019-01-17 21:05:32 +01:00
Daniel Kirchner	fd16585724	Undo second SSA transformation and add more tests.	2019-01-17 20:37:43 +01:00
Daniel Kirchner	6de2d92f20	Add SSAReverser to the yul optimiser.	2019-01-17 20:37:43 +01:00
Christian Parpart	065c3c87af	libyul: changing some AST members from shared_ptr<> to unique_ptr<> ... * Some spaces look a little more verbose now, but that shouln't be a problem as it also should raise readability, too. * This makes some use of return-value-optimizations also.	2019-01-16 14:58:59 +01:00
Daniel Kirchner	81f24f24e6	Add equivalent function combiner as Yul optimizer step.	2019-01-15 17:21:03 +01:00
Daniel Kirchner	4c8f8e9491	Disallow mismatching types in switch cases and detect duplicates by value for number literals.	2019-01-15 16:32:21 +01:00