From bb124f995527f650d98bdac30b00b125b76fab9c Mon Sep 17 00:00:00 2001 From: Max Graey Date: Wed, 11 Nov 2020 01:56:14 +0200 Subject: Optimize i32(x) % C_pot in boolean context (#3307) bool(i32(x) % C_pot) -> bool(i32(x) & (C_pot - 1)) bool(i32(x) % min_s) -> bool(i32(x) & max_s) For all other situations we already do this for (i32|i64).rem_s --- test/passes/optimize-instructions_all-features.wast | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) (limited to 'test/passes/optimize-instructions_all-features.wast') diff --git a/test/passes/optimize-instructions_all-features.wast b/test/passes/optimize-instructions_all-features.wast index b28536519..5804c1b2a 100644 --- a/test/passes/optimize-instructions_all-features.wast +++ b/test/passes/optimize-instructions_all-features.wast @@ -4517,6 +4517,24 @@ ) (i32.const 0) )) + ;; (signed)x % 4 ? 1 : 0 + (drop (if (result i32) + (i32.rem_s + (local.get $x) + (i32.const 4) + ) + (i32.const 1) + (i32.const 0) + )) + ;; (signed)x % min_s ? 1 : 0 + (drop (if (result i32) + (i32.rem_s + (local.get $x) + (i32.const 0x80000000) + ) + (i32.const 1) + (i32.const 0) + )) ) (func $optimize-bitwise-oprations (param $x i32) (param $y i32) (param $z i64) (param $w i64) ;; ~(1 << x) -> rotl(-2, x) -- cgit v1.2.3