Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(428)

Issues Search
    My Issues | Starred     Open | Closed | All

Side by Side Diff: test/mjsunit/wasm/unreachable-validation.js

Issue 2638383004: [wasm] Fix checking of unreachable code (clear stack after unreachable). (Closed)
Patch Set: Created 3 years, 11 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch
« src/wasm/function-body-decoder.cc ('K') | « src/wasm/function-body-decoder.cc ('k') | no next file » | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
1 // Copyright 2015 the V8 project authors. All rights reserved. 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 2 // Use of this source code is governed by a BSD-style license that can be
3 // found in the LICENSE file. 3 // found in the LICENSE file.
4 4
5 // Flags: --expose-wasm 5 // Flags: --expose-wasm
6 6
7 load("test/mjsunit/wasm/wasm-constants.js"); 7 load("test/mjsunit/wasm/wasm-constants.js");
8 load("test/mjsunit/wasm/wasm-module-builder.js"); 8 load("test/mjsunit/wasm/wasm-module-builder.js");
9 9
10 // Set unittest to false to run this test and just print results, without failin g. 10 // Set unittest to false to run this test and just print results, without failin g.
(...skipping 78 matching lines...) Expand 10 before | Expand all | Expand 10 after
89 run(V, "0 0 (block (block U)) iadd drop", [...zero, ...zero, ...block_block_unr, iadd, drop]); 89 run(V, "0 0 (block (block U)) iadd drop", [...zero, ...zero, ...block_block_unr, iadd, drop]);
90 90
91 run(I, "U 0f iadd drop", [unr, ...f32, iadd, drop]); 91 run(I, "U 0f iadd drop", [unr, ...f32, iadd, drop]);
92 run(I, "U 0f 0 iadd drop", [unr, ...f32, ...zero, iadd, drop]); 92 run(I, "U 0f 0 iadd drop", [unr, ...f32, ...zero, iadd, drop]);
93 run(I, "U 0 0f iadd drop", [unr, ...zero, ...f32, iadd, drop]); 93 run(I, "U 0 0f iadd drop", [unr, ...zero, ...f32, iadd, drop]);
94 run(I, "(if 0 U U) 0f 0 iadd drop", [...zero, ...if_else_unr, ...f32, ...zero, i add, drop]); 94 run(I, "(if 0 U U) 0f 0 iadd drop", [...zero, ...if_else_unr, ...f32, ...zero, i add, drop]);
95 run(I, "(block U) 0f 0 iadd drop", [...block_unr, ...f32, ...zero, iadd, drop]); 95 run(I, "(block U) 0f 0 iadd drop", [...block_unr, ...f32, ...zero, iadd, drop]);
96 run(I, "(loop U) 0f 0 iadd drop", [...loop_unr, ...f32, ...zero, iadd, drop]); 96 run(I, "(loop U) 0f 0 iadd drop", [...loop_unr, ...f32, ...zero, iadd, drop]);
97 run(I, "(block (block U)) 0f 0 iadd drop", [...block_block_unr, ...f32, ...zero, iadd, drop]); 97 run(I, "(block (block U)) 0f 0 iadd drop", [...block_block_unr, ...f32, ...zero, iadd, drop]);
98 98
99 // TODO(titzer): these are actually incorrect in V8. 99 run(V, "0f U iadd drop", [...f32, unr, iadd, drop]);
100 run(I, "0f U iadd drop", [...f32, unr, iadd, drop]); 100 run(V, "0f 0 U iadd drop", [...f32, ...zero, unr, iadd, drop]);
101 run(I, "0f 0 U iadd drop", [...f32, ...zero, unr, iadd, drop]);
102 run(I, "0f 0 (block U) iadd drop", [...f32, ...zero, ...block_unr, iadd, drop]); 101 run(I, "0f 0 (block U) iadd drop", [...f32, ...zero, ...block_unr, iadd, drop]);
103 run(I, "0f U 0 iadd drop", [...f32, unr, ...zero, iadd, drop]); 102 run(V, "0f U 0 iadd drop", [...f32, unr, ...zero, iadd, drop]);
103 run(I, "0 U 0f iadd drop", [...zero, unr, ...zero, ...f32, iadd, drop]);
104 run(I, "0f (block U) 0 iadd drop", [...f32, ...block_unr, ...zero, iadd, drop]); 104 run(I, "0f (block U) 0 iadd drop", [...f32, ...block_unr, ...zero, iadd, drop]);
105 run(I, "0 (block U) 0f iadd drop", [...zero, ...block_unr, ...f32, iadd, drop]);
OLDNEW
« src/wasm/function-body-decoder.cc ('K') | « src/wasm/function-body-decoder.cc ('k') | no next file » | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698