[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.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the llvm-dev