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(...) 23
