1; RUN: opt < %s -basicaa -dse -S
2
3target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"
4target triple = "i386-apple-darwin10.0"
5
6@g80 = external global i8                         ; <i8*> [#uses=3]
7
8declare signext i8 @foo(i8 signext, i8 signext) nounwind readnone ssp
9
10declare i32 @func68(i32) nounwind readonly ssp
11
12; PR4815
13define void @test1(i32 %int32p54) noreturn nounwind ssp {
14entry:
15  br label %bb
16
17bb:                                               ; preds = %bb, %entry
18  %storemerge = phi i8 [ %2, %bb ], [ 1, %entry ] ; <i8> [#uses=1]
19  store i8 %storemerge, i8* @g80
20  %0 = tail call i32 @func68(i32 1) nounwind ssp  ; <i32> [#uses=1]
21  %1 = trunc i32 %0 to i8                         ; <i8> [#uses=1]
22  store i8 %1, i8* @g80, align 1
23  store i8 undef, i8* @g80, align 1
24  %2 = tail call signext i8 @foo(i8 signext undef, i8 signext 1) nounwind ; <i8> [#uses=1]
25  br label %bb
26}
27
28define fastcc i32 @test2() nounwind ssp {
29bb14:                                             ; preds = %bb4
30  %0 = bitcast i8* undef to i8**                  ; <i8**> [#uses=1]
31  %1 = getelementptr inbounds i8*, i8** %0, i64 undef  ; <i8**> [#uses=1]
32  %2 = bitcast i8** %1 to i16*                    ; <i16*> [#uses=2]
33  %3 = getelementptr inbounds i16, i16* %2, i64 undef  ; <i16*> [#uses=1]
34  %4 = bitcast i16* %3 to i8*                     ; <i8*> [#uses=1]
35  %5 = getelementptr inbounds i8, i8* %4, i64 undef   ; <i8*> [#uses=1]
36  %6 = getelementptr inbounds i16, i16* %2, i64 undef  ; <i16*> [#uses=1]
37  store i16 undef, i16* %6, align 2
38  %7 = getelementptr inbounds i8, i8* %5, i64 undef   ; <i8*> [#uses=1]
39  call void @llvm.memcpy.p0i8.p0i8.i64(i8* %7, i8* undef, i64 undef, i32 1, i1 false)
40  unreachable
41}
42
43declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture, i8* nocapture, i64, i32, i1) nounwind
44
45
46; rdar://7635088
47define i32 @test3() {
48entry:
49  ret i32 0
50
51dead:
52  %P2 = getelementptr i32, i32 *%P2, i32 52
53  %Q2 = getelementptr i32, i32 *%Q2, i32 52
54  store i32 4, i32* %P2
55  store i32 4, i32* %Q2
56  br label %dead
57}
58
59
60; PR3141
61%struct.ada__tags__dispatch_table = type { [1 x i32] }
62%struct.f393a00_1__object = type { %struct.ada__tags__dispatch_table*, i8 }
63%struct.f393a00_2__windmill = type { %struct.f393a00_1__object, i16 }
64
65define void @test4(%struct.f393a00_2__windmill* %a, %struct.f393a00_2__windmill* %b) {
66entry:
67	%t = alloca %struct.f393a00_2__windmill		; <%struct.f393a00_2__windmill*> [#uses=1]
68	%0 = getelementptr %struct.f393a00_2__windmill, %struct.f393a00_2__windmill* %t, i32 0, i32 0, i32 0		; <%struct.ada__tags__dispatch_table**> [#uses=1]
69	%1 = load %struct.ada__tags__dispatch_table*, %struct.ada__tags__dispatch_table** null, align 4		; <%struct.ada__tags__dispatch_table*> [#uses=1]
70	%2 = load %struct.ada__tags__dispatch_table*, %struct.ada__tags__dispatch_table** %0, align 8		; <%struct.ada__tags__dispatch_table*> [#uses=1]
71	store %struct.ada__tags__dispatch_table* %2, %struct.ada__tags__dispatch_table** null, align 4
72	store %struct.ada__tags__dispatch_table* %1, %struct.ada__tags__dispatch_table** null, align 4
73	ret void
74}
75