Expand description
Canonical intermediate representation for Neo Solidity.
Structs§
- Basic
Block - Event
- Function
- IR function representation
- Hazards 🔒
- IrDiagnostic
- Structured diagnostic emitted during IR lowering.
- Loop
Labels 🔒 - Lowering
Context 🔒 - Mapping
Access 🔒 - Module
- IR module representing a compiled contract
- Native
Contract 🔒Descriptor - State
Variable - Storage
Reference 🔒 - Storage
Reference 🔒Field - Struct
Field
Enums§
- Binary
Operator - Binary operators for IR instructions
- Builtin
Call - Convert
Target - Function
Kind - Instruction
- Literal
Value - Literal values in IR
- Manifest
Type 🔒 - Native
Contract - Runtime
Value - Value
Type
Constants§
Functions§
- address_
bytes_ 🔒le_ from_ expression - bind_
catch_ 🔒clause_ parameter - build_
call_ 🔒graph - build_
defined_ 🔒struct_ types - build_
deploy_ 🔒function - build_
enum_ 🔒variant_ map - build_
parameter_ 🔒index_ map - builtin_
library_ 🔒supported_ members - builtin_
struct_ 🔒type - call_
flags_ 🔒allow_ write_ or_ notify - catch_
clause_ 🔒guard_ target - catch_
clause_ 🔒param - catch_
clause_ 🔒statement - coerce_
to_ 🔒fixed_ bytes - compute_
transitive_ 🔒hazard_ map - compute_
transitive_ 🔒hazards - decode_
hex_ 🔒bytes - decode_
hex_ 🔒segments - direct_
hazards 🔒 - emit_
is_ 🔒native_ contract_ check - emit_
native_ 🔒contract_ name - emit_
storage_ 🔒load - emit_
storage_ 🔒store - emit_
throw_ 🔒with_ message - extract_
abi_ 🔒encode_ args - extract_
encode_ 🔒call_ arguments - extract_
signature_ 🔒string - extract_
string_ 🔒literal - find_
named_ 🔒struct_ type - find_
struct_ 🔒field - fixed_
len_ 🔒bytes_ be_ from_ hex_ number - has_
ether_ 🔒unit - infer_
array_ 🔒element_ type - infer_
literal_ 🔒array_ element_ type - infer_
type_ 🔒from_ expression - is_
bare_ 🔒catch_ clause - is_
contract_ 🔒type_ reference - is_
ether_ 🔒unit - is_
low_ 🔒level_ evm_ member - is_
single_ 🔒argument_ bytes_ or_ type_ wrapper - literal_
from_ 🔒expression - load_
expression 🔒 - lower_
array_ 🔒literal_ expression - lower_
array_ 🔒slice_ expression - lower_
array_ 🔒store - lower_
array_ 🔒subscript_ expression - lower_
assembly_ 🔒statement - lower_
assert 🔒 - lower_
assignment 🔒 - lower_
binary_ 🔒expr - lower_
block_ 🔒statement - lower_
break_ 🔒statement - lower_
bytes_ 🔒eq_ hex_ number_ literal - lower_
compound_ 🔒assignment - lower_
continue_ 🔒statement - lower_
delete 🔒 - lower_
do_ 🔒while_ statement - lower_
emit 🔒 - lower_
emit_ 🔒statement - lower_
expression 🔒 - lower_
expression_ 🔒statement - lower_
extsload_ 🔒range - lower_
extsload_ 🔒single - lower_
extsload_ 🔒slots - lower_
for_ 🔒statement - lower_
function_ 🔒call_ expression - lower_
generic_ 🔒member_ access - lower_
if_ 🔒statement - lower_
logical_ 🔒and - lower_
logical_ 🔒or - lower_
member_ 🔒access_ expression - lower_
new_ 🔒array_ allocation - lower_
new_ 🔒expression - lower_
post_ 🔒inc_ dec - lower_
power_ 🔒expression - lower_
pre_ 🔒inc_ dec - lower_
require 🔒 - lower_
return_ 🔒statement - lower_
revert_ 🔒named_ args - lower_
revert_ 🔒statement - lower_
special_ 🔒assembly - lower_
state_ 🔒array_ pop - lower_
state_ 🔒array_ push - lower_
statement 🔒 - lower_
storage_ 🔒reference_ pop - lower_
storage_ 🔒reference_ push - lower_
struct_ 🔒constructor_ named - lower_
struct_ 🔒constructor_ positional - lower_
try_ 🔒statement - lower_
variable_ 🔒definition_ statement - lower_
variable_ 🔒expression - lower_
while_ 🔒statement - manifest_
type_ 🔒from_ solidity_ type - manifest_
type_ 🔒name - native_
call_ 🔒is_ mutating - parse_
decimal_ 🔒bigint - parse_
hex_ 🔒bigint - parse_
low_ 🔒level_ call_ data - parse_
signed_ 🔒decimal_ i32 - parse_
u8_ 🔒literal - pow10 🔒
- push_
default_ 🔒for_ storage_ value_ type - push_
default_ 🔒for_ type - push_
default_ 🔒for_ value_ type - resolve_
abi_ 🔒member - resolve_
builtin_ 🔒call - resolve_
call_ 🔒data_ local - resolve_
encode_ 🔒call_ method_ name - resolve_
mapping_ 🔒access - resolve_
native_ 🔒calls_ member - resolve_
neo_ 🔒member - resolve_
runtime_ 🔒member - resolve_
selector_ 🔒method_ name - resolve_
signature_ 🔒string - resolve_
storage_ 🔒member - resolve_
storage_ 🔒reference - resolve_
struct_ 🔒type_ by_ name - resolve_
syscalls_ 🔒member - sanitize_
numeric_ 🔒token - string_
literal_ 🔒bytes - try_
lower_ 🔒address_ balance - try_
lower_ 🔒builtin_ call - try_
lower_ 🔒code_ property - try_
lower_ 🔒current_ key - try_
lower_ 🔒current_ value - try_
lower_ 🔒expression_ assignments - try_
lower_ 🔒expression_ binary_ ops - try_
lower_ 🔒expression_ calls - try_
lower_ 🔒expression_ comparisons - try_
lower_ 🔒expression_ conditional - try_
lower_ 🔒expression_ primary - try_
lower_ 🔒expression_ tuple - try_
lower_ 🔒expression_ unary - try_
lower_ 🔒interface_ id - try_
lower_ 🔒length_ property - try_
lower_ 🔒low_ level_ address_ call - try_
lower_ 🔒member_ builtin - try_
lower_ 🔒member_ call - try_
lower_ 🔒named_ function_ call - Reorder named function call arguments into positional order and delegate to the standard function call lowering path.
- try_
lower_ 🔒native_ contract_ constant - try_
lower_ 🔒nativecalls_ member_ builtin - try_
lower_ 🔒neo_ member_ builtin - try_
lower_ 🔒resolved_ builtin_ call - try_
lower_ 🔒runtime_ member_ access - try_
lower_ 🔒runtime_ member_ builtin - try_
lower_ 🔒selector_ member_ access - try_
lower_ 🔒state_ array_ helpers - try_
lower_ 🔒storage_ array_ helpers - try_
lower_ 🔒storage_ member_ builtin - try_
lower_ 🔒storage_ reference_ array_ helpers - try_
lower_ 🔒struct_ constructor_ call - try_
lower_ 🔒struct_ constructor_ named_ call - try_
lower_ 🔒syscalls_ member_ builtin - try_
lower_ 🔒type_ bound_ max - try_
lower_ 🔒type_ bound_ min - try_
lower_ 🔒type_ concat - Handle
bytes.concat(a, b, ...)andstring.concat(a, b, ...). - try_
lower_ 🔒type_ constructor_ call - try_
lower_ 🔒type_ name - try_
lower_ 🔒value_ transfer_ helpers - try_
lower_ 🔒variable_ call - typeof_
argument 🔒 - unit_
multiplier 🔒 - validate_
pure_ 🔒methods - validate_
runtime_ 🔒notify_ call - validate_
safe_ 🔒methods - value_
type_ 🔒from_ ptype - value_
type_ 🔒satisfies_ manifest_ type - value_
type_ 🔒to_ catch_ guard