[wasm] Verify boundaries of data segments when decoding modules.

src/wasm/wasm-opcodes.h

 // Copyright 2015 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.
 
 #ifndef V8_WASM_OPCODES_H_
 #define V8_WASM_OPCODES_H_
 
 #include "src/machine-type.h"
 #include "src/signature.h"
 
@@ skipping 48 matching lines @@
   // Alignment annotations for memory accesses.
   enum Alignment { kAligned = 0, kUnaligned = 1 };
 
   // Bitfields for the various annotations for memory accesses.
   typedef BitField<Alignment, 7, 1> AlignmentField;
   typedef BitField<Atomicity, 5, 2> AtomicityField;
   typedef BitField<bool, 4, 1> OffsetField;
 };
 
 typedef Signature<LocalType> FunctionSig;
+std::ostream& operator<<(std::ostream& os, const FunctionSig& function);
 
 // Control expressions and blocks.
 #define FOREACH_CONTROL_OPCODE(V) \
   V(Nop, 0x00, _)                 \
   V(Block, 0x01, _)               \
   V(Loop, 0x02, _)                \
   V(If, 0x03, _)                  \
   V(IfElse, 0x04, _)              \
   V(Select, 0x05, _)              \
   V(Br, 0x06, _)                  \
@@ skipping 312 matching lines @@
     } else if (type == MachineType::Float32()) {
       return kAstF32;
     } else if (type == MachineType::Float64()) {
       return kAstF64;
     } else {
       UNREACHABLE();
       return kAstI32;
     }
   }
 
-  // TODO(titzer): remove this method
   static WasmOpcode LoadStoreOpcodeOf(MachineType type, bool store) {
     if (type == MachineType::Int8()) {
       return store ? kExprI32StoreMem8 : kExprI32LoadMem8S;
     } else if (type == MachineType::Uint8()) {
       return store ? kExprI32StoreMem8 : kExprI32LoadMem8U;
     } else if (type == MachineType::Int16()) {
       return store ? kExprI32StoreMem16 : kExprI32LoadMem16S;
     } else if (type == MachineType::Uint16()) {
       return store ? kExprI32StoreMem16 : kExprI32LoadMem16U;
     } else if (type == MachineType::Int32()) {
@@ skipping 55 matching lines @@
       default:
         return "<unknown>";
     }
   }
 };
 }  // namespace wasm
 }  // namespace internal
 }  // namespace v8
 
 #endif  // V8_WASM_OPCODES_H_