[turbofan] Adds speculative opcodes for shift right.

src/compiler/verifier.cc

Index: src/compiler/verifier.cc
diff --git a/src/compiler/verifier.cc b/src/compiler/verifier.cc
index 0bbe2928c21d30d069202497984e945eefc69d21..501f7682776a359f19e14870871f9e72006c4c4b 100644
--- a/src/compiler/verifier.cc
+++ b/src/compiler/verifier.cc
@@ -721,6 +721,7 @@ void Verifier::Visitor::Check(Node* node) {
       CheckUpperIs(node, Type::Signed32());
       break;
     case IrOpcode::kSpeculativeNumberShiftLeft:
+    case IrOpcode::kSpeculativeNumberShiftRight:
       CheckUpperIs(node, Type::Signed32());
       break;
     case IrOpcode::kNumberShiftRightLogical:
@@ -729,6 +730,9 @@ void Verifier::Visitor::Check(Node* node) {
       CheckValueInputIs(node, 1, Type::Unsigned32());
       CheckUpperIs(node, Type::Unsigned32());
       break;
+    case IrOpcode::kSpeculativeNumberShiftRightLogical:
+      CheckUpperIs(node, Type::Unsigned32());
+      break;
     case IrOpcode::kNumberImul:
       // (Unsigned32, Unsigned32) -> Signed32
       CheckValueInputIs(node, 0, Type::Unsigned32());