Branching → Arithmetic
The Rust match picks one branch. The algebraic version computes all branches, multiplied by selectors, so only the matching term survives.
Opcode
Input Values
rs1_val
rs2_val
imm
Rust Match (branching)
Algebraic (selectors)