[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 e111505ec94c77953b1bf2e0f3051dabe3950f15..49379c84af31c06c843eaf2841d04b8bf250c58d 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());