[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / InstCombine / nothrow.ll
blob08d90bfbd7d4fabd506cb3ac5e72fbe9d8997024
1 ; RUN: opt < %s -instcombine -S | not grep call
2 ; rdar://6880732
3 declare double @t1(i32) readonly
5 define void @t2() nounwind {
6   call double @t1(i32 42)  ;; dead call even though callee is not nothrow.
7   ret void