Update Transforms tests to use CHECK-LABEL for easier debugging. No functionality...
[oota-llvm.git] / test / Transforms / MemCpyOpt / loadstore-sret.ll
1 ; RUN: opt -S < %s -basicaa -memcpyopt | FileCheck %s
2 ; <rdar://problem/8536696>
3
4 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"
5 target triple = "x86_64-apple-darwin10.0.0"
6
7 %"class.std::auto_ptr" = type { i32* }
8
9 ; CHECK-LABEL: @_Z3foov(
10 define void @_Z3foov(%"class.std::auto_ptr"* noalias nocapture sret %agg.result) ssp {
11 _ZNSt8auto_ptrIiED1Ev.exit:
12   %temp.lvalue = alloca %"class.std::auto_ptr", align 8
13 ; CHECK: call void @_Z3barv(%"class.std::auto_ptr"* sret %agg.result)
14   call void @_Z3barv(%"class.std::auto_ptr"* sret %temp.lvalue)
15   %tmp.i.i = getelementptr inbounds %"class.std::auto_ptr"* %temp.lvalue, i64 0, i32 0
16 ; CHECK-NOT: load
17   %tmp2.i.i = load i32** %tmp.i.i, align 8
18   %tmp.i.i4 = getelementptr inbounds %"class.std::auto_ptr"* %agg.result, i64 0, i32 0
19 ; CHECK-NOT: store
20   store i32* %tmp2.i.i, i32** %tmp.i.i4, align 8
21 ; CHECK: ret void
22   ret void
23 }
24
25 declare void @_Z3barv(%"class.std::auto_ptr"* sret)