[LLVMdev] SCEV bottom value

Preston Briggs preston.briggs at gmail.com
Sun Oct 7 18:53:59 PDT 2012

I'd like a value, call it Bottom, such that

SE->getAddExpr(Bottom, X) => Bottom
SE->getMulExpr(Bottom, X,) => Bottom
isKnownPredicate(any, Bottom, X) => false

I can write code to make NULL work like I want, but it would be simpler if
something was already defined. I'm wondering about SCEV::Unknown.  The
documentation suggests I could perhaps use it for a "bottom" value.

Think it would work?

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20121007/a31cd974/attachment.html>

More information about the llvm-dev mailing list