search for: n1905

Hello : Thnks for watch my question, -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20130207/6c25bf65/attachment.html>

...only result in slower code, but also in SCEV being overly complex (which blocks further optimizations). Using integer types for index expression, is a pretty common pattern, and it would be great if we could optimize this. Thanks Tobi [1] http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2005/n1905.pdf

Hi Florian, > we'd like to be able to check for loss of information in trunc operations in > our LLVM-based bounded model checker [1]. For this it is important if the > trunc was on a signed or unsigned integer, so we need nsw and nuw flags for > this. Would you accept a patch that adds these flags to LLVM (and possibly > clang)? nsw/nuw don't mean signed/unsigned

Hi everyone, we'd like to be able to check for loss of information in trunc operations in our LLVM-based bounded model checker [1]. For this it is important if the trunc was on a signed or unsigned integer, so we need nsw and nuw flags for this. Would you accept a patch that adds these flags to LLVM (and possibly clang)? Regards, Florian [1] http://baldur.iti.uka.de/llbmc/