1; RUN: opt -passes=dse -S < %s | FileCheck %s 2 3target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" 4target triple = "x86_64-apple-darwin" 5 6%"class.std::auto_ptr" = type { ptr } 7 8; CHECK-LABEL: @_Z3foov( 9define void @_Z3foov(ptr noalias nocapture sret(%"class.std::auto_ptr") %agg.result) uwtable ssp { 10_ZNSt8auto_ptrIiED1Ev.exit: 11 %temp.lvalue = alloca %"class.std::auto_ptr", align 8 12 call void @_Z3barv(ptr sret(%"class.std::auto_ptr") %temp.lvalue) 13 %tmp.i.i = load ptr, ptr %temp.lvalue, align 8 14; CHECK-NOT: store ptr null 15 store ptr null, ptr %temp.lvalue, align 8 16 store ptr %tmp.i.i, ptr %agg.result, align 8 17; CHECK: ret void 18 ret void 19} 20 21declare void @_Z3barv(ptr sret(%"class.std::auto_ptr")) 22