llvm-6502/test/Transforms/InstCombine/nothrow.ll

; RUN: llvm-as < %s | opt -instcombine | llvm-dis | not grep call
; rdar://6880732
declare double @t1(i32) readonly

define void @t2() nounwind {
  call double @t1(i32 42)  ;; dead call even though callee is not nothrow.
  ret void
}
calls in nothrow functions can be marked nothrow even if the callee is not known to be nothrow. This allows readnone/readonly functions to be deleted even if we don't know whether the callee can throw. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@71676 91177308-0d34-0410-b5e6-96231b3b80d8 2009-05-13 17:39:14 +00:00			`; RUN: llvm-as < %s \| opt -instcombine \| llvm-dis \| not grep call`
			`; rdar://6880732`
			`declare double @t1(i32) readonly`

			`define void @t2() nounwind {`
			`call double @t1(i32 42) ;; dead call even though callee is not nothrow.`
			`ret void`
			`}`