[LLVMdev] nsw/nuw for trunc
Florian Merz
florian.merz at kit.edu
Thu Aug 11 05:17:38 PDT 2011
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/
More information about the llvm-dev
mailing list