2009-09-08 22:34:10 +00:00
|
|
|
; RUN: opt %s -globalsmodref-aa -gvn -instcombine -S | \
|
2007-04-15 09:31:07 +00:00
|
|
|
; RUN: grep {ret i32 0}
|
2006-10-01 22:35:45 +00:00
|
|
|
|
2008-02-14 06:56:27 +00:00
|
|
|
@G = internal global i32* null ; <i32**> [#uses=3]
|
2006-10-01 22:35:45 +00:00
|
|
|
|
2008-02-14 06:56:27 +00:00
|
|
|
define void @test() {
|
|
|
|
%A = malloc i32 ; <i32*> [#uses=1]
|
|
|
|
store i32* %A, i32** @G
|
2006-10-01 22:35:45 +00:00
|
|
|
ret void
|
|
|
|
}
|
|
|
|
|
2008-02-14 06:56:27 +00:00
|
|
|
define i32 @test1(i32* %P) {
|
|
|
|
%g1 = load i32** @G ; <i32*> [#uses=2]
|
|
|
|
%h1 = load i32* %g1 ; <i32> [#uses=1]
|
|
|
|
store i32 123, i32* %P
|
|
|
|
%g2 = load i32** @G ; <i32*> [#uses=0]
|
|
|
|
%h2 = load i32* %g1 ; <i32> [#uses=1]
|
|
|
|
%X = sub i32 %h1, %h2 ; <i32> [#uses=1]
|
|
|
|
ret i32 %X
|
2006-10-01 22:35:45 +00:00
|
|
|
}
|