[llvm-dev] Are SCEV normal form?

Alexandre Isoard via llvm-dev llvm-dev at lists.llvm.org
Tue Jul 25 13:21:00 PDT 2017


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)


(-((%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>

More information about the llvm-dev mailing list