Commit Graph
55 Commits
Author SHA1 Message Date
Nikola Matic fdc6699159 Rematerialize zero literals with default cleanup sequence
Add unused pruner step to the end of the default cleanup sequence
2023-09-04 15:40:33 +02:00
Kamil Śliwak 735326d50d Properly document FullInliner's prerequisites 2023-07-17 16:40:43 +02:00
Kamil Śliwak 5e1e0e7752 FullInliner: Fix order of arguments of inlined functions 2023-07-17 16:40:43 +02:00
Martin Blicha 29041c8101 Remove ReasoningBasedSimplifier from libyul
Due to a design decision to move away from a bundled SMT solver,
ReasoningBasedSimplifier in its current form cannot be use any longer.
This is a necessary step to allow a unified way to call solvers using
only SMTLIB interface.

Since this optimization pass has always been marked as highly
experimental and never turned on by default, it should be OK to remove
it.
2023-06-28 14:38:36 +02:00
Matheus Aguiar 2260c23ce1 Fix mistake about default value for inliner setting 2023-05-26 10:25:26 -03:00
Kamil Śliwak 1cc656c550 docs: Remove a few leftover mentions of Ewasm 2023-05-25 11:38:16 +02:00
minaminaoandNuno Santos e1a9446f87 fix(docs): fix missing backticks, remove latexpdfja, fix the missing help message of latexpdf, and remove unnecessary whitespace (#14101)
* Fix missing backticks

* Remove whitespace in the header of the optimizer step

* Remove whitespace in directives

* Remove `make latexpdfja`

* Add the help message of latexpdf in make.bat

* Fix missing backticks

* Update docs/internals/optimizer.rst

---------

Co-authored-by: Nuno Santos <nunofilipesantos@gmail.com>
2023-04-14 12:24:50 +01:00
Nicolás Acosta b403085fa1 style(layout_in_storage): fix mapping style 2023-02-01 15:54:08 -03:00
Mio a68501cebd fix redundant typo 2023-01-31 13:23:47 +08:00
Daniel Kirchnerandmatheusaaguiar 27dba5c2d4 Clarify cleanup in docs.
Co-authored-by: matheusaaguiar <95899911+matheusaaguiar@users.noreply.github.com>
2022-11-09 16:27:24 -03:00
Nikola Matic 9e505bd128 Document UnusedStoreEliminator
Update comment in header file

Address review comments
2022-10-21 13:19:56 +02:00
Nikola Matic e37dc8e975 Address review comments 2022-09-13 17:23:31 +02:00
Nikola Matic 314a1cc92f Command line tests and minor touch ups 2022-09-12 11:13:49 +02:00
Nikola Matic ddf0d784ac Changelog and docs 2022-09-12 11:13:47 +02:00
Matheus Aguiar efe558a989 Added note about PeepholeOptimizer in docs. 2022-09-06 17:15:21 -03:00
minaminao 99400a6121 Fix typo 2022-08-30 09:35:12 +09:00
Kamil Śliwak 0400b435b8 Enable highlighting for more code blocks in the docs 2022-08-16 10:05:14 +02:00
Prajwal Borkar 6061219641 Fix link to the optimizer step sequence in optimizer.rst 2022-05-31 15:41:22 +02:00
Daniel Kirchner e58c0b561d Mark viaIR code generation as non-experimental. 2022-03-14 14:48:00 +01:00
William Entriken c6c7f3525d Note about storage compatability mode 2022-02-09 21:30:11 -05:00
Ayush Shukla 653c1e6842 Fix slot calculation for bytes/string mapping 2022-02-05 01:00:27 +05:30
chriseth b354c81a63 Documentation 2022-01-03 15:52:05 +01:00
chriseth 829fe6615b Fix Yul example. 2021-12-01 16:23:26 +01:00
Tynan Richards d56fb3afff Fix ExpressionSplitter example
Fix error (0x123 and 0x456 were swapped) and split constants into expressions
2021-12-01 15:43:50 +01:00
Daniel Kirchner f2d9a806e0 Document change to BlockFlattener. 2021-11-09 13:29:10 +01:00
Daniel Kirchner be552683c9 Remove incorrect outer block from for loop init rewriter documentation. 2021-11-08 10:58:28 +01:00
Mariela Mantle d684494389 feat(docs): get mismatched Yul optimizer step lists back in sync 2021-10-15 18:47:25 +02:00
Christian Parpart b1dd0d0d02 Properly compute source mappings for immutables. 2021-10-12 17:56:17 +02:00
chriseth b986c2151a Add inline assembly section to cleanup. 2021-10-11 14:25:03 +02:00
Kamil Śliwak f794539628 optimizer.rst: Fix a code block with incorrectly set Bash highlighting 2021-08-18 13:07:22 +02:00
Harikrishnan Mulackal 5ff0811b99 Merge pull request #11717 from jaa2/develop
Handle --optimize-runs option in assembly mode
2021-07-29 18:56:22 +02:00
jaa2 c627e6af10 CommandLineParser: Handle --optimize-runs option in assembly mode
Fixes #11708.
2021-07-29 18:15:57 +02:00
Kamil Śliwak f3a5c27852 docs: Replace a few remaining :: blocks with .. code-block:: 2021-07-15 10:14:00 +02:00
Kamil Śliwak 42f982c063 docs: Fix indentation in some of the code snippets 2021-07-15 10:13:32 +02:00
Kamil Śliwak ce79e2515b docs: Fix badly indented lists 2021-07-15 10:13:30 +02:00
chriseth fec01c112a Merge pull request #11616 from ethereum/issue-8191-yul
Test yul code blocks in documentation.
2021-07-08 15:37:01 +02:00
Marenz d844d84b51 Test yul code blocks in documentation. 2021-07-08 14:59:05 +02:00
Kamil Śliwak ddccd73a4b Fix outdated references to byte[] type (it's now bytes1[]) 2021-07-08 13:16:23 +02:00
Tony 510d74c1cd Fix a Typo describing Layout in Storage 2021-07-07 19:29:44 -04:00
hrkrshnn 4c216395c6 [DOCS] Change code block into proper JSON
Reran `solc --storage-layout`, so the AST ids changed.
2021-06-28 17:27:33 +02:00
iskanderandrews a8e9d7a80d docs/
Enhancing all the .rst doc files by adding highlighting for the code snippets, including the following langs:
1. Solidity

2. bash

3. javascript

4. assembly
2021-06-25 12:33:55 +02:00
MaurelianandHarikrishnan Mulackal 8b66a99be2 Some improvements to optimizer documentation
Co-authored-by: Harikrishnan Mulackal <webmail.hari@gmail.com>
2021-05-19 12:40:51 +02:00
franzihei 13eec106f4 DOCS: update optimizer docs, harmonize spelling and add Yul-based optimizer module 2021-05-04 17:37:02 +02:00
chriseth 6413e36a9a Rename file. 2021-05-04 17:34:42 +02:00
Daniel Kirchner 5a59fde073 Documentation of the inliner in the old optimizer. 2021-02-10 09:14:05 +01:00
chriseth 61b5e8e8fe Clarify storage layout. 2021-02-04 16:26:30 +01:00
chriseth a0a02f2307 Merge remote-tracking branch 'origin/develop' into breaking 2020-11-23 19:28:08 +01:00
ritzdorf c68efc6e03 Differences in layout between memory and storage
- More explicit description with two examples
- Moved index pointer to correct file
2020-11-19 11:29:20 +01:00
chriseth b401093679 Merge pull request #9967 from ethereum/develop
Merge develop into breaking.
2020-10-06 17:45:53 +02:00
chriseth 5aee960934 Explain generated sources in source mappings. 2020-10-01 11:49:47 +02:00