Add signed/unsigned 8-bit and 16-bit Representations

src/hydrogen-instructions.cc

Index: src/hydrogen-instructions.cc
diff --git a/src/hydrogen-instructions.cc b/src/hydrogen-instructions.cc
index 206ab7e2accf5e496b6cd814eb1071c511cb21e7..6f54c398ae81891773341aca75cc72f486fe2584 100644
--- a/src/hydrogen-instructions.cc
+++ b/src/hydrogen-instructions.cc
@@ -2856,8 +2856,17 @@ Range* HShl::InferRange(Zone* zone) {
 
 
 Range* HLoadNamedField::InferRange(Zone* zone) {
-  if (access().representation().IsByte()) {
-    return new(zone) Range(0, 255);
+  if (access().representation().IsInteger8()) {
+    return new(zone) Range(kMinInteger8, kMaxInteger8);
+  }
+  if (access().representation().IsUInteger8()) {
+    return new(zone) Range(kMinUInteger8, kMaxUInteger8);
+  }
+  if (access().representation().IsInteger16()) {
+    return new(zone) Range(kMinInteger16, kMaxInteger16);
+  }
+  if (access().representation().IsUInteger16()) {
+    return new(zone) Range(kMinUInteger16, kMaxUInteger16);
   }
   if (access().IsStringLength()) {
     return new(zone) Range(0, String::kMaxLength);
@@ -2868,16 +2877,15 @@ Range* HLoadNamedField::InferRange(Zone* zone) {
 
 Range* HLoadKeyed::InferRange(Zone* zone) {
   switch (elements_kind()) {
-    case EXTERNAL_PIXEL_ELEMENTS:
-      return new(zone) Range(0, 255);
     case EXTERNAL_BYTE_ELEMENTS:
-      return new(zone) Range(-128, 127);
+      return new(zone) Range(kMinInteger8, kMaxInteger8);
     case EXTERNAL_UNSIGNED_BYTE_ELEMENTS:
-      return new(zone) Range(0, 255);
+    case EXTERNAL_PIXEL_ELEMENTS:
+      return new(zone) Range(kMinUInteger8, kMaxUInteger8);
     case EXTERNAL_SHORT_ELEMENTS:
-      return new(zone) Range(-32768, 32767);
+      return new(zone) Range(kMinInteger16, kMaxInteger16);
     case EXTERNAL_UNSIGNED_SHORT_ELEMENTS:
-      return new(zone) Range(0, 65535);
+      return new(zone) Range(kMinUInteger16, kMaxUInteger16);
     default:
       return HValue::InferRange(zone);
   }