Right shift is zero-fill in Dart

[vsmenon]

DDC propagates the sign on a right shift. This appears to violate Dart semantics.

The following prints 1 on the VM / dart2js and -1 in DDC.

void main() {
  var x = 0x80000000;
  print(x >> 31);
}