From 1948008a8c7ceca1ca278e76bdca72eebba0dae7 Mon Sep 17 00:00:00 2001 From: Alon Zakai Date: Mon, 12 Feb 2024 13:29:27 -0800 Subject: Precompute: Optimize array.len (#6299) Arrays have immutable length, so we can optimize them like immutable fields. --- test/passes/Oz_fuzz-exec_all-features.txt | 30 ++++++++++++++---------------- 1 file changed, 14 insertions(+), 16 deletions(-) (limited to 'test/passes/Oz_fuzz-exec_all-features.txt') diff --git a/test/passes/Oz_fuzz-exec_all-features.txt b/test/passes/Oz_fuzz-exec_all-features.txt index 2f1428160..20cbca924 100644 --- a/test/passes/Oz_fuzz-exec_all-features.txt +++ b/test/passes/Oz_fuzz-exec_all-features.txt @@ -100,16 +100,15 @@ ) (func $arrays (type $void_func) (; has Stack IR ;) (local $0 (ref $bytes)) - (call $log - (array.len - (local.tee $0 - (array.new $bytes - (i32.const 42) - (i32.const 50) - ) - ) + (local.set $0 + (array.new $bytes + (i32.const 42) + (i32.const 50) ) ) + (call $log + (i32.const 50) + ) (call $log (array.get_u $bytes (local.get $0) @@ -271,16 +270,15 @@ ) (func $array.new_fixed (type $void_func) (; has Stack IR ;) (local $0 (ref $bytes)) - (call $log - (array.len - (local.tee $0 - (array.new_fixed $bytes 2 - (i32.const 42) - (i32.const 50) - ) - ) + (local.set $0 + (array.new_fixed $bytes 2 + (i32.const 42) + (i32.const 50) ) ) + (call $log + (i32.const 2) + ) (call $log (array.get_u $bytes (local.get $0) -- cgit v1.2.3