xref: /llvm-project/llvm/test/Transforms/GVN/2008-02-12-UndefLoad.ll (revision 23abf931386002fb9d2c11d026846475c224c641) 
1; RUN: opt < %s -passes=gvn -S | FileCheck %s
2; PR1996
3
4%struct.anon = type { i32, i8, i8, i8, i8 }
5
6define i32 @a() {
7entry:
8        %c = alloca %struct.anon                ; <ptr> [#uses=2]
9        %tmp = getelementptr %struct.anon, ptr %c, i32 0, i32 0             ; <ptr> [#uses=1]
10        %tmp1 = getelementptr i32, ptr %tmp, i32 1          ; <ptr> [#uses=2]
11        %tmp2 = load i32, ptr %tmp1, align 4                ; <i32> [#uses=1]
12; CHECK-NOT: load
13        %tmp3 = or i32 %tmp2, 11                ; <i32> [#uses=1]
14        %tmp4 = and i32 %tmp3, -21              ; <i32> [#uses=1]
15        store i32 %tmp4, ptr %tmp1, align 4
16        %call = call i32 (...) @x( ptr %c )          ; <i32> [#uses=0]
17        ret i32 undef
18}
19
20
21declare i32 @x(...)
22