From 111b4f1950467d51a78211af183f4ae6398aac49 Mon Sep 17 00:00:00 2001 From: Alon Zakai Date: Thu, 10 May 2018 08:58:09 -0700 Subject: Optimize equivalent locals (#1540) If locals are known to contain the same value, we can * Pick which local to use for a get_local of any of them. Makes sense to prefer the most common, to increase the chance of one dropping to zero uses. * Remove copies between a local and one that we know contains the same value. This is a consistent win, small though, around 0.1-0.2%. --- test/binaryen.js/validation_errors.js.txt | 2 ++ 1 file changed, 2 insertions(+) (limited to 'test/binaryen.js') diff --git a/test/binaryen.js/validation_errors.js.txt b/test/binaryen.js/validation_errors.js.txt index d49aac6b8..6f5053eb1 100644 --- a/test/binaryen.js/validation_errors.js.txt +++ b/test/binaryen.js/validation_errors.js.txt @@ -3,4 +3,6 @@ 0 [wasm-validator error in function $test] unexpected false: get_local index must be small enough, on [i32] (get_local $0) +[wasm-validator error in function $test] unexpected false: get_local must have proper type, on +[i32] (get_local $0) 0 -- cgit v1.2.3