[llvm-dev] Are SCEV normal form?

[Alexandre Isoard via llvm-dev]

Hello,

I assumed SCEV purpose was to be a normal form, but then I wondered which
one of those is the normal form:

(zext i16 (trunc i32 %a to i16) to i32)

vs

(-((%a /u 65536) *u 65536) + %a)


The first one is nice for interval analysis, and known bit analysis.
The second one is nice when plugged into gep of 2d arrays.

-- 
*Alexandre Isoard*
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20170725/7652532d/attachment.html>