Another missed case of StrengthReduction

[fruffy]

Here is another case where StrengthReduction erroneously removes a function call. This time, it concerns the return value of a function call, which is shifted and sliced.

control ingress(inout Headers h, inout Meta m, inout standard_metadata_t sm) {
    apply {
        h.eth_hdr.eth_type = (do_function(h.eth_hdr.dst_addr) << 8w15)[15:0];
    }
}

strength_reduction_another_case.stf.txt
strength_reduction_another_case.p4.txt