A8.6.92 MCR (Encoding A1): if coproc == '101x' then SEE "Advanced SIMD and VFP"
[llvm/stm8.git] / test / Analysis / GlobalsModRef / indirect-global.ll
blob1eab0bc2081157c0d1afd074c9890da61fbfa17e
1 ; RUN: opt < %s -basicaa -globalsmodref-aa -gvn -instcombine -S | \
2 ; RUN:   grep {ret i32 0}
4 @G = internal global i32* null          ; <i32**> [#uses=3]
6 define void @test() {
7         %A = malloc i32         ; <i32*> [#uses=1]
8         store i32* %A, i32** @G
9         ret void
12 define i32 @test1(i32* %P) {
13         %g1 = load i32** @G             ; <i32*> [#uses=2]
14         %h1 = load i32* %g1             ; <i32> [#uses=1]
15         store i32 123, i32* %P
16         %g2 = load i32** @G             ; <i32*> [#uses=0]
17         %h2 = load i32* %g1             ; <i32> [#uses=1]
18         %X = sub i32 %h1, %h2           ; <i32> [#uses=1]
19         ret i32 %X