blob: ec2a4ffd85e11b734b6e92b3adb6d459821f1ded [file] [log] [blame]
Dan Gohman02538ac2010-10-18 18:04:47 +00001; RUN: opt < %s -basicaa -dse -S | not grep DEAD
Chris Lattnerfb7dd4c2004-07-25 07:57:50 +00002
Tanya Lattner5640bd12008-03-01 09:15:35 +00003define void @test(i32* %Q, i32* %P) {
4 %DEAD = load i32* %Q ; <i32> [#uses=1]
5 store i32 %DEAD, i32* %P
6 free i32* %P
7 ret void
Chris Lattnerfb7dd4c2004-07-25 07:57:50 +00008}
Chris Lattner57e91ea2008-12-06 00:53:22 +00009
10define void @test2({i32, i32}* %P) {
11 %Q = getelementptr {i32, i32} *%P, i32 0, i32 1
12 store i32 4, i32* %Q
13 free {i32,i32}* %P
14 ret void
15}