Lines Matching refs:VERIFY
39 #define EXPECT_VERIFIES(env, x) Verify(kSuccess, env, x, x + arraysize(x))
41 #define EXPECT_FAILURE(env, x) Verify(kError, env, x, x + arraysize(x))
46 Verify(kSuccess, env, code, code + arraysize(code)); \
53 Verify(kError, env, code, code + arraysize(code)); \
56 #define VERIFY(...) \
59 Verify(kSuccess, &env_v_i, code, code + sizeof(code)); \
98 void Verify(ErrorCode expected, FunctionEnv* env, const byte* start,
201 Verify(kSuccess, &env_v_v, code, code);
202 Verify(kError, &env_i_i, code, code);
283 Verify(kError, &env_i_i, code, code + size);
479 Verify(kSuccess, &env_v_i, code, code + total);
734 VERIFY(kExprLoop, 2, // --
741 VERIFY(kExprIf, kExprGetLocal, 0, kExprI8Const, 0, kExprI8Const, 1);
742 VERIFY(kExprIf, kExprGetLocal, 0, kExprGetLocal, 0, kExprGetLocal, 0);
743 VERIFY(kExprIf, kExprGetLocal, 0, kExprI32Add, kExprGetLocal, 0,
752 Verify(kError, &env_i_i, kCode, kCode + len);
872 VERIFY(WASM_SET_LOCAL(0, WASM_I32(87348)));
873 VERIFY(WASM_STORE_MEM(MachineType::Int32(), WASM_I8(24), WASM_I8(40)));
874 VERIFY(WASM_IF(WASM_GET_LOCAL(0), WASM_NOP));
875 VERIFY(WASM_IF_ELSE(WASM_GET_LOCAL(0), WASM_NOP, WASM_NOP));
876 VERIFY(WASM_NOP);
877 VERIFY(WASM_BLOCK(1, WASM_NOP));
878 VERIFY(WASM_LOOP(1, WASM_NOP));
879 VERIFY(WASM_LOOP(1, WASM_BREAK(0)));
880 VERIFY(WASM_LOOP(1, WASM_CONTINUE(0)));
907 VERIFY(WASM_BLOCK(2, WASM_NOP, WASM_NOP));
908 VERIFY(WASM_BLOCK(3, WASM_NOP, WASM_NOP, WASM_NOP));
909 VERIFY(WASM_LOOP(2, WASM_NOP, WASM_NOP));
910 VERIFY(WASM_LOOP(3, WASM_NOP, WASM_NOP, WASM_NOP));
915 VERIFY(WASM_BLOCK(2, WASM_NOP, WASM_BLOCK(2, WASM_NOP, WASM_NOP)));
916 VERIFY(WASM_BLOCK(3, WASM_NOP, // --
919 VERIFY(WASM_BLOCK(1, WASM_BLOCK(1, WASM_BLOCK(2, WASM_NOP, WASM_NOP))));
958 VERIFY(WASM_I32_ADD(WASM_GET_LOCAL(0), WASM_I8(12)));
959 VERIFY(WASM_I32_SUB(WASM_GET_LOCAL(0), WASM_I8(13)));
960 VERIFY(WASM_I32_MUL(WASM_GET_LOCAL(0), WASM_I8(14)));
961 VERIFY(WASM_I32_DIVS(WASM_GET_LOCAL(0), WASM_I8(15)));
962 VERIFY(WASM_I32_DIVU(WASM_GET_LOCAL(0), WASM_I8(16)));
963 VERIFY(WASM_I32_REMS(WASM_GET_LOCAL(0), WASM_I8(17)));
964 VERIFY(WASM_I32_REMU(WASM_GET_LOCAL(0), WASM_I8(18)));
965 VERIFY(WASM_I32_AND(WASM_GET_LOCAL(0), WASM_I8(19)));
966 VERIFY(WASM_I32_IOR(WASM_GET_LOCAL(0), WASM_I8(20)));
967 VERIFY(WASM_I32_XOR(WASM_GET_LOCAL(0), WASM_I8(21)));
968 VERIFY(WASM_I32_SHL(WASM_GET_LOCAL(0), WASM_I8(22)));
969 VERIFY(WASM_I32_SHR(WASM_GET_LOCAL(0), WASM_I8(23)));
970 VERIFY(WASM_I32_SAR(WASM_GET_LOCAL(0), WASM_I8(24)));
971 VERIFY(WASM_I32_EQ(WASM_GET_LOCAL(0), WASM_I8(25)));
972 VERIFY(WASM_I32_NE(WASM_GET_LOCAL(0), WASM_I8(25)));
974 VERIFY(WASM_I32_LTS(WASM_GET_LOCAL(0), WASM_I8(26)));
975 VERIFY(WASM_I32_LES(WASM_GET_LOCAL(0), WASM_I8(27)));
976 VERIFY(WASM_I32_LTU(WASM_GET_LOCAL(0), WASM_I8(28)));
977 VERIFY(WASM_I32_LEU(WASM_GET_LOCAL(0), WASM_I8(29)));
979 VERIFY(WASM_I32_GTS(WASM_GET_LOCAL(0), WASM_I8(26)));
980 VERIFY(WASM_I32_GES(WASM_GET_LOCAL(0), WASM_I8(27)));
981 VERIFY(WASM_I32_GTU(WASM_GET_LOCAL(0), WASM_I8(28)));
982 VERIFY(WASM_I32_GEU(WASM_GET_LOCAL(0), WASM_I8(29)));
1818 Verify(kError, &env_v_v, code, code + len);
