1 ; RUN: opt < %s -gvn -instcombine -S |& FileCheck %s
2 ; Make sure that basicaa thinks R and r are must aliases.
4 target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"
6 define i32 @test1(i8 * %P) {
8 %Q = bitcast i8* %P to {i32, i32}*
9 %R = getelementptr {i32, i32}* %Q, i32 0, i32 1
12 %q = bitcast i8* %P to {i32, i32}*
13 %r = getelementptr {i32, i32}* %q, i32 0, i32 1
22 define i32 @test2(i8 * %P) {
24 %Q = bitcast i8* %P to {i32, i32, i32}*
25 %R = getelementptr {i32, i32, i32}* %Q, i32 0, i32 1
28 %r = getelementptr {i32, i32, i32}* %Q, i32 0, i32 2
40 ; This was a miscompilation.
41 define i32 @test3({float, {i32, i32, i32}}* %P) {
43 %P2 = getelementptr {float, {i32, i32, i32}}* %P, i32 0, i32 1
44 %R = getelementptr {i32, i32, i32}* %P2, i32 0, i32 1
47 %r = getelementptr {i32, i32, i32}* %P2, i32 0, i32 2
59 ;; This is reduced from the SmallPtrSet constructor.
60 %SmallPtrSetImpl = type { i8**, i32, i32, i32, [1 x i8*] }
61 %SmallPtrSet64 = type { %SmallPtrSetImpl, [64 x i8*] }
63 define i32 @test4(%SmallPtrSet64* %P) {
65 %tmp2 = getelementptr inbounds %SmallPtrSet64* %P, i64 0, i32 0, i32 1
66 store i32 64, i32* %tmp2, align 8
67 %tmp3 = getelementptr inbounds %SmallPtrSet64* %P, i64 0, i32 0, i32 4, i64 64
68 store i8* null, i8** %tmp3, align 8
69 %tmp4 = load i32* %tmp2, align 8
76 define i32 @test5(i32* %p, i64 %i) {
77 %pi = getelementptr i32* %p, i64 %i
78 %i.next = add i64 %i, 1
79 %pi.next = getelementptr i32* %p, i64 %i.next
81 store i32 42, i32* %pi.next
90 define i32 @test6(i32* %p, i64 %i1) {
92 %pi = getelementptr i32* %p, i64 %i
93 %i.next = or i64 %i, 1
94 %pi.next = getelementptr i32* %p, i64 %i.next
96 store i32 42, i32* %pi.next