search for: trunc_nsw

Displaying 2 results from an estimated 2 matches for "trunc_nsw".

2011 Aug 11
0
[LLVMdev] nsw/nuw for trunc
...er, so we need nsw and nuw flags for > this. Would you accept a patch that adds these flags to LLVM (and possibly > clang)? In contrast to the other folks, I think that this makes perfect sense, and NSW/NUW are the right thing to use. It would be valid for instcombine to delete "sext(trunc_nsw x)" when the source and dest types are the same, similarly "zext(trunc_nuw x)". The semantics are very similar to the left shift operator and many others. -Chris
2011 Aug 11
5
[LLVMdev] nsw/nuw for trunc
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/