<div dir="ltr"><div dir="ltr">Am Mi., 20. Okt. 2021 um 18:51 Uhr schrieb Oleg Grenrus <<a href="mailto:oleg.grenrus@iki.fi">oleg.grenrus@iki.fi</a>>:<br></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">[...] Also, we coudl add builtin rewrite rules, rewriting not (eqInt8 x y)<br>
to neInt8 x y if some benchmarks show that it would be beneficial.</blockquote><div><br></div><div>Hopefully such peephole optimizations are done much more generally further down the compilation pipeline, otherwise we will have more serious performance problems than the removal of (/=) from Eq. ;-)</div></div></div>