[LLVMdev] nsw/nuw for trunc

[Florian Merz]

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/