test/Transforms/DeadStoreElimination/2011-09-06-EndOfFunction.ll

   1 ; RUN: opt -dse -S < %s | FileCheck %s
   2
   3 target 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"
   4 target triple = "x86_64-apple-darwin"
   5
   6 %"class.std::auto_ptr" = type { i32* }
   7
   8 ; CHECK: @_Z3foov
   9 define void @_Z3foov(%"class.std::auto_ptr"* noalias nocapture sret %agg.result) uwtable ssp {
  10 _ZNSt8auto_ptrIiED1Ev.exit:
  11   %temp.lvalue = alloca %"class.std::auto_ptr", align 8
  12   call void @_Z3barv(%"class.std::auto_ptr"* sret %temp.lvalue)
  13   %_M_ptr.i.i = getelementptr inbounds %"class.std::auto_ptr"* %temp.lvalue, i64 0, i32 0
  14   %tmp.i.i = load i32** %_M_ptr.i.i, align 8
  15 ; CHECK-NOT: store i32* null
  16   store i32* null, i32** %_M_ptr.i.i, align 8
  17   %_M_ptr.i.i4 = getelementptr inbounds %"class.std::auto_ptr"* %agg.result, i64 0, i32 0
  18   store i32* %tmp.i.i, i32** %_M_ptr.i.i4, align 8
  19 ; CHECK: ret void
  20   ret void
  21 }
  22
  23 declare void @_Z3barv(%"class.std::auto_ptr"* sret)