[wasm][asm.js] Confirm literals are Numbers before using AsNumber, refactor.

test/mjsunit/asm/asm-validation.js

 // Copyright 2016 the V8 project authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 // Flags: --validate-asm --allow-natives-syntax
 
 function assertValidAsm(func) {
   assertTrue(%IsAsmWasmCode(func));
 }
 
@@ skipping 277 matching lines @@
   function Module() {
     "use asm";
     const i = 0xffffffff;
     function foo() { return i; }
     return { foo: foo };
   }
   var m = Module();
   assertTrue(%IsNotAsmWasmCode(Module));
   assertEquals(0xffffffff, m.foo());
 })();
+
+(function TestBadBooleanAnnotation() {
+  function Module() {
+    "use asm";
+    function foo(x) {
+      x = x | true;
+      return x;
+    }
+    return { foo: foo };
+  }
+  var m = Module();
+  assertTrue(%IsNotAsmWasmCode(Module));
+  assertEquals(3, m.foo(3));
+})();
+
+(function TestBadCase() {
+  function Module() {
+    "use asm";
+    function foo(x) {
+      x = x | 0;
+      switch (x|0) {
+        case true:
+          return 42;
+        default:
+          return 43;
+      }
+      return 0;
+    }
+    return { foo: foo };
+  }
+  var m = Module();
+  assertTrue(%IsNotAsmWasmCode(Module));
+  assertEquals(43, m.foo(3));
+})();