• Home
  • History
  • Annotate
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1; XFAIL: *
2; RUN: opt < %s -newgvn -S | FileCheck %s
3; PR1996
4
5%struct.anon = type { i32, i8, i8, i8, i8 }
6
7define i32 @a() {
8entry:
9        %c = alloca %struct.anon                ; <%struct.anon*> [#uses=2]
10        %tmp = getelementptr %struct.anon, %struct.anon* %c, i32 0, i32 0             ; <i32*> [#uses=1]
11        %tmp1 = getelementptr i32, i32* %tmp, i32 1          ; <i32*> [#uses=2]
12        %tmp2 = load i32, i32* %tmp1, align 4                ; <i32> [#uses=1]
13; CHECK-NOT: load
14        %tmp3 = or i32 %tmp2, 11                ; <i32> [#uses=1]
15        %tmp4 = and i32 %tmp3, -21              ; <i32> [#uses=1]
16        store i32 %tmp4, i32* %tmp1, align 4
17        %call = call i32 (...) @x( %struct.anon* %c )          ; <i32> [#uses=0]
18        ret i32 undef
19}
20
21
22declare i32 @x(...)
23