Add test for PR1996. (This is my first time adding a test for a
[oota-llvm.git] / test / Transforms / GVN / 2008-02-12UndefLoad.ll
1 ; RUN: llvm-as < %s | opt -gvn | llvm-dis | not grep load
2
3 %struct.anon = type { i32, i8, i8, i8, i8 }
4
5 define i32 @a() {
6 entry:
7         %c = alloca %struct.anon                ; <%struct.anon*> [#uses=2]
8         %tmp = getelementptr %struct.anon* %c, i32 0, i32 0             ; <i32*> [#uses=1]
9         %tmp1 = getelementptr i32* %tmp, i32 1          ; <i32*> [#uses=2]
10         %tmp2 = load i32* %tmp1, align 4                ; <i32> [#uses=1]
11         %tmp3 = or i32 %tmp2, 11                ; <i32> [#uses=1]
12         %tmp4 = and i32 %tmp3, -21              ; <i32> [#uses=1]
13         store i32 %tmp4, i32* %tmp1, align 4
14         %call = call i32 (...)* @x( %struct.anon* %c )          ; <i32> [#uses=0]
15         ret i32 undef
16 }
17
18
19 declare i32 @x(...)