solang 0.2.1

Solang Solidity Compiler
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73

// RUN: --target solana --emit cfg -Onone --no-cse

contract testing {
    function yul_function() public pure returns (uint256) {
        uint256 c;
        uint256 d;
        assembly {
            // BEGIN-CHECK: # function testing::yul_function_0::early_leave public:false selector: nonpayable:true
            // CHECK: # params: uint256,uint256
            // CHECK: # returns:
            function early_leave(a, b) {
                let x := add(a, b)
                if lt(x, 2) {
                    // CHECK: block1: # then
                    x := sub(a, b)
                    // CHECK: ty:uint256 %x = ((arg #0) - (arg #1))
                    leave
                    // CHECK: return
                }
                // CHECK: block2: # endif
                // CHECK: ty:uint256 %x = (uint256 2 << (arg #0))
                x := shl(a, 2)
                // CHECK: return
            }

            // BEGIN-CHECK: function testing::yul_function_1::single_return public:false selector: nonpayable:true
            // CHECK: # params: uint256,int32
            // CHECK: # returns: uint256
            function single_return(a, b : s32) -> ret1 {
                if lt(a, 2) {
                    // CHECK: block1: # then
                    ret1 := add(sub(a,b), mul(shr(a, 2), 3))
                    // CHECK: ty:uint256 %ret1 = uint256(((int256((arg #0)) - (sext int256 (arg #1))) + int256(((uint256 2 >> (arg #0)) * uint256 3))))
                    leave
                    // CHECK: return %ret1
                }
                // CHECK: block2: # endif
                ret1 := a
                // CHECK: ty:uint256 %ret1 = (arg #0)
                // CHECK: return (arg #0)
            }

            // BEGIN-CHECK: function testing::yul_function_2::multiple_returns public:false selector: nonpayable:true
            // CHECK: # params: uint256,uint256
            // CHECK: # returns: uint64,uint256
            function multiple_returns(a, b) -> ret1 : u64, ret2 {
                if lt(a, 2) {
                // CHECK: block1: # then
                    ret1 := a
                // CHECK: ty:uint64 %ret1 = (trunc uint64 (arg #0))
                    ret2 := b
                // CHECK: ty:uint256 %ret2 = (arg #1)
                    leave
                // CHECK: return (trunc uint64 (arg #0)), (arg #1)
                }
                // CHECK: ty:uint64 %ret1 = (trunc uint64 (arg #1))
                ret1 := b
                // CHECK: ty:uint256 %ret2 = (arg #0)
                ret2 := a
                // CHECK: return (trunc uint64 (arg #1)), (arg #0)
            }

            c := 1
            d := 2
            early_leave(c, d)

            c := single_return(c, d)
            c, d := multiple_returns(c, d)
        }

        return c+d;
    }
}