solidity/test/libyul/yulControlFlowGraph/for.yul
Daniel Kirchner af61f25e51 Unit tests.
2021-06-14 16:50:06 +02:00

32 lines
671 B
Plaintext

{
sstore(0x01, 0x0101)
for { sstore(0x02, 0x0202) } sload(0x03) { sstore(0x04, 0x0404) } {
sstore(0x05, 0x0505)
}
sstore(0x06, 0x0506)
}
// ----
// Block 0:
// Entries: None
// sstore: [ 0x0101 0x01 ] => [ ]
// sstore: [ 0x0202 0x02 ] => [ ]
// Jump: 1
// Block 1:
// Entries: 0, 2
// sload: [ 0x03 ] => [ TMP[sload, 0] ]
// ConditionalJump TMP[sload, 0]:
// NonZero: 3
// Zero: 4
// Block 2:
// Entries: 3
// sstore: [ 0x0404 0x04 ] => [ ]
// Jump (backwards): 1
// Block 3:
// Entries: 1
// sstore: [ 0x0505 0x05 ] => [ ]
// Jump: 2
// Block 4:
// Entries: 1
// sstore: [ 0x0506 0x06 ] => [ ]
// MainExit