; RUN: opt -S -dse < %s | FileCheck %s

declare i8* @llvm.init.trampoline(i8*, i8*, i8*)

declare void @f()

define void @unused_trampoline() {
; CHECK: @unused_trampoline
	%storage = alloca [10 x i8], align 16		; <[10 x i8]*> [#uses=1]
; CHECK-NOT: alloca
	%cast = getelementptr [10 x i8]* %storage, i32 0, i32 0		; <i8*> [#uses=1]
	%tramp = call i8* @llvm.init.trampoline( i8* %cast, i8* bitcast (void ()* @f to i8*), i8* null )		; <i8*> [#uses=1]
; CHECK-NOT: trampoline
	ret void
; CHECK: ret void
}