1; RUN: opt < %s -basicaa -gvn -instcombine -S |& FileCheck %s 2 3target 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" 4 5; Make sure that basicaa thinks R and r are must aliases. 6define i32 @test1(i8 * %P) { 7entry: 8 %Q = bitcast i8* %P to {i32, i32}* 9 %R = getelementptr {i32, i32}* %Q, i32 0, i32 1 10 %S = load i32* %R 11 12 %q = bitcast i8* %P to {i32, i32}* 13 %r = getelementptr {i32, i32}* %q, i32 0, i32 1 14 %s = load i32* %r 15 16 %t = sub i32 %S, %s 17 ret i32 %t 18; CHECK: @test1 19; CHECK: ret i32 0 20} 21 22define i32 @test2(i8 * %P) { 23entry: 24 %Q = bitcast i8* %P to {i32, i32, i32}* 25 %R = getelementptr {i32, i32, i32}* %Q, i32 0, i32 1 26 %S = load i32* %R 27 28 %r = getelementptr {i32, i32, i32}* %Q, i32 0, i32 2 29 store i32 42, i32* %r 30 31 %s = load i32* %R 32 33 %t = sub i32 %S, %s 34 ret i32 %t 35; CHECK: @test2 36; CHECK: ret i32 0 37} 38 39 40; This was a miscompilation. 41define i32 @test3({float, {i32, i32, i32}}* %P) { 42entry: 43 %P2 = getelementptr {float, {i32, i32, i32}}* %P, i32 0, i32 1 44 %R = getelementptr {i32, i32, i32}* %P2, i32 0, i32 1 45 %S = load i32* %R 46 47 %r = getelementptr {i32, i32, i32}* %P2, i32 0, i32 2 48 store i32 42, i32* %r 49 50 %s = load i32* %R 51 52 %t = sub i32 %S, %s 53 ret i32 %t 54; CHECK: @test3 55; CHECK: ret i32 0 56} 57 58 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*] } 62 63define i32 @test4(%SmallPtrSet64* %P) { 64entry: 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 70 ret i32 %tmp4 71; CHECK: @test4 72; CHECK: ret i32 64 73} 74 75; P[i] != p[i+1] 76define 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 80 %x = load i32* %pi 81 store i32 42, i32* %pi.next 82 %y = load i32* %pi 83 %z = sub i32 %x, %y 84 ret i32 %z 85; CHECK: @test5 86; CHECK: ret i32 0 87} 88 89; P[i] != p[(i*4)|1] 90define i32 @test6(i32* %p, i64 %i1) { 91 %i = shl i64 %i1, 2 92 %pi = getelementptr i32* %p, i64 %i 93 %i.next = or i64 %i, 1 94 %pi.next = getelementptr i32* %p, i64 %i.next 95 %x = load i32* %pi 96 store i32 42, i32* %pi.next 97 %y = load i32* %pi 98 %z = sub i32 %x, %y 99 ret i32 %z 100; CHECK: @test6 101; CHECK: ret i32 0 102} 103 104; P[1] != P[i*4] 105define i32 @test7(i32* %p, i64 %i) { 106 %pi = getelementptr i32* %p, i64 1 107 %i.next = shl i64 %i, 2 108 %pi.next = getelementptr i32* %p, i64 %i.next 109 %x = load i32* %pi 110 store i32 42, i32* %pi.next 111 %y = load i32* %pi 112 %z = sub i32 %x, %y 113 ret i32 %z 114; CHECK: @test7 115; CHECK: ret i32 0 116} 117 118; P[zext(i)] != p[zext(i+1)] 119; PR1143 120define i32 @test8(i32* %p, i16 %i) { 121 %i1 = zext i16 %i to i32 122 %pi = getelementptr i32* %p, i32 %i1 123 %i.next = add i16 %i, 1 124 %i.next2 = zext i16 %i.next to i32 125 %pi.next = getelementptr i32* %p, i32 %i.next2 126 %x = load i32* %pi 127 store i32 42, i32* %pi.next 128 %y = load i32* %pi 129 %z = sub i32 %x, %y 130 ret i32 %z 131; CHECK: @test8 132; CHECK: ret i32 0 133} 134 135define i8 @test9([4 x i8] *%P, i32 %i, i32 %j) { 136 %i2 = shl i32 %i, 2 137 %i3 = add i32 %i2, 1 138 ; P2 = P + 1 + 4*i 139 %P2 = getelementptr [4 x i8] *%P, i32 0, i32 %i3 140 141 %j2 = shl i32 %j, 2 142 143 ; P4 = P + 4*j 144 %P4 = getelementptr [4 x i8]* %P, i32 0, i32 %j2 145 146 %x = load i8* %P2 147 store i8 42, i8* %P4 148 %y = load i8* %P2 149 %z = sub i8 %x, %y 150 ret i8 %z 151; CHECK: @test9 152; CHECK: ret i8 0 153} 154 155define i8 @test10([4 x i8] *%P, i32 %i) { 156 %i2 = shl i32 %i, 2 157 %i3 = add i32 %i2, 4 158 ; P2 = P + 4 + 4*i 159 %P2 = getelementptr [4 x i8] *%P, i32 0, i32 %i3 160 161 ; P4 = P + 4*i 162 %P4 = getelementptr [4 x i8]* %P, i32 0, i32 %i2 163 164 %x = load i8* %P2 165 store i8 42, i8* %P4 166 %y = load i8* %P2 167 %z = sub i8 %x, %y 168 ret i8 %z 169; CHECK: @test10 170; CHECK: ret i8 0 171} 172 173; (This was a miscompilation.) 174define float @test11(i32 %indvar, [4 x [2 x float]]* %q) nounwind ssp { 175 %tmp = mul i32 %indvar, -1 176 %dec = add i32 %tmp, 3 177 %scevgep = getelementptr [4 x [2 x float]]* %q, i32 0, i32 %dec 178 %scevgep35 = bitcast [2 x float]* %scevgep to i64* 179 %arrayidx28 = getelementptr inbounds [4 x [2 x float]]* %q, i32 0, i32 0 180 %y29 = getelementptr inbounds [2 x float]* %arrayidx28, i32 0, i32 1 181 store float 1.0, float* %y29, align 4 182 store i64 0, i64* %scevgep35, align 4 183 %tmp30 = load float* %y29, align 4 184 ret float %tmp30 185 ; CHECK: @test11 186 ; CHECK: ret float %tmp30 187} 188 189; (This was a miscompilation.) 190define i32 @test12(i32 %x, i32 %y, i8* %p) nounwind { 191 %a = bitcast i8* %p to [13 x i8]* 192 %b = getelementptr [13 x i8]* %a, i32 %x 193 %c = bitcast [13 x i8]* %b to [15 x i8]* 194 %d = getelementptr [15 x i8]* %c, i32 %y, i32 8 195 %castd = bitcast i8* %d to i32* 196 %castp = bitcast i8* %p to i32* 197 store i32 1, i32* %castp 198 store i32 0, i32* %castd 199 %r = load i32* %castp 200 ret i32 %r 201 ; CHECK: @test12 202 ; CHECK: ret i32 %r 203} 204