pragma abicoder               v2;


contract C {
    function f(int32 a, uint32 b) public returns (int32) {
        return a >> b;
    }
}
// ====
// compileToEwasm: also
// ----
// f(int32,uint32): 0xffffff99, 0x00 -> FAILURE
// f(int32,uint32): 0xffffff99, 0x01 -> FAILURE
// f(int32,uint32): 0xffffff99, 0x02 -> FAILURE
// f(int32,uint32): 0xffffff99, 0x04 -> FAILURE
// f(int32,uint32): 0xffffff99, 0x08 -> FAILURE
