Closed
Description
Negating a select
instruction can make use of simply switching the true_value
and false_value
parameters.
However, the Wasmi translation does not really make use of this since its last select
instruction overhaul.
With this we can
- Eliminate negate float compare variants such as
select_f{32,64}_not_{le,lt}
. (x4) - Elimiante bitwise negate compare variants such as
select_i{32,64}_{nand,nor,xnor}
. (x12) - Eliminate immediate-lhs compare variants such as
select_i{32,64}_{le,lt}_{s,u}_imm16_lhs
. (x8) - Eliminate generic not-equal variants such as
select_{i32,i64,f32,f64}_ne
. (x6)
In total we can remove 30 select
instruction variants.
Metadata
Metadata
Assignees
Labels
No labels