chriseth
|
791fde953d
|
First simplify switch with known constant expression.
|
2019-03-06 21:32:55 +01:00 |
|
chriseth
|
21115f8050
|
Fix visitation order bug for structural simplifier.
|
2019-03-06 19:34:07 +01:00 |
|
Mathias Baumann
|
21322dae29
|
YulOpt: Remove empty cases
|
2019-03-06 19:02:23 +01:00 |
|
Mathias Baumann
|
be52aa3181
|
YulOpt: Move if-branches into functions
|
2019-03-06 19:01:05 +01:00 |
|
Mathias Baumann
|
3ce7069766
|
YulOpt: Remove empty cases
|
2019-03-06 18:39:44 +01:00 |
|
Mathias Baumann
|
433175b19e
|
YulOpt: Add comment about optimization
|
2019-03-06 18:39:44 +01:00 |
|
Mathias Baumann
|
db3bea7b56
|
Use reference for so we have to type less
|
2019-03-06 18:39:44 +01:00 |
|
chriseth
|
831353c590
|
Merge pull request #6172 from ethereum/runYulOptAsLongAsHelpful
[Yul] Run yul optimizer until it has no effect anymore.
|
2019-03-06 11:41:22 +01:00 |
|
chriseth
|
f35694f655
|
Run yul optimizer until it has no effect anymore.
|
2019-03-05 20:30:13 +01:00 |
|
Mathias Baumann
|
f6e09d6368
|
YulOpt: Extend StructuralSimplifier to work with all types
|
2019-03-05 18:39:27 +01:00 |
|
Mathias Baumann
|
a52b50d770
|
libyul: Change assertThrow() to yulAssert()
|
2019-03-05 18:39:27 +01:00 |
|
Mathias Baumann
|
921d52bfcd
|
Move Literal to u256 conversions to extra functions
That way we can reuse them at different places
|
2019-03-05 18:39:27 +01:00 |
|
chriseth
|
d0ab5454f8
|
Merge pull request #6171 from ethereum/ignorePrefixWhileInlining
Do not prepend function name to all variables when inlining.
|
2019-03-05 11:36:53 +01:00 |
|
Alex Beregszaszi
|
c64d42e6f5
|
Use currentToken()/advance() helpers from ParserBase consistently in AsmParser
|
2019-03-04 22:56:36 +01:00 |
|
chriseth
|
3f784d6e00
|
Do not prepend function name to all variables when inlining.
|
2019-03-04 18:07:00 +01:00 |
|
Christian Parpart
|
609855546e
|
Yul: Adds optimizer pass to make variable names suffix-canonical.
|
2019-03-04 17:26:56 +01:00 |
|
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 |
|