Maybe you could change in addition to (arraylength > 0) also (arraylength != 0) into (arraylength u> 0)?
">

(original) (raw)

Hi Martin,

Thanks a lot for your input.

On Fri, Feb 14, 2014 at 12:48 AM, Martin Grajcar <maaartinus@gmail.com> wrote:
Hi Kris,

just a short answer for now:

At line 1229, I wonder why the immediate additions don't get normalized to e.g. using SubI exclusively (AddI doesn't cover const-var). This surely isn't something to be done now, just a general question of mine.

You're right, (x - const) does get normalized to (x + -const), so we're good to just check AddI.
�
Maybe you could change in addition to (arraylength > 0) also (arraylength != 0) into (arraylength u> 0)?


I've added the pattern. Webrev updated in place again.

Thanks,
Kris
�

Regards,�
Martin.