LCOV - code coverage report
Current view: top level - test/cctest/wasm - test-run-wasm.cc (source / functions) Hit Total Coverage
Test: app.info Lines: 2014 2026 99.4 %
Date: 2019-02-19 Functions: 1080 1121 96.3 %

          Line data    Source code
       1             : // Copyright 2015 the V8 project authors. All rights reserved.
       2             : // Use of this source code is governed by a BSD-style license that can be
       3             : // found in the LICENSE file.
       4             : 
       5             : #include <stdint.h>
       6             : #include <stdlib.h>
       7             : #include <string.h>
       8             : 
       9             : #include "src/assembler-inl.h"
      10             : #include "src/base/overflowing-math.h"
      11             : #include "src/base/platform/elapsed-timer.h"
      12             : #include "src/utils.h"
      13             : #include "test/cctest/cctest.h"
      14             : #include "test/cctest/compiler/value-helper.h"
      15             : #include "test/cctest/wasm/wasm-run-utils.h"
      16             : #include "test/common/wasm/test-signatures.h"
      17             : #include "test/common/wasm/wasm-macro-gen.h"
      18             : 
      19             : namespace v8 {
      20             : namespace internal {
      21             : namespace wasm {
      22             : namespace test_run_wasm {
      23             : 
      24             : // for even shorter tests.
      25             : #define B1(a) WASM_BLOCK(a)
      26             : #define B2(a, b) WASM_BLOCK(a, b)
      27             : #define RET(x) x, kExprReturn
      28             : #define RET_I8(x) WASM_I32V_2(x), kExprReturn
      29             : 
      30       25899 : WASM_EXEC_TEST(Int32Const) {
      31          12 :   WasmRunner<int32_t> r(execution_tier);
      32             :   const int32_t kExpectedValue = 0x11223344;
      33             :   // return(kExpectedValue)
      34          12 :   BUILD(r, WASM_I32V_5(kExpectedValue));
      35          12 :   CHECK_EQ(kExpectedValue, r.Call());
      36          12 : }
      37             : 
      38       25899 : WASM_EXEC_TEST(Int32Const_many) {
      39         708 :   FOR_INT32_INPUTS(i) {
      40         696 :     WasmRunner<int32_t> r(execution_tier);
      41             :     const int32_t kExpectedValue = i;
      42             :     // return(kExpectedValue)
      43         696 :     BUILD(r, WASM_I32V(kExpectedValue));
      44         696 :     CHECK_EQ(kExpectedValue, r.Call());
      45         696 :   }
      46          12 : }
      47             : 
      48       25899 : WASM_EXEC_TEST(GraphTrimming) {
      49             :   // This WebAssembly code requires graph trimming in the TurboFan compiler.
      50          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
      51          12 :   BUILD(r, kExprGetLocal, 0, kExprGetLocal, 0, kExprGetLocal, 0, kExprI32RemS,
      52             :         kExprI32Eq, kExprGetLocal, 0, kExprI32DivS, kExprUnreachable);
      53          12 :   r.Call(1);
      54          12 : }
      55             : 
      56       25899 : WASM_EXEC_TEST(Int32Param0) {
      57          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
      58             :   // return(local[0])
      59          12 :   BUILD(r, WASM_GET_LOCAL(0));
      60          12 :   FOR_INT32_INPUTS(i) { CHECK_EQ(i, r.Call(i)); }
      61          12 : }
      62             : 
      63       25899 : WASM_EXEC_TEST(Int32Param0_fallthru) {
      64          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
      65             :   // local[0]
      66          12 :   BUILD(r, WASM_GET_LOCAL(0));
      67          12 :   FOR_INT32_INPUTS(i) { CHECK_EQ(i, r.Call(i)); }
      68          12 : }
      69             : 
      70       25899 : WASM_EXEC_TEST(Int32Param1) {
      71          12 :   WasmRunner<int32_t, int32_t, int32_t> r(execution_tier);
      72             :   // local[1]
      73          12 :   BUILD(r, WASM_GET_LOCAL(1));
      74          12 :   FOR_INT32_INPUTS(i) { CHECK_EQ(i, r.Call(-111, i)); }
      75          12 : }
      76             : 
      77       25899 : WASM_EXEC_TEST(Int32Add) {
      78          12 :   WasmRunner<int32_t> r(execution_tier);
      79             :   // 11 + 44
      80          12 :   BUILD(r, WASM_I32_ADD(WASM_I32V_1(11), WASM_I32V_1(44)));
      81          12 :   CHECK_EQ(55, r.Call());
      82          12 : }
      83             : 
      84       25899 : WASM_EXEC_TEST(Int32Add_P) {
      85          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
      86             :   // p0 + 13
      87          12 :   BUILD(r, WASM_I32_ADD(WASM_I32V_1(13), WASM_GET_LOCAL(0)));
      88         708 :   FOR_INT32_INPUTS(i) { CHECK_EQ(base::AddWithWraparound(i, 13), r.Call(i)); }
      89          12 : }
      90             : 
      91       25899 : WASM_EXEC_TEST(Int32Add_P_fallthru) {
      92          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
      93             :   // p0 + 13
      94          12 :   BUILD(r, WASM_I32_ADD(WASM_I32V_1(13), WASM_GET_LOCAL(0)));
      95         708 :   FOR_INT32_INPUTS(i) { CHECK_EQ(base::AddWithWraparound(i, 13), r.Call(i)); }
      96          12 : }
      97             : 
      98          48 : static void RunInt32AddTest(ExecutionTier execution_tier, const byte* code,
      99             :                             size_t size) {
     100          48 :   TestSignatures sigs;
     101          48 :   WasmRunner<int32_t, int32_t, int32_t> r(execution_tier);
     102          48 :   r.builder().AddSignature(sigs.ii_v());
     103          48 :   r.builder().AddSignature(sigs.iii_v());
     104          48 :   r.Build(code, code + size);
     105        2832 :   FOR_INT32_INPUTS(i) {
     106      164256 :     FOR_INT32_INPUTS(j) {
     107      161472 :       int32_t expected = static_cast<int32_t>(static_cast<uint32_t>(i) +
     108      161472 :                                               static_cast<uint32_t>(j));
     109      161472 :       CHECK_EQ(expected, r.Call(i, j));
     110             :     }
     111          48 :   }
     112          48 : }
     113             : 
     114       25899 : WASM_EXEC_TEST(Int32Add_P2) {
     115             :   EXPERIMENTAL_FLAG_SCOPE(mv);
     116             :   static const byte code[] = {
     117             :       WASM_I32_ADD(WASM_GET_LOCAL(0), WASM_GET_LOCAL(1))};
     118          12 :   RunInt32AddTest(execution_tier, code, sizeof(code));
     119           0 : }
     120             : 
     121       25899 : WASM_EXEC_TEST(Int32Add_block1) {
     122             :   EXPERIMENTAL_FLAG_SCOPE(mv);
     123             :   static const byte code[] = {
     124             :       WASM_BLOCK_X(0, WASM_GET_LOCAL(0), WASM_GET_LOCAL(1)),
     125             :       kExprI32Add};
     126          12 :   RunInt32AddTest(execution_tier, code, sizeof(code));
     127           0 : }
     128             : 
     129       25899 : WASM_EXEC_TEST(Int32Add_block2) {
     130             :   EXPERIMENTAL_FLAG_SCOPE(mv);
     131             :   static const byte code[] = {
     132             :       WASM_BLOCK_X(0, WASM_GET_LOCAL(0), WASM_GET_LOCAL(1), kExprBr, DEPTH_0),
     133             :       kExprI32Add};
     134          12 :   RunInt32AddTest(execution_tier, code, sizeof(code));
     135           0 : }
     136             : 
     137       25899 : WASM_EXEC_TEST(Int32Add_multi_if) {
     138             :   EXPERIMENTAL_FLAG_SCOPE(mv);
     139             :   static const byte code[] = {
     140             :       WASM_IF_ELSE_X(0, WASM_GET_LOCAL(0),
     141             :                      WASM_SEQ(WASM_GET_LOCAL(0), WASM_GET_LOCAL(1)),
     142             :                      WASM_SEQ(WASM_GET_LOCAL(1), WASM_GET_LOCAL(0))),
     143             :       kExprI32Add};
     144          12 :   RunInt32AddTest(execution_tier, code, sizeof(code));
     145           0 : }
     146             : 
     147       25899 : WASM_EXEC_TEST(Float32Add) {
     148          12 :   WasmRunner<int32_t> r(execution_tier);
     149             :   // int(11.5f + 44.5f)
     150          12 :   BUILD(r,
     151             :         WASM_I32_SCONVERT_F32(WASM_F32_ADD(WASM_F32(11.5f), WASM_F32(44.5f))));
     152          12 :   CHECK_EQ(56, r.Call());
     153          12 : }
     154             : 
     155       25899 : WASM_EXEC_TEST(Float64Add) {
     156          12 :   WasmRunner<int32_t> r(execution_tier);
     157             :   // return int(13.5d + 43.5d)
     158          12 :   BUILD(r, WASM_I32_SCONVERT_F64(WASM_F64_ADD(WASM_F64(13.5), WASM_F64(43.5))));
     159          12 :   CHECK_EQ(57, r.Call());
     160          12 : }
     161             : 
     162             : // clang-format messes up the FOR_INT32_INPUTS macros.
     163             : // clang-format off
     164             : template<typename ctype>
     165         300 : static void TestInt32Binop(ExecutionTier execution_tier, WasmOpcode opcode,
     166             :                            ctype(*expected)(ctype, ctype)) {
     167       17700 :   FOR_INT32_INPUTS(i) {
     168     1026600 :     FOR_INT32_INPUTS(j) {
     169     1009200 :       WasmRunner<ctype> r(execution_tier);
     170             :       // Apply {opcode} on two constants.
     171     1009200 :       BUILD(r, WASM_BINOP(opcode, WASM_I32V(i), WASM_I32V(j)));
     172     1009200 :       CHECK_EQ(expected(i, j), r.Call());
     173             :     }
     174             :   }
     175             :   {
     176         300 :     WasmRunner<ctype, ctype, ctype> r(execution_tier);
     177             :     // Apply {opcode} on two parameters.
     178         300 :     BUILD(r, WASM_BINOP(opcode, WASM_GET_LOCAL(0), WASM_GET_LOCAL(1)));
     179       17700 :     FOR_INT32_INPUTS(i) {
     180     1026600 :       FOR_INT32_INPUTS(j) {
     181     1009200 :         CHECK_EQ(expected(i, j), r.Call(i, j));
     182             :       }
     183         300 :     }
     184             :   }
     185         300 : }
     186             : // clang-format on
     187             : 
     188             : #define WASM_I32_BINOP_TEST(expr, ctype, expected)                             \
     189             :   WASM_EXEC_TEST(I32Binop_##expr) {                                            \
     190             :     TestInt32Binop<ctype>(execution_tier, kExprI32##expr,                      \
     191             :                           [](ctype a, ctype b) -> ctype { return expected; }); \
     192             :   }
     193             : 
     194      187359 : WASM_I32_BINOP_TEST(Add, int32_t, base::AddWithWraparound(a, b))
     195      187359 : WASM_I32_BINOP_TEST(Sub, int32_t, base::SubWithWraparound(a, b))
     196      187359 : WASM_I32_BINOP_TEST(Mul, int32_t, base::MulWithWraparound(a, b))
     197      106623 : WASM_I32_BINOP_TEST(DivS, int32_t,
     198             :                     (a == kMinInt && b == -1) || b == 0
     199             :                         ? static_cast<int32_t>(0xDEADBEEF)
     200             :                         : a / b)
     201      106623 : WASM_I32_BINOP_TEST(DivU, uint32_t, b == 0 ? 0xDEADBEEF : a / b)
     202      106623 : WASM_I32_BINOP_TEST(RemS, int32_t, b == 0 ? 0xDEADBEEF : b == -1 ? 0 : a % b)
     203      106623 : WASM_I32_BINOP_TEST(RemU, uint32_t, b == 0 ? 0xDEADBEEF : a % b)
     204      106623 : WASM_I32_BINOP_TEST(And, int32_t, a& b)
     205      106623 : WASM_I32_BINOP_TEST(Ior, int32_t, a | b)
     206      106623 : WASM_I32_BINOP_TEST(Xor, int32_t, a ^ b)
     207      187359 : WASM_I32_BINOP_TEST(Shl, int32_t, base::ShlWithWraparound(a, b))
     208      106623 : WASM_I32_BINOP_TEST(ShrU, uint32_t, a >> (b & 0x1F))
     209      106623 : WASM_I32_BINOP_TEST(ShrS, int32_t, a >> (b & 0x1F))
     210      106623 : WASM_I32_BINOP_TEST(Ror, uint32_t, (a >> (b & 0x1F)) | (a << ((32 - b) & 0x1F)))
     211      106623 : WASM_I32_BINOP_TEST(Rol, uint32_t, (a << (b & 0x1F)) | (a >> ((32 - b) & 0x1F)))
     212      106623 : WASM_I32_BINOP_TEST(Eq, int32_t, a == b)
     213      106623 : WASM_I32_BINOP_TEST(Ne, int32_t, a != b)
     214      106623 : WASM_I32_BINOP_TEST(LtS, int32_t, a < b)
     215      106623 : WASM_I32_BINOP_TEST(LeS, int32_t, a <= b)
     216      106623 : WASM_I32_BINOP_TEST(LtU, uint32_t, a < b)
     217      106623 : WASM_I32_BINOP_TEST(LeU, uint32_t, a <= b)
     218      106623 : WASM_I32_BINOP_TEST(GtS, int32_t, a > b)
     219      106623 : WASM_I32_BINOP_TEST(GeS, int32_t, a >= b)
     220      106623 : WASM_I32_BINOP_TEST(GtU, uint32_t, a > b)
     221      106623 : WASM_I32_BINOP_TEST(GeU, uint32_t, a >= b)
     222             : 
     223             : #undef WASM_I32_BINOP_TEST
     224             : 
     225         912 : void TestInt32Unop(ExecutionTier execution_tier, WasmOpcode opcode,
     226             :                    int32_t expected, int32_t a) {
     227             :   {
     228         912 :     WasmRunner<int32_t> r(execution_tier);
     229             :     // return op K
     230         912 :     BUILD(r, WASM_UNOP(opcode, WASM_I32V(a)));
     231         912 :     CHECK_EQ(expected, r.Call());
     232             :   }
     233             :   {
     234         912 :     WasmRunner<int32_t, int32_t> r(execution_tier);
     235             :     // return op a
     236         912 :     BUILD(r, WASM_UNOP(opcode, WASM_GET_LOCAL(0)));
     237         912 :     CHECK_EQ(expected, r.Call(a));
     238             :   }
     239         912 : }
     240             : 
     241       25899 : WASM_EXEC_TEST(Int32Clz) {
     242          12 :   TestInt32Unop(execution_tier, kExprI32Clz, 0, 0x80001000);
     243          12 :   TestInt32Unop(execution_tier, kExprI32Clz, 1, 0x40000500);
     244          12 :   TestInt32Unop(execution_tier, kExprI32Clz, 2, 0x20000300);
     245          12 :   TestInt32Unop(execution_tier, kExprI32Clz, 3, 0x10000003);
     246          12 :   TestInt32Unop(execution_tier, kExprI32Clz, 4, 0x08050000);
     247          12 :   TestInt32Unop(execution_tier, kExprI32Clz, 5, 0x04006000);
     248          12 :   TestInt32Unop(execution_tier, kExprI32Clz, 6, 0x02000000);
     249          12 :   TestInt32Unop(execution_tier, kExprI32Clz, 7, 0x010000A0);
     250          12 :   TestInt32Unop(execution_tier, kExprI32Clz, 8, 0x00800C00);
     251          12 :   TestInt32Unop(execution_tier, kExprI32Clz, 9, 0x00400000);
     252          12 :   TestInt32Unop(execution_tier, kExprI32Clz, 10, 0x0020000D);
     253          12 :   TestInt32Unop(execution_tier, kExprI32Clz, 11, 0x00100F00);
     254          12 :   TestInt32Unop(execution_tier, kExprI32Clz, 12, 0x00080000);
     255          12 :   TestInt32Unop(execution_tier, kExprI32Clz, 13, 0x00041000);
     256          12 :   TestInt32Unop(execution_tier, kExprI32Clz, 14, 0x00020020);
     257          12 :   TestInt32Unop(execution_tier, kExprI32Clz, 15, 0x00010300);
     258          12 :   TestInt32Unop(execution_tier, kExprI32Clz, 16, 0x00008040);
     259          12 :   TestInt32Unop(execution_tier, kExprI32Clz, 17, 0x00004005);
     260          12 :   TestInt32Unop(execution_tier, kExprI32Clz, 18, 0x00002050);
     261          12 :   TestInt32Unop(execution_tier, kExprI32Clz, 19, 0x00001700);
     262          12 :   TestInt32Unop(execution_tier, kExprI32Clz, 20, 0x00000870);
     263          12 :   TestInt32Unop(execution_tier, kExprI32Clz, 21, 0x00000405);
     264          12 :   TestInt32Unop(execution_tier, kExprI32Clz, 22, 0x00000203);
     265          12 :   TestInt32Unop(execution_tier, kExprI32Clz, 23, 0x00000101);
     266          12 :   TestInt32Unop(execution_tier, kExprI32Clz, 24, 0x00000089);
     267          12 :   TestInt32Unop(execution_tier, kExprI32Clz, 25, 0x00000041);
     268          12 :   TestInt32Unop(execution_tier, kExprI32Clz, 26, 0x00000022);
     269          12 :   TestInt32Unop(execution_tier, kExprI32Clz, 27, 0x00000013);
     270          12 :   TestInt32Unop(execution_tier, kExprI32Clz, 28, 0x00000008);
     271          12 :   TestInt32Unop(execution_tier, kExprI32Clz, 29, 0x00000004);
     272          12 :   TestInt32Unop(execution_tier, kExprI32Clz, 30, 0x00000002);
     273          12 :   TestInt32Unop(execution_tier, kExprI32Clz, 31, 0x00000001);
     274          12 :   TestInt32Unop(execution_tier, kExprI32Clz, 32, 0x00000000);
     275          12 : }
     276             : 
     277       25899 : WASM_EXEC_TEST(Int32Ctz) {
     278          12 :   TestInt32Unop(execution_tier, kExprI32Ctz, 32, 0x00000000);
     279          12 :   TestInt32Unop(execution_tier, kExprI32Ctz, 31, 0x80000000);
     280          12 :   TestInt32Unop(execution_tier, kExprI32Ctz, 30, 0x40000000);
     281          12 :   TestInt32Unop(execution_tier, kExprI32Ctz, 29, 0x20000000);
     282          12 :   TestInt32Unop(execution_tier, kExprI32Ctz, 28, 0x10000000);
     283          12 :   TestInt32Unop(execution_tier, kExprI32Ctz, 27, 0xA8000000);
     284          12 :   TestInt32Unop(execution_tier, kExprI32Ctz, 26, 0xF4000000);
     285          12 :   TestInt32Unop(execution_tier, kExprI32Ctz, 25, 0x62000000);
     286          12 :   TestInt32Unop(execution_tier, kExprI32Ctz, 24, 0x91000000);
     287          12 :   TestInt32Unop(execution_tier, kExprI32Ctz, 23, 0xCD800000);
     288          12 :   TestInt32Unop(execution_tier, kExprI32Ctz, 22, 0x09400000);
     289          12 :   TestInt32Unop(execution_tier, kExprI32Ctz, 21, 0xAF200000);
     290          12 :   TestInt32Unop(execution_tier, kExprI32Ctz, 20, 0xAC100000);
     291          12 :   TestInt32Unop(execution_tier, kExprI32Ctz, 19, 0xE0B80000);
     292          12 :   TestInt32Unop(execution_tier, kExprI32Ctz, 18, 0x9CE40000);
     293          12 :   TestInt32Unop(execution_tier, kExprI32Ctz, 17, 0xC7920000);
     294          12 :   TestInt32Unop(execution_tier, kExprI32Ctz, 16, 0xB8F10000);
     295          12 :   TestInt32Unop(execution_tier, kExprI32Ctz, 15, 0x3B9F8000);
     296          12 :   TestInt32Unop(execution_tier, kExprI32Ctz, 14, 0xDB4C4000);
     297          12 :   TestInt32Unop(execution_tier, kExprI32Ctz, 13, 0xE9A32000);
     298          12 :   TestInt32Unop(execution_tier, kExprI32Ctz, 12, 0xFCA61000);
     299          12 :   TestInt32Unop(execution_tier, kExprI32Ctz, 11, 0x6C8A7800);
     300          12 :   TestInt32Unop(execution_tier, kExprI32Ctz, 10, 0x8CE5A400);
     301          12 :   TestInt32Unop(execution_tier, kExprI32Ctz, 9, 0xCB7D0200);
     302          12 :   TestInt32Unop(execution_tier, kExprI32Ctz, 8, 0xCB4DC100);
     303          12 :   TestInt32Unop(execution_tier, kExprI32Ctz, 7, 0xDFBEC580);
     304          12 :   TestInt32Unop(execution_tier, kExprI32Ctz, 6, 0x27A9DB40);
     305          12 :   TestInt32Unop(execution_tier, kExprI32Ctz, 5, 0xDE3BCB20);
     306          12 :   TestInt32Unop(execution_tier, kExprI32Ctz, 4, 0xD7E8A610);
     307          12 :   TestInt32Unop(execution_tier, kExprI32Ctz, 3, 0x9AFDBC88);
     308          12 :   TestInt32Unop(execution_tier, kExprI32Ctz, 2, 0x9AFDBC84);
     309          12 :   TestInt32Unop(execution_tier, kExprI32Ctz, 1, 0x9AFDBC82);
     310          12 :   TestInt32Unop(execution_tier, kExprI32Ctz, 0, 0x9AFDBC81);
     311          12 : }
     312             : 
     313       25899 : WASM_EXEC_TEST(Int32Popcnt) {
     314          12 :   TestInt32Unop(execution_tier, kExprI32Popcnt, 32, 0xFFFFFFFF);
     315          12 :   TestInt32Unop(execution_tier, kExprI32Popcnt, 0, 0x00000000);
     316          12 :   TestInt32Unop(execution_tier, kExprI32Popcnt, 1, 0x00008000);
     317          12 :   TestInt32Unop(execution_tier, kExprI32Popcnt, 13, 0x12345678);
     318          12 :   TestInt32Unop(execution_tier, kExprI32Popcnt, 19, 0xFEDCBA09);
     319          12 : }
     320             : 
     321       25899 : WASM_EXEC_TEST(I32Eqz) {
     322          12 :   TestInt32Unop(execution_tier, kExprI32Eqz, 0, 1);
     323          12 :   TestInt32Unop(execution_tier, kExprI32Eqz, 0, -1);
     324          12 :   TestInt32Unop(execution_tier, kExprI32Eqz, 0, -827343);
     325          12 :   TestInt32Unop(execution_tier, kExprI32Eqz, 0, 8888888);
     326          12 :   TestInt32Unop(execution_tier, kExprI32Eqz, 1, 0);
     327          12 : }
     328             : 
     329             : 
     330       25899 : WASM_EXEC_TEST(Int32DivS_trap) {
     331          12 :   WasmRunner<int32_t, int32_t, int32_t> r(execution_tier);
     332          12 :   BUILD(r, WASM_I32_DIVS(WASM_GET_LOCAL(0), WASM_GET_LOCAL(1)));
     333             :   const int32_t kMin = std::numeric_limits<int32_t>::min();
     334          12 :   CHECK_EQ(0, r.Call(0, 100));
     335          24 :   CHECK_TRAP(r.Call(100, 0));
     336          24 :   CHECK_TRAP(r.Call(-1001, 0));
     337          24 :   CHECK_TRAP(r.Call(kMin, -1));
     338          24 :   CHECK_TRAP(r.Call(kMin, 0));
     339          12 : }
     340             : 
     341       25899 : WASM_EXEC_TEST(Int32RemS_trap) {
     342          12 :   WasmRunner<int32_t, int32_t, int32_t> r(execution_tier);
     343          12 :   BUILD(r, WASM_I32_REMS(WASM_GET_LOCAL(0), WASM_GET_LOCAL(1)));
     344             :   const int32_t kMin = std::numeric_limits<int32_t>::min();
     345          12 :   CHECK_EQ(33, r.Call(133, 100));
     346          12 :   CHECK_EQ(0, r.Call(kMin, -1));
     347          24 :   CHECK_TRAP(r.Call(100, 0));
     348          24 :   CHECK_TRAP(r.Call(-1001, 0));
     349          24 :   CHECK_TRAP(r.Call(kMin, 0));
     350          12 : }
     351             : 
     352       25899 : WASM_EXEC_TEST(Int32DivU_trap) {
     353          12 :   WasmRunner<int32_t, int32_t, int32_t> r(execution_tier);
     354          12 :   BUILD(r, WASM_I32_DIVU(WASM_GET_LOCAL(0), WASM_GET_LOCAL(1)));
     355             :   const int32_t kMin = std::numeric_limits<int32_t>::min();
     356          12 :   CHECK_EQ(0, r.Call(0, 100));
     357          12 :   CHECK_EQ(0, r.Call(kMin, -1));
     358          24 :   CHECK_TRAP(r.Call(100, 0));
     359          24 :   CHECK_TRAP(r.Call(-1001, 0));
     360          24 :   CHECK_TRAP(r.Call(kMin, 0));
     361          12 : }
     362             : 
     363       25899 : WASM_EXEC_TEST(Int32RemU_trap) {
     364          12 :   WasmRunner<int32_t, int32_t, int32_t> r(execution_tier);
     365          12 :   BUILD(r, WASM_I32_REMU(WASM_GET_LOCAL(0), WASM_GET_LOCAL(1)));
     366          12 :   CHECK_EQ(17, r.Call(217, 100));
     367             :   const int32_t kMin = std::numeric_limits<int32_t>::min();
     368          24 :   CHECK_TRAP(r.Call(100, 0));
     369          24 :   CHECK_TRAP(r.Call(-1001, 0));
     370          24 :   CHECK_TRAP(r.Call(kMin, 0));
     371          12 :   CHECK_EQ(kMin, r.Call(kMin, -1));
     372          12 : }
     373             : 
     374       25899 : WASM_EXEC_TEST(Int32DivS_byzero_const) {
     375         132 :   for (int8_t denom = -2; denom < 8; ++denom) {
     376         120 :     WasmRunner<int32_t, int32_t> r(execution_tier);
     377         120 :     BUILD(r, WASM_I32_DIVS(WASM_GET_LOCAL(0), WASM_I32V_1(denom)));
     378        1920 :     for (int32_t val = -7; val < 8; ++val) {
     379        1800 :       if (denom == 0) {
     380         360 :         CHECK_TRAP(r.Call(val));
     381             :       } else {
     382        1620 :         CHECK_EQ(val / denom, r.Call(val));
     383             :       }
     384             :     }
     385         120 :   }
     386          12 : }
     387             : 
     388       25899 : WASM_EXEC_TEST(Int32AsmjsDivS_byzero_const) {
     389         132 :   for (int8_t denom = -2; denom < 8; ++denom) {
     390         120 :     WasmRunner<int32_t, int32_t> r(execution_tier);
     391             :     r.builder().ChangeOriginToAsmjs();
     392         120 :     BUILD(r, WASM_I32_ASMJS_DIVS(WASM_GET_LOCAL(0), WASM_I32V_1(denom)));
     393        7080 :     FOR_INT32_INPUTS(i) {
     394        6960 :       if (denom == 0) {
     395         696 :         CHECK_EQ(0, r.Call(i));
     396        6264 :       } else if (denom == -1 && i == std::numeric_limits<int32_t>::min()) {
     397          12 :         CHECK_EQ(std::numeric_limits<int32_t>::min(), r.Call(i));
     398             :       } else {
     399        6252 :         CHECK_EQ(i / denom, r.Call(i));
     400             :       }
     401             :     }
     402         120 :   }
     403          12 : }
     404             : 
     405       25899 : WASM_EXEC_TEST(Int32AsmjsRemS_byzero_const) {
     406         132 :   for (int8_t denom = -2; denom < 8; ++denom) {
     407         120 :     WasmRunner<int32_t, int32_t> r(execution_tier);
     408             :     r.builder().ChangeOriginToAsmjs();
     409         120 :     BUILD(r, WASM_I32_ASMJS_REMS(WASM_GET_LOCAL(0), WASM_I32V_1(denom)));
     410        7080 :     FOR_INT32_INPUTS(i) {
     411        6960 :       if (denom == 0) {
     412         696 :         CHECK_EQ(0, r.Call(i));
     413        6264 :       } else if (denom == -1 && i == std::numeric_limits<int32_t>::min()) {
     414          12 :         CHECK_EQ(0, r.Call(i));
     415             :       } else {
     416        6252 :         CHECK_EQ(i % denom, r.Call(i));
     417             :       }
     418             :     }
     419         120 :   }
     420          12 : }
     421             : 
     422       25887 : WASM_EXEC_TEST(Int32DivU_byzero_const) {
     423             :   for (uint32_t denom = 0xFFFFFFFE; denom < 8; ++denom) {
     424             :     WasmRunner<uint32_t, uint32_t> r(execution_tier);
     425             :     BUILD(r, WASM_I32_DIVU(WASM_GET_LOCAL(0), WASM_I32V_1(denom)));
     426             : 
     427             :     for (uint32_t val = 0xFFFFFFF0; val < 8; ++val) {
     428             :       if (denom == 0) {
     429             :         CHECK_TRAP(r.Call(val));
     430             :       } else {
     431             :         CHECK_EQ(val / denom, r.Call(val));
     432             :       }
     433             :     }
     434             :   }
     435           0 : }
     436             : 
     437       25899 : WASM_EXEC_TEST(Int32DivS_trap_effect) {
     438          12 :   WasmRunner<int32_t, int32_t, int32_t> r(execution_tier);
     439          12 :   r.builder().AddMemory(kWasmPageSize);
     440             : 
     441          12 :   BUILD(r, WASM_IF_ELSE_I(
     442             :                WASM_GET_LOCAL(0),
     443             :                WASM_I32_DIVS(
     444             :                    WASM_BLOCK_I(WASM_STORE_MEM(MachineType::Int8(), WASM_ZERO,
     445             :                                                WASM_GET_LOCAL(0)),
     446             :                                 WASM_GET_LOCAL(0)),
     447             :                    WASM_GET_LOCAL(1)),
     448             :                WASM_I32_DIVS(
     449             :                    WASM_BLOCK_I(WASM_STORE_MEM(MachineType::Int8(), WASM_ZERO,
     450             :                                                WASM_GET_LOCAL(0)),
     451             :                                 WASM_GET_LOCAL(0)),
     452             :                    WASM_GET_LOCAL(1))));
     453          12 :   CHECK_EQ(0, r.Call(0, 100));
     454          24 :   CHECK_TRAP(r.Call(8, 0));
     455          24 :   CHECK_TRAP(r.Call(4, 0));
     456          24 :   CHECK_TRAP(r.Call(0, 0));
     457          12 : }
     458             : 
     459          72 : void TestFloat32Binop(ExecutionTier execution_tier, WasmOpcode opcode,
     460             :                       int32_t expected, float a, float b) {
     461             :   {
     462          72 :     WasmRunner<int32_t> r(execution_tier);
     463             :     // return K op K
     464         360 :     BUILD(r, WASM_BINOP(opcode, WASM_F32(a), WASM_F32(b)));
     465          72 :     CHECK_EQ(expected, r.Call());
     466             :   }
     467             :   {
     468          72 :     WasmRunner<int32_t, float, float> r(execution_tier);
     469             :     // return a op b
     470          72 :     BUILD(r, WASM_BINOP(opcode, WASM_GET_LOCAL(0), WASM_GET_LOCAL(1)));
     471          72 :     CHECK_EQ(expected, r.Call(a, b));
     472             :   }
     473          72 : }
     474             : 
     475          48 : void TestFloat32BinopWithConvert(ExecutionTier execution_tier,
     476             :                                  WasmOpcode opcode, int32_t expected, float a,
     477             :                                  float b) {
     478             :   {
     479          48 :     WasmRunner<int32_t> r(execution_tier);
     480             :     // return int(K op K)
     481         240 :     BUILD(r,
     482             :           WASM_I32_SCONVERT_F32(WASM_BINOP(opcode, WASM_F32(a), WASM_F32(b))));
     483          48 :     CHECK_EQ(expected, r.Call());
     484             :   }
     485             :   {
     486          48 :     WasmRunner<int32_t, float, float> r(execution_tier);
     487             :     // return int(a op b)
     488          48 :     BUILD(r, WASM_I32_SCONVERT_F32(
     489             :                  WASM_BINOP(opcode, WASM_GET_LOCAL(0), WASM_GET_LOCAL(1))));
     490          48 :     CHECK_EQ(expected, r.Call(a, b));
     491             :   }
     492          48 : }
     493             : 
     494          48 : void TestFloat32UnopWithConvert(ExecutionTier execution_tier, WasmOpcode opcode,
     495             :                                 int32_t expected, float a) {
     496             :   {
     497          48 :     WasmRunner<int32_t> r(execution_tier);
     498             :     // return int(op(K))
     499         144 :     BUILD(r, WASM_I32_SCONVERT_F32(WASM_UNOP(opcode, WASM_F32(a))));
     500          48 :     CHECK_EQ(expected, r.Call());
     501             :   }
     502             :   {
     503          48 :     WasmRunner<int32_t, float> r(execution_tier);
     504             :     // return int(op(a))
     505          48 :     BUILD(r, WASM_I32_SCONVERT_F32(WASM_UNOP(opcode, WASM_GET_LOCAL(0))));
     506          48 :     CHECK_EQ(expected, r.Call(a));
     507             :   }
     508          48 : }
     509             : 
     510          72 : void TestFloat64Binop(ExecutionTier execution_tier, WasmOpcode opcode,
     511             :                       int32_t expected, double a, double b) {
     512             :   {
     513          72 :     WasmRunner<int32_t> r(execution_tier);
     514             :     // return K op K
     515         216 :     BUILD(r, WASM_BINOP(opcode, WASM_F64(a), WASM_F64(b)));
     516          72 :     CHECK_EQ(expected, r.Call());
     517             :   }
     518             :   {
     519          72 :     WasmRunner<int32_t, double, double> r(execution_tier);
     520             :     // return a op b
     521          72 :     BUILD(r, WASM_BINOP(opcode, WASM_GET_LOCAL(0), WASM_GET_LOCAL(1)));
     522          72 :     CHECK_EQ(expected, r.Call(a, b));
     523             :   }
     524          72 : }
     525             : 
     526          48 : void TestFloat64BinopWithConvert(ExecutionTier execution_tier,
     527             :                                  WasmOpcode opcode, int32_t expected, double a,
     528             :                                  double b) {
     529             :   {
     530          48 :     WasmRunner<int32_t> r(execution_tier);
     531             :     // return int(K op K)
     532         144 :     BUILD(r,
     533             :           WASM_I32_SCONVERT_F64(WASM_BINOP(opcode, WASM_F64(a), WASM_F64(b))));
     534          48 :     CHECK_EQ(expected, r.Call());
     535             :   }
     536             :   {
     537          48 :     WasmRunner<int32_t, double, double> r(execution_tier);
     538          48 :     BUILD(r, WASM_I32_SCONVERT_F64(
     539             :                  WASM_BINOP(opcode, WASM_GET_LOCAL(0), WASM_GET_LOCAL(1))));
     540          48 :     CHECK_EQ(expected, r.Call(a, b));
     541             :   }
     542          48 : }
     543             : 
     544          48 : void TestFloat64UnopWithConvert(ExecutionTier execution_tier, WasmOpcode opcode,
     545             :                                 int32_t expected, double a) {
     546             :   {
     547          48 :     WasmRunner<int32_t> r(execution_tier);
     548             :     // return int(op(K))
     549          96 :     BUILD(r, WASM_I32_SCONVERT_F64(WASM_UNOP(opcode, WASM_F64(a))));
     550          48 :     CHECK_EQ(expected, r.Call());
     551             :   }
     552             :   {
     553          48 :     WasmRunner<int32_t, double> r(execution_tier);
     554             :     // return int(op(a))
     555          48 :     BUILD(r, WASM_I32_SCONVERT_F64(WASM_UNOP(opcode, WASM_GET_LOCAL(0))));
     556          48 :     CHECK_EQ(expected, r.Call(a));
     557             :   }
     558          48 : }
     559             : 
     560       25899 : WASM_EXEC_TEST(Float32Binops) {
     561          12 :   TestFloat32Binop(execution_tier, kExprF32Eq, 1, 8.125f, 8.125f);
     562          12 :   TestFloat32Binop(execution_tier, kExprF32Ne, 1, 8.125f, 8.127f);
     563          12 :   TestFloat32Binop(execution_tier, kExprF32Lt, 1, -9.5f, -9.0f);
     564          12 :   TestFloat32Binop(execution_tier, kExprF32Le, 1, -1111.0f, -1111.0f);
     565          12 :   TestFloat32Binop(execution_tier, kExprF32Gt, 1, -9.0f, -9.5f);
     566          12 :   TestFloat32Binop(execution_tier, kExprF32Ge, 1, -1111.0f, -1111.0f);
     567             : 
     568          12 :   TestFloat32BinopWithConvert(execution_tier, kExprF32Add, 10, 3.5f, 6.5f);
     569          12 :   TestFloat32BinopWithConvert(execution_tier, kExprF32Sub, 2, 44.5f, 42.5f);
     570          12 :   TestFloat32BinopWithConvert(execution_tier, kExprF32Mul, -66, -132.1f, 0.5f);
     571          12 :   TestFloat32BinopWithConvert(execution_tier, kExprF32Div, 11, 22.1f, 2.0f);
     572          12 : }
     573             : 
     574       25899 : WASM_EXEC_TEST(Float32Unops) {
     575          12 :   TestFloat32UnopWithConvert(execution_tier, kExprF32Abs, 8, 8.125f);
     576          12 :   TestFloat32UnopWithConvert(execution_tier, kExprF32Abs, 9, -9.125f);
     577          12 :   TestFloat32UnopWithConvert(execution_tier, kExprF32Neg, -213, 213.125f);
     578          12 :   TestFloat32UnopWithConvert(execution_tier, kExprF32Sqrt, 12, 144.4f);
     579          12 : }
     580             : 
     581       25899 : WASM_EXEC_TEST(Float64Binops) {
     582          12 :   TestFloat64Binop(execution_tier, kExprF64Eq, 1, 16.25, 16.25);
     583          12 :   TestFloat64Binop(execution_tier, kExprF64Ne, 1, 16.25, 16.15);
     584          12 :   TestFloat64Binop(execution_tier, kExprF64Lt, 1, -32.4, 11.7);
     585          12 :   TestFloat64Binop(execution_tier, kExprF64Le, 1, -88.9, -88.9);
     586          12 :   TestFloat64Binop(execution_tier, kExprF64Gt, 1, 11.7, -32.4);
     587          12 :   TestFloat64Binop(execution_tier, kExprF64Ge, 1, -88.9, -88.9);
     588             : 
     589          12 :   TestFloat64BinopWithConvert(execution_tier, kExprF64Add, 100, 43.5, 56.5);
     590             :   TestFloat64BinopWithConvert(execution_tier, kExprF64Sub, 200, 12200.1,
     591          12 :                               12000.1);
     592          12 :   TestFloat64BinopWithConvert(execution_tier, kExprF64Mul, -33, 134, -0.25);
     593          12 :   TestFloat64BinopWithConvert(execution_tier, kExprF64Div, -1111, -2222.3, 2);
     594          12 : }
     595             : 
     596       25899 : WASM_EXEC_TEST(Float64Unops) {
     597          12 :   TestFloat64UnopWithConvert(execution_tier, kExprF64Abs, 108, 108.125);
     598          12 :   TestFloat64UnopWithConvert(execution_tier, kExprF64Abs, 209, -209.125);
     599          12 :   TestFloat64UnopWithConvert(execution_tier, kExprF64Neg, -209, 209.125);
     600          12 :   TestFloat64UnopWithConvert(execution_tier, kExprF64Sqrt, 13, 169.4);
     601          12 : }
     602             : 
     603       25899 : WASM_EXEC_TEST(Float32Neg) {
     604          12 :   WasmRunner<float, float> r(execution_tier);
     605          12 :   BUILD(r, WASM_F32_NEG(WASM_GET_LOCAL(0)));
     606             : 
     607        1392 :   FOR_FLOAT32_INPUTS(i) {
     608        2760 :     CHECK_EQ(0x80000000, bit_cast<uint32_t>(i) ^ bit_cast<uint32_t>(r.Call(i)));
     609          12 :   }
     610          12 : }
     611             : 
     612       25899 : WASM_EXEC_TEST(Float64Neg) {
     613          12 :   WasmRunner<double, double> r(execution_tier);
     614          12 :   BUILD(r, WASM_F64_NEG(WASM_GET_LOCAL(0)));
     615             : 
     616         600 :   FOR_FLOAT64_INPUTS(i) {
     617        1176 :     CHECK_EQ(0x8000000000000000,
     618             :              bit_cast<uint64_t>(i) ^ bit_cast<uint64_t>(r.Call(i)));
     619          12 :   }
     620          12 : }
     621             : 
     622       25899 : WASM_EXEC_TEST(IfElse_P) {
     623          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
     624             :   // if (p0) return 11; else return 22;
     625          12 :   BUILD(r, WASM_IF_ELSE_I(WASM_GET_LOCAL(0),  // --
     626             :                           WASM_I32V_1(11),    // --
     627             :                           WASM_I32V_1(22)));  // --
     628         708 :   FOR_INT32_INPUTS(i) {
     629         696 :     int32_t expected = i ? 11 : 22;
     630         696 :     CHECK_EQ(expected, r.Call(i));
     631          12 :   }
     632          12 : }
     633             : 
     634       25899 : WASM_EXEC_TEST(If_empty1) {
     635          12 :   WasmRunner<uint32_t, uint32_t, uint32_t> r(execution_tier);
     636          12 :   BUILD(r, WASM_GET_LOCAL(0), kExprIf, kLocalVoid, kExprEnd, WASM_GET_LOCAL(1));
     637          12 :   FOR_UINT32_INPUTS(i) { CHECK_EQ(i, r.Call(i - 9, i)); }
     638          12 : }
     639             : 
     640       25899 : WASM_EXEC_TEST(IfElse_empty1) {
     641          12 :   WasmRunner<uint32_t, uint32_t, uint32_t> r(execution_tier);
     642          12 :   BUILD(r, WASM_GET_LOCAL(0), kExprIf, kLocalVoid, kExprElse, kExprEnd,
     643             :         WASM_GET_LOCAL(1));
     644          12 :   FOR_UINT32_INPUTS(i) { CHECK_EQ(i, r.Call(i - 8, i)); }
     645          12 : }
     646             : 
     647       25899 : WASM_EXEC_TEST(IfElse_empty2) {
     648          12 :   WasmRunner<uint32_t, uint32_t, uint32_t> r(execution_tier);
     649          12 :   BUILD(r, WASM_GET_LOCAL(0), kExprIf, kLocalVoid, WASM_NOP, kExprElse,
     650             :         kExprEnd, WASM_GET_LOCAL(1));
     651          12 :   FOR_UINT32_INPUTS(i) { CHECK_EQ(i, r.Call(i - 7, i)); }
     652          12 : }
     653             : 
     654       25899 : WASM_EXEC_TEST(IfElse_empty3) {
     655          12 :   WasmRunner<uint32_t, uint32_t, uint32_t> r(execution_tier);
     656          12 :   BUILD(r, WASM_GET_LOCAL(0), kExprIf, kLocalVoid, kExprElse, WASM_NOP,
     657             :         kExprEnd, WASM_GET_LOCAL(1));
     658          12 :   FOR_UINT32_INPUTS(i) { CHECK_EQ(i, r.Call(i - 6, i)); }
     659          12 : }
     660             : 
     661       25899 : WASM_EXEC_TEST(If_chain1) {
     662          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
     663             :   // if (p0) 13; if (p0) 14; 15
     664          12 :   BUILD(r, WASM_IF(WASM_GET_LOCAL(0), WASM_NOP),
     665             :         WASM_IF(WASM_GET_LOCAL(0), WASM_NOP), WASM_I32V_1(15));
     666          12 :   FOR_INT32_INPUTS(i) { CHECK_EQ(15, r.Call(i)); }
     667          12 : }
     668             : 
     669       25899 : WASM_EXEC_TEST(If_chain_set) {
     670          12 :   WasmRunner<int32_t, int32_t, int32_t> r(execution_tier);
     671             :   // if (p0) p1 = 73; if (p0) p1 = 74; p1
     672          12 :   BUILD(r, WASM_IF(WASM_GET_LOCAL(0), WASM_SET_LOCAL(1, WASM_I32V_2(73))),
     673             :         WASM_IF(WASM_GET_LOCAL(0), WASM_SET_LOCAL(1, WASM_I32V_2(74))),
     674             :         WASM_GET_LOCAL(1));
     675         708 :   FOR_INT32_INPUTS(i) {
     676         696 :     int32_t expected = i ? 74 : i;
     677         696 :     CHECK_EQ(expected, r.Call(i, i));
     678          12 :   }
     679          12 : }
     680             : 
     681       25899 : WASM_EXEC_TEST(IfElse_Unreachable1) {
     682          12 :   WasmRunner<int32_t> r(execution_tier);
     683             :   // 0 ? unreachable : 27
     684          12 :   BUILD(r, WASM_IF_ELSE_I(WASM_ZERO,          // --
     685             :                           WASM_UNREACHABLE,   // --
     686             :                           WASM_I32V_1(27)));  // --
     687          12 :   CHECK_EQ(27, r.Call());
     688          12 : }
     689             : 
     690       25899 : WASM_EXEC_TEST(IfElse_Unreachable2) {
     691          12 :   WasmRunner<int32_t> r(execution_tier);
     692             :   // 1 ? 28 : unreachable
     693          12 :   BUILD(r, WASM_IF_ELSE_I(WASM_I32V_1(1),      // --
     694             :                           WASM_I32V_1(28),     // --
     695             :                           WASM_UNREACHABLE));  // --
     696          12 :   CHECK_EQ(28, r.Call());
     697          12 : }
     698             : 
     699       25899 : WASM_EXEC_TEST(Return12) {
     700          12 :   WasmRunner<int32_t> r(execution_tier);
     701             : 
     702          12 :   BUILD(r, RET_I8(12));
     703          12 :   CHECK_EQ(12, r.Call());
     704          12 : }
     705             : 
     706       25899 : WASM_EXEC_TEST(Return17) {
     707          12 :   WasmRunner<int32_t> r(execution_tier);
     708             : 
     709          12 :   BUILD(r, WASM_BLOCK(RET_I8(17)), WASM_ZERO);
     710          12 :   CHECK_EQ(17, r.Call());
     711          12 : }
     712             : 
     713       25899 : WASM_EXEC_TEST(Return_I32) {
     714          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
     715             : 
     716          12 :   BUILD(r, RET(WASM_GET_LOCAL(0)));
     717             : 
     718          12 :   FOR_INT32_INPUTS(i) { CHECK_EQ(i, r.Call(i)); }
     719          12 : }
     720             : 
     721       25899 : WASM_EXEC_TEST(Return_F32) {
     722          12 :   WasmRunner<float, float> r(execution_tier);
     723             : 
     724          12 :   BUILD(r, RET(WASM_GET_LOCAL(0)));
     725             : 
     726        1392 :   FOR_FLOAT32_INPUTS(i) {
     727             :     float expect = i;
     728        1380 :     float result = r.Call(expect);
     729        1380 :     if (std::isnan(expect)) {
     730          24 :       CHECK(std::isnan(result));
     731             :     } else {
     732        1356 :       CHECK_EQ(expect, result);
     733             :     }
     734          12 :   }
     735          12 : }
     736             : 
     737       25899 : WASM_EXEC_TEST(Return_F64) {
     738          12 :   WasmRunner<double, double> r(execution_tier);
     739             : 
     740          12 :   BUILD(r, RET(WASM_GET_LOCAL(0)));
     741             : 
     742         600 :   FOR_FLOAT64_INPUTS(i) {
     743             :     double expect = i;
     744         588 :     double result = r.Call(expect);
     745         588 :     if (std::isnan(expect)) {
     746          24 :       CHECK(std::isnan(result));
     747             :     } else {
     748         564 :       CHECK_EQ(expect, result);
     749             :     }
     750          12 :   }
     751          12 : }
     752             : 
     753       25899 : WASM_EXEC_TEST(Select_float_parameters) {
     754          12 :   WasmRunner<float, float, float, int32_t> r(execution_tier);
     755             :   // return select(11, 22, a);
     756          12 :   BUILD(r,
     757             :         WASM_SELECT(WASM_GET_LOCAL(0), WASM_GET_LOCAL(1), WASM_GET_LOCAL(2)));
     758          24 :   CHECK_FLOAT_EQ(2.0f, r.Call(2.0f, 1.0f, 1));
     759          12 : }
     760             : 
     761       25899 : WASM_EXEC_TEST(Select) {
     762          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
     763             :   // return select(11, 22, a);
     764          12 :   BUILD(r, WASM_SELECT(WASM_I32V_1(11), WASM_I32V_1(22), WASM_GET_LOCAL(0)));
     765         708 :   FOR_INT32_INPUTS(i) {
     766         696 :     int32_t expected = i ? 11 : 22;
     767         696 :     CHECK_EQ(expected, r.Call(i));
     768          12 :   }
     769          12 : }
     770             : 
     771       25899 : WASM_EXEC_TEST(Select_strict1) {
     772          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
     773             :   // select(a=0, a=1, a=2); return a
     774          12 :   BUILD(r, WASM_SELECT(WASM_TEE_LOCAL(0, WASM_ZERO),
     775             :                        WASM_TEE_LOCAL(0, WASM_I32V_1(1)),
     776             :                        WASM_TEE_LOCAL(0, WASM_I32V_1(2))),
     777             :         WASM_DROP, WASM_GET_LOCAL(0));
     778          12 :   FOR_INT32_INPUTS(i) { CHECK_EQ(2, r.Call(i)); }
     779          12 : }
     780             : 
     781       25899 : WASM_EXEC_TEST(Select_strict2) {
     782          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
     783             :   r.AllocateLocal(kWasmI32);
     784             :   r.AllocateLocal(kWasmI32);
     785             :   // select(b=5, c=6, a)
     786          12 :   BUILD(r, WASM_SELECT(WASM_TEE_LOCAL(1, WASM_I32V_1(5)),
     787             :                        WASM_TEE_LOCAL(2, WASM_I32V_1(6)), WASM_GET_LOCAL(0)));
     788         708 :   FOR_INT32_INPUTS(i) {
     789         696 :     int32_t expected = i ? 5 : 6;
     790         696 :     CHECK_EQ(expected, r.Call(i));
     791          12 :   }
     792          12 : }
     793             : 
     794       25899 : WASM_EXEC_TEST(Select_strict3) {
     795          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
     796             :   r.AllocateLocal(kWasmI32);
     797             :   r.AllocateLocal(kWasmI32);
     798             :   // select(b=5, c=6, a=b)
     799          12 :   BUILD(r, WASM_SELECT(WASM_TEE_LOCAL(1, WASM_I32V_1(5)),
     800             :                        WASM_TEE_LOCAL(2, WASM_I32V_1(6)),
     801             :                        WASM_TEE_LOCAL(0, WASM_GET_LOCAL(1))));
     802         708 :   FOR_INT32_INPUTS(i) {
     803             :     int32_t expected = 5;
     804         696 :     CHECK_EQ(expected, r.Call(i));
     805          12 :   }
     806          12 : }
     807             : 
     808       25899 : WASM_EXEC_TEST(BrIf_strict) {
     809          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
     810          12 :   BUILD(r, WASM_BLOCK_I(WASM_BRV_IF(0, WASM_GET_LOCAL(0),
     811             :                                     WASM_TEE_LOCAL(0, WASM_I32V_2(99)))));
     812             : 
     813          12 :   FOR_INT32_INPUTS(i) { CHECK_EQ(i, r.Call(i)); }
     814          12 : }
     815             : 
     816       25899 : WASM_EXEC_TEST(Br_height) {
     817          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
     818          12 :   BUILD(r, WASM_BLOCK_I(
     819             :                WASM_BLOCK(WASM_BRV_IFD(0, WASM_GET_LOCAL(0), WASM_GET_LOCAL(0)),
     820             :                           WASM_RETURN1(WASM_I32V_1(9))),
     821             :                WASM_BRV(0, WASM_I32V_1(8))));
     822             : 
     823          72 :   for (int32_t i = 0; i < 5; i++) {
     824          60 :     int32_t expected = i != 0 ? 8 : 9;
     825          60 :     CHECK_EQ(expected, r.Call(i));
     826          12 :   }
     827          12 : }
     828             : 
     829       25899 : WASM_EXEC_TEST(Regression_660262) {
     830          12 :   WasmRunner<int32_t> r(execution_tier);
     831          12 :   r.builder().AddMemory(kWasmPageSize);
     832          12 :   BUILD(r, kExprI32Const, 0x00, kExprI32Const, 0x00, kExprI32LoadMem, 0x00,
     833             :         0x0F, kExprBrTable, 0x00, 0x80, 0x00);  // entries=0
     834          12 :   r.Call();
     835          12 : }
     836             : 
     837       25899 : WASM_EXEC_TEST(BrTable0a) {
     838          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
     839          12 :   BUILD(r, B1(B1(WASM_BR_TABLE(WASM_GET_LOCAL(0), 0, BR_TARGET(0)))),
     840             :         WASM_I32V_2(91));
     841          12 :   FOR_INT32_INPUTS(i) { CHECK_EQ(91, r.Call(i)); }
     842          12 : }
     843             : 
     844       25899 : WASM_EXEC_TEST(BrTable0b) {
     845          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
     846          12 :   BUILD(r,
     847             :         B1(B1(WASM_BR_TABLE(WASM_GET_LOCAL(0), 1, BR_TARGET(0), BR_TARGET(0)))),
     848             :         WASM_I32V_2(92));
     849          12 :   FOR_INT32_INPUTS(i) { CHECK_EQ(92, r.Call(i)); }
     850          12 : }
     851             : 
     852       25899 : WASM_EXEC_TEST(BrTable0c) {
     853          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
     854          12 :   BUILD(
     855             :       r,
     856             :       B1(B2(B1(WASM_BR_TABLE(WASM_GET_LOCAL(0), 1, BR_TARGET(0), BR_TARGET(1))),
     857             :             RET_I8(76))),
     858             :       WASM_I32V_2(77));
     859         708 :   FOR_INT32_INPUTS(i) {
     860         696 :     int32_t expected = i == 0 ? 76 : 77;
     861         696 :     CHECK_EQ(expected, r.Call(i));
     862          12 :   }
     863          12 : }
     864             : 
     865       25899 : WASM_EXEC_TEST(BrTable1) {
     866          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
     867          12 :   BUILD(r, B1(WASM_BR_TABLE(WASM_GET_LOCAL(0), 0, BR_TARGET(0))), RET_I8(93));
     868          12 :   FOR_INT32_INPUTS(i) { CHECK_EQ(93, r.Call(i)); }
     869          12 : }
     870             : 
     871       25899 : WASM_EXEC_TEST(BrTable_loop) {
     872          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
     873          12 :   BUILD(r,
     874             :         B2(B1(WASM_LOOP(WASM_BR_TABLE(WASM_INC_LOCAL_BYV(0, 1), 2, BR_TARGET(2),
     875             :                                       BR_TARGET(1), BR_TARGET(0)))),
     876             :            RET_I8(99)),
     877             :         WASM_I32V_2(98));
     878          12 :   CHECK_EQ(99, r.Call(0));
     879          12 :   CHECK_EQ(98, r.Call(-1));
     880          12 :   CHECK_EQ(98, r.Call(-2));
     881          12 :   CHECK_EQ(98, r.Call(-3));
     882          12 :   CHECK_EQ(98, r.Call(-100));
     883          12 : }
     884             : 
     885       25899 : WASM_EXEC_TEST(BrTable_br) {
     886          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
     887          12 :   BUILD(r,
     888             :         B2(B1(WASM_BR_TABLE(WASM_GET_LOCAL(0), 1, BR_TARGET(1), BR_TARGET(0))),
     889             :            RET_I8(91)),
     890             :         WASM_I32V_2(99));
     891          12 :   CHECK_EQ(99, r.Call(0));
     892          12 :   CHECK_EQ(91, r.Call(1));
     893          12 :   CHECK_EQ(91, r.Call(2));
     894          12 :   CHECK_EQ(91, r.Call(3));
     895          12 : }
     896             : 
     897       25899 : WASM_EXEC_TEST(BrTable_br2) {
     898          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
     899             : 
     900          12 :   BUILD(r, B2(B2(B2(B1(WASM_BR_TABLE(WASM_GET_LOCAL(0), 3, BR_TARGET(1),
     901             :                                      BR_TARGET(2), BR_TARGET(3), BR_TARGET(0))),
     902             :                     RET_I8(85)),
     903             :                  RET_I8(86)),
     904             :               RET_I8(87)),
     905             :         WASM_I32V_2(88));
     906          12 :   CHECK_EQ(86, r.Call(0));
     907          12 :   CHECK_EQ(87, r.Call(1));
     908          12 :   CHECK_EQ(88, r.Call(2));
     909          12 :   CHECK_EQ(85, r.Call(3));
     910          12 :   CHECK_EQ(85, r.Call(4));
     911          12 :   CHECK_EQ(85, r.Call(5));
     912          12 : }
     913             : 
     914       25899 : WASM_EXEC_TEST(BrTable4) {
     915          60 :   for (int i = 0; i < 4; ++i) {
     916         192 :     for (int t = 0; t < 4; ++t) {
     917         192 :       uint32_t cases[] = {0, 1, 2, 3};
     918         192 :       cases[i] = t;
     919         768 :       byte code[] = {B2(B2(B2(B2(B1(WASM_BR_TABLE(
     920             :                                      WASM_GET_LOCAL(0), 3, BR_TARGET(cases[0]),
     921             :                                      BR_TARGET(cases[1]), BR_TARGET(cases[2]),
     922             :                                      BR_TARGET(cases[3]))),
     923             :                                  RET_I8(70)),
     924             :                               RET_I8(71)),
     925             :                            RET_I8(72)),
     926             :                         RET_I8(73)),
     927         960 :                      WASM_I32V_2(75)};
     928             : 
     929         192 :       WasmRunner<int32_t, int32_t> r(execution_tier);
     930         192 :       r.Build(code, code + arraysize(code));
     931             : 
     932       10368 :       for (int x = -3; x < 50; ++x) {
     933       10176 :         int index = (x > 3 || x < 0) ? 3 : x;
     934       10176 :         int32_t expected = 70 + cases[index];
     935       10176 :         CHECK_EQ(expected, r.Call(x));
     936             :       }
     937         192 :     }
     938             :   }
     939          12 : }
     940             : 
     941       25899 : WASM_EXEC_TEST(BrTable4x4) {
     942          60 :   for (byte a = 0; a < 4; ++a) {
     943         192 :     for (byte b = 0; b < 4; ++b) {
     944         768 :       for (byte c = 0; c < 4; ++c) {
     945        3072 :         for (byte d = 0; d < 4; ++d) {
     946       12288 :           for (int i = 0; i < 4; ++i) {
     947       12288 :             uint32_t cases[] = {a, b, c, d};
     948             :             byte code[] = {
     949             :                 B2(B2(B2(B2(B1(WASM_BR_TABLE(
     950             :                                 WASM_GET_LOCAL(0), 3, BR_TARGET(cases[0]),
     951             :                                 BR_TARGET(cases[1]), BR_TARGET(cases[2]),
     952             :                                 BR_TARGET(cases[3]))),
     953             :                             RET_I8(50)),
     954             :                          RET_I8(51)),
     955             :                       RET_I8(52)),
     956             :                    RET_I8(53)),
     957       12288 :                 WASM_I32V_2(55)};
     958             : 
     959       12288 :             WasmRunner<int32_t, int32_t> r(execution_tier);
     960       12288 :             r.Build(code, code + arraysize(code));
     961             : 
     962      663552 :             for (int x = -6; x < 47; ++x) {
     963      651264 :               int index = (x > 3 || x < 0) ? 3 : x;
     964      651264 :               int32_t expected = 50 + cases[index];
     965      651264 :               CHECK_EQ(expected, r.Call(x));
     966             :             }
     967       12288 :           }
     968             :         }
     969             :       }
     970             :     }
     971             :   }
     972          12 : }
     973             : 
     974       25899 : WASM_EXEC_TEST(BrTable4_fallthru) {
     975             :   byte code[] = {
     976             :       B2(B2(B2(B2(B1(WASM_BR_TABLE(WASM_GET_LOCAL(0), 3, BR_TARGET(0),
     977             :                                    BR_TARGET(1), BR_TARGET(2), BR_TARGET(3))),
     978             :                   WASM_INC_LOCAL_BY(1, 1)),
     979             :                WASM_INC_LOCAL_BY(1, 2)),
     980             :             WASM_INC_LOCAL_BY(1, 4)),
     981             :          WASM_INC_LOCAL_BY(1, 8)),
     982          12 :       WASM_GET_LOCAL(1)};
     983             : 
     984          12 :   WasmRunner<int32_t, int32_t, int32_t> r(execution_tier);
     985          12 :   r.Build(code, code + arraysize(code));
     986             : 
     987          12 :   CHECK_EQ(15, r.Call(0, 0));
     988          12 :   CHECK_EQ(14, r.Call(1, 0));
     989          12 :   CHECK_EQ(12, r.Call(2, 0));
     990          12 :   CHECK_EQ(8, r.Call(3, 0));
     991          12 :   CHECK_EQ(8, r.Call(4, 0));
     992             : 
     993          12 :   CHECK_EQ(115, r.Call(0, 100));
     994          12 :   CHECK_EQ(114, r.Call(1, 100));
     995          12 :   CHECK_EQ(112, r.Call(2, 100));
     996          12 :   CHECK_EQ(108, r.Call(3, 100));
     997          12 :   CHECK_EQ(108, r.Call(4, 100));
     998          12 : }
     999             : 
    1000       25899 : WASM_EXEC_TEST(BrTable_loop_target) {
    1001             :   byte code[] = {
    1002             :       WASM_LOOP_I(
    1003             :           WASM_BLOCK(
    1004             :               WASM_BR_TABLE(WASM_GET_LOCAL(0), 2,
    1005             :                   BR_TARGET(0), BR_TARGET(1), BR_TARGET(1))),
    1006          12 :           WASM_ONE)};
    1007             : 
    1008          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    1009          12 :   r.Build(code, code + arraysize(code));
    1010             : 
    1011          12 :   CHECK_EQ(1, r.Call(0));
    1012          12 : }
    1013             : 
    1014       25899 : WASM_EXEC_TEST(F32ReinterpretI32) {
    1015          12 :   WasmRunner<int32_t> r(execution_tier);
    1016             :   int32_t* memory =
    1017             :       r.builder().AddMemoryElems<int32_t>(kWasmPageSize / sizeof(int32_t));
    1018             : 
    1019          12 :   BUILD(r, WASM_I32_REINTERPRET_F32(
    1020             :                WASM_LOAD_MEM(MachineType::Float32(), WASM_ZERO)));
    1021             : 
    1022         708 :   FOR_INT32_INPUTS(i) {
    1023             :     int32_t expected = i;
    1024             :     r.builder().WriteMemory(&memory[0], expected);
    1025         696 :     CHECK_EQ(expected, r.Call());
    1026          12 :   }
    1027          12 : }
    1028             : 
    1029       25899 : WASM_EXEC_TEST(I32ReinterpretF32) {
    1030          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    1031         696 :   int32_t* memory =
    1032             :       r.builder().AddMemoryElems<int32_t>(kWasmPageSize / sizeof(int32_t));
    1033             : 
    1034          12 :   BUILD(r, WASM_STORE_MEM(MachineType::Float32(), WASM_ZERO,
    1035             :                           WASM_F32_REINTERPRET_I32(WASM_GET_LOCAL(0))),
    1036             :         WASM_I32V_2(107));
    1037             : 
    1038         708 :   FOR_INT32_INPUTS(i) {
    1039             :     int32_t expected = i;
    1040         696 :     CHECK_EQ(107, r.Call(expected));
    1041         696 :     CHECK_EQ(expected, r.builder().ReadMemory(&memory[0]));
    1042          12 :   }
    1043          12 : }
    1044             : 
    1045             : // Do not run this test in a simulator because of signalling NaN issues on ia32.
    1046             : #ifndef USE_SIMULATOR
    1047             : 
    1048       25899 : WASM_EXEC_TEST(SignallingNanSurvivesI32ReinterpretF32) {
    1049          12 :   WasmRunner<int32_t> r(execution_tier);
    1050             : 
    1051          12 :   BUILD(r, WASM_I32_REINTERPRET_F32(
    1052             :                WASM_SEQ(kExprF32Const, 0x00, 0x00, 0xA0, 0x7F)));
    1053             : 
    1054             :   // This is a signalling nan.
    1055          12 :   CHECK_EQ(0x7FA00000, r.Call());
    1056          12 : }
    1057             : 
    1058             : #endif
    1059             : 
    1060       25899 : WASM_EXEC_TEST(LoadMaxUint32Offset) {
    1061          12 :   WasmRunner<int32_t> r(execution_tier);
    1062          12 :   r.builder().AddMemory(kWasmPageSize);
    1063             : 
    1064          12 :   BUILD(r, WASM_LOAD_MEM_OFFSET(MachineType::Int32(),  // type
    1065             :                                 U32V_5(0xFFFFFFFF),    // offset
    1066             :                                 WASM_ZERO));           // index
    1067             : 
    1068          24 :   CHECK_TRAP32(r.Call());
    1069          12 : }
    1070             : 
    1071       25899 : WASM_EXEC_TEST(LoadStoreLoad) {
    1072          12 :   WasmRunner<int32_t> r(execution_tier);
    1073             :   int32_t* memory =
    1074             :       r.builder().AddMemoryElems<int32_t>(kWasmPageSize / sizeof(int32_t));
    1075             : 
    1076          12 :   BUILD(r, WASM_STORE_MEM(MachineType::Int32(), WASM_ZERO,
    1077             :                           WASM_LOAD_MEM(MachineType::Int32(), WASM_ZERO)),
    1078             :         WASM_LOAD_MEM(MachineType::Int32(), WASM_ZERO));
    1079             : 
    1080         708 :   FOR_INT32_INPUTS(i) {
    1081             :     int32_t expected = i;
    1082             :     r.builder().WriteMemory(&memory[0], expected);
    1083         696 :     CHECK_EQ(expected, r.Call());
    1084          12 :   }
    1085          12 : }
    1086             : 
    1087       25899 : WASM_EXEC_TEST(UnalignedFloat32Load) {
    1088          12 :   WasmRunner<float> r(execution_tier);
    1089          12 :   r.builder().AddMemory(kWasmPageSize);
    1090          12 :   BUILD(r, WASM_LOAD_MEM_ALIGNMENT(MachineType::Float32(), WASM_ONE, 2));
    1091          12 :   r.Call();
    1092          12 : }
    1093             : 
    1094       25899 : WASM_EXEC_TEST(UnalignedFloat64Load) {
    1095          12 :   WasmRunner<double> r(execution_tier);
    1096          12 :   r.builder().AddMemory(kWasmPageSize);
    1097          12 :   BUILD(r, WASM_LOAD_MEM_ALIGNMENT(MachineType::Float64(), WASM_ONE, 3));
    1098          12 :   r.Call();
    1099          12 : }
    1100             : 
    1101       25899 : WASM_EXEC_TEST(UnalignedInt32Load) {
    1102          12 :   WasmRunner<uint32_t> r(execution_tier);
    1103          12 :   r.builder().AddMemory(kWasmPageSize);
    1104          12 :   BUILD(r, WASM_LOAD_MEM_ALIGNMENT(MachineType::Int32(), WASM_ONE, 2));
    1105          12 :   r.Call();
    1106          12 : }
    1107             : 
    1108       25899 : WASM_EXEC_TEST(UnalignedInt32Store) {
    1109          12 :   WasmRunner<int32_t> r(execution_tier);
    1110          12 :   r.builder().AddMemory(kWasmPageSize);
    1111          12 :   BUILD(r, WASM_SEQ(WASM_STORE_MEM_ALIGNMENT(MachineType::Int32(), WASM_ONE, 2,
    1112             :                                              WASM_I32V_1(1)),
    1113             :                     WASM_I32V_1(12)));
    1114          12 :   r.Call();
    1115          12 : }
    1116             : 
    1117       25899 : WASM_EXEC_TEST(UnalignedFloat32Store) {
    1118          12 :   WasmRunner<int32_t> r(execution_tier);
    1119          12 :   r.builder().AddMemory(kWasmPageSize);
    1120          12 :   BUILD(r, WASM_SEQ(WASM_STORE_MEM_ALIGNMENT(MachineType::Float32(), WASM_ONE,
    1121             :                                              2, WASM_F32(1.0)),
    1122             :                     WASM_I32V_1(12)));
    1123          12 :   r.Call();
    1124          12 : }
    1125             : 
    1126       25899 : WASM_EXEC_TEST(UnalignedFloat64Store) {
    1127          12 :   WasmRunner<int32_t> r(execution_tier);
    1128          12 :   r.builder().AddMemory(kWasmPageSize);
    1129          12 :   BUILD(r, WASM_SEQ(WASM_STORE_MEM_ALIGNMENT(MachineType::Float64(), WASM_ONE,
    1130             :                                              3, WASM_F64(1.0)),
    1131             :                     WASM_I32V_1(12)));
    1132          12 :   r.Call();
    1133          12 : }
    1134             : 
    1135       25899 : WASM_EXEC_TEST(VoidReturn1) {
    1136             :   const int32_t kExpected = -414444;
    1137          12 :   WasmRunner<int32_t> r(execution_tier);
    1138             : 
    1139             :   // Build the test function.
    1140          24 :   WasmFunctionCompiler& test_func = r.NewFunction<void>();
    1141          12 :   BUILD(test_func, kExprNop);
    1142             : 
    1143             :   // Build the calling function.
    1144          24 :   BUILD(r, WASM_CALL_FUNCTION0(test_func.function_index()),
    1145             :         WASM_I32V_3(kExpected));
    1146             : 
    1147             :   // Call and check.
    1148          12 :   int32_t result = r.Call();
    1149          12 :   CHECK_EQ(kExpected, result);
    1150          12 : }
    1151             : 
    1152       25899 : WASM_EXEC_TEST(VoidReturn2) {
    1153             :   const int32_t kExpected = -414444;
    1154          12 :   WasmRunner<int32_t> r(execution_tier);
    1155             : 
    1156             :   // Build the test function.
    1157          24 :   WasmFunctionCompiler& test_func = r.NewFunction<void>();
    1158          12 :   BUILD(test_func, WASM_RETURN0);
    1159             : 
    1160             :   // Build the calling function.
    1161          24 :   BUILD(r, WASM_CALL_FUNCTION0(test_func.function_index()),
    1162             :         WASM_I32V_3(kExpected));
    1163             : 
    1164             :   // Call and check.
    1165          12 :   int32_t result = r.Call();
    1166          12 :   CHECK_EQ(kExpected, result);
    1167          12 : }
    1168             : 
    1169       25899 : WASM_EXEC_TEST(BrEmpty) {
    1170          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    1171          12 :   BUILD(r, WASM_BRV(0, WASM_GET_LOCAL(0)));
    1172          12 :   FOR_INT32_INPUTS(i) { CHECK_EQ(i, r.Call(i)); }
    1173          12 : }
    1174             : 
    1175       25899 : WASM_EXEC_TEST(BrIfEmpty) {
    1176          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    1177          12 :   BUILD(r, WASM_BRV_IF(0, WASM_GET_LOCAL(0), WASM_GET_LOCAL(0)));
    1178          12 :   FOR_INT32_INPUTS(i) { CHECK_EQ(i, r.Call(i)); }
    1179          12 : }
    1180             : 
    1181       25899 : WASM_EXEC_TEST(Block_empty) {
    1182          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    1183          12 :   BUILD(r, kExprBlock, kLocalVoid, kExprEnd, WASM_GET_LOCAL(0));
    1184          12 :   FOR_INT32_INPUTS(i) { CHECK_EQ(i, r.Call(i)); }
    1185          12 : }
    1186             : 
    1187       25899 : WASM_EXEC_TEST(Block_empty_br1) {
    1188          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    1189          12 :   BUILD(r, B1(WASM_BR(0)), WASM_GET_LOCAL(0));
    1190          12 :   FOR_INT32_INPUTS(i) { CHECK_EQ(i, r.Call(i)); }
    1191          12 : }
    1192             : 
    1193       25899 : WASM_EXEC_TEST(Block_empty_brif1) {
    1194          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    1195          12 :   BUILD(r, WASM_BLOCK(WASM_BR_IF(0, WASM_ZERO)), WASM_GET_LOCAL(0));
    1196          12 :   FOR_INT32_INPUTS(i) { CHECK_EQ(i, r.Call(i)); }
    1197          12 : }
    1198             : 
    1199       25899 : WASM_EXEC_TEST(Block_empty_brif2) {
    1200          12 :   WasmRunner<uint32_t, uint32_t, uint32_t> r(execution_tier);
    1201          12 :   BUILD(r, WASM_BLOCK(WASM_BR_IF(0, WASM_GET_LOCAL(1))), WASM_GET_LOCAL(0));
    1202          12 :   FOR_UINT32_INPUTS(i) { CHECK_EQ(i, r.Call(i, i + 1)); }
    1203          12 : }
    1204             : 
    1205       25899 : WASM_EXEC_TEST(Block_i) {
    1206          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    1207          12 :   BUILD(r, WASM_BLOCK_I(WASM_GET_LOCAL(0)));
    1208          12 :   FOR_INT32_INPUTS(i) { CHECK_EQ(i, r.Call(i)); }
    1209          12 : }
    1210             : 
    1211       25899 : WASM_EXEC_TEST(Block_f) {
    1212          12 :   WasmRunner<float, float> r(execution_tier);
    1213          12 :   BUILD(r, WASM_BLOCK_F(WASM_GET_LOCAL(0)));
    1214        1392 :   FOR_FLOAT32_INPUTS(i) { CHECK_FLOAT_EQ(i, r.Call(i)); }
    1215          12 : }
    1216             : 
    1217       25899 : WASM_EXEC_TEST(Block_d) {
    1218          12 :   WasmRunner<double, double> r(execution_tier);
    1219          12 :   BUILD(r, WASM_BLOCK_D(WASM_GET_LOCAL(0)));
    1220         600 :   FOR_FLOAT64_INPUTS(i) { CHECK_DOUBLE_EQ(i, r.Call(i)); }
    1221          12 : }
    1222             : 
    1223       25899 : WASM_EXEC_TEST(Block_br2) {
    1224          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    1225          12 :   BUILD(r, WASM_BLOCK_I(WASM_BRV(0, WASM_GET_LOCAL(0))));
    1226          12 :   FOR_UINT32_INPUTS(i) { CHECK_EQ(i, static_cast<uint32_t>(r.Call(i))); }
    1227          12 : }
    1228             : 
    1229       25899 : WASM_EXEC_TEST(Block_If_P) {
    1230          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    1231             :   // block { if (p0) break 51; 52; }
    1232          12 :   BUILD(r, WASM_BLOCK_I(                               // --
    1233             :                WASM_IF(WASM_GET_LOCAL(0),              // --
    1234             :                        WASM_BRV(1, WASM_I32V_1(51))),  // --
    1235             :                WASM_I32V_1(52)));                      // --
    1236         708 :   FOR_INT32_INPUTS(i) {
    1237         696 :     int32_t expected = i ? 51 : 52;
    1238         696 :     CHECK_EQ(expected, r.Call(i));
    1239          12 :   }
    1240          12 : }
    1241             : 
    1242       25899 : WASM_EXEC_TEST(Loop_empty) {
    1243          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    1244          12 :   BUILD(r, kExprLoop, kLocalVoid, kExprEnd, WASM_GET_LOCAL(0));
    1245          12 :   FOR_INT32_INPUTS(i) { CHECK_EQ(i, r.Call(i)); }
    1246          12 : }
    1247             : 
    1248       25899 : WASM_EXEC_TEST(Loop_i) {
    1249          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    1250          12 :   BUILD(r, WASM_LOOP_I(WASM_GET_LOCAL(0)));
    1251          12 :   FOR_INT32_INPUTS(i) { CHECK_EQ(i, r.Call(i)); }
    1252          12 : }
    1253             : 
    1254       25899 : WASM_EXEC_TEST(Loop_f) {
    1255          12 :   WasmRunner<float, float> r(execution_tier);
    1256          12 :   BUILD(r, WASM_LOOP_F(WASM_GET_LOCAL(0)));
    1257        1392 :   FOR_FLOAT32_INPUTS(i) { CHECK_FLOAT_EQ(i, r.Call(i)); }
    1258          12 : }
    1259             : 
    1260       25899 : WASM_EXEC_TEST(Loop_d) {
    1261          12 :   WasmRunner<double, double> r(execution_tier);
    1262          12 :   BUILD(r, WASM_LOOP_D(WASM_GET_LOCAL(0)));
    1263         600 :   FOR_FLOAT64_INPUTS(i) { CHECK_DOUBLE_EQ(i, r.Call(i)); }
    1264          12 : }
    1265             : 
    1266       25899 : WASM_EXEC_TEST(Loop_empty_br1) {
    1267          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    1268          12 :   BUILD(r, B1(WASM_LOOP(WASM_BR(1))), WASM_GET_LOCAL(0));
    1269          12 :   FOR_INT32_INPUTS(i) { CHECK_EQ(i, r.Call(i)); }
    1270          12 : }
    1271             : 
    1272       25899 : WASM_EXEC_TEST(Loop_empty_brif1) {
    1273          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    1274          12 :   BUILD(r, B1(WASM_LOOP(WASM_BR_IF(1, WASM_ZERO))), WASM_GET_LOCAL(0));
    1275          12 :   FOR_INT32_INPUTS(i) { CHECK_EQ(i, r.Call(i)); }
    1276          12 : }
    1277             : 
    1278       25899 : WASM_EXEC_TEST(Loop_empty_brif2) {
    1279          12 :   WasmRunner<uint32_t, uint32_t, uint32_t> r(execution_tier);
    1280          12 :   BUILD(r, WASM_LOOP_I(WASM_BRV_IF(1, WASM_GET_LOCAL(0), WASM_GET_LOCAL(1))));
    1281          12 :   FOR_UINT32_INPUTS(i) { CHECK_EQ(i, r.Call(i, i + 1)); }
    1282          12 : }
    1283             : 
    1284       25899 : WASM_EXEC_TEST(Loop_empty_brif3) {
    1285          12 :   WasmRunner<uint32_t, uint32_t, uint32_t, uint32_t> r(execution_tier);
    1286          12 :   BUILD(r, WASM_LOOP(WASM_BRV_IFD(1, WASM_GET_LOCAL(2), WASM_GET_LOCAL(0))),
    1287             :         WASM_GET_LOCAL(1));
    1288         708 :   FOR_UINT32_INPUTS(i) {
    1289       41064 :     FOR_UINT32_INPUTS(j) {
    1290       40368 :       CHECK_EQ(i, r.Call(0, i, j));
    1291       40368 :       CHECK_EQ(j, r.Call(1, i, j));
    1292             :     }
    1293          12 :   }
    1294          12 : }
    1295             : 
    1296       25899 : WASM_EXEC_TEST(Block_BrIf_P) {
    1297          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    1298          12 :   BUILD(r, WASM_BLOCK_I(WASM_BRV_IFD(0, WASM_I32V_1(51), WASM_GET_LOCAL(0)),
    1299             :                         WASM_I32V_1(52)));
    1300         708 :   FOR_INT32_INPUTS(i) {
    1301         696 :     int32_t expected = i ? 51 : 52;
    1302         696 :     CHECK_EQ(expected, r.Call(i));
    1303          12 :   }
    1304          12 : }
    1305             : 
    1306       25899 : WASM_EXEC_TEST(Block_IfElse_P_assign) {
    1307          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    1308             :   // { if (p0) p0 = 71; else p0 = 72; return p0; }
    1309          12 :   BUILD(r,                                                 // --
    1310             :         WASM_IF_ELSE(WASM_GET_LOCAL(0),                    // --
    1311             :                      WASM_SET_LOCAL(0, WASM_I32V_2(71)),   // --
    1312             :                      WASM_SET_LOCAL(0, WASM_I32V_2(72))),  // --
    1313             :         WASM_GET_LOCAL(0));
    1314         708 :   FOR_INT32_INPUTS(i) {
    1315         696 :     int32_t expected = i ? 71 : 72;
    1316         696 :     CHECK_EQ(expected, r.Call(i));
    1317          12 :   }
    1318          12 : }
    1319             : 
    1320       25899 : WASM_EXEC_TEST(Block_IfElse_P_return) {
    1321          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    1322             :   // if (p0) return 81; else return 82;
    1323          12 :   BUILD(r,                               // --
    1324             :         WASM_IF_ELSE(WASM_GET_LOCAL(0),  // --
    1325             :                      RET_I8(81),         // --
    1326             :                      RET_I8(82)),        // --
    1327             :         WASM_ZERO);                      // --
    1328         708 :   FOR_INT32_INPUTS(i) {
    1329         696 :     int32_t expected = i ? 81 : 82;
    1330         696 :     CHECK_EQ(expected, r.Call(i));
    1331          12 :   }
    1332          12 : }
    1333             : 
    1334       25899 : WASM_EXEC_TEST(Block_If_P_assign) {
    1335          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    1336             :   // { if (p0) p0 = 61; p0; }
    1337          12 :   BUILD(r, WASM_IF(WASM_GET_LOCAL(0), WASM_SET_LOCAL(0, WASM_I32V_1(61))),
    1338             :         WASM_GET_LOCAL(0));
    1339         708 :   FOR_INT32_INPUTS(i) {
    1340         696 :     int32_t expected = i ? 61 : i;
    1341         696 :     CHECK_EQ(expected, r.Call(i));
    1342          12 :   }
    1343          12 : }
    1344             : 
    1345       25899 : WASM_EXEC_TEST(DanglingAssign) {
    1346          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    1347             :   // { return 0; p0 = 0; }
    1348          12 :   BUILD(r, WASM_BLOCK_I(RET_I8(99), WASM_TEE_LOCAL(0, WASM_ZERO)));
    1349          12 :   CHECK_EQ(99, r.Call(1));
    1350          12 : }
    1351             : 
    1352       25899 : WASM_EXEC_TEST(ExprIf_P) {
    1353          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    1354             :   // p0 ? 11 : 22;
    1355          12 :   BUILD(r, WASM_IF_ELSE_I(WASM_GET_LOCAL(0),  // --
    1356             :                           WASM_I32V_1(11),    // --
    1357             :                           WASM_I32V_1(22)));  // --
    1358         708 :   FOR_INT32_INPUTS(i) {
    1359         696 :     int32_t expected = i ? 11 : 22;
    1360         696 :     CHECK_EQ(expected, r.Call(i));
    1361          12 :   }
    1362          12 : }
    1363             : 
    1364       25899 : WASM_EXEC_TEST(CountDown) {
    1365          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    1366          12 :   BUILD(r, WASM_LOOP(WASM_IFB(WASM_GET_LOCAL(0),
    1367             :                               WASM_SET_LOCAL(0, WASM_I32_SUB(WASM_GET_LOCAL(0),
    1368             :                                                              WASM_I32V_1(1))),
    1369             :                               WASM_BR(1))),
    1370             :         WASM_GET_LOCAL(0));
    1371          12 :   CHECK_EQ(0, r.Call(1));
    1372          12 :   CHECK_EQ(0, r.Call(10));
    1373          12 :   CHECK_EQ(0, r.Call(100));
    1374          12 : }
    1375             : 
    1376       25899 : WASM_EXEC_TEST(CountDown_fallthru) {
    1377          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    1378          12 :   BUILD(
    1379             :       r,
    1380             :       WASM_LOOP(
    1381             :           WASM_IF(WASM_NOT(WASM_GET_LOCAL(0)), WASM_BRV(2, WASM_GET_LOCAL(0))),
    1382             :           WASM_SET_LOCAL(0, WASM_I32_SUB(WASM_GET_LOCAL(0), WASM_I32V_1(1))),
    1383             :           WASM_CONTINUE(0)),
    1384             :       WASM_GET_LOCAL(0));
    1385          12 :   CHECK_EQ(0, r.Call(1));
    1386          12 :   CHECK_EQ(0, r.Call(10));
    1387          12 :   CHECK_EQ(0, r.Call(100));
    1388          12 : }
    1389             : 
    1390       25899 : WASM_EXEC_TEST(WhileCountDown) {
    1391          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    1392          12 :   BUILD(r, WASM_WHILE(WASM_GET_LOCAL(0),
    1393             :                       WASM_SET_LOCAL(
    1394             :                           0, WASM_I32_SUB(WASM_GET_LOCAL(0), WASM_I32V_1(1)))),
    1395             :         WASM_GET_LOCAL(0));
    1396          12 :   CHECK_EQ(0, r.Call(1));
    1397          12 :   CHECK_EQ(0, r.Call(10));
    1398          12 :   CHECK_EQ(0, r.Call(100));
    1399          12 : }
    1400             : 
    1401       25899 : WASM_EXEC_TEST(Loop_if_break1) {
    1402          12 :   WasmRunner<int32_t, int32_t, int32_t> r(execution_tier);
    1403          12 :   BUILD(r, WASM_LOOP(WASM_IF(WASM_GET_LOCAL(0), WASM_BRV(2, WASM_GET_LOCAL(1))),
    1404             :                      WASM_SET_LOCAL(0, WASM_I32V_2(99))),
    1405             :         WASM_GET_LOCAL(0));
    1406          12 :   CHECK_EQ(99, r.Call(0, 11));
    1407          12 :   CHECK_EQ(65, r.Call(3, 65));
    1408          12 :   CHECK_EQ(10001, r.Call(10000, 10001));
    1409          12 :   CHECK_EQ(-29, r.Call(-28, -29));
    1410          12 : }
    1411             : 
    1412       25899 : WASM_EXEC_TEST(Loop_if_break2) {
    1413          12 :   WasmRunner<int32_t, int32_t, int32_t> r(execution_tier);
    1414          12 :   BUILD(r, WASM_LOOP(WASM_BRV_IF(1, WASM_GET_LOCAL(1), WASM_GET_LOCAL(0)),
    1415             :                      WASM_DROP, WASM_SET_LOCAL(0, WASM_I32V_2(99))),
    1416             :         WASM_GET_LOCAL(0));
    1417          12 :   CHECK_EQ(99, r.Call(0, 33));
    1418          12 :   CHECK_EQ(3, r.Call(1, 3));
    1419          12 :   CHECK_EQ(10000, r.Call(99, 10000));
    1420          12 :   CHECK_EQ(-29, r.Call(-11, -29));
    1421          12 : }
    1422             : 
    1423       25899 : WASM_EXEC_TEST(Loop_if_break_fallthru) {
    1424          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    1425          12 :   BUILD(r, B1(WASM_LOOP(WASM_IF(WASM_GET_LOCAL(0), WASM_BR(2)),
    1426             :                         WASM_SET_LOCAL(0, WASM_I32V_2(93)))),
    1427             :         WASM_GET_LOCAL(0));
    1428          12 :   CHECK_EQ(93, r.Call(0));
    1429          12 :   CHECK_EQ(3, r.Call(3));
    1430          12 :   CHECK_EQ(10001, r.Call(10001));
    1431          12 :   CHECK_EQ(-22, r.Call(-22));
    1432          12 : }
    1433             : 
    1434       25899 : WASM_EXEC_TEST(Loop_if_break_fallthru2) {
    1435          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    1436          12 :   BUILD(r, B1(B1(WASM_LOOP(WASM_IF(WASM_GET_LOCAL(0), WASM_BR(2)),
    1437             :                            WASM_SET_LOCAL(0, WASM_I32V_2(93))))),
    1438             :         WASM_GET_LOCAL(0));
    1439          12 :   CHECK_EQ(93, r.Call(0));
    1440          12 :   CHECK_EQ(3, r.Call(3));
    1441          12 :   CHECK_EQ(10001, r.Call(10001));
    1442          12 :   CHECK_EQ(-22, r.Call(-22));
    1443          12 : }
    1444             : 
    1445       25899 : WASM_EXEC_TEST(IfBreak1) {
    1446          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    1447          12 :   BUILD(r, WASM_IF(WASM_GET_LOCAL(0), WASM_SEQ(WASM_BR(0), WASM_UNREACHABLE)),
    1448             :         WASM_I32V_2(91));
    1449          12 :   CHECK_EQ(91, r.Call(0));
    1450          12 :   CHECK_EQ(91, r.Call(1));
    1451          12 :   CHECK_EQ(91, r.Call(-8734));
    1452          12 : }
    1453             : 
    1454       25899 : WASM_EXEC_TEST(IfBreak2) {
    1455          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    1456          12 :   BUILD(r, WASM_IF(WASM_GET_LOCAL(0), WASM_SEQ(WASM_BR(0), RET_I8(77))),
    1457             :         WASM_I32V_2(81));
    1458          12 :   CHECK_EQ(81, r.Call(0));
    1459          12 :   CHECK_EQ(81, r.Call(1));
    1460          12 :   CHECK_EQ(81, r.Call(-8734));
    1461          12 : }
    1462             : 
    1463       25899 : WASM_EXEC_TEST(LoadMemI32) {
    1464          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    1465             :   int32_t* memory =
    1466             :       r.builder().AddMemoryElems<int32_t>(kWasmPageSize / sizeof(int32_t));
    1467          12 :   r.builder().RandomizeMemory(1111);
    1468             : 
    1469          12 :   BUILD(r, WASM_LOAD_MEM(MachineType::Int32(), WASM_ZERO));
    1470             : 
    1471             :   r.builder().WriteMemory(&memory[0], 99999999);
    1472          12 :   CHECK_EQ(99999999, r.Call(0));
    1473             : 
    1474             :   r.builder().WriteMemory(&memory[0], 88888888);
    1475          12 :   CHECK_EQ(88888888, r.Call(0));
    1476             : 
    1477             :   r.builder().WriteMemory(&memory[0], 77777777);
    1478          12 :   CHECK_EQ(77777777, r.Call(0));
    1479          12 : }
    1480             : 
    1481       25899 : WASM_EXEC_TEST(LoadMemI32_alignment) {
    1482          48 :   for (byte alignment = 0; alignment <= 2; ++alignment) {
    1483          36 :     WasmRunner<int32_t, int32_t> r(execution_tier);
    1484             :     int32_t* memory =
    1485             :         r.builder().AddMemoryElems<int32_t>(kWasmPageSize / sizeof(int32_t));
    1486          36 :     r.builder().RandomizeMemory(1111);
    1487             : 
    1488          36 :     BUILD(r,
    1489             :           WASM_LOAD_MEM_ALIGNMENT(MachineType::Int32(), WASM_ZERO, alignment));
    1490             : 
    1491             :     r.builder().WriteMemory(&memory[0], 0x1A2B3C4D);
    1492          36 :     CHECK_EQ(0x1A2B3C4D, r.Call(0));
    1493             : 
    1494             :     r.builder().WriteMemory(&memory[0], 0x5E6F7A8B);
    1495          36 :     CHECK_EQ(0x5E6F7A8B, r.Call(0));
    1496             : 
    1497             :     r.builder().WriteMemory(&memory[0], 0x7CA0B1C2);
    1498          36 :     CHECK_EQ(0x7CA0B1C2, r.Call(0));
    1499          36 :   }
    1500          12 : }
    1501             : 
    1502       25899 : WASM_EXEC_TEST(LoadMemI32_oob) {
    1503          12 :   WasmRunner<int32_t, uint32_t> r(execution_tier);
    1504             :   int32_t* memory =
    1505             :       r.builder().AddMemoryElems<int32_t>(kWasmPageSize / sizeof(int32_t));
    1506          12 :   r.builder().RandomizeMemory(1111);
    1507             : 
    1508          12 :   BUILD(r, WASM_LOAD_MEM(MachineType::Int32(), WASM_GET_LOCAL(0)));
    1509             : 
    1510             :   r.builder().WriteMemory(&memory[0], 88888888);
    1511          12 :   CHECK_EQ(88888888, r.Call(0u));
    1512         516 :   for (uint32_t offset = kWasmPageSize - 3; offset < kWasmPageSize + 40;
    1513             :        ++offset) {
    1514        1032 :     CHECK_TRAP(r.Call(offset));
    1515             :   }
    1516             : 
    1517         192 :   for (uint32_t offset = 0x80000000; offset < 0x80000010; ++offset) {
    1518         384 :     CHECK_TRAP(r.Call(offset));
    1519          12 :   }
    1520          12 : }
    1521             : 
    1522       25899 : WASM_EXEC_TEST(LoadMem_offset_oob) {
    1523             :   static const MachineType machineTypes[] = {
    1524             :       MachineType::Int8(),   MachineType::Uint8(),  MachineType::Int16(),
    1525             :       MachineType::Uint16(), MachineType::Int32(),  MachineType::Uint32(),
    1526             :       MachineType::Int64(),  MachineType::Uint64(), MachineType::Float32(),
    1527             :       MachineType::Float64()};
    1528             : 
    1529             :   constexpr size_t num_bytes = kWasmPageSize;
    1530             : 
    1531         132 :   for (size_t m = 0; m < arraysize(machineTypes); ++m) {
    1532         120 :     WasmRunner<int32_t, uint32_t> r(execution_tier);
    1533             :     r.builder().AddMemoryElems<byte>(num_bytes);
    1534         120 :     r.builder().RandomizeMemory(1116 + static_cast<int>(m));
    1535             : 
    1536             :     constexpr byte offset = 8;
    1537             :     uint32_t boundary =
    1538         240 :         num_bytes - offset - ValueTypes::MemSize(machineTypes[m]);
    1539             : 
    1540         120 :     BUILD(r, WASM_LOAD_MEM_OFFSET(machineTypes[m], offset, WASM_GET_LOCAL(0)),
    1541             :           WASM_DROP, WASM_ZERO);
    1542             : 
    1543         120 :     CHECK_EQ(0, r.Call(boundary));  // in bounds.
    1544             : 
    1545        2280 :     for (uint32_t offset = boundary + 1; offset < boundary + 19; ++offset) {
    1546        4320 :       CHECK_TRAP(r.Call(offset));  // out of bounds.
    1547             :     }
    1548         120 :   }
    1549          12 : }
    1550             : 
    1551       25899 : WASM_EXEC_TEST(LoadMemI32_offset) {
    1552          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    1553             :   int32_t* memory =
    1554             :       r.builder().AddMemoryElems<int32_t>(kWasmPageSize / sizeof(int32_t));
    1555          12 :   r.builder().RandomizeMemory(1111);
    1556             : 
    1557          12 :   BUILD(r, WASM_LOAD_MEM_OFFSET(MachineType::Int32(), 4, WASM_GET_LOCAL(0)));
    1558             : 
    1559             :   r.builder().WriteMemory(&memory[0], 66666666);
    1560          12 :   r.builder().WriteMemory(&memory[1], 77777777);
    1561          12 :   r.builder().WriteMemory(&memory[2], 88888888);
    1562          12 :   r.builder().WriteMemory(&memory[3], 99999999);
    1563          12 :   CHECK_EQ(77777777, r.Call(0));
    1564          12 :   CHECK_EQ(88888888, r.Call(4));
    1565          12 :   CHECK_EQ(99999999, r.Call(8));
    1566             : 
    1567             :   r.builder().WriteMemory(&memory[0], 11111111);
    1568             :   r.builder().WriteMemory(&memory[1], 22222222);
    1569             :   r.builder().WriteMemory(&memory[2], 33333333);
    1570             :   r.builder().WriteMemory(&memory[3], 44444444);
    1571          12 :   CHECK_EQ(22222222, r.Call(0));
    1572          12 :   CHECK_EQ(33333333, r.Call(4));
    1573          12 :   CHECK_EQ(44444444, r.Call(8));
    1574          12 : }
    1575             : 
    1576       25899 : WASM_EXEC_TEST(LoadMemI32_const_oob_misaligned) {
    1577             :   // This test accesses memory starting at kRunwayLength bytes before the end of
    1578             :   // the memory until a few bytes beyond.
    1579             :   constexpr byte kRunwayLength = 12;
    1580             :   // TODO(titzer): Fix misaligned accesses on MIPS and re-enable.
    1581         216 :   for (byte offset = 0; offset < kRunwayLength + 5; ++offset) {
    1582        3468 :     for (uint32_t index = kWasmPageSize - kRunwayLength;
    1583             :          index < kWasmPageSize + 5; ++index) {
    1584        3468 :       WasmRunner<int32_t> r(execution_tier);
    1585             :       r.builder().AddMemoryElems<byte>(kWasmPageSize);
    1586        3468 :       r.builder().RandomizeMemory();
    1587             : 
    1588        3468 :       BUILD(r, WASM_LOAD_MEM_OFFSET(MachineType::Int32(), offset,
    1589             :                                     WASM_I32V_3(index)));
    1590             : 
    1591        3468 :       if (offset + index + sizeof(int32_t) <= kWasmPageSize) {
    1592        1080 :         CHECK_EQ(r.builder().raw_val_at<int32_t>(offset + index), r.Call());
    1593             :       } else {
    1594        5856 :         CHECK_TRAP(r.Call());
    1595             :       }
    1596        3468 :     }
    1597             :   }
    1598          12 : }
    1599             : 
    1600       25899 : WASM_EXEC_TEST(LoadMemI32_const_oob) {
    1601             :   // This test accesses memory starting at kRunwayLength bytes before the end of
    1602             :   // the memory until a few bytes beyond.
    1603             :   constexpr byte kRunwayLength = 24;
    1604         108 :   for (byte offset = 0; offset < kRunwayLength + 5; offset += 4) {
    1605         768 :     for (uint32_t index = kWasmPageSize - kRunwayLength;
    1606             :          index < kWasmPageSize + 5; index += 4) {
    1607         768 :       WasmRunner<int32_t> r(execution_tier);
    1608             :       r.builder().AddMemoryElems<byte>(kWasmPageSize);
    1609         768 :       r.builder().RandomizeMemory();
    1610             : 
    1611         768 :       BUILD(r, WASM_LOAD_MEM_OFFSET(MachineType::Int32(), offset,
    1612             :                                     WASM_I32V_3(index)));
    1613             : 
    1614         768 :       if (offset + index + sizeof(int32_t) <= kWasmPageSize) {
    1615         504 :         CHECK_EQ(r.builder().raw_val_at<int32_t>(offset + index), r.Call());
    1616             :       } else {
    1617        1032 :         CHECK_TRAP(r.Call());
    1618             :       }
    1619         768 :     }
    1620             :   }
    1621          12 : }
    1622             : 
    1623       25899 : WASM_EXEC_TEST(StoreMemI32_alignment) {
    1624             :   const int32_t kWritten = 0x12345678;
    1625             : 
    1626          48 :   for (byte i = 0; i <= 2; ++i) {
    1627          36 :     WasmRunner<int32_t, int32_t> r(execution_tier);
    1628          36 :     int32_t* memory =
    1629             :         r.builder().AddMemoryElems<int32_t>(kWasmPageSize / sizeof(int32_t));
    1630          36 :     BUILD(r, WASM_STORE_MEM_ALIGNMENT(MachineType::Int32(), WASM_ZERO, i,
    1631             :                                       WASM_GET_LOCAL(0)),
    1632             :           WASM_GET_LOCAL(0));
    1633          36 :     r.builder().RandomizeMemory(1111);
    1634          36 :     memory[0] = 0;
    1635             : 
    1636          36 :     CHECK_EQ(kWritten, r.Call(kWritten));
    1637          36 :     CHECK_EQ(kWritten, r.builder().ReadMemory(&memory[0]));
    1638          36 :   }
    1639          12 : }
    1640             : 
    1641       25899 : WASM_EXEC_TEST(StoreMemI32_offset) {
    1642          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    1643          24 :   int32_t* memory =
    1644             :       r.builder().AddMemoryElems<int32_t>(kWasmPageSize / sizeof(int32_t));
    1645             :   const int32_t kWritten = 0xAABBCCDD;
    1646             : 
    1647          12 :   BUILD(r, WASM_STORE_MEM_OFFSET(MachineType::Int32(), 4, WASM_GET_LOCAL(0),
    1648             :                                  WASM_I32V_5(kWritten)),
    1649             :         WASM_I32V_5(kWritten));
    1650             : 
    1651          36 :   for (int i = 0; i < 2; ++i) {
    1652          24 :     r.builder().RandomizeMemory(1111);
    1653             :     r.builder().WriteMemory(&memory[0], 66666666);
    1654          48 :     r.builder().WriteMemory(&memory[1], 77777777);
    1655          48 :     r.builder().WriteMemory(&memory[2], 88888888);
    1656          48 :     r.builder().WriteMemory(&memory[3], 99999999);
    1657          24 :     CHECK_EQ(kWritten, r.Call(i * 4));
    1658          24 :     CHECK_EQ(66666666, r.builder().ReadMemory(&memory[0]));
    1659          24 :     CHECK_EQ(i == 0 ? kWritten : 77777777, r.builder().ReadMemory(&memory[1]));
    1660          24 :     CHECK_EQ(i == 1 ? kWritten : 88888888, r.builder().ReadMemory(&memory[2]));
    1661          24 :     CHECK_EQ(i == 2 ? kWritten : 99999999, r.builder().ReadMemory(&memory[3]));
    1662          12 :   }
    1663          12 : }
    1664             : 
    1665       25899 : WASM_EXEC_TEST(StoreMem_offset_oob) {
    1666             :   // 64-bit cases are handled in test-run-wasm-64.cc
    1667             :   static const MachineType machineTypes[] = {
    1668             :       MachineType::Int8(),    MachineType::Uint8(),  MachineType::Int16(),
    1669             :       MachineType::Uint16(),  MachineType::Int32(),  MachineType::Uint32(),
    1670             :       MachineType::Float32(), MachineType::Float64()};
    1671             : 
    1672             :   constexpr size_t num_bytes = kWasmPageSize;
    1673             : 
    1674         108 :   for (size_t m = 0; m < arraysize(machineTypes); ++m) {
    1675          96 :     WasmRunner<int32_t, uint32_t> r(execution_tier);
    1676             :     byte* memory = r.builder().AddMemoryElems<byte>(num_bytes);
    1677             : 
    1678          96 :     r.builder().RandomizeMemory(1119 + static_cast<int>(m));
    1679             : 
    1680          96 :     BUILD(r, WASM_STORE_MEM_OFFSET(machineTypes[m], 8, WASM_GET_LOCAL(0),
    1681             :                                    WASM_LOAD_MEM(machineTypes[m], WASM_ZERO)),
    1682             :           WASM_ZERO);
    1683             : 
    1684          96 :     byte memsize = ValueTypes::MemSize(machineTypes[m]);
    1685          96 :     uint32_t boundary = num_bytes - 8 - memsize;
    1686          96 :     CHECK_EQ(0, r.Call(boundary));  // in bounds.
    1687          96 :     CHECK_EQ(0, memcmp(&memory[0], &memory[8 + boundary], memsize));
    1688             : 
    1689        1824 :     for (uint32_t offset = boundary + 1; offset < boundary + 19; ++offset) {
    1690        3456 :       CHECK_TRAP(r.Call(offset));  // out of bounds.
    1691             :     }
    1692          96 :   }
    1693          12 : }
    1694             : 
    1695       25899 : WASM_EXEC_TEST(Store_i32_narrowed) {
    1696             :   constexpr byte kOpcodes[] = {kExprI32StoreMem8, kExprI32StoreMem16,
    1697          12 :                                kExprI32StoreMem};
    1698             :   int stored_size_in_bytes = 0;
    1699          48 :   for (auto opcode : kOpcodes) {
    1700          72 :     stored_size_in_bytes = std::max(1, stored_size_in_bytes * 2);
    1701             :     constexpr int kBytes = 24;
    1702          36 :     uint8_t expected_memory[kBytes] = {0};
    1703          36 :     WasmRunner<int32_t, int32_t, int32_t> r(execution_tier);
    1704             :     uint8_t* memory = r.builder().AddMemoryElems<uint8_t>(kWasmPageSize);
    1705             :     constexpr uint32_t kPattern = 0x12345678;
    1706             : 
    1707          36 :     BUILD(r, WASM_GET_LOCAL(0),                 // index
    1708             :           WASM_GET_LOCAL(1),                    // value
    1709             :           opcode, ZERO_ALIGNMENT, ZERO_OFFSET,  // store
    1710             :           WASM_ZERO);                           // return value
    1711             : 
    1712         852 :     for (int i = 0; i <= kBytes - stored_size_in_bytes; ++i) {
    1713         816 :       uint32_t pattern = base::bits::RotateLeft32(kPattern, i % 32);
    1714         816 :       r.Call(i, pattern);
    1715        2664 :       for (int b = 0; b < stored_size_in_bytes; ++b) {
    1716        1848 :         expected_memory[i + b] = static_cast<uint8_t>(pattern >> (b * 8));
    1717             :       }
    1718       19584 :       for (int w = 0; w < kBytes; ++w) {
    1719       19584 :         CHECK_EQ(expected_memory[w], memory[w]);
    1720             :       }
    1721             :     }
    1722          36 :   }
    1723          12 : }
    1724             : 
    1725       25899 : WASM_EXEC_TEST(LoadMemI32_P) {
    1726             :   const int kNumElems = 8;
    1727          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    1728             :   int32_t* memory =
    1729             :       r.builder().AddMemoryElems<int32_t>(kWasmPageSize / sizeof(int32_t));
    1730          12 :   r.builder().RandomizeMemory(2222);
    1731             : 
    1732          12 :   BUILD(r, WASM_LOAD_MEM(MachineType::Int32(), WASM_GET_LOCAL(0)));
    1733             : 
    1734         108 :   for (int i = 0; i < kNumElems; ++i) {
    1735          96 :     CHECK_EQ(r.builder().ReadMemory(&memory[i]), r.Call(i * 4));
    1736          12 :   }
    1737          12 : }
    1738             : 
    1739       25899 : WASM_EXEC_TEST(MemI32_Sum) {
    1740             :   const int kNumElems = 20;
    1741          12 :   WasmRunner<uint32_t, int32_t> r(execution_tier);
    1742             :   uint32_t* memory =
    1743             :       r.builder().AddMemoryElems<uint32_t>(kWasmPageSize / sizeof(int32_t));
    1744             :   const byte kSum = r.AllocateLocal(kWasmI32);
    1745             : 
    1746          12 :   BUILD(r, WASM_WHILE(
    1747             :                WASM_GET_LOCAL(0),
    1748             :                WASM_BLOCK(
    1749             :                    WASM_SET_LOCAL(
    1750             :                        kSum, WASM_I32_ADD(WASM_GET_LOCAL(kSum),
    1751             :                                           WASM_LOAD_MEM(MachineType::Int32(),
    1752             :                                                         WASM_GET_LOCAL(0)))),
    1753             :                    WASM_SET_LOCAL(
    1754             :                        0, WASM_I32_SUB(WASM_GET_LOCAL(0), WASM_I32V_1(4))))),
    1755             :         WASM_GET_LOCAL(1));
    1756             : 
    1757             :   // Run 4 trials.
    1758          48 :   for (int i = 0; i < 3; ++i) {
    1759          36 :     r.builder().RandomizeMemory(i * 33);
    1760             :     uint32_t expected = 0;
    1761         720 :     for (size_t j = kNumElems - 1; j > 0; --j) {
    1762         684 :       expected += r.builder().ReadMemory(&memory[j]);
    1763             :     }
    1764          36 :     uint32_t result = r.Call(4 * (kNumElems - 1));
    1765          36 :     CHECK_EQ(expected, result);
    1766          12 :   }
    1767          12 : }
    1768             : 
    1769       25899 : WASM_EXEC_TEST(CheckMachIntsZero) {
    1770             :   const int kNumElems = 55;
    1771          12 :   WasmRunner<uint32_t, int32_t> r(execution_tier);
    1772             :   r.builder().AddMemoryElems<uint32_t>(kWasmPageSize / sizeof(uint32_t));
    1773             : 
    1774          12 :   BUILD(r,                               // --
    1775             :         /**/ kExprLoop, kLocalVoid,      // --
    1776             :         /*  */ kExprGetLocal, 0,         // --
    1777             :         /*  */ kExprIf, kLocalVoid,      // --
    1778             :         /*    */ kExprGetLocal, 0,       // --
    1779             :         /*    */ kExprI32LoadMem, 0, 0,  // --
    1780             :         /*    */ kExprIf, kLocalVoid,    // --
    1781             :         /*      */ kExprI32Const, 127,   // --
    1782             :         /*      */ kExprReturn,          // --
    1783             :         /*    */ kExprEnd,               // --
    1784             :         /*    */ kExprGetLocal, 0,       // --
    1785             :         /*    */ kExprI32Const, 4,       // --
    1786             :         /*    */ kExprI32Sub,            // --
    1787             :         /*    */ kExprTeeLocal, 0,       // --
    1788             :         /*    */ kExprBr, DEPTH_0,       // --
    1789             :         /*  */ kExprEnd,                 // --
    1790             :         /**/ kExprEnd,                   // --
    1791             :         /**/ kExprI32Const, 0);          // --
    1792             : 
    1793             :   r.builder().BlankMemory();
    1794          12 :   CHECK_EQ(0, r.Call((kNumElems - 1) * 4));
    1795          12 : }
    1796             : 
    1797       25899 : WASM_EXEC_TEST(MemF32_Sum) {
    1798             :   const int kSize = 5;
    1799          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    1800             :   r.builder().AddMemoryElems<float>(kWasmPageSize / sizeof(float));
    1801          24 :   float* buffer = r.builder().raw_mem_start<float>();
    1802             :   r.builder().WriteMemory(&buffer[0], -99.25f);
    1803          12 :   r.builder().WriteMemory(&buffer[1], -888.25f);
    1804          12 :   r.builder().WriteMemory(&buffer[2], -77.25f);
    1805          12 :   r.builder().WriteMemory(&buffer[3], 66666.25f);
    1806          12 :   r.builder().WriteMemory(&buffer[4], 5555.25f);
    1807             :   const byte kSum = r.AllocateLocal(kWasmF32);
    1808             : 
    1809          12 :   BUILD(r, WASM_WHILE(
    1810             :                WASM_GET_LOCAL(0),
    1811             :                WASM_BLOCK(
    1812             :                    WASM_SET_LOCAL(
    1813             :                        kSum, WASM_F32_ADD(WASM_GET_LOCAL(kSum),
    1814             :                                           WASM_LOAD_MEM(MachineType::Float32(),
    1815             :                                                         WASM_GET_LOCAL(0)))),
    1816             :                    WASM_SET_LOCAL(
    1817             :                        0, WASM_I32_SUB(WASM_GET_LOCAL(0), WASM_I32V_1(4))))),
    1818             :         WASM_STORE_MEM(MachineType::Float32(), WASM_ZERO, WASM_GET_LOCAL(kSum)),
    1819             :         WASM_GET_LOCAL(0));
    1820             : 
    1821          12 :   CHECK_EQ(0, r.Call(4 * (kSize - 1)));
    1822          12 :   CHECK_NE(-99.25f, r.builder().ReadMemory(&buffer[0]));
    1823          12 :   CHECK_EQ(71256.0f, r.builder().ReadMemory(&buffer[0]));
    1824          12 : }
    1825             : 
    1826             : template <typename T>
    1827          12 : T GenerateAndRunFold(ExecutionTier execution_tier, WasmOpcode binop, T* buffer,
    1828             :                      uint32_t size, ValueType astType, MachineType memType) {
    1829          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    1830          12 :   T* memory = r.builder().AddMemoryElems<T>(static_cast<uint32_t>(
    1831          24 :       RoundUp(size * sizeof(T), kWasmPageSize) / sizeof(sizeof(T))));
    1832          84 :   for (uint32_t i = 0; i < size; ++i) {
    1833          72 :     r.builder().WriteMemory(&memory[i], buffer[i]);
    1834             :   }
    1835             :   const byte kAccum = r.AllocateLocal(astType);
    1836             : 
    1837          12 :   BUILD(
    1838             :       r, WASM_SET_LOCAL(kAccum, WASM_LOAD_MEM(memType, WASM_ZERO)),
    1839             :       WASM_WHILE(
    1840             :           WASM_GET_LOCAL(0),
    1841             :           WASM_BLOCK(WASM_SET_LOCAL(
    1842             :                          kAccum,
    1843             :                          WASM_BINOP(binop, WASM_GET_LOCAL(kAccum),
    1844             :                                     WASM_LOAD_MEM(memType, WASM_GET_LOCAL(0)))),
    1845             :                      WASM_SET_LOCAL(0, WASM_I32_SUB(WASM_GET_LOCAL(0),
    1846             :                                                     WASM_I32V_1(sizeof(T)))))),
    1847             :       WASM_STORE_MEM(memType, WASM_ZERO, WASM_GET_LOCAL(kAccum)),
    1848             :       WASM_GET_LOCAL(0));
    1849          12 :   r.Call(static_cast<int>(sizeof(T) * (size - 1)));
    1850          12 :   return r.builder().ReadMemory(&memory[0]);
    1851             : }
    1852             : 
    1853       25899 : WASM_EXEC_TEST(MemF64_Mul) {
    1854             :   const size_t kSize = 6;
    1855          12 :   double buffer[kSize] = {1, 2, 2, 2, 2, 2};
    1856             :   double result =
    1857             :       GenerateAndRunFold<double>(execution_tier, kExprF64Mul, buffer, kSize,
    1858          12 :                                  kWasmF64, MachineType::Float64());
    1859          12 :   CHECK_EQ(32, result);
    1860          12 : }
    1861             : 
    1862       25899 : WASM_EXEC_TEST(Build_Wasm_Infinite_Loop) {
    1863          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    1864             :   // Only build the graph and compile, don't run.
    1865          12 :   BUILD(r, WASM_INFINITE_LOOP, WASM_ZERO);
    1866          12 : }
    1867             : 
    1868       25899 : WASM_EXEC_TEST(Build_Wasm_Infinite_Loop_effect) {
    1869          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    1870          12 :   r.builder().AddMemory(kWasmPageSize);
    1871             : 
    1872             :   // Only build the graph and compile, don't run.
    1873          12 :   BUILD(r, WASM_LOOP(WASM_LOAD_MEM(MachineType::Int32(), WASM_ZERO), WASM_DROP),
    1874          12 :         WASM_ZERO);
    1875          12 : }
    1876             : 
    1877       25899 : WASM_EXEC_TEST(Unreachable0a) {
    1878          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    1879          12 :   BUILD(r, WASM_BLOCK_I(WASM_BRV(0, WASM_I32V_1(9)), RET(WASM_GET_LOCAL(0))));
    1880          12 :   CHECK_EQ(9, r.Call(0));
    1881          12 :   CHECK_EQ(9, r.Call(1));
    1882          12 : }
    1883             : 
    1884       25899 : WASM_EXEC_TEST(Unreachable0b) {
    1885          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    1886          12 :   BUILD(r, WASM_BLOCK_I(WASM_BRV(0, WASM_I32V_1(7)), WASM_UNREACHABLE));
    1887          12 :   CHECK_EQ(7, r.Call(0));
    1888          12 :   CHECK_EQ(7, r.Call(1));
    1889          12 : }
    1890             : 
    1891       25891 : WASM_COMPILED_EXEC_TEST(Build_Wasm_Unreachable1) {
    1892           8 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    1893           8 :   BUILD(r, WASM_UNREACHABLE);
    1894           8 : }
    1895             : 
    1896       25891 : WASM_COMPILED_EXEC_TEST(Build_Wasm_Unreachable2) {
    1897           8 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    1898           8 :   BUILD(r, WASM_UNREACHABLE, WASM_UNREACHABLE);
    1899           8 : }
    1900             : 
    1901       25891 : WASM_COMPILED_EXEC_TEST(Build_Wasm_Unreachable3) {
    1902           8 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    1903           8 :   BUILD(r, WASM_UNREACHABLE, WASM_UNREACHABLE, WASM_UNREACHABLE);
    1904           8 : }
    1905             : 
    1906       25891 : WASM_COMPILED_EXEC_TEST(Build_Wasm_UnreachableIf1) {
    1907           8 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    1908           8 :   BUILD(r, WASM_UNREACHABLE,
    1909             :         WASM_IF(WASM_GET_LOCAL(0), WASM_SEQ(WASM_GET_LOCAL(0), WASM_DROP)),
    1910           8 :         WASM_ZERO);
    1911           8 : }
    1912             : 
    1913       25891 : WASM_COMPILED_EXEC_TEST(Build_Wasm_UnreachableIf2) {
    1914           8 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    1915           8 :   BUILD(r, WASM_UNREACHABLE,
    1916           8 :         WASM_IF_ELSE_I(WASM_GET_LOCAL(0), WASM_GET_LOCAL(0), WASM_UNREACHABLE));
    1917           8 : }
    1918             : 
    1919       25899 : WASM_EXEC_TEST(Unreachable_Load) {
    1920          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    1921          12 :   r.builder().AddMemory(kWasmPageSize);
    1922          12 :   BUILD(r, WASM_BLOCK_I(WASM_BRV(0, WASM_GET_LOCAL(0)),
    1923             :                         WASM_LOAD_MEM(MachineType::Int8(), WASM_GET_LOCAL(0))));
    1924          12 :   CHECK_EQ(11, r.Call(11));
    1925          12 :   CHECK_EQ(21, r.Call(21));
    1926          12 : }
    1927             : 
    1928       25899 : WASM_EXEC_TEST(BrV_Fallthrough) {
    1929          12 :   WasmRunner<int32_t> r(execution_tier);
    1930          12 :   BUILD(r, WASM_BLOCK_I(WASM_BLOCK(WASM_BRV(1, WASM_I32V_1(42))),
    1931             :                         WASM_I32V_1(22)));
    1932          12 :   CHECK_EQ(42, r.Call());
    1933          12 : }
    1934             : 
    1935       25899 : WASM_EXEC_TEST(Infinite_Loop_not_taken1) {
    1936          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    1937          12 :   BUILD(r, WASM_IF(WASM_GET_LOCAL(0), WASM_INFINITE_LOOP), WASM_I32V_1(45));
    1938             :   // Run the code, but don't go into the infinite loop.
    1939          12 :   CHECK_EQ(45, r.Call(0));
    1940          12 : }
    1941             : 
    1942       25899 : WASM_EXEC_TEST(Infinite_Loop_not_taken2) {
    1943          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    1944          12 :   BUILD(r, WASM_BLOCK_I(
    1945             :                WASM_IF_ELSE(WASM_GET_LOCAL(0), WASM_BRV(1, WASM_I32V_1(45)),
    1946             :                             WASM_INFINITE_LOOP),
    1947             :                WASM_ZERO));
    1948             :   // Run the code, but don't go into the infinite loop.
    1949          12 :   CHECK_EQ(45, r.Call(1));
    1950          12 : }
    1951             : 
    1952       25899 : WASM_EXEC_TEST(Infinite_Loop_not_taken2_brif) {
    1953          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    1954          12 :   BUILD(r, WASM_BLOCK_I(WASM_BRV_IF(0, WASM_I32V_1(45), WASM_GET_LOCAL(0)),
    1955             :                         WASM_INFINITE_LOOP));
    1956             :   // Run the code, but don't go into the infinite loop.
    1957          12 :   CHECK_EQ(45, r.Call(1));
    1958          12 : }
    1959             : 
    1960         492 : static void TestBuildGraphForSimpleExpression(WasmOpcode opcode) {
    1961         492 :   Isolate* isolate = CcTest::InitIsolateOnce();
    1962         492 :   Zone zone(isolate->allocator(), ZONE_NAME);
    1963             :   HandleScope scope(isolate);
    1964             :   // TODO(ahaas): Enable this test for anyref opcodes when code generation for
    1965             :   // them is implemented.
    1966         984 :   if (WasmOpcodes::IsAnyRefOpcode(opcode)) return;
    1967             :   // Enable all optional operators.
    1968         492 :   compiler::CommonOperatorBuilder common(&zone);
    1969             :   compiler::MachineOperatorBuilder machine(
    1970             :       &zone, MachineType::PointerRepresentation(),
    1971         492 :       compiler::MachineOperatorBuilder::kAllOptionalOps);
    1972         492 :   compiler::Graph graph(&zone);
    1973             :   compiler::JSGraph jsgraph(isolate, &graph, &common, nullptr, nullptr,
    1974         492 :                             &machine);
    1975         492 :   FunctionSig* sig = WasmOpcodes::Signature(opcode);
    1976             : 
    1977         492 :   if (sig->parameter_count() == 1) {
    1978             :     byte code[] = {WASM_NO_LOCALS, kExprGetLocal, 0, static_cast<byte>(opcode),
    1979         188 :                    WASM_END};
    1980             :     TestBuildingGraph(&zone, &jsgraph, nullptr, sig, nullptr, code,
    1981         188 :                       code + arraysize(code));
    1982             :   } else {
    1983         304 :     CHECK_EQ(2, sig->parameter_count());
    1984             :     byte code[] = {WASM_NO_LOCALS,
    1985             :                    kExprGetLocal,
    1986             :                    0,
    1987             :                    kExprGetLocal,
    1988             :                    1,
    1989             :                    static_cast<byte>(opcode),
    1990         304 :                    WASM_END};
    1991             :     TestBuildingGraph(&zone, &jsgraph, nullptr, sig, nullptr, code,
    1992         304 :                       code + arraysize(code));
    1993         492 :   }
    1994             : }
    1995             : 
    1996       25879 : TEST(Build_Wasm_SimpleExprs) {
    1997             : // Test that the decoder can build a graph for all supported simple expressions.
    1998             : #define GRAPH_BUILD_TEST(name, opcode, sig) \
    1999             :   TestBuildGraphForSimpleExpression(kExpr##name);
    2000             : 
    2001           4 :   FOREACH_SIMPLE_OPCODE(GRAPH_BUILD_TEST);
    2002             : 
    2003             : #undef GRAPH_BUILD_TEST
    2004           4 : }
    2005             : 
    2006       25899 : WASM_EXEC_TEST(Int32LoadInt8_signext) {
    2007          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    2008             :   const int kNumElems = kWasmPageSize;
    2009             :   int8_t* memory = r.builder().AddMemoryElems<int8_t>(kNumElems);
    2010          12 :   r.builder().RandomizeMemory();
    2011          12 :   memory[0] = -1;
    2012          12 :   BUILD(r, WASM_LOAD_MEM(MachineType::Int8(), WASM_GET_LOCAL(0)));
    2013             : 
    2014      786444 :   for (int i = 0; i < kNumElems; ++i) {
    2015     1572864 :     CHECK_EQ(memory[i], r.Call(i));
    2016          12 :   }
    2017          12 : }
    2018             : 
    2019       25899 : WASM_EXEC_TEST(Int32LoadInt8_zeroext) {
    2020          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    2021             :   const int kNumElems = kWasmPageSize;
    2022          12 :   byte* memory = r.builder().AddMemory(kNumElems);
    2023          12 :   r.builder().RandomizeMemory(77);
    2024          12 :   memory[0] = 255;
    2025          12 :   BUILD(r, WASM_LOAD_MEM(MachineType::Uint8(), WASM_GET_LOCAL(0)));
    2026             : 
    2027      786444 :   for (int i = 0; i < kNumElems; ++i) {
    2028     1572864 :     CHECK_EQ(memory[i], r.Call(i));
    2029          12 :   }
    2030          12 : }
    2031             : 
    2032       25899 : WASM_EXEC_TEST(Int32LoadInt16_signext) {
    2033          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    2034             :   const int kNumBytes = kWasmPageSize;
    2035          12 :   byte* memory = r.builder().AddMemory(kNumBytes);
    2036          12 :   r.builder().RandomizeMemory(888);
    2037          12 :   memory[1] = 200;
    2038          12 :   BUILD(r, WASM_LOAD_MEM(MachineType::Int16(), WASM_GET_LOCAL(0)));
    2039             : 
    2040      393228 :   for (int i = 0; i < kNumBytes; i += 2) {
    2041      393216 :     int32_t expected = static_cast<int16_t>(memory[i] | (memory[i + 1] << 8));
    2042      393216 :     CHECK_EQ(expected, r.Call(i));
    2043          12 :   }
    2044          12 : }
    2045             : 
    2046       25899 : WASM_EXEC_TEST(Int32LoadInt16_zeroext) {
    2047          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    2048             :   const int kNumBytes = kWasmPageSize;
    2049          12 :   byte* memory = r.builder().AddMemory(kNumBytes);
    2050          12 :   r.builder().RandomizeMemory(9999);
    2051          12 :   memory[1] = 204;
    2052          12 :   BUILD(r, WASM_LOAD_MEM(MachineType::Uint16(), WASM_GET_LOCAL(0)));
    2053             : 
    2054      393228 :   for (int i = 0; i < kNumBytes; i += 2) {
    2055      393216 :     int32_t expected = memory[i] | (memory[i + 1] << 8);
    2056      393216 :     CHECK_EQ(expected, r.Call(i));
    2057          12 :   }
    2058          12 : }
    2059             : 
    2060       25899 : WASM_EXEC_TEST(Int32Global) {
    2061          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    2062         108 :   int32_t* global = r.builder().AddGlobal<int32_t>();
    2063             :   // global = global + p0
    2064          12 :   BUILD(r,
    2065             :         WASM_SET_GLOBAL(0, WASM_I32_ADD(WASM_GET_GLOBAL(0), WASM_GET_LOCAL(0))),
    2066             :         WASM_ZERO);
    2067             : 
    2068             :   WriteLittleEndianValue<int32_t>(global, 116);
    2069          60 :   for (int i = 9; i < 444444; i += 111111) {
    2070          48 :     int32_t expected = ReadLittleEndianValue<int32_t>(global) + i;
    2071          48 :     r.Call(i);
    2072          48 :     CHECK_EQ(expected, ReadLittleEndianValue<int32_t>(global));
    2073          12 :   }
    2074          12 : }
    2075             : 
    2076       25899 : WASM_EXEC_TEST(Int32Globals_DontAlias) {
    2077             :   const int kNumGlobals = 3;
    2078          48 :   for (int g = 0; g < kNumGlobals; ++g) {
    2079             :     // global = global + p0
    2080          36 :     WasmRunner<int32_t, int32_t> r(execution_tier);
    2081          36 :     int32_t* globals[] = {r.builder().AddGlobal<int32_t>(),
    2082          36 :                           r.builder().AddGlobal<int32_t>(),
    2083         108 :                           r.builder().AddGlobal<int32_t>()};
    2084             : 
    2085          36 :     BUILD(r, WASM_SET_GLOBAL(
    2086             :                  g, WASM_I32_ADD(WASM_GET_GLOBAL(g), WASM_GET_LOCAL(0))),
    2087             :           WASM_GET_GLOBAL(g));
    2088             : 
    2089             :     // Check that reading/writing global number {g} doesn't alter the others.
    2090         180 :     WriteLittleEndianValue<int32_t>(globals[g], 116 * g);
    2091             :     int32_t before[kNumGlobals];
    2092         180 :     for (int i = 9; i < 444444; i += 111113) {
    2093         144 :       int32_t sum = ReadLittleEndianValue<int32_t>(globals[g]) + i;
    2094         576 :       for (int j = 0; j < kNumGlobals; ++j)
    2095         432 :         before[j] = ReadLittleEndianValue<int32_t>(globals[j]);
    2096         144 :       int32_t result = r.Call(i);
    2097         144 :       CHECK_EQ(sum, result);
    2098         432 :       for (int j = 0; j < kNumGlobals; ++j) {
    2099         432 :         int32_t expected = j == g ? sum : before[j];
    2100         432 :         CHECK_EQ(expected, ReadLittleEndianValue<int32_t>(globals[j]));
    2101             :       }
    2102             :     }
    2103          36 :   }
    2104          12 : }
    2105             : 
    2106       25899 : WASM_EXEC_TEST(Float32Global) {
    2107          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    2108         108 :   float* global = r.builder().AddGlobal<float>();
    2109             :   // global = global + p0
    2110          12 :   BUILD(r, WASM_SET_GLOBAL(
    2111             :                0, WASM_F32_ADD(WASM_GET_GLOBAL(0),
    2112             :                                WASM_F32_SCONVERT_I32(WASM_GET_LOCAL(0)))),
    2113             :         WASM_ZERO);
    2114             : 
    2115             :   WriteLittleEndianValue<float>(global, 1.25);
    2116          60 :   for (int i = 9; i < 4444; i += 1111) {
    2117          48 :     volatile float expected = ReadLittleEndianValue<float>(global) + i;
    2118          48 :     r.Call(i);
    2119          48 :     CHECK_EQ(expected, ReadLittleEndianValue<float>(global));
    2120          12 :   }
    2121          12 : }
    2122             : 
    2123       25899 : WASM_EXEC_TEST(Float64Global) {
    2124          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    2125         108 :   double* global = r.builder().AddGlobal<double>();
    2126             :   // global = global + p0
    2127          12 :   BUILD(r, WASM_SET_GLOBAL(
    2128             :                0, WASM_F64_ADD(WASM_GET_GLOBAL(0),
    2129             :                                WASM_F64_SCONVERT_I32(WASM_GET_LOCAL(0)))),
    2130             :         WASM_ZERO);
    2131             : 
    2132             :   WriteLittleEndianValue<double>(global, 1.25);
    2133          60 :   for (int i = 9; i < 4444; i += 1111) {
    2134          48 :     volatile double expected = ReadLittleEndianValue<double>(global) + i;
    2135          48 :     r.Call(i);
    2136          48 :     CHECK_EQ(expected, ReadLittleEndianValue<double>(global));
    2137          12 :   }
    2138          12 : }
    2139             : 
    2140       25899 : WASM_EXEC_TEST(MixedGlobals) {
    2141          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    2142             : 
    2143             :   int32_t* unused = r.builder().AddGlobal<int32_t>();
    2144          12 :   byte* memory = r.builder().AddMemory(kWasmPageSize);
    2145             : 
    2146          24 :   int32_t* var_int32 = r.builder().AddGlobal<int32_t>();
    2147          24 :   uint32_t* var_uint32 = r.builder().AddGlobal<uint32_t>();
    2148          24 :   float* var_float = r.builder().AddGlobal<float>();
    2149          24 :   double* var_double = r.builder().AddGlobal<double>();
    2150             : 
    2151          12 :   BUILD(r, WASM_SET_GLOBAL(1, WASM_LOAD_MEM(MachineType::Int32(), WASM_ZERO)),
    2152             :         WASM_SET_GLOBAL(2, WASM_LOAD_MEM(MachineType::Uint32(), WASM_ZERO)),
    2153             :         WASM_SET_GLOBAL(3, WASM_LOAD_MEM(MachineType::Float32(), WASM_ZERO)),
    2154             :         WASM_SET_GLOBAL(4, WASM_LOAD_MEM(MachineType::Float64(), WASM_ZERO)),
    2155             :         WASM_ZERO);
    2156             : 
    2157          12 :   memory[0] = 0xAA;
    2158          12 :   memory[1] = 0xCC;
    2159          12 :   memory[2] = 0x55;
    2160          12 :   memory[3] = 0xEE;
    2161          12 :   memory[4] = 0x33;
    2162          12 :   memory[5] = 0x22;
    2163          12 :   memory[6] = 0x11;
    2164          12 :   memory[7] = 0x99;
    2165          12 :   r.Call(1);
    2166             : 
    2167          12 :   CHECK(static_cast<int32_t>(0xEE55CCAA) ==
    2168             :         ReadLittleEndianValue<int32_t>(var_int32));
    2169          12 :   CHECK(static_cast<uint32_t>(0xEE55CCAA) ==
    2170             :         ReadLittleEndianValue<uint32_t>(var_uint32));
    2171          12 :   CHECK(bit_cast<float>(0xEE55CCAA) == ReadLittleEndianValue<float>(var_float));
    2172          12 :   CHECK(bit_cast<double>(0x99112233EE55CCAAULL) ==
    2173             :         ReadLittleEndianValue<double>(var_double));
    2174             : 
    2175          12 :   USE(unused);
    2176          12 : }
    2177             : 
    2178       25899 : WASM_EXEC_TEST(CallEmpty) {
    2179             :   const int32_t kExpected = -414444;
    2180          12 :   WasmRunner<int32_t> r(execution_tier);
    2181             : 
    2182             :   // Build the target function.
    2183          24 :   WasmFunctionCompiler& target_func = r.NewFunction<int>();
    2184          12 :   BUILD(target_func, WASM_I32V_3(kExpected));
    2185             : 
    2186             :   // Build the calling function.
    2187          24 :   BUILD(r, WASM_CALL_FUNCTION0(target_func.function_index()));
    2188             : 
    2189          12 :   int32_t result = r.Call();
    2190          12 :   CHECK_EQ(kExpected, result);
    2191          12 : }
    2192             : 
    2193       25899 : WASM_EXEC_TEST(CallF32StackParameter) {
    2194          12 :   WasmRunner<float> r(execution_tier);
    2195             : 
    2196             :   // Build the target function.
    2197             :   ValueType param_types[20];
    2198          12 :   for (int i = 0; i < 20; ++i) param_types[i] = kWasmF32;
    2199             :   FunctionSig sig(1, 19, param_types);
    2200          24 :   WasmFunctionCompiler& t = r.NewFunction(&sig);
    2201          12 :   BUILD(t, WASM_GET_LOCAL(17));
    2202             : 
    2203             :   // Build the calling function.
    2204          24 :   BUILD(r, WASM_CALL_FUNCTION(
    2205             :                t.function_index(), WASM_F32(1.0f), WASM_F32(2.0f),
    2206             :                WASM_F32(4.0f), WASM_F32(8.0f), WASM_F32(16.0f), WASM_F32(32.0f),
    2207             :                WASM_F32(64.0f), WASM_F32(128.0f), WASM_F32(256.0f),
    2208             :                WASM_F32(1.5f), WASM_F32(2.5f), WASM_F32(4.5f), WASM_F32(8.5f),
    2209             :                WASM_F32(16.5f), WASM_F32(32.5f), WASM_F32(64.5f),
    2210             :                WASM_F32(128.5f), WASM_F32(256.5f), WASM_F32(512.5f)));
    2211             : 
    2212          12 :   float result = r.Call();
    2213          12 :   CHECK_EQ(256.5f, result);
    2214          12 : }
    2215             : 
    2216       25899 : WASM_EXEC_TEST(CallF64StackParameter) {
    2217          12 :   WasmRunner<double> r(execution_tier);
    2218             : 
    2219             :   // Build the target function.
    2220             :   ValueType param_types[20];
    2221          12 :   for (int i = 0; i < 20; ++i) param_types[i] = kWasmF64;
    2222             :   FunctionSig sig(1, 19, param_types);
    2223          24 :   WasmFunctionCompiler& t = r.NewFunction(&sig);
    2224          12 :   BUILD(t, WASM_GET_LOCAL(17));
    2225             : 
    2226             :   // Build the calling function.
    2227          24 :   BUILD(r, WASM_CALL_FUNCTION(t.function_index(), WASM_F64(1.0), WASM_F64(2.0),
    2228             :                               WASM_F64(4.0), WASM_F64(8.0), WASM_F64(16.0),
    2229             :                               WASM_F64(32.0), WASM_F64(64.0), WASM_F64(128.0),
    2230             :                               WASM_F64(256.0), WASM_F64(1.5), WASM_F64(2.5),
    2231             :                               WASM_F64(4.5), WASM_F64(8.5), WASM_F64(16.5),
    2232             :                               WASM_F64(32.5), WASM_F64(64.5), WASM_F64(128.5),
    2233             :                               WASM_F64(256.5), WASM_F64(512.5)));
    2234             : 
    2235          12 :   float result = r.Call();
    2236          12 :   CHECK_EQ(256.5, result);
    2237          12 : }
    2238             : 
    2239       25899 : WASM_EXEC_TEST(CallVoid) {
    2240          12 :   WasmRunner<int32_t> r(execution_tier);
    2241             : 
    2242             :   const byte kMemOffset = 8;
    2243             :   const int32_t kElemNum = kMemOffset / sizeof(int32_t);
    2244             :   const int32_t kExpected = 414444;
    2245             :   // Build the target function.
    2246          12 :   TestSignatures sigs;
    2247             :   int32_t* memory =
    2248             :       r.builder().AddMemoryElems<int32_t>(kWasmPageSize / sizeof(int32_t));
    2249          12 :   r.builder().RandomizeMemory();
    2250          24 :   WasmFunctionCompiler& t = r.NewFunction(sigs.v_v());
    2251          12 :   BUILD(t, WASM_STORE_MEM(MachineType::Int32(), WASM_I32V_1(kMemOffset),
    2252             :                           WASM_I32V_3(kExpected)));
    2253             : 
    2254             :   // Build the calling function.
    2255          24 :   BUILD(r, WASM_CALL_FUNCTION0(t.function_index()),
    2256             :         WASM_LOAD_MEM(MachineType::Int32(), WASM_I32V_1(kMemOffset)));
    2257             : 
    2258          12 :   int32_t result = r.Call();
    2259          12 :   CHECK_EQ(kExpected, result);
    2260          12 :   CHECK_EQ(static_cast<int64_t>(kExpected),
    2261          12 :            static_cast<int64_t>(r.builder().ReadMemory(&memory[kElemNum])));
    2262          12 : }
    2263             : 
    2264       25899 : WASM_EXEC_TEST(Call_Int32Add) {
    2265          12 :   WasmRunner<int32_t, int32_t, int32_t> r(execution_tier);
    2266             : 
    2267             :   // Build the target function.
    2268          24 :   WasmFunctionCompiler& t = r.NewFunction<int32_t, int32_t, int32_t>();
    2269          12 :   BUILD(t, WASM_I32_ADD(WASM_GET_LOCAL(0), WASM_GET_LOCAL(1)));
    2270             : 
    2271             :   // Build the caller function.
    2272          24 :   BUILD(r, WASM_CALL_FUNCTION(t.function_index(), WASM_GET_LOCAL(0),
    2273             :                               WASM_GET_LOCAL(1)));
    2274             : 
    2275         708 :   FOR_INT32_INPUTS(i) {
    2276       41064 :     FOR_INT32_INPUTS(j) {
    2277       40368 :       int32_t expected = static_cast<int32_t>(static_cast<uint32_t>(i) +
    2278       40368 :                                               static_cast<uint32_t>(j));
    2279       40368 :       CHECK_EQ(expected, r.Call(i, j));
    2280             :     }
    2281          12 :   }
    2282          12 : }
    2283             : 
    2284       25899 : WASM_EXEC_TEST(Call_Float32Sub) {
    2285          12 :   WasmRunner<float, float, float> r(execution_tier);
    2286             : 
    2287             :   // Build the target function.
    2288          24 :   WasmFunctionCompiler& target_func = r.NewFunction<float, float, float>();
    2289          12 :   BUILD(target_func, WASM_F32_SUB(WASM_GET_LOCAL(0), WASM_GET_LOCAL(1)));
    2290             : 
    2291             :   // Build the caller function.
    2292          24 :   BUILD(r, WASM_CALL_FUNCTION(target_func.function_index(), WASM_GET_LOCAL(0),
    2293             :                               WASM_GET_LOCAL(1)));
    2294             : 
    2295        1392 :   FOR_FLOAT32_INPUTS(i) {
    2296      318780 :     FOR_FLOAT32_INPUTS(j) { CHECK_FLOAT_EQ(i - j, r.Call(i, j)); }
    2297          12 :   }
    2298          12 : }
    2299             : 
    2300       25899 : WASM_EXEC_TEST(Call_Float64Sub) {
    2301          12 :   WasmRunner<int32_t> r(execution_tier);
    2302       28812 :   double* memory =
    2303             :       r.builder().AddMemoryElems<double>(kWasmPageSize / sizeof(double));
    2304             : 
    2305          12 :   BUILD(r, WASM_STORE_MEM(
    2306             :                MachineType::Float64(), WASM_ZERO,
    2307             :                WASM_F64_SUB(
    2308             :                    WASM_LOAD_MEM(MachineType::Float64(), WASM_ZERO),
    2309             :                    WASM_LOAD_MEM(MachineType::Float64(), WASM_I32V_1(8)))),
    2310             :         WASM_I32V_2(107));
    2311             : 
    2312         600 :   FOR_FLOAT64_INPUTS(i) {
    2313       29400 :     FOR_FLOAT64_INPUTS(j) {
    2314             :       r.builder().WriteMemory(&memory[0], i);
    2315       28812 :       r.builder().WriteMemory(&memory[1], j);
    2316       28812 :       double expected = i - j;
    2317       28812 :       CHECK_EQ(107, r.Call());
    2318             : 
    2319       28812 :       if (expected != expected) {
    2320        2328 :         CHECK(r.builder().ReadMemory(&memory[0]) !=
    2321             :               r.builder().ReadMemory(&memory[0]));
    2322             :       } else {
    2323       26484 :         CHECK_EQ(expected, r.builder().ReadMemory(&memory[0]));
    2324             :       }
    2325             :     }
    2326          12 :   }
    2327          12 : }
    2328             : 
    2329             : #define ADD_CODE(vec, ...)                                              \
    2330             :   do {                                                                  \
    2331             :     byte __buf[] = {__VA_ARGS__};                                       \
    2332             :     for (size_t i = 0; i < sizeof(__buf); ++i) vec.push_back(__buf[i]); \
    2333             :   } while (false)
    2334             : 
    2335          48 : static void Run_WasmMixedCall_N(ExecutionTier execution_tier, int start) {
    2336             :   const int kExpected = 6333;
    2337             :   const int kElemSize = 8;
    2338          48 :   TestSignatures sigs;
    2339             : 
    2340             :   // 64-bit cases handled in test-run-wasm-64.cc.
    2341             :   static MachineType mixed[] = {
    2342             :       MachineType::Int32(),   MachineType::Float32(), MachineType::Float64(),
    2343             :       MachineType::Float32(), MachineType::Int32(),   MachineType::Float64(),
    2344             :       MachineType::Float32(), MachineType::Float64(), MachineType::Int32(),
    2345             :       MachineType::Int32(),   MachineType::Int32()};
    2346             : 
    2347          48 :   int num_params = static_cast<int>(arraysize(mixed)) - start;
    2348         504 :   for (int which = 0; which < num_params; ++which) {
    2349         456 :     v8::internal::AccountingAllocator allocator;
    2350         912 :     Zone zone(&allocator, ZONE_NAME);
    2351         912 :     WasmRunner<int32_t> r(execution_tier);
    2352         456 :     r.builder().AddMemory(kWasmPageSize);
    2353         456 :     MachineType* memtypes = &mixed[start];
    2354         456 :     MachineType result = memtypes[which];
    2355             : 
    2356             :     // =========================================================================
    2357             :     // Build the selector function.
    2358             :     // =========================================================================
    2359         456 :     FunctionSig::Builder b(&zone, 1, num_params);
    2360         456 :     b.AddReturn(ValueTypes::ValueTypeFor(result));
    2361        4848 :     for (int i = 0; i < num_params; ++i) {
    2362        4392 :       b.AddParam(ValueTypes::ValueTypeFor(memtypes[i]));
    2363             :     }
    2364         912 :     WasmFunctionCompiler& t = r.NewFunction(b.Build());
    2365         456 :     BUILD(t, WASM_GET_LOCAL(which));
    2366             : 
    2367             :     // =========================================================================
    2368             :     // Build the calling function.
    2369             :     // =========================================================================
    2370             :     std::vector<byte> code;
    2371             : 
    2372             :     // Load the arguments.
    2373        5304 :     for (int i = 0; i < num_params; ++i) {
    2374        4392 :       int offset = (i + 1) * kElemSize;
    2375        4392 :       ADD_CODE(code, WASM_LOAD_MEM(memtypes[i], WASM_I32V_2(offset)));
    2376             :     }
    2377             : 
    2378             :     // Call the selector function.
    2379         912 :     ADD_CODE(code, WASM_CALL_FUNCTION0(t.function_index()));
    2380             : 
    2381             :     // Store the result in a local.
    2382         456 :     byte local_index = r.AllocateLocal(ValueTypes::ValueTypeFor(result));
    2383         456 :     ADD_CODE(code, kExprSetLocal, local_index);
    2384             : 
    2385             :     // Store the result in memory.
    2386         456 :     ADD_CODE(code,
    2387             :              WASM_STORE_MEM(result, WASM_ZERO, WASM_GET_LOCAL(local_index)));
    2388             : 
    2389             :     // Return the expected value.
    2390         456 :     ADD_CODE(code, WASM_I32V_2(kExpected));
    2391             : 
    2392         912 :     r.Build(&code[0], &code[0] + code.size());
    2393             : 
    2394             :     // Run the code.
    2395        5016 :     for (int t = 0; t < 10; ++t) {
    2396        4560 :       r.builder().RandomizeMemory();
    2397        4560 :       CHECK_EQ(kExpected, r.Call());
    2398             : 
    2399        4560 :       int size = ValueTypes::MemSize(result);
    2400       28080 :       for (int i = 0; i < size; ++i) {
    2401       23520 :         int base = (which + 1) * kElemSize;
    2402       23520 :         byte expected = r.builder().raw_mem_at<byte>(base + i);
    2403             :         byte result = r.builder().raw_mem_at<byte>(i);
    2404       23520 :         CHECK_EQ(expected, result);
    2405             :       }
    2406             :     }
    2407         456 :   }
    2408          48 : }
    2409             : 
    2410       25887 : WASM_EXEC_TEST(MixedCall_0) { Run_WasmMixedCall_N(execution_tier, 0); }
    2411       25887 : WASM_EXEC_TEST(MixedCall_1) { Run_WasmMixedCall_N(execution_tier, 1); }
    2412       25887 : WASM_EXEC_TEST(MixedCall_2) { Run_WasmMixedCall_N(execution_tier, 2); }
    2413       25887 : WASM_EXEC_TEST(MixedCall_3) { Run_WasmMixedCall_N(execution_tier, 3); }
    2414             : 
    2415       25899 : WASM_EXEC_TEST(AddCall) {
    2416          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    2417          24 :   WasmFunctionCompiler& t1 = r.NewFunction<int32_t, int32_t, int32_t>();
    2418          12 :   BUILD(t1, WASM_I32_ADD(WASM_GET_LOCAL(0), WASM_GET_LOCAL(1)));
    2419             : 
    2420             :   byte local = r.AllocateLocal(kWasmI32);
    2421          36 :   BUILD(r, WASM_SET_LOCAL(local, WASM_I32V_2(99)),
    2422             :         WASM_I32_ADD(
    2423             :             WASM_CALL_FUNCTION(t1.function_index(), WASM_GET_LOCAL(0),
    2424             :                                WASM_GET_LOCAL(0)),
    2425             :             WASM_CALL_FUNCTION(t1.function_index(), WASM_GET_LOCAL(local),
    2426             :                                WASM_GET_LOCAL(local))));
    2427             : 
    2428          12 :   CHECK_EQ(198, r.Call(0));
    2429          12 :   CHECK_EQ(200, r.Call(1));
    2430          12 :   CHECK_EQ(100, r.Call(-49));
    2431          12 : }
    2432             : 
    2433       25899 : WASM_EXEC_TEST(MultiReturnSub) {
    2434             :   EXPERIMENTAL_FLAG_SCOPE(mv);
    2435          24 :   WasmRunner<int32_t, int32_t, int32_t> r(execution_tier);
    2436             : 
    2437          12 :   ValueType storage[] = {kWasmI32, kWasmI32, kWasmI32, kWasmI32};
    2438             :   FunctionSig sig_ii_ii(2, 2, storage);
    2439          24 :   WasmFunctionCompiler& t1 = r.NewFunction(&sig_ii_ii);
    2440          12 :   BUILD(t1, WASM_GET_LOCAL(1), WASM_GET_LOCAL(0));
    2441             : 
    2442          24 :   BUILD(r, WASM_GET_LOCAL(0), WASM_GET_LOCAL(1),
    2443             :         WASM_CALL_FUNCTION0(t1.function_index()), kExprI32Sub);
    2444             : 
    2445         708 :   FOR_INT32_INPUTS(i) {
    2446       41064 :     FOR_INT32_INPUTS(j) {
    2447       40368 :       int32_t expected = static_cast<int32_t>(static_cast<uint32_t>(j) -
    2448       40368 :                                               static_cast<uint32_t>(i));
    2449       40368 :       CHECK_EQ(expected, r.Call(i, j));
    2450             :     }
    2451             :   }
    2452          12 : }
    2453             : 
    2454             : template <typename T>
    2455          48 : void RunMultiReturnSelect(ExecutionTier execution_tier, const T* inputs) {
    2456             :   EXPERIMENTAL_FLAG_SCOPE(mv);
    2457          48 :   ValueType type = ValueTypes::ValueTypeFor(MachineTypeForC<T>());
    2458          48 :   ValueType storage[] = {type, type, type, type, type, type};
    2459             :   const size_t kNumReturns = 2;
    2460             :   const size_t kNumParams = arraysize(storage) - kNumReturns;
    2461             :   FunctionSig sig(kNumReturns, kNumParams, storage);
    2462             : 
    2463         240 :   for (size_t i = 0; i < kNumParams; i++) {
    2464         768 :     for (size_t j = 0; j < kNumParams; j++) {
    2465        1536 :       for (int k = 0; k < 2; k++) {
    2466        1536 :         WasmRunner<T, T, T, T, T> r(execution_tier);
    2467        3072 :         WasmFunctionCompiler& r1 = r.NewFunction(&sig);
    2468             : 
    2469        1536 :         BUILD(r1, WASM_GET_LOCAL(i), WASM_GET_LOCAL(j));
    2470             : 
    2471        1536 :         if (k == 0) {
    2472        1536 :           BUILD(r, WASM_CALL_FUNCTION(r1.function_index(), WASM_GET_LOCAL(0),
    2473             :                                       WASM_GET_LOCAL(1), WASM_GET_LOCAL(2),
    2474             :                                       WASM_GET_LOCAL(3)),
    2475             :                 WASM_DROP);
    2476             :         } else {
    2477        1536 :           BUILD(r, WASM_CALL_FUNCTION(r1.function_index(), WASM_GET_LOCAL(0),
    2478             :                                       WASM_GET_LOCAL(1), WASM_GET_LOCAL(2),
    2479             :                                       WASM_GET_LOCAL(3)),
    2480             :                 kExprSetLocal, 0, WASM_DROP, WASM_GET_LOCAL(0));
    2481             :         }
    2482             : 
    2483        1536 :         T expected = inputs[k == 0 ? i : j];
    2484        1536 :         CHECK_EQ(expected, r.Call(inputs[0], inputs[1], inputs[2], inputs[3]));
    2485             :       }
    2486             :     }
    2487             :   }
    2488          48 : }
    2489             : 
    2490       25899 : WASM_EXEC_TEST(MultiReturnSelect_i32) {
    2491             :   static const int32_t inputs[] = {3333333, 4444444, -55555555, -7777777};
    2492          12 :   RunMultiReturnSelect<int32_t>(execution_tier, inputs);
    2493           0 : }
    2494             : 
    2495       25899 : WASM_EXEC_TEST(MultiReturnSelect_f32) {
    2496             :   static const float inputs[] = {33.33333f, 444.4444f, -55555.555f, -77777.77f};
    2497          12 :   RunMultiReturnSelect<float>(execution_tier, inputs);
    2498           0 : }
    2499             : 
    2500       25899 : WASM_EXEC_TEST(MultiReturnSelect_i64) {
    2501             : #if !V8_TARGET_ARCH_32_BIT || V8_TARGET_ARCH_X64
    2502             :   // TODO(titzer): implement int64-lowering for multiple return values
    2503             :   static const int64_t inputs[] = {33333338888, 44444446666, -555555553333,
    2504             :                                    -77777771111};
    2505          12 :   RunMultiReturnSelect<int64_t>(execution_tier, inputs);
    2506             : #endif
    2507           0 : }
    2508             : 
    2509       25899 : WASM_EXEC_TEST(MultiReturnSelect_f64) {
    2510             :   static const double inputs[] = {3.333333, 44444.44, -55.555555, -7777.777};
    2511          12 :   RunMultiReturnSelect<double>(execution_tier, inputs);
    2512           0 : }
    2513             : 
    2514       25899 : WASM_EXEC_TEST(ExprBlock2a) {
    2515          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    2516          12 :   BUILD(r, WASM_BLOCK_I(WASM_IF(WASM_GET_LOCAL(0), WASM_BRV(1, WASM_I32V_1(1))),
    2517             :                         WASM_I32V_1(1)));
    2518          12 :   CHECK_EQ(1, r.Call(0));
    2519          12 :   CHECK_EQ(1, r.Call(1));
    2520          12 : }
    2521             : 
    2522       25899 : WASM_EXEC_TEST(ExprBlock2b) {
    2523          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    2524          12 :   BUILD(r, WASM_BLOCK_I(WASM_IF(WASM_GET_LOCAL(0), WASM_BRV(1, WASM_I32V_1(1))),
    2525             :                         WASM_I32V_1(2)));
    2526          12 :   CHECK_EQ(2, r.Call(0));
    2527          12 :   CHECK_EQ(1, r.Call(1));
    2528          12 : }
    2529             : 
    2530       25899 : WASM_EXEC_TEST(ExprBlock2c) {
    2531          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    2532          12 :   BUILD(r, WASM_BLOCK_I(WASM_BRV_IFD(0, WASM_I32V_1(1), WASM_GET_LOCAL(0)),
    2533             :                         WASM_I32V_1(1)));
    2534          12 :   CHECK_EQ(1, r.Call(0));
    2535          12 :   CHECK_EQ(1, r.Call(1));
    2536          12 : }
    2537             : 
    2538       25899 : WASM_EXEC_TEST(ExprBlock2d) {
    2539          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    2540          12 :   BUILD(r, WASM_BLOCK_I(WASM_BRV_IFD(0, WASM_I32V_1(1), WASM_GET_LOCAL(0)),
    2541             :                         WASM_I32V_1(2)));
    2542          12 :   CHECK_EQ(2, r.Call(0));
    2543          12 :   CHECK_EQ(1, r.Call(1));
    2544          12 : }
    2545             : 
    2546       25899 : WASM_EXEC_TEST(ExprBlock_ManualSwitch) {
    2547          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    2548          12 :   BUILD(r, WASM_BLOCK_I(WASM_IF(WASM_I32_EQ(WASM_GET_LOCAL(0), WASM_I32V_1(1)),
    2549             :                                 WASM_BRV(1, WASM_I32V_1(11))),
    2550             :                         WASM_IF(WASM_I32_EQ(WASM_GET_LOCAL(0), WASM_I32V_1(2)),
    2551             :                                 WASM_BRV(1, WASM_I32V_1(12))),
    2552             :                         WASM_IF(WASM_I32_EQ(WASM_GET_LOCAL(0), WASM_I32V_1(3)),
    2553             :                                 WASM_BRV(1, WASM_I32V_1(13))),
    2554             :                         WASM_IF(WASM_I32_EQ(WASM_GET_LOCAL(0), WASM_I32V_1(4)),
    2555             :                                 WASM_BRV(1, WASM_I32V_1(14))),
    2556             :                         WASM_IF(WASM_I32_EQ(WASM_GET_LOCAL(0), WASM_I32V_1(5)),
    2557             :                                 WASM_BRV(1, WASM_I32V_1(15))),
    2558             :                         WASM_I32V_2(99)));
    2559          12 :   CHECK_EQ(99, r.Call(0));
    2560          12 :   CHECK_EQ(11, r.Call(1));
    2561          12 :   CHECK_EQ(12, r.Call(2));
    2562          12 :   CHECK_EQ(13, r.Call(3));
    2563          12 :   CHECK_EQ(14, r.Call(4));
    2564          12 :   CHECK_EQ(15, r.Call(5));
    2565          12 :   CHECK_EQ(99, r.Call(6));
    2566          12 : }
    2567             : 
    2568       25899 : WASM_EXEC_TEST(ExprBlock_ManualSwitch_brif) {
    2569          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    2570          12 :   BUILD(r, WASM_BLOCK_I(
    2571             :                WASM_BRV_IFD(0, WASM_I32V_1(11),
    2572             :                             WASM_I32_EQ(WASM_GET_LOCAL(0), WASM_I32V_1(1))),
    2573             :                WASM_BRV_IFD(0, WASM_I32V_1(12),
    2574             :                             WASM_I32_EQ(WASM_GET_LOCAL(0), WASM_I32V_1(2))),
    2575             :                WASM_BRV_IFD(0, WASM_I32V_1(13),
    2576             :                             WASM_I32_EQ(WASM_GET_LOCAL(0), WASM_I32V_1(3))),
    2577             :                WASM_BRV_IFD(0, WASM_I32V_1(14),
    2578             :                             WASM_I32_EQ(WASM_GET_LOCAL(0), WASM_I32V_1(4))),
    2579             :                WASM_BRV_IFD(0, WASM_I32V_1(15),
    2580             :                             WASM_I32_EQ(WASM_GET_LOCAL(0), WASM_I32V_1(5))),
    2581             :                WASM_I32V_2(99)));
    2582          12 :   CHECK_EQ(99, r.Call(0));
    2583          12 :   CHECK_EQ(11, r.Call(1));
    2584          12 :   CHECK_EQ(12, r.Call(2));
    2585          12 :   CHECK_EQ(13, r.Call(3));
    2586          12 :   CHECK_EQ(14, r.Call(4));
    2587          12 :   CHECK_EQ(15, r.Call(5));
    2588          12 :   CHECK_EQ(99, r.Call(6));
    2589          12 : }
    2590             : 
    2591       25899 : WASM_EXEC_TEST(If_nested) {
    2592          12 :   WasmRunner<int32_t, int32_t, int32_t> r(execution_tier);
    2593             : 
    2594          12 :   BUILD(
    2595             :       r,
    2596             :       WASM_IF_ELSE_I(
    2597             :           WASM_GET_LOCAL(0),
    2598             :           WASM_IF_ELSE_I(WASM_GET_LOCAL(1), WASM_I32V_1(11), WASM_I32V_1(12)),
    2599             :           WASM_IF_ELSE_I(WASM_GET_LOCAL(1), WASM_I32V_1(13), WASM_I32V_1(14))));
    2600             : 
    2601          12 :   CHECK_EQ(11, r.Call(1, 1));
    2602          12 :   CHECK_EQ(12, r.Call(1, 0));
    2603          12 :   CHECK_EQ(13, r.Call(0, 1));
    2604          12 :   CHECK_EQ(14, r.Call(0, 0));
    2605          12 : }
    2606             : 
    2607       25899 : WASM_EXEC_TEST(ExprBlock_if) {
    2608          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    2609             : 
    2610          12 :   BUILD(r, WASM_BLOCK_I(WASM_IF_ELSE_I(WASM_GET_LOCAL(0),
    2611             :                                        WASM_BRV(0, WASM_I32V_1(11)),
    2612             :                                        WASM_BRV(1, WASM_I32V_1(14)))));
    2613             : 
    2614          12 :   CHECK_EQ(11, r.Call(1));
    2615          12 :   CHECK_EQ(14, r.Call(0));
    2616          12 : }
    2617             : 
    2618       25899 : WASM_EXEC_TEST(ExprBlock_nested_ifs) {
    2619          12 :   WasmRunner<int32_t, int32_t, int32_t> r(execution_tier);
    2620             : 
    2621          12 :   BUILD(r, WASM_BLOCK_I(WASM_IF_ELSE_I(
    2622             :                WASM_GET_LOCAL(0),
    2623             :                WASM_IF_ELSE_I(WASM_GET_LOCAL(1), WASM_BRV(0, WASM_I32V_1(11)),
    2624             :                               WASM_BRV(1, WASM_I32V_1(12))),
    2625             :                WASM_IF_ELSE_I(WASM_GET_LOCAL(1), WASM_BRV(0, WASM_I32V_1(13)),
    2626             :                               WASM_BRV(1, WASM_I32V_1(14))))));
    2627             : 
    2628          12 :   CHECK_EQ(11, r.Call(1, 1));
    2629          12 :   CHECK_EQ(12, r.Call(1, 0));
    2630          12 :   CHECK_EQ(13, r.Call(0, 1));
    2631          12 :   CHECK_EQ(14, r.Call(0, 0));
    2632          12 : }
    2633             : 
    2634       25899 : WASM_EXEC_TEST(SimpleCallIndirect) {
    2635          12 :   TestSignatures sigs;
    2636          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    2637             : 
    2638          36 :   WasmFunctionCompiler& t1 = r.NewFunction(sigs.i_ii());
    2639          12 :   BUILD(t1, WASM_I32_ADD(WASM_GET_LOCAL(0), WASM_GET_LOCAL(1)));
    2640             :   t1.SetSigIndex(1);
    2641             : 
    2642          36 :   WasmFunctionCompiler& t2 = r.NewFunction(sigs.i_ii());
    2643          12 :   BUILD(t2, WASM_I32_SUB(WASM_GET_LOCAL(0), WASM_GET_LOCAL(1)));
    2644             :   t2.SetSigIndex(1);
    2645             : 
    2646             :   // Signature table.
    2647          12 :   r.builder().AddSignature(sigs.f_ff());
    2648          12 :   r.builder().AddSignature(sigs.i_ii());
    2649          12 :   r.builder().AddSignature(sigs.d_dd());
    2650             : 
    2651             :   // Function table.
    2652             :   uint16_t indirect_function_table[] = {
    2653             :       static_cast<uint16_t>(t1.function_index()),
    2654          24 :       static_cast<uint16_t>(t2.function_index())};
    2655             :   r.builder().AddIndirectFunctionTable(indirect_function_table,
    2656          12 :                                        arraysize(indirect_function_table));
    2657          12 :   r.builder().PopulateIndirectFunctionTable();
    2658             : 
    2659             :   // Build the caller function.
    2660          12 :   BUILD(r, WASM_CALL_INDIRECT2(1, WASM_GET_LOCAL(0), WASM_I32V_2(66),
    2661             :                                WASM_I32V_1(22)));
    2662             : 
    2663          12 :   CHECK_EQ(88, r.Call(0));
    2664          12 :   CHECK_EQ(44, r.Call(1));
    2665          24 :   CHECK_TRAP(r.Call(2));
    2666          12 : }
    2667             : 
    2668       25899 : WASM_EXEC_TEST(MultipleCallIndirect) {
    2669          12 :   TestSignatures sigs;
    2670          12 :   WasmRunner<int32_t, int32_t, int32_t, int32_t> r(execution_tier);
    2671             : 
    2672          36 :   WasmFunctionCompiler& t1 = r.NewFunction(sigs.i_ii());
    2673          12 :   BUILD(t1, WASM_I32_ADD(WASM_GET_LOCAL(0), WASM_GET_LOCAL(1)));
    2674             :   t1.SetSigIndex(1);
    2675             : 
    2676          36 :   WasmFunctionCompiler& t2 = r.NewFunction(sigs.i_ii());
    2677          12 :   BUILD(t2, WASM_I32_SUB(WASM_GET_LOCAL(0), WASM_GET_LOCAL(1)));
    2678             :   t2.SetSigIndex(1);
    2679             : 
    2680             :   // Signature table.
    2681          12 :   r.builder().AddSignature(sigs.f_ff());
    2682          12 :   r.builder().AddSignature(sigs.i_ii());
    2683          12 :   r.builder().AddSignature(sigs.d_dd());
    2684             : 
    2685             :   // Function table.
    2686             :   uint16_t indirect_function_table[] = {
    2687             :       static_cast<uint16_t>(t1.function_index()),
    2688          24 :       static_cast<uint16_t>(t2.function_index())};
    2689             :   r.builder().AddIndirectFunctionTable(indirect_function_table,
    2690          12 :                                        arraysize(indirect_function_table));
    2691          12 :   r.builder().PopulateIndirectFunctionTable();
    2692             : 
    2693             :   // Build the caller function.
    2694          12 :   BUILD(r, WASM_I32_ADD(
    2695             :                WASM_CALL_INDIRECT2(1, WASM_GET_LOCAL(0), WASM_GET_LOCAL(1),
    2696             :                                    WASM_GET_LOCAL(2)),
    2697             :                WASM_CALL_INDIRECT2(1, WASM_GET_LOCAL(1), WASM_GET_LOCAL(2),
    2698             :                                    WASM_GET_LOCAL(0))));
    2699             : 
    2700          12 :   CHECK_EQ(5, r.Call(0, 1, 2));
    2701          12 :   CHECK_EQ(19, r.Call(0, 1, 9));
    2702          12 :   CHECK_EQ(1, r.Call(1, 0, 2));
    2703          12 :   CHECK_EQ(1, r.Call(1, 0, 9));
    2704             : 
    2705          24 :   CHECK_TRAP(r.Call(0, 2, 1));
    2706          24 :   CHECK_TRAP(r.Call(1, 2, 0));
    2707          24 :   CHECK_TRAP(r.Call(2, 0, 1));
    2708          24 :   CHECK_TRAP(r.Call(2, 1, 0));
    2709          12 : }
    2710             : 
    2711       25899 : WASM_EXEC_TEST(CallIndirect_EmptyTable) {
    2712          12 :   TestSignatures sigs;
    2713          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    2714             : 
    2715             :   // One function.
    2716          24 :   WasmFunctionCompiler& t1 = r.NewFunction(sigs.i_ii());
    2717          12 :   BUILD(t1, WASM_I32_ADD(WASM_GET_LOCAL(0), WASM_GET_LOCAL(1)));
    2718             :   t1.SetSigIndex(1);
    2719             : 
    2720             :   // Signature table.
    2721          12 :   r.builder().AddSignature(sigs.f_ff());
    2722          12 :   r.builder().AddSignature(sigs.i_ii());
    2723          12 :   r.builder().AddIndirectFunctionTable(nullptr, 0);
    2724             : 
    2725             :   // Build the caller function.
    2726          12 :   BUILD(r, WASM_CALL_INDIRECT2(1, WASM_GET_LOCAL(0), WASM_I32V_2(66),
    2727             :                                WASM_I32V_1(22)));
    2728             : 
    2729          24 :   CHECK_TRAP(r.Call(0));
    2730          24 :   CHECK_TRAP(r.Call(1));
    2731          24 :   CHECK_TRAP(r.Call(2));
    2732          12 : }
    2733             : 
    2734       25899 : WASM_EXEC_TEST(CallIndirect_canonical) {
    2735          12 :   TestSignatures sigs;
    2736          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    2737             : 
    2738          36 :   WasmFunctionCompiler& t1 = r.NewFunction(sigs.i_ii());
    2739          12 :   BUILD(t1, WASM_I32_ADD(WASM_GET_LOCAL(0), WASM_GET_LOCAL(1)));
    2740             :   t1.SetSigIndex(0);
    2741             : 
    2742          36 :   WasmFunctionCompiler& t2 = r.NewFunction(sigs.i_ii());
    2743          12 :   BUILD(t2, WASM_I32_SUB(WASM_GET_LOCAL(0), WASM_GET_LOCAL(1)));
    2744             :   t2.SetSigIndex(1);
    2745             : 
    2746          36 :   WasmFunctionCompiler& t3 = r.NewFunction(sigs.f_ff());
    2747          12 :   BUILD(t3, WASM_F32_SUB(WASM_GET_LOCAL(0), WASM_GET_LOCAL(1)));
    2748             :   t3.SetSigIndex(2);
    2749             : 
    2750             :   // Signature table.
    2751          12 :   r.builder().AddSignature(sigs.i_ii());
    2752          12 :   r.builder().AddSignature(sigs.i_ii());
    2753          12 :   r.builder().AddSignature(sigs.f_ff());
    2754             : 
    2755             :   // Function table.
    2756          12 :   uint16_t i1 = static_cast<uint16_t>(t1.function_index());
    2757          12 :   uint16_t i2 = static_cast<uint16_t>(t2.function_index());
    2758          12 :   uint16_t i3 = static_cast<uint16_t>(t3.function_index());
    2759          12 :   uint16_t indirect_function_table[] = {i1, i2, i3, i1, i2};
    2760             : 
    2761             :   r.builder().AddIndirectFunctionTable(indirect_function_table,
    2762          12 :                                        arraysize(indirect_function_table));
    2763          12 :   r.builder().PopulateIndirectFunctionTable();
    2764             : 
    2765             :   // Build the caller function.
    2766          12 :   BUILD(r, WASM_CALL_INDIRECT2(1, WASM_GET_LOCAL(0), WASM_I32V_2(77),
    2767             :                                WASM_I32V_1(11)));
    2768             : 
    2769          12 :   CHECK_EQ(88, r.Call(0));
    2770          12 :   CHECK_EQ(66, r.Call(1));
    2771          24 :   CHECK_TRAP(r.Call(2));
    2772          12 :   CHECK_EQ(88, r.Call(3));
    2773          12 :   CHECK_EQ(66, r.Call(4));
    2774          24 :   CHECK_TRAP(r.Call(5));
    2775          12 : }
    2776             : 
    2777       25899 : WASM_EXEC_TEST(F32Floor) {
    2778          12 :   WasmRunner<float, float> r(execution_tier);
    2779          12 :   BUILD(r, WASM_F32_FLOOR(WASM_GET_LOCAL(0)));
    2780             : 
    2781        2772 :   FOR_FLOAT32_INPUTS(i) { CHECK_FLOAT_EQ(floorf(i), r.Call(i)); }
    2782          12 : }
    2783             : 
    2784       25899 : WASM_EXEC_TEST(F32Ceil) {
    2785          12 :   WasmRunner<float, float> r(execution_tier);
    2786          12 :   BUILD(r, WASM_F32_CEIL(WASM_GET_LOCAL(0)));
    2787             : 
    2788        2772 :   FOR_FLOAT32_INPUTS(i) { CHECK_FLOAT_EQ(ceilf(i), r.Call(i)); }
    2789          12 : }
    2790             : 
    2791       25899 : WASM_EXEC_TEST(F32Trunc) {
    2792          12 :   WasmRunner<float, float> r(execution_tier);
    2793          12 :   BUILD(r, WASM_F32_TRUNC(WASM_GET_LOCAL(0)));
    2794             : 
    2795        2772 :   FOR_FLOAT32_INPUTS(i) { CHECK_FLOAT_EQ(truncf(i), r.Call(i)); }
    2796          12 : }
    2797             : 
    2798       25899 : WASM_EXEC_TEST(F32NearestInt) {
    2799          12 :   WasmRunner<float, float> r(execution_tier);
    2800          12 :   BUILD(r, WASM_F32_NEARESTINT(WASM_GET_LOCAL(0)));
    2801             : 
    2802        2772 :   FOR_FLOAT32_INPUTS(i) { CHECK_FLOAT_EQ(nearbyintf(i), r.Call(i)); }
    2803          12 : }
    2804             : 
    2805       25899 : WASM_EXEC_TEST(F64Floor) {
    2806          12 :   WasmRunner<double, double> r(execution_tier);
    2807          12 :   BUILD(r, WASM_F64_FLOOR(WASM_GET_LOCAL(0)));
    2808             : 
    2809        1188 :   FOR_FLOAT64_INPUTS(i) { CHECK_DOUBLE_EQ(floor(i), r.Call(i)); }
    2810          12 : }
    2811             : 
    2812       25899 : WASM_EXEC_TEST(F64Ceil) {
    2813          12 :   WasmRunner<double, double> r(execution_tier);
    2814          12 :   BUILD(r, WASM_F64_CEIL(WASM_GET_LOCAL(0)));
    2815             : 
    2816        1188 :   FOR_FLOAT64_INPUTS(i) { CHECK_DOUBLE_EQ(ceil(i), r.Call(i)); }
    2817          12 : }
    2818             : 
    2819       25899 : WASM_EXEC_TEST(F64Trunc) {
    2820          12 :   WasmRunner<double, double> r(execution_tier);
    2821          12 :   BUILD(r, WASM_F64_TRUNC(WASM_GET_LOCAL(0)));
    2822             : 
    2823        1188 :   FOR_FLOAT64_INPUTS(i) { CHECK_DOUBLE_EQ(trunc(i), r.Call(i)); }
    2824          12 : }
    2825             : 
    2826       25899 : WASM_EXEC_TEST(F64NearestInt) {
    2827          12 :   WasmRunner<double, double> r(execution_tier);
    2828          12 :   BUILD(r, WASM_F64_NEARESTINT(WASM_GET_LOCAL(0)));
    2829             : 
    2830        1188 :   FOR_FLOAT64_INPUTS(i) { CHECK_DOUBLE_EQ(nearbyint(i), r.Call(i)); }
    2831          12 : }
    2832             : 
    2833       25899 : WASM_EXEC_TEST(F32Min) {
    2834          12 :   WasmRunner<float, float, float> r(execution_tier);
    2835          12 :   BUILD(r, WASM_F32_MIN(WASM_GET_LOCAL(0), WASM_GET_LOCAL(1)));
    2836             : 
    2837        1392 :   FOR_FLOAT32_INPUTS(i) {
    2838      318780 :     FOR_FLOAT32_INPUTS(j) { CHECK_DOUBLE_EQ(JSMin(i, j), r.Call(i, j)); }
    2839          12 :   }
    2840          12 : }
    2841             : 
    2842       25899 : WASM_EXEC_TEST(F32MinSameValue) {
    2843          12 :   WasmRunner<float, float> r(execution_tier);
    2844          12 :   BUILD(r, WASM_F32_MIN(WASM_GET_LOCAL(0), WASM_GET_LOCAL(0)));
    2845          12 :   float result = r.Call(5.0f);
    2846          12 :   CHECK_FLOAT_EQ(5.0f, result);
    2847          12 : }
    2848             : 
    2849       25899 : WASM_EXEC_TEST(F64Min) {
    2850          12 :   WasmRunner<double, double, double> r(execution_tier);
    2851          12 :   BUILD(r, WASM_F64_MIN(WASM_GET_LOCAL(0), WASM_GET_LOCAL(1)));
    2852             : 
    2853         600 :   FOR_FLOAT64_INPUTS(i) {
    2854       58212 :     FOR_FLOAT64_INPUTS(j) { CHECK_DOUBLE_EQ(JSMin(i, j), r.Call(i, j)); }
    2855          12 :   }
    2856          12 : }
    2857             : 
    2858       25899 : WASM_EXEC_TEST(F64MinSameValue) {
    2859          12 :   WasmRunner<double, double> r(execution_tier);
    2860          12 :   BUILD(r, WASM_F64_MIN(WASM_GET_LOCAL(0), WASM_GET_LOCAL(0)));
    2861          12 :   double result = r.Call(5.0);
    2862          12 :   CHECK_DOUBLE_EQ(5.0, result);
    2863          12 : }
    2864             : 
    2865       25899 : WASM_EXEC_TEST(F32Max) {
    2866          12 :   WasmRunner<float, float, float> r(execution_tier);
    2867          12 :   BUILD(r, WASM_F32_MAX(WASM_GET_LOCAL(0), WASM_GET_LOCAL(1)));
    2868             : 
    2869        1392 :   FOR_FLOAT32_INPUTS(i) {
    2870      318780 :     FOR_FLOAT32_INPUTS(j) { CHECK_FLOAT_EQ(JSMax(i, j), r.Call(i, j)); }
    2871          12 :   }
    2872          12 : }
    2873             : 
    2874       25899 : WASM_EXEC_TEST(F32MaxSameValue) {
    2875          12 :   WasmRunner<float, float> r(execution_tier);
    2876          12 :   BUILD(r, WASM_F32_MAX(WASM_GET_LOCAL(0), WASM_GET_LOCAL(0)));
    2877          12 :   float result = r.Call(5.0f);
    2878          12 :   CHECK_FLOAT_EQ(5.0f, result);
    2879          12 : }
    2880             : 
    2881       25899 : WASM_EXEC_TEST(F64Max) {
    2882          12 :   WasmRunner<double, double, double> r(execution_tier);
    2883          12 :   BUILD(r, WASM_F64_MAX(WASM_GET_LOCAL(0), WASM_GET_LOCAL(1)));
    2884             : 
    2885         600 :   FOR_FLOAT64_INPUTS(i) {
    2886       29400 :     FOR_FLOAT64_INPUTS(j) {
    2887       28812 :       double result = r.Call(i, j);
    2888       57624 :       CHECK_DOUBLE_EQ(JSMax(i, j), result);
    2889             :     }
    2890          12 :   }
    2891          12 : }
    2892             : 
    2893       25899 : WASM_EXEC_TEST(F64MaxSameValue) {
    2894          12 :   WasmRunner<double, double> r(execution_tier);
    2895          12 :   BUILD(r, WASM_F64_MAX(WASM_GET_LOCAL(0), WASM_GET_LOCAL(0)));
    2896          12 :   double result = r.Call(5.0);
    2897          12 :   CHECK_DOUBLE_EQ(5.0, result);
    2898          12 : }
    2899             : 
    2900       25899 : WASM_EXEC_TEST(I32SConvertF32) {
    2901          12 :   WasmRunner<int32_t, float> r(execution_tier);
    2902          12 :   BUILD(r, WASM_I32_SCONVERT_F32(WASM_GET_LOCAL(0)));
    2903             : 
    2904        1392 :   FOR_FLOAT32_INPUTS(i) {
    2905        1380 :     if (is_inbounds<int32_t>(i)) {
    2906         852 :       CHECK_EQ(static_cast<int32_t>(i), r.Call(i));
    2907             :     } else {
    2908        1056 :       CHECK_TRAP32(r.Call(i));
    2909             :     }
    2910          12 :   }
    2911          12 : }
    2912             : 
    2913       25899 : WASM_EXEC_TEST(I32SConvertSatF32) {
    2914             :   EXPERIMENTAL_FLAG_SCOPE(sat_f2i_conversions);
    2915          24 :   WasmRunner<int32_t, float> r(execution_tier);
    2916          12 :   BUILD(r, WASM_I32_SCONVERT_SAT_F32(WASM_GET_LOCAL(0)));
    2917             : 
    2918        1392 :   FOR_FLOAT32_INPUTS(i) {
    2919             :     int32_t expected =
    2920             :         is_inbounds<int32_t>(i)
    2921             :             ? static_cast<int32_t>(i)
    2922             :             : std::isnan(i) ? 0
    2923             :                             : i < 0.0 ? std::numeric_limits<int32_t>::min()
    2924        1380 :                                       : std::numeric_limits<int32_t>::max();
    2925        1380 :     int32_t found = r.Call(i);
    2926        1380 :     CHECK_EQ(expected, found);
    2927             :   }
    2928          12 : }
    2929             : 
    2930       25899 : WASM_EXEC_TEST(I32SConvertF64) {
    2931          12 :   WasmRunner<int32_t, double> r(execution_tier);
    2932          12 :   BUILD(r, WASM_I32_SCONVERT_F64(WASM_GET_LOCAL(0)));
    2933             : 
    2934         600 :   FOR_FLOAT64_INPUTS(i) {
    2935         588 :     if (is_inbounds<int32_t>(i)) {
    2936         396 :       CHECK_EQ(static_cast<int32_t>(i), r.Call(i));
    2937             :     } else {
    2938         384 :       CHECK_TRAP32(r.Call(i));
    2939             :     }
    2940          12 :   }
    2941          12 : }
    2942             : 
    2943       25899 : WASM_EXEC_TEST(I32SConvertSatF64) {
    2944             :   EXPERIMENTAL_FLAG_SCOPE(sat_f2i_conversions);
    2945          24 :   WasmRunner<int32_t, double> r(execution_tier);
    2946          12 :   BUILD(r, WASM_I32_SCONVERT_SAT_F64(WASM_GET_LOCAL(0)));
    2947         600 :   FOR_FLOAT64_INPUTS(i) {
    2948             :     int32_t expected =
    2949             :         is_inbounds<int32_t>(i)
    2950             :             ? static_cast<int32_t>(i)
    2951             :             : std::isnan(i) ? 0
    2952             :                             : i < 0.0 ? std::numeric_limits<int32_t>::min()
    2953         588 :                                       : std::numeric_limits<int32_t>::max();
    2954         588 :     int32_t found = r.Call(i);
    2955         588 :     CHECK_EQ(expected, found);
    2956             :   }
    2957          12 : }
    2958             : 
    2959       25899 : WASM_EXEC_TEST(I32UConvertF32) {
    2960          12 :   WasmRunner<uint32_t, float> r(execution_tier);
    2961          12 :   BUILD(r, WASM_I32_UCONVERT_F32(WASM_GET_LOCAL(0)));
    2962        1392 :   FOR_FLOAT32_INPUTS(i) {
    2963        1380 :     if (is_inbounds<uint32_t>(i)) {
    2964         552 :       CHECK_EQ(static_cast<uint32_t>(i), r.Call(i));
    2965             :     } else {
    2966         828 :       CHECK_TRAP32(r.Call(i));
    2967             :     }
    2968          12 :   }
    2969          12 : }
    2970             : 
    2971       25899 : WASM_EXEC_TEST(I32UConvertSatF32) {
    2972             :   EXPERIMENTAL_FLAG_SCOPE(sat_f2i_conversions);
    2973          24 :   WasmRunner<uint32_t, float> r(execution_tier);
    2974          12 :   BUILD(r, WASM_I32_UCONVERT_SAT_F32(WASM_GET_LOCAL(0)));
    2975        1392 :   FOR_FLOAT32_INPUTS(i) {
    2976             :     int32_t expected =
    2977             :         is_inbounds<uint32_t>(i)
    2978             :             ? static_cast<uint32_t>(i)
    2979             :             : std::isnan(i) ? 0
    2980             :                             : i < 0.0 ? std::numeric_limits<uint32_t>::min()
    2981        1380 :                                       : std::numeric_limits<uint32_t>::max();
    2982        1380 :     int32_t found = r.Call(i);
    2983        1380 :     CHECK_EQ(expected, found);
    2984             :   }
    2985          12 : }
    2986             : 
    2987       25899 : WASM_EXEC_TEST(I32UConvertF64) {
    2988          12 :   WasmRunner<uint32_t, double> r(execution_tier);
    2989          12 :   BUILD(r, WASM_I32_UCONVERT_F64(WASM_GET_LOCAL(0)));
    2990         600 :   FOR_FLOAT64_INPUTS(i) {
    2991         588 :     if (is_inbounds<uint32_t>(i)) {
    2992         324 :       CHECK_EQ(static_cast<uint32_t>(i), r.Call(i));
    2993             :     } else {
    2994         264 :       CHECK_TRAP32(r.Call(i));
    2995             :     }
    2996          12 :   }
    2997          12 : }
    2998             : 
    2999       25899 : WASM_EXEC_TEST(I32UConvertSatF64) {
    3000             :   EXPERIMENTAL_FLAG_SCOPE(sat_f2i_conversions);
    3001          24 :   WasmRunner<uint32_t, double> r(execution_tier);
    3002          12 :   BUILD(r, WASM_I32_UCONVERT_SAT_F64(WASM_GET_LOCAL(0)));
    3003         600 :   FOR_FLOAT64_INPUTS(i) {
    3004             :     int32_t expected =
    3005             :         is_inbounds<uint32_t>(i)
    3006             :             ? static_cast<uint32_t>(i)
    3007             :             : std::isnan(i) ? 0
    3008             :                             : i < 0.0 ? std::numeric_limits<uint32_t>::min()
    3009         588 :                                       : std::numeric_limits<uint32_t>::max();
    3010         588 :     int32_t found = r.Call(i);
    3011         588 :     CHECK_EQ(expected, found);
    3012             :   }
    3013          12 : }
    3014             : 
    3015       25899 : WASM_EXEC_TEST(F64CopySign) {
    3016          12 :   WasmRunner<double, double, double> r(execution_tier);
    3017          12 :   BUILD(r, WASM_F64_COPYSIGN(WASM_GET_LOCAL(0), WASM_GET_LOCAL(1)));
    3018             : 
    3019         600 :   FOR_FLOAT64_INPUTS(i) {
    3020       58212 :     FOR_FLOAT64_INPUTS(j) { CHECK_DOUBLE_EQ(copysign(i, j), r.Call(i, j)); }
    3021          12 :   }
    3022          12 : }
    3023             : 
    3024       25899 : WASM_EXEC_TEST(F32CopySign) {
    3025          12 :   WasmRunner<float, float, float> r(execution_tier);
    3026          12 :   BUILD(r, WASM_F32_COPYSIGN(WASM_GET_LOCAL(0), WASM_GET_LOCAL(1)));
    3027             : 
    3028        1392 :   FOR_FLOAT32_INPUTS(i) {
    3029      318780 :     FOR_FLOAT32_INPUTS(j) { CHECK_FLOAT_EQ(copysignf(i, j), r.Call(i, j)); }
    3030          12 :   }
    3031          12 : }
    3032             : 
    3033          24 : static void CompileCallIndirectMany(ExecutionTier tier, ValueType param) {
    3034             :   // Make sure we don't run out of registers when compiling indirect calls
    3035             :   // with many many parameters.
    3036          24 :   TestSignatures sigs;
    3037         984 :   for (byte num_params = 0; num_params < 40; ++num_params) {
    3038         960 :     WasmRunner<void> r(tier);
    3039         960 :     FunctionSig* sig = sigs.many(r.zone(), kWasmStmt, param, num_params);
    3040             : 
    3041         960 :     r.builder().AddSignature(sig);
    3042         960 :     r.builder().AddSignature(sig);
    3043         960 :     r.builder().AddIndirectFunctionTable(nullptr, 0);
    3044             : 
    3045         960 :     WasmFunctionCompiler& t = r.NewFunction(sig);
    3046             : 
    3047             :     std::vector<byte> code;
    3048       19680 :     for (byte p = 0; p < num_params; ++p) {
    3049       18720 :       ADD_CODE(code, kExprGetLocal, p);
    3050             :     }
    3051         960 :     ADD_CODE(code, kExprI32Const, 0);
    3052         960 :     ADD_CODE(code, kExprCallIndirect, 1, TABLE_ZERO);
    3053             : 
    3054        1920 :     t.Build(&code[0], &code[0] + code.size());
    3055         960 :   }
    3056          24 : }
    3057             : 
    3058       25891 : WASM_COMPILED_EXEC_TEST(Compile_Wasm_CallIndirect_Many_i32) {
    3059           8 :   CompileCallIndirectMany(execution_tier, kWasmI32);
    3060           0 : }
    3061             : 
    3062       25891 : WASM_COMPILED_EXEC_TEST(Compile_Wasm_CallIndirect_Many_f32) {
    3063           8 :   CompileCallIndirectMany(execution_tier, kWasmF32);
    3064           0 : }
    3065             : 
    3066       25891 : WASM_COMPILED_EXEC_TEST(Compile_Wasm_CallIndirect_Many_f64) {
    3067           8 :   CompileCallIndirectMany(execution_tier, kWasmF64);
    3068           0 : }
    3069             : 
    3070       25899 : WASM_EXEC_TEST(Int32RemS_dead) {
    3071          12 :   WasmRunner<int32_t, int32_t, int32_t> r(execution_tier);
    3072          12 :   BUILD(r, WASM_I32_REMS(WASM_GET_LOCAL(0), WASM_GET_LOCAL(1)), WASM_DROP,
    3073             :         WASM_ZERO);
    3074             :   const int32_t kMin = std::numeric_limits<int32_t>::min();
    3075          12 :   CHECK_EQ(0, r.Call(133, 100));
    3076          12 :   CHECK_EQ(0, r.Call(kMin, -1));
    3077          12 :   CHECK_EQ(0, r.Call(0, 1));
    3078          24 :   CHECK_TRAP(r.Call(100, 0));
    3079          24 :   CHECK_TRAP(r.Call(-1001, 0));
    3080          24 :   CHECK_TRAP(r.Call(kMin, 0));
    3081          12 : }
    3082             : 
    3083       25899 : WASM_EXEC_TEST(BrToLoopWithValue) {
    3084          12 :   WasmRunner<int32_t, int32_t, int32_t> r(execution_tier);
    3085             :   // Subtracts <1> times 3 from <0> and returns the result.
    3086          12 :   BUILD(r,
    3087             :         // loop i32
    3088             :         kExprLoop, kLocalI32,
    3089             :         // decrement <0> by 3.
    3090             :         WASM_SET_LOCAL(0, WASM_I32_SUB(WASM_GET_LOCAL(0), WASM_I32V_1(3))),
    3091             :         // decrement <1> by 1.
    3092             :         WASM_SET_LOCAL(1, WASM_I32_SUB(WASM_GET_LOCAL(1), WASM_ONE)),
    3093             :         // load return value <0>, br_if will drop if if the branch is taken.
    3094             :         WASM_GET_LOCAL(0),
    3095             :         // continue loop if <1> is != 0.
    3096             :         WASM_BR_IF(0, WASM_GET_LOCAL(1)),
    3097             :         // end of loop, value loaded above is the return value.
    3098             :         kExprEnd);
    3099          12 :   CHECK_EQ(12, r.Call(27, 5));
    3100          12 : }
    3101             : 
    3102       25899 : WASM_EXEC_TEST(BrToLoopWithoutValue) {
    3103             :   // This was broken in the interpreter, see http://crbug.com/715454
    3104          12 :   WasmRunner<int32_t, int32_t> r(execution_tier);
    3105          12 :   BUILD(
    3106             :       r, kExprLoop, kLocalI32,                                       // loop i32
    3107             :       WASM_SET_LOCAL(0, WASM_I32_SUB(WASM_GET_LOCAL(0), WASM_ONE)),  // dec <0>
    3108             :       WASM_BR_IF(0, WASM_GET_LOCAL(0)),  // br_if <0> != 0
    3109             :       kExprUnreachable,                  // unreachable
    3110             :       kExprEnd);                         // end
    3111          24 :   CHECK_TRAP32(r.Call(2));
    3112          12 : }
    3113             : 
    3114       25899 : WASM_EXEC_TEST(LoopsWithValues) {
    3115          12 :   WasmRunner<int32_t> r(execution_tier);
    3116          12 :   BUILD(r, WASM_LOOP_I(WASM_LOOP_I(WASM_ONE), WASM_ONE, kExprI32Add));
    3117          12 :   CHECK_EQ(2, r.Call());
    3118          12 : }
    3119             : 
    3120       25899 : WASM_EXEC_TEST(InvalidStackAfterUnreachable) {
    3121          12 :   WasmRunner<int32_t> r(execution_tier);
    3122          12 :   BUILD(r, kExprUnreachable, kExprI32Add);
    3123          24 :   CHECK_TRAP32(r.Call());
    3124          12 : }
    3125             : 
    3126       25899 : WASM_EXEC_TEST(InvalidStackAfterBr) {
    3127          12 :   WasmRunner<int32_t> r(execution_tier);
    3128          12 :   BUILD(r, WASM_BRV(0, WASM_I32V_1(27)), kExprI32Add);
    3129          12 :   CHECK_EQ(27, r.Call());
    3130          12 : }
    3131             : 
    3132       25899 : WASM_EXEC_TEST(InvalidStackAfterReturn) {
    3133          12 :   WasmRunner<int32_t> r(execution_tier);
    3134          12 :   BUILD(r, WASM_RETURN1(WASM_I32V_1(17)), kExprI32Add);
    3135          12 :   CHECK_EQ(17, r.Call());
    3136          12 : }
    3137             : 
    3138       25899 : WASM_EXEC_TEST(BranchOverUnreachableCode) {
    3139          12 :   WasmRunner<int32_t> r(execution_tier);
    3140          12 :   BUILD(r,
    3141             :         // Start a block which breaks in the middle (hence unreachable code
    3142             :         // afterwards) and continue execution after this block.
    3143             :         WASM_BLOCK_I(WASM_BRV(0, WASM_I32V_1(17)), kExprI32Add),
    3144             :         // Add one to the 17 returned from the block.
    3145             :         WASM_ONE, kExprI32Add);
    3146          12 :   CHECK_EQ(18, r.Call());
    3147          12 : }
    3148             : 
    3149       25899 : WASM_EXEC_TEST(BranchOverUnreachableCodeInLoop0) {
    3150          12 :   WasmRunner<int32_t> r(execution_tier);
    3151          12 :   BUILD(r,
    3152             :         WASM_BLOCK_I(
    3153             :             // Start a loop which breaks in the middle (hence unreachable code
    3154             :             // afterwards) and continue execution after this loop.
    3155             :             // This should validate even though there is no value on the stack
    3156             :             // at the end of the loop.
    3157             :             WASM_LOOP_I(WASM_BRV(1, WASM_I32V_1(17)))),
    3158             :         // Add one to the 17 returned from the block.
    3159             :         WASM_ONE, kExprI32Add);
    3160          12 :   CHECK_EQ(18, r.Call());
    3161          12 : }
    3162             : 
    3163       25899 : WASM_EXEC_TEST(BranchOverUnreachableCodeInLoop1) {
    3164          12 :   WasmRunner<int32_t> r(execution_tier);
    3165          12 :   BUILD(r,
    3166             :         WASM_BLOCK_I(
    3167             :             // Start a loop which breaks in the middle (hence unreachable code
    3168             :             // afterwards) and continue execution after this loop.
    3169             :             // Even though unreachable, the loop leaves one value on the stack.
    3170             :             WASM_LOOP_I(WASM_BRV(1, WASM_I32V_1(17)), WASM_ONE)),
    3171             :         // Add one to the 17 returned from the block.
    3172             :         WASM_ONE, kExprI32Add);
    3173          12 :   CHECK_EQ(18, r.Call());
    3174          12 : }
    3175             : 
    3176       25899 : WASM_EXEC_TEST(BranchOverUnreachableCodeInLoop2) {
    3177          12 :   WasmRunner<int32_t> r(execution_tier);
    3178          12 :   BUILD(r,
    3179             :         WASM_BLOCK_I(
    3180             :             // Start a loop which breaks in the middle (hence unreachable code
    3181             :             // afterwards) and continue execution after this loop.
    3182             :             // The unreachable code is allowed to pop non-existing values off
    3183             :             // the stack and push back the result.
    3184             :             WASM_LOOP_I(WASM_BRV(1, WASM_I32V_1(17)), kExprI32Add)),
    3185             :         // Add one to the 17 returned from the block.
    3186             :         WASM_ONE, kExprI32Add);
    3187          12 :   CHECK_EQ(18, r.Call());
    3188          12 : }
    3189             : 
    3190       25899 : WASM_EXEC_TEST(BlockInsideUnreachable) {
    3191          12 :   WasmRunner<int32_t> r(execution_tier);
    3192          12 :   BUILD(r, WASM_RETURN1(WASM_I32V_1(17)), WASM_BLOCK(WASM_BR(0)));
    3193          12 :   CHECK_EQ(17, r.Call());
    3194          12 : }
    3195             : 
    3196       25899 : WASM_EXEC_TEST(IfInsideUnreachable) {
    3197          12 :   WasmRunner<int32_t> r(execution_tier);
    3198          12 :   BUILD(
    3199             :       r, WASM_RETURN1(WASM_I32V_1(17)),
    3200             :       WASM_IF_ELSE_I(WASM_ONE, WASM_BRV(0, WASM_ONE), WASM_RETURN1(WASM_ONE)));
    3201          12 :   CHECK_EQ(17, r.Call());
    3202          12 : }
    3203             : 
    3204             : // This test targets binops in Liftoff.
    3205             : // Initialize a number of local variables to force them into different
    3206             : // registers, then perform a binary operation on two of the locals.
    3207             : // Afterwards, write back all locals to memory, to check that their value was
    3208             : // not overwritten.
    3209             : template <typename ctype>
    3210         240 : void BinOpOnDifferentRegisters(
    3211             :     ExecutionTier execution_tier, ValueType type, Vector<const ctype> inputs,
    3212             :     WasmOpcode opcode, std::function<ctype(ctype, ctype, bool*)> expect_fn) {
    3213             :   static constexpr int kMaxNumLocals = 8;
    3214        1920 :   for (int num_locals = 1; num_locals < kMaxNumLocals; ++num_locals) {
    3215             :     // {init_locals_code} is shared by all code generated in the loop below.
    3216             :     std::vector<byte> init_locals_code;
    3217             :     // Load from memory into the locals.
    3218        8400 :     for (int i = 0; i < num_locals; ++i) {
    3219        6720 :       ADD_CODE(
    3220             :           init_locals_code,
    3221             :           WASM_SET_LOCAL(i, WASM_LOAD_MEM(ValueTypes::MachineTypeFor(type),
    3222             :                                           WASM_I32V_2(sizeof(ctype) * i))));
    3223             :     }
    3224             :     // {write_locals_code} is shared by all code generated in the loop below.
    3225             :     std::vector<byte> write_locals_code;
    3226             :     // Write locals back into memory, shifted by one element to the right.
    3227       10080 :     for (int i = 0; i < num_locals; ++i) {
    3228        6720 :       ADD_CODE(write_locals_code,
    3229             :                WASM_STORE_MEM(ValueTypes::MachineTypeFor(type),
    3230             :                               WASM_I32V_2(sizeof(ctype) * (i + 1)),
    3231             :                               WASM_GET_LOCAL(i)));
    3232             :     }
    3233        6720 :     for (int lhs = 0; lhs < num_locals; ++lhs) {
    3234       33600 :       for (int rhs = 0; rhs < num_locals; ++rhs) {
    3235       33600 :         WasmRunner<int32_t> r(execution_tier);
    3236     1162560 :         ctype* memory =
    3237             :             r.builder().AddMemoryElems<ctype>(kWasmPageSize / sizeof(ctype));
    3238      221760 :         for (int i = 0; i < num_locals; ++i) {
    3239             :           r.AllocateLocal(type);
    3240             :         }
    3241       33600 :         std::vector<byte> code(init_locals_code);
    3242       33600 :         ADD_CODE(code,
    3243             :                  // Store the result of the binary operation at memory[0].
    3244             :                  WASM_STORE_MEM(ValueTypes::MachineTypeFor(type), WASM_ZERO,
    3245             :                                 WASM_BINOP(opcode, WASM_GET_LOCAL(lhs),
    3246             :                                            WASM_GET_LOCAL(rhs))),
    3247             :                  // Return 0.
    3248             :                  WASM_ZERO);
    3249       33600 :         code.insert(code.end(), write_locals_code.begin(),
    3250             :                     write_locals_code.end());
    3251       67200 :         r.Build(code.data(), code.data() + code.size());
    3252      235200 :         for (ctype lhs_value : inputs) {
    3253     1444800 :           for (ctype rhs_value : inputs) {
    3254     1243200 :             if (lhs == rhs) lhs_value = rhs_value;
    3255     8205120 :             for (int i = 0; i < num_locals; ++i) {
    3256             :               ctype value =
    3257             :                   i == lhs ? lhs_value
    3258     6961920 :                            : i == rhs ? rhs_value : static_cast<ctype>(i + 47);
    3259     6961920 :               WriteLittleEndianValue<ctype>(&memory[i], value);
    3260             :             }
    3261     1243200 :             bool trap = false;
    3262     1243200 :             int64_t expect = expect_fn(lhs_value, rhs_value, &trap);
    3263     1243200 :             if (trap) {
    3264      161280 :               CHECK_TRAP(r.Call());
    3265       80640 :               continue;
    3266             :             }
    3267     1162560 :             CHECK_EQ(0, r.Call());
    3268     1162560 :             CHECK_EQ(expect, ReadLittleEndianValue<ctype>(&memory[0]));
    3269     6510336 :             for (int i = 0; i < num_locals; ++i) {
    3270             :               ctype value =
    3271             :                   i == lhs ? lhs_value
    3272     6510336 :                            : i == rhs ? rhs_value : static_cast<ctype>(i + 47);
    3273     6510336 :               CHECK_EQ(value, ReadLittleEndianValue<ctype>(&memory[i + 1]));
    3274             :             }
    3275             :           }
    3276             :         }
    3277             :       }
    3278             :     }
    3279             :   }
    3280         240 : }
    3281             : 
    3282             : // Keep this list small, the BinOpOnDifferentRegisters test is running long
    3283             : // enough already.
    3284             : static constexpr int32_t kSome32BitInputs[] = {0, 1, -1, 31, 0xff112233};
    3285             : static constexpr int64_t kSome64BitInputs[] = {
    3286             :     0, 1, -1, 31, 63, 0x100000000, 0xff11223344556677};
    3287             : 
    3288       25899 : WASM_EXEC_TEST(I32AddOnDifferentRegisters) {
    3289             :   BinOpOnDifferentRegisters<int32_t>(
    3290             :       execution_tier, kWasmI32, ArrayVector(kSome32BitInputs), kExprI32Add,
    3291       42024 :       [](int32_t lhs, int32_t rhs, bool* trap) { return lhs + rhs; });
    3292          12 : }
    3293             : 
    3294       25899 : WASM_EXEC_TEST(I32SubOnDifferentRegisters) {
    3295             :   BinOpOnDifferentRegisters<int32_t>(
    3296             :       execution_tier, kWasmI32, ArrayVector(kSome32BitInputs), kExprI32Sub,
    3297       42024 :       [](int32_t lhs, int32_t rhs, bool* trap) { return lhs - rhs; });
    3298          12 : }
    3299             : 
    3300       25899 : WASM_EXEC_TEST(I32MulOnDifferentRegisters) {
    3301             :   BinOpOnDifferentRegisters<int32_t>(execution_tier, kWasmI32,
    3302             :                                      ArrayVector(kSome32BitInputs), kExprI32Mul,
    3303             :                                      [](int32_t lhs, int32_t rhs, bool* trap) {
    3304             :                                        return base::MulWithWraparound(lhs, rhs);
    3305          24 :                                      });
    3306          12 : }
    3307             : 
    3308       25899 : WASM_EXEC_TEST(I32ShlOnDifferentRegisters) {
    3309             :   BinOpOnDifferentRegisters<int32_t>(execution_tier, kWasmI32,
    3310             :                                      ArrayVector(kSome32BitInputs), kExprI32Shl,
    3311             :                                      [](int32_t lhs, int32_t rhs, bool* trap) {
    3312             :                                        return base::ShlWithWraparound(lhs, rhs);
    3313          24 :                                      });
    3314          12 : }
    3315             : 
    3316       25899 : WASM_EXEC_TEST(I32ShrSOnDifferentRegisters) {
    3317             :   BinOpOnDifferentRegisters<int32_t>(
    3318             :       execution_tier, kWasmI32, ArrayVector(kSome32BitInputs), kExprI32ShrS,
    3319       42024 :       [](int32_t lhs, int32_t rhs, bool* trap) { return lhs >> (rhs & 31); });
    3320          12 : }
    3321             : 
    3322       25899 : WASM_EXEC_TEST(I32ShrUOnDifferentRegisters) {
    3323             :   BinOpOnDifferentRegisters<int32_t>(
    3324             :       execution_tier, kWasmI32, ArrayVector(kSome32BitInputs), kExprI32ShrU,
    3325             :       [](int32_t lhs, int32_t rhs, bool* trap) {
    3326       42000 :         return static_cast<uint32_t>(lhs) >> (rhs & 31);
    3327       42024 :       });
    3328          12 : }
    3329             : 
    3330       25899 : WASM_EXEC_TEST(I32DivSOnDifferentRegisters) {
    3331             :   BinOpOnDifferentRegisters<int32_t>(
    3332             :       execution_tier, kWasmI32, ArrayVector(kSome32BitInputs), kExprI32DivS,
    3333             :       [](int32_t lhs, int32_t rhs, bool* trap) {
    3334       42000 :         *trap = rhs == 0;
    3335       42000 :         return *trap ? 0 : lhs / rhs;
    3336          24 :       });
    3337          12 : }
    3338             : 
    3339       25899 : WASM_EXEC_TEST(I32DivUOnDifferentRegisters) {
    3340             :   BinOpOnDifferentRegisters<int32_t>(
    3341             :       execution_tier, kWasmI32, ArrayVector(kSome32BitInputs), kExprI32DivU,
    3342             :       [](uint32_t lhs, uint32_t rhs, bool* trap) {
    3343       42000 :         *trap = rhs == 0;
    3344       42000 :         return *trap ? 0 : lhs / rhs;
    3345          24 :       });
    3346          12 : }
    3347             : 
    3348       25899 : WASM_EXEC_TEST(I32RemSOnDifferentRegisters) {
    3349             :   BinOpOnDifferentRegisters<int32_t>(
    3350             :       execution_tier, kWasmI32, ArrayVector(kSome32BitInputs), kExprI32RemS,
    3351             :       [](int32_t lhs, int32_t rhs, bool* trap) {
    3352       42000 :         *trap = rhs == 0;
    3353       42000 :         return *trap || rhs == -1 ? 0 : lhs % rhs;
    3354          24 :       });
    3355          12 : }
    3356             : 
    3357       25899 : WASM_EXEC_TEST(I32RemUOnDifferentRegisters) {
    3358             :   BinOpOnDifferentRegisters<int32_t>(
    3359             :       execution_tier, kWasmI32, ArrayVector(kSome32BitInputs), kExprI32RemU,
    3360             :       [](uint32_t lhs, uint32_t rhs, bool* trap) {
    3361       42000 :         *trap = rhs == 0;
    3362       42000 :         return *trap ? 0 : lhs % rhs;
    3363          24 :       });
    3364          12 : }
    3365             : 
    3366       25899 : WASM_EXEC_TEST(I64AddOnDifferentRegisters) {
    3367             :   BinOpOnDifferentRegisters<int64_t>(
    3368             :       execution_tier, kWasmI64, ArrayVector(kSome64BitInputs), kExprI64Add,
    3369       82344 :       [](int64_t lhs, int64_t rhs, bool* trap) { return lhs + rhs; });
    3370          12 : }
    3371             : 
    3372       25899 : WASM_EXEC_TEST(I64SubOnDifferentRegisters) {
    3373             :   BinOpOnDifferentRegisters<int64_t>(
    3374             :       execution_tier, kWasmI64, ArrayVector(kSome64BitInputs), kExprI64Sub,
    3375       82344 :       [](int64_t lhs, int64_t rhs, bool* trap) { return lhs - rhs; });
    3376          12 : }
    3377             : 
    3378       25899 : WASM_EXEC_TEST(I64MulOnDifferentRegisters) {
    3379             :   BinOpOnDifferentRegisters<int64_t>(execution_tier, kWasmI64,
    3380             :                                      ArrayVector(kSome64BitInputs), kExprI64Mul,
    3381             :                                      [](int64_t lhs, int64_t rhs, bool* trap) {
    3382             :                                        return base::MulWithWraparound(lhs, rhs);
    3383          24 :                                      });
    3384          12 : }
    3385             : 
    3386       25899 : WASM_EXEC_TEST(I64ShlOnDifferentRegisters) {
    3387             :   BinOpOnDifferentRegisters<int64_t>(execution_tier, kWasmI64,
    3388             :                                      ArrayVector(kSome64BitInputs), kExprI64Shl,
    3389             :                                      [](int64_t lhs, int64_t rhs, bool* trap) {
    3390             :                                        return base::ShlWithWraparound(lhs, rhs);
    3391          24 :                                      });
    3392          12 : }
    3393             : 
    3394       25899 : WASM_EXEC_TEST(I64ShrSOnDifferentRegisters) {
    3395             :   BinOpOnDifferentRegisters<int64_t>(
    3396             :       execution_tier, kWasmI64, ArrayVector(kSome64BitInputs), kExprI64ShrS,
    3397       82344 :       [](int64_t lhs, int64_t rhs, bool* trap) { return lhs >> (rhs & 63); });
    3398          12 : }
    3399             : 
    3400       25899 : WASM_EXEC_TEST(I64ShrUOnDifferentRegisters) {
    3401             :   BinOpOnDifferentRegisters<int64_t>(
    3402             :       execution_tier, kWasmI64, ArrayVector(kSome64BitInputs), kExprI64ShrU,
    3403             :       [](int64_t lhs, int64_t rhs, bool* trap) {
    3404       82320 :         return static_cast<uint64_t>(lhs) >> (rhs & 63);
    3405       82344 :       });
    3406          12 : }
    3407             : 
    3408       25899 : WASM_EXEC_TEST(I64DivSOnDifferentRegisters) {
    3409             :   BinOpOnDifferentRegisters<int64_t>(
    3410             :       execution_tier, kWasmI64, ArrayVector(kSome64BitInputs), kExprI64DivS,
    3411             :       [](int64_t lhs, int64_t rhs, bool* trap) {
    3412       82320 :         *trap = rhs == 0 ||
    3413       11760 :                 (rhs == -1 && lhs == std::numeric_limits<int64_t>::min());
    3414       82320 :         return *trap ? 0 : lhs / rhs;
    3415          24 :       });
    3416          12 : }
    3417             : 
    3418       25899 : WASM_EXEC_TEST(I64DivUOnDifferentRegisters) {
    3419             :   BinOpOnDifferentRegisters<int64_t>(
    3420             :       execution_tier, kWasmI64, ArrayVector(kSome64BitInputs), kExprI64DivU,
    3421             :       [](uint64_t lhs, uint64_t rhs, bool* trap) {
    3422       82320 :         *trap = rhs == 0;
    3423       82320 :         return *trap ? 0 : lhs / rhs;
    3424          24 :       });
    3425          12 : }
    3426             : 
    3427       25899 : WASM_EXEC_TEST(I64RemSOnDifferentRegisters) {
    3428             :   BinOpOnDifferentRegisters<int64_t>(
    3429             :       execution_tier, kWasmI64, ArrayVector(kSome64BitInputs), kExprI64RemS,
    3430             :       [](int64_t lhs, int64_t rhs, bool* trap) {
    3431       82320 :         *trap = rhs == 0;
    3432       82320 :         return *trap || rhs == -1 ? 0 : lhs % rhs;
    3433          24 :       });
    3434          12 : }
    3435             : 
    3436       25899 : WASM_EXEC_TEST(I64RemUOnDifferentRegisters) {
    3437             :   BinOpOnDifferentRegisters<int64_t>(
    3438             :       execution_tier, kWasmI64, ArrayVector(kSome64BitInputs), kExprI64RemU,
    3439             :       [](uint64_t lhs, uint64_t rhs, bool* trap) {
    3440       82320 :         *trap = rhs == 0;
    3441       82320 :         return *trap ? 0 : lhs % rhs;
    3442          24 :       });
    3443          12 : }
    3444             : 
    3445       25879 : TEST(Liftoff_tier_up) {
    3446           4 :   WasmRunner<int32_t, int32_t, int32_t> r(ExecutionTier::kBaseline);
    3447             : 
    3448          16 :   WasmFunctionCompiler& add = r.NewFunction<int32_t, int32_t, int32_t>("add");
    3449           4 :   BUILD(add, WASM_I32_ADD(WASM_GET_LOCAL(0), WASM_GET_LOCAL(1)));
    3450             : 
    3451           8 :   WasmFunctionCompiler& sub = r.NewFunction<int32_t, int32_t, int32_t>("sub");
    3452           4 :   BUILD(sub, WASM_I32_SUB(WASM_GET_LOCAL(0), WASM_GET_LOCAL(1)));
    3453             : 
    3454             :   // Create the main function, which shall call {add}.
    3455           8 :   BUILD(r, WASM_CALL_FUNCTION(add.function_index(), WASM_GET_LOCAL(0),
    3456             :                               WASM_GET_LOCAL(1)));
    3457             : 
    3458             :   NativeModule* native_module =
    3459           4 :       r.builder().instance_object()->module_object()->native_module();
    3460             : 
    3461             :   // This test only works if we managed to compile with Liftoff.
    3462           4 :   if (native_module->code(add.function_index())->is_liftoff()) {
    3463             :     // First run should execute {add}.
    3464           4 :     CHECK_EQ(18, r.Call(11, 7));
    3465             : 
    3466             :     // Now make a copy of the {sub} function, and add it to the native module at
    3467             :     // the index of {add}.
    3468           4 :     CodeDesc desc;
    3469             :     memset(&desc, 0, sizeof(CodeDesc));
    3470             :     WasmCode* sub_code = native_module->code(sub.function_index());
    3471             :     size_t sub_size = sub_code->instructions().size();
    3472           4 :     std::unique_ptr<byte[]> buffer(new byte[sub_code->instructions().size()]);
    3473             :     memcpy(buffer.get(), sub_code->instructions().start(), sub_size);
    3474           4 :     desc.buffer = buffer.get();
    3475           4 :     desc.instr_size = static_cast<int>(sub_size);
    3476             :     WasmCode* code = native_module->AddCode(
    3477             :         add.function_index(), desc, 0, 0, {}, OwnedVector<byte>(),
    3478          16 :         WasmCode::kFunction, WasmCode::kOther);
    3479           4 :     native_module->PublishCode(code);
    3480             : 
    3481             :     // Second run should now execute {sub}.
    3482           4 :     CHECK_EQ(4, r.Call(11, 7));
    3483           4 :   }
    3484           4 : }
    3485             : 
    3486             : #undef B1
    3487             : #undef B2
    3488             : #undef RET
    3489             : #undef RET_I8
    3490             : #undef ADD_CODE
    3491             : 
    3492             : }  // namespace test_run_wasm
    3493             : }  // namespace wasm
    3494             : }  // namespace internal
    3495       77625 : }  // namespace v8

Generated by: LCOV version 1.10