[opaque pointer type] Add textual IR support for explicit type parameter to getelemen...

[oota-llvm.git] / test / Analysis / ValueTracking / memory-dereferenceable.ll

diff --git a/test/Analysis/ValueTracking/memory-dereferenceable.ll b/test/Analysis/ValueTracking/memory-dereferenceable.ll
index 1c55efc37153730c071cca0f7c63ab2692502058..4ee21c5d146e08b7041652949af4df3c7f9fbcaf 100644 (file)
--- a/test/Analysis/ValueTracking/memory-dereferenceable.ll
+++ b/test/Analysis/ValueTracking/memory-dereferenceable.ll
@@ -17,7 +17,7 @@ define void @test(i32 addrspace(1)* dereferenceable(8) %dparam) {
 ; CHECK: %relocate
 ; CHECK-NOT: %nparam
 entry:
-    %globalptr = getelementptr inbounds [6 x i8]* @globalstr, i32 0, i32 0
+    %globalptr = getelementptr inbounds [6 x i8], [6 x i8]* @globalstr, i32 0, i32 0
     %load1 = load i8* %globalptr
     %alloca = alloca i1
     %load2 = load i1* %alloca
@@ -25,7 +25,7 @@ entry:
     %tok = tail call i32 (i1 ()*, i32, i32, ...)* @llvm.experimental.gc.statepoint.p0f_i1f(i1 ()* @return_i1, i32 0, i32 0, i32 0, i32 addrspace(1)* %dparam)
     %relocate = call i32 addrspace(1)* @llvm.experimental.gc.relocate.p1i32(i32 %tok, i32 4, i32 4)
     %load4 = load i32 addrspace(1)* %relocate
-    %nparam = getelementptr i32 addrspace(1)* %dparam, i32 5
+    %nparam = getelementptr i32, i32 addrspace(1)* %dparam, i32 5
     %load5 = load i32 addrspace(1)* %nparam
     ret void
 }