[builtins] Introduce proper Float64Cos and Float64Sin.

src/compiler/verifier.cc

Index: src/compiler/verifier.cc
diff --git a/src/compiler/verifier.cc b/src/compiler/verifier.cc
index b4852714cccaee13d7a2acce63d085956630866d..985dc2b9c42a01f0ae1232ba56724e510c5954d3 100644
--- a/src/compiler/verifier.cc
+++ b/src/compiler/verifier.cc
@@ -754,6 +754,7 @@ void Verifier::Visitor::Check(Node* node) {
     case IrOpcode::kNumberFround:
     case IrOpcode::kNumberAtan:
     case IrOpcode::kNumberAtanh:
+    case IrOpcode::kNumberCos:
     case IrOpcode::kNumberExp:
     case IrOpcode::kNumberExpm1:
     case IrOpcode::kNumberLog:
@@ -762,6 +763,7 @@ void Verifier::Visitor::Check(Node* node) {
     case IrOpcode::kNumberLog10:
     case IrOpcode::kNumberCbrt:
     case IrOpcode::kNumberRound:
+    case IrOpcode::kNumberSin:
     case IrOpcode::kNumberSqrt:
     case IrOpcode::kNumberTrunc:
       // Number -> Number
@@ -1075,6 +1077,7 @@ void Verifier::Visitor::Check(Node* node) {
     case IrOpcode::kFloat64Atan:
     case IrOpcode::kFloat64Atan2:
     case IrOpcode::kFloat64Atanh:
+    case IrOpcode::kFloat64Cos:
     case IrOpcode::kFloat64Exp:
     case IrOpcode::kFloat64Expm1:
     case IrOpcode::kFloat64Log:
@@ -1082,6 +1085,7 @@ void Verifier::Visitor::Check(Node* node) {
     case IrOpcode::kFloat64Log2:
     case IrOpcode::kFloat64Log10:
     case IrOpcode::kFloat64Cbrt:
+    case IrOpcode::kFloat64Sin:
     case IrOpcode::kFloat64Sqrt:
     case IrOpcode::kFloat32RoundDown:
     case IrOpcode::kFloat64RoundDown: