<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Tue, Dec 20, 2016 at 12:49 AM, Gustaw Smolarczyk <span dir="ltr"><<a href="mailto:wielkiegie@gmail.com" target="_blank">wielkiegie@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">2016-12-20 6:32 GMT+01:00 Jason Ekstrand <<a href="mailto:jason@jlekstrand.net">jason@jlekstrand.net</a>>:<br>
> This sequence shows up The Talos Principal, at least under Vulkan,<br>
> and prevents loop analysis from properly computing trip counts in a<br>
> few loops.<br>
> ---<br>
>  src/compiler/nir/nir_opt_<wbr>algebraic.py | 8 ++++++++<br>
>  1 file changed, 8 insertions(+)<br>
><br>
> diff --git a/src/compiler/nir/nir_opt_<wbr>algebraic.py b/src/compiler/nir/nir_opt_<wbr>algebraic.py<br>
> index 698ac67..cc70ad5 100644<br>
> --- a/src/compiler/nir/nir_opt_<wbr>algebraic.py<br>
> +++ b/src/compiler/nir/nir_opt_<wbr>algebraic.py<br>
> @@ -464,6 +464,14 @@ def bitfield_reverse(u):<br>
><br>
>  optimizations += [(bitfield_reverse('x@32'), ('bitfield_reverse', 'x'))]<br>
><br>
> +# For any comparison operation, "cmp", if you have "a != a && a cmp b" then<br>
> +# the "a != a" is redundant because it's equivalent to "a is not NaN" and, if<br>
<br>
</span>Shouldn't the comment have a == a ?<br></blockquote><div><br></div><div>Yes I did.  Thanks for catching that.  Fixed locally.<br></div><div>--Jason<br></div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Regards,<br>
Gustaw<br>
</blockquote></div><br></div></div>