Closed sulir closed 3 years ago
Rules like src_mem = mem: mem(16); are a little bit redundant. If there is a definition similar to
src_mem = mem: mem(16);
arith_operands = 001 dst_reg(3) 01 src_mem(16);
and the rule src_mem does not exist, then instead of printing an error, the rule should be implicitly constructed according to the former example.
src_mem
Thus, the support for variants returning subrules could probably be removed.
Rules like
src_mem = mem: mem(16);
are a little bit redundant. If there is a definition similar toand the rule
src_mem
does not exist, then instead of printing an error, the rule should be implicitly constructed according to the former example.