Question on side-effect ordering

[fruffy]

I have the following program snippet:

bit<8> do_something(inout bit<8> some_input) {
    some_input = 8w1;
    return 8w1;
}
control ingress(inout Headers h, inout Meta m, inout standard_metadata_t sm) {
    bit<8> val;
    apply {
        val = 8w3;
        h.h.a = val + do_something(val);
    }
}

which is turned into

bit<8> do_something(inout bit<8> some_input) {
    some_input = 8w1;
    return 8w1;
}
control ingress(inout Headers h, inout Meta m, inout standard_metadata_t sm) {
    bit<8> val;
    bit<8> tmp;
    bit<8> tmp_0;
    apply {
        val = 8w3;
        {
            tmp = do_something(val);
            tmp_0 = val + tmp;
            h.h.a = tmp_0;
        }
    }
}

after side-effect ordering.
From my understanding of the spec, expressions should be evaluated from left to right, i.e. the value of val must be saved before calling do_something. However here, val is evaluated after calling do_something, which would violate my assumption.

Is this transformation correct?

side_effect_ordering.p4.txt
side_effect_ordering.stf.txt

[fruffy]

For completeness sake, another instance of this issue:

2205b.p4.txt
2205b.stf.txt

[fruffy]

This has been fixed by #2352.