V8. ASM-2-WASM. Changes the asm-types library.

src/wasm/asm-types.h

Index: src/wasm/asm-types.h
diff --git a/src/wasm/asm-types.h b/src/wasm/asm-types.h
index 303e5cdf8893ae26e0d780dedbc0a9ddafc3b654..ba6d0985a84cf2919eabfdb42ac43a0feae1a0c6 100644
--- a/src/wasm/asm-types.h
+++ b/src/wasm/asm-types.h
@@ -47,8 +47,9 @@ class AsmOverloadedFunctionType;
   V(Int32Array, "Int32Array", 19, kAsmHeap)                                   \
   V(Float32Array, "Float32Array", 20, kAsmHeap)                               \
   V(Float64Array, "Float64Array", 21, kAsmHeap)                               \
-  V(FloatishDoubleQ, "floatish|double?", 22, kAsmFloatish | kAsmDoubleQ)      \
-  V(FloatQDoubleQ, "float?|double?", 23, kAsmFloatQ | kAsmDoubleQ)            \
+  /* Pseudo-types used in representing heap access for fp types.*/            \

[bradn, 2016/06/14 20:59:04]

Do you actually end up needing these?

[John, 2016/06/14 21:06:16]

Not yet, but the validator needs to be able to represent these types.

+  V(FloatishDoubleQ, "floatish|double?", 23, kAsmFloatish | kAsmDoubleQ)      \
+  V(FloatQDoubleQ, "float?|double?", 24, kAsmFloatQ | kAsmDoubleQ)            \
   /* None is used to represent errors in the type checker. */                 \
   V(None, "<none>", 31, 0)
 
@@ -200,10 +201,10 @@ class AsmType {
   }
 
   // The type for fround(src).
-  static AsmType* FroundType(Zone* zone, AsmType* src);
+  static AsmType* FroundType(Zone* zone);
 
   // The (variadic) type for min and max.
-  static AsmType* MinMaxType(Zone* zone, AsmType* type);
+  static AsmType* MinMaxType(Zone* zone, AsmType* dest, AsmType* src);
 
   std::string Name();
   // IsExactly returns true if this is the exact same type as that. For