test/Transforms/NewGVN/2008-02-12-UndefLoad.ll

   1 ; XFAIL: *
   2 ; RUN: opt < %s -newgvn -S | FileCheck %s
   3 ; PR1996
   4
   5 %struct.anon = type { i32, i8, i8, i8, i8 }
   6
   7 define i32 @a() {
   8 entry:
   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
  22 declare i32 @x(...)