cerc-io/solidity
10
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

Improve description of literal evaluation.

Browse Source
This commit is contained in:
Alessandro Coglio 2021-09-29 13:05:08 -07:00
parent 9240368e39
commit d3b2463166
1 changed files with 7 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
docs/yul.rst
View File

@ -714,13 +714,15 @@ We will use a destructuring notation for the AST nodes.
L'[$parami] = vi and L'[$reti] = 0 for all i. L'[$parami] = vi and L'[$reti] = 0 for all i.
Let G'', L'', mode = E(Gn, L', block) Let G'', L'', mode = E(Gn, L', block)
G'', Ln, L''[$ret1], ..., L''[$retm] G'', Ln, L''[$ret1], ..., L''[$retm]
E(G, L, l: StringLiteral) = G, L, utf8EncodeLeftAligned(l), E(G, L, l: StringLiteral) = G, L, str(l),
where utf8EncodeLeftAligned performs a UTF-8 encoding of l where str is the string evaluation function,
and aligns it left into 32 bytes which for the EVM dialect is defined in the section 'Literals' above
E(G, L, n: HexNumber) = G, L, hex(n) E(G, L, n: HexNumber) = G, L, hex(n)
where hex is the hexadecimal decoding function where hex is the hexadecimal evaluation function,
which turns a sequence of hexadecimal digits into their big endian value
E(G, L, n: DecimalNumber) = G, L, dec(n), E(G, L, n: DecimalNumber) = G, L, dec(n),
where dec is the decimal decoding function where dec is the decimal evaluation function,
which turns a sequence of decimal digits into their big endian value
.. _opcodes: .. _opcodes: