1*f497a00dSBjorn Pettersson; RUN: opt < %s -passes=dse -S 2176bbcaeSNikita Popov 3176bbcaeSNikita Popovtarget 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" 4176bbcaeSNikita Popovtarget triple = "i386-apple-darwin10.0" 5176bbcaeSNikita Popov 6c603cefbSNikita Popov@g80 = external global i8 ; <ptr> [#uses=3] 7176bbcaeSNikita Popov 8176bbcaeSNikita Popovdeclare signext i8 @foo(i8 signext, i8 signext) nounwind readnone ssp 9176bbcaeSNikita Popov 10176bbcaeSNikita Popovdeclare i32 @func68(i32) nounwind readonly ssp 11176bbcaeSNikita Popov 12176bbcaeSNikita Popov; PR4815 13176bbcaeSNikita Popovdefine void @test1(i32 %int32p54) noreturn nounwind ssp { 14176bbcaeSNikita Popoventry: 15176bbcaeSNikita Popov br label %bb 16176bbcaeSNikita Popov 17176bbcaeSNikita Popovbb: ; preds = %bb, %entry 18176bbcaeSNikita Popov %storemerge = phi i8 [ %2, %bb ], [ 1, %entry ] ; <i8> [#uses=1] 19c603cefbSNikita Popov store i8 %storemerge, ptr @g80 20176bbcaeSNikita Popov %0 = tail call i32 @func68(i32 1) nounwind ssp ; <i32> [#uses=1] 21176bbcaeSNikita Popov %1 = trunc i32 %0 to i8 ; <i8> [#uses=1] 22c603cefbSNikita Popov store i8 %1, ptr @g80, align 1 23c603cefbSNikita Popov store i8 undef, ptr @g80, align 1 24176bbcaeSNikita Popov %2 = tail call signext i8 @foo(i8 signext undef, i8 signext 1) nounwind ; <i8> [#uses=1] 25176bbcaeSNikita Popov br label %bb 26176bbcaeSNikita Popov} 27176bbcaeSNikita Popov 28176bbcaeSNikita Popovdefine fastcc i32 @test2() nounwind ssp { 29176bbcaeSNikita Popovbb14: ; preds = %bb4 30c603cefbSNikita Popov %0 = getelementptr inbounds ptr, ptr undef, i64 undef ; <ptr> [#uses=1] 31c603cefbSNikita Popov %1 = getelementptr inbounds i16, ptr %0, i64 undef ; <ptr> [#uses=1] 32c603cefbSNikita Popov %2 = getelementptr inbounds i8, ptr %1, i64 undef ; <ptr> [#uses=1] 33c603cefbSNikita Popov %3 = getelementptr inbounds i16, ptr %0, i64 undef ; <ptr> [#uses=1] 34c603cefbSNikita Popov store i16 undef, ptr %3, align 2 35c603cefbSNikita Popov %4 = getelementptr inbounds i8, ptr %2, i64 undef ; <ptr> [#uses=1] 36c603cefbSNikita Popov call void @llvm.memcpy.p0.p0.i64(ptr %4, ptr undef, i64 undef, i1 false) 37176bbcaeSNikita Popov unreachable 38176bbcaeSNikita Popov} 39176bbcaeSNikita Popov 40c603cefbSNikita Popovdeclare void @llvm.memcpy.p0.p0.i64(ptr nocapture, ptr nocapture, i64, i1) nounwind 41176bbcaeSNikita Popov 42176bbcaeSNikita Popov 43176bbcaeSNikita Popov; rdar://7635088 44176bbcaeSNikita Popovdefine i32 @test3() { 45176bbcaeSNikita Popoventry: 46176bbcaeSNikita Popov ret i32 0 47176bbcaeSNikita Popov 48176bbcaeSNikita Popovdead: 49c603cefbSNikita Popov %P2 = getelementptr i32, ptr %P2, i32 52 50c603cefbSNikita Popov %Q2 = getelementptr i32, ptr %Q2, i32 52 51c603cefbSNikita Popov store i32 4, ptr %P2 52c603cefbSNikita Popov store i32 4, ptr %Q2 53176bbcaeSNikita Popov br label %dead 54176bbcaeSNikita Popov} 55176bbcaeSNikita Popov 56176bbcaeSNikita Popov 57176bbcaeSNikita Popov; PR3141 58176bbcaeSNikita Popov%struct.ada__tags__dispatch_table = type { [1 x i32] } 59c603cefbSNikita Popov%struct.f393a00_1__object = type { ptr, i8 } 60176bbcaeSNikita Popov%struct.f393a00_2__windmill = type { %struct.f393a00_1__object, i16 } 61176bbcaeSNikita Popov 62c603cefbSNikita Popovdefine void @test4(ptr %a, ptr %b) { 63176bbcaeSNikita Popoventry: 64c603cefbSNikita Popov %t = alloca %struct.f393a00_2__windmill ; <ptr> [#uses=1] 65c603cefbSNikita Popov %0 = getelementptr %struct.f393a00_2__windmill, ptr %t, i32 0, i32 0, i32 0 ; <ptr> [#uses=1] 66c603cefbSNikita Popov %1 = load ptr, ptr null, align 4 ; <ptr> [#uses=1] 67c603cefbSNikita Popov %2 = load ptr, ptr %0, align 8 ; <ptr> [#uses=1] 68c603cefbSNikita Popov store ptr %2, ptr null, align 4 69c603cefbSNikita Popov store ptr %1, ptr null, align 4 70176bbcaeSNikita Popov ret void 71176bbcaeSNikita Popov} 72