[wasm] Only immutable imported globals are valid initializer expressions

test/unittests/wasm/module-decoder-unittest.cc

 // 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.
 
 #include "test/unittests/test-utils.h"
 
 #include "src/handles.h"
 #include "src/objects-inl.h"
 #include "src/wasm/module-decoder.h"
 #include "src/wasm/wasm-macro-gen.h"
@@ skipping 399 matching lines @@
 
     EXPECT_EQ(0, result.val->signatures[0]->parameter_count());
     EXPECT_EQ(1, result.val->signatures[1]->parameter_count());
     EXPECT_EQ(2, result.val->signatures[2]->parameter_count());
   }
   if (result.val) delete result.val;
 
   EXPECT_OFF_END_FAILURE(data, 1, sizeof(data));
 }
 
+TEST_F(WasmModuleVerifyTest, DataSegmentWithImmutableImportedGlobal) {
+  // Import 2 globals so that we can initialize data with a global index != 0.
+  const byte data[] = {
+      SECTION(Import, 15),  // section header
+      2,                    // number of imports
+      NAME_LENGTH(1),       // --
+      'm',                  // module name
+      NAME_LENGTH(1),       // --
+      'f',                  // global name
+      kExternalGlobal,      // import kind
+      kLocalI32,            // type
+      0,                    // mutability
+      NAME_LENGTH(1),       // --
+      'n',                  // module name
+      NAME_LENGTH(1),       // --
+      'g',                  // global name
+      kExternalGlobal,      // import kind
+      kLocalI32,            // type
+      0,                    // mutability
+      SECTION(Memory, 4),
+      ENTRY_COUNT(1),
+      kResizableMaximumFlag,
+      28,
+      28,
+      SECTION(Data, 9),
+      ENTRY_COUNT(1),
+      LINEAR_MEMORY_INDEX_0,
+      WASM_INIT_EXPR_GLOBAL(1),  // dest addr
+      U32V_1(3),                 // source size
+      'a',
+      'b',
+      'c'  // data bytes
+  };
+  ModuleResult result = DecodeModule(data, data + sizeof(data));
+  EXPECT_OK(result);
+  WasmInitExpr expr = result.val->data_segments.back().dest_addr;
+  EXPECT_EQ(WasmInitExpr::kGlobalIndex, expr.kind);
+  EXPECT_EQ(1, expr.val.global_index);
+  if (result.val) delete result.val;
+}
+
+TEST_F(WasmModuleVerifyTest, DataSegmentWithMutableImportedGlobal) {
+  // Only an immutable imported global can be used as an init_expr.
+  const byte data[] = {
+      SECTION(Import, 8),  // section header
+      1,                   // number of imports
+      NAME_LENGTH(1),      // --
+      'm',                 // module name
+      NAME_LENGTH(1),      // --
+      'f',                 // global name
+      kExternalGlobal,     // import kind
+      kLocalI32,           // type
+      1,                   // mutability
+      SECTION(Memory, 4),
+      ENTRY_COUNT(1),
+      kResizableMaximumFlag,
+      28,
+      28,
+      SECTION(Data, 9),
+      ENTRY_COUNT(1),
+      LINEAR_MEMORY_INDEX_0,
+      WASM_INIT_EXPR_GLOBAL(0),  // dest addr
+      U32V_1(3),                 // source size
+      'a',
+      'b',
+      'c'  // data bytes
+  };
+  EXPECT_FAILURE(data);
+}
+TEST_F(WasmModuleVerifyTest, DataSegmentWithImmutableGlobal) {
+  // Only an immutable imported global can be used as an init_expr.
+  const byte data[] = {
+      SECTION(Memory, 4),
+      ENTRY_COUNT(1),
+      kResizableMaximumFlag,
+      28,
+      28,
+      SECTION(Global, 8),  // --
+      1,
+      kLocalI32,                       // local type
+      0,                               // immutable
+      WASM_INIT_EXPR_I32V_3(0x9bbaa),  // init
+      SECTION(Data, 9),
+      ENTRY_COUNT(1),
+      LINEAR_MEMORY_INDEX_0,
+      WASM_INIT_EXPR_GLOBAL(0),  // dest addr
+      U32V_1(3),                 // source size
+      'a',
+      'b',
+      'c'  // data bytes
+  };
+  EXPECT_FAILURE(data);
+}
+
 TEST_F(WasmModuleVerifyTest, OneDataSegment) {
   const byte kDataSegmentSourceOffset = 24;
   const byte data[] = {
       SECTION(Memory, 4),
       ENTRY_COUNT(1),
       kResizableMaximumFlag,
       28,
       28,
       SECTION(Data, 11),
       ENTRY_COUNT(1),
@@ skipping 941 matching lines @@
   }
 
 TEST_F(WasmModuleVerifyTest, InitExpr_illegal) {
   EXPECT_INIT_EXPR_FAIL(WASM_I32V_1(0), WASM_I32V_1(0));
   EXPECT_INIT_EXPR_FAIL(WASM_GET_LOCAL(0));
   EXPECT_INIT_EXPR_FAIL(WASM_SET_LOCAL(0, WASM_I32V_1(0)));
   EXPECT_INIT_EXPR_FAIL(WASM_I32_ADD(WASM_I32V_1(0), WASM_I32V_1(0)));
   EXPECT_INIT_EXPR_FAIL(WASM_IF_ELSE(WASM_ZERO, WASM_ZERO, WASM_ZERO));
 }
 
-TEST_F(WasmModuleVerifyTest, InitExpr_global) {
-  static const byte data[] = {WASM_INIT_EXPR_GLOBAL(37)};
-  WasmInitExpr expr = DecodeWasmInitExprForTesting(data, data + sizeof(data));
-  EXPECT_EQ(WasmInitExpr::kGlobalIndex, expr.kind);
-  EXPECT_EQ(37, expr.val.global_index);
-}
-
 TEST_F(WasmModuleVerifyTest, Multiple_Named_Sections) {
   static const byte data[] = {
       SECTION(Unknown, 4), 1, 'X', 17,  18,                      // --
       SECTION(Unknown, 9), 3, 'f', 'o', 'o', 5,   6,   7, 8, 9,  // --
       SECTION(Unknown, 8), 5, 'o', 't', 'h', 'e', 'r', 7, 8,     // --
   };
   EXPECT_VERIFIES(data);
 }
 
 }  // namespace wasm
 }  // namespace internal
 }  // namespace v8