[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

Essentially the same as the GEP change in r230786.

A similar migration script can be used to update test cases, though a few more
test case improvements/changes were required this time around: (r229269-r229278)

import fileinput
import sys
import re

pat = re.compile(r"((?:=|:|^)\s*load (?:atomic )?(?:volatile )?(.*?))(| addrspace\(\d+\) *)\*($| *(?:%|@|null|undef|blockaddress|getelementptr|addrspacecast|bitcast|inttoptr|\[\[[a-zA-Z]|\{\{).*$)")

for line in sys.stdin:
  sys.stdout.write(re.sub(pat, r"\1, \2\3*\4", line))

Reviewers: rafael, dexonsmith, grosser

Differential Revision: http://reviews.llvm.org/D7649

llvm-svn: 230794
diff --git a/llvm/test/Transforms/Sink/basic.ll b/llvm/test/Transforms/Sink/basic.ll
index c56922a..1bbf161 100644
--- a/llvm/test/Transforms/Sink/basic.ll
+++ b/llvm/test/Transforms/Sink/basic.ll
@@ -8,11 +8,11 @@
 
 ;      CHECK-LABEL: @foo(
 ;      CHECK: true:
-; CHECK-NEXT: %l = load i32* @A
+; CHECK-NEXT: %l = load i32, i32* @A
 ; CHECK-NEXT: ret i32 %l
 
 define i32 @foo(i1 %z) {
-  %l = load i32* @A
+  %l = load i32, i32* @A
   store i32 0, i32* @B
   br i1 %z, label %true, label %false
 true:
@@ -28,7 +28,7 @@
 ; CHECK-NEXT: store i32
 
 define i32 @foo2(i1 %z) {
-  %l = load volatile i32* @A
+  %l = load volatile i32, i32* @A
   store i32 0, i32* @B
   br i1 %z, label %true, label %false
 true:
@@ -79,7 +79,7 @@
   store i32 0, i32* %0
   store i32 1, i32* %2
   %3 = getelementptr i32, i32* %0, i32 %b
-  %4 = load i32* %3
+  %4 = load i32, i32* %3
   ret i32 %4
 
 endif:
@@ -104,7 +104,7 @@
   store i32 0, i32* %0
   store i32 1, i32* %2
   %3 = getelementptr i32, i32* %0, i32 %b
-  %4 = load i32* %3
+  %4 = load i32, i32* %3
   ret i32 %4
 
 endif:
@@ -135,7 +135,7 @@
   store i32 0, i32* %0
   store i32 1, i32* %2
   %3 = getelementptr i32, i32* %0, i32 %b
-  %4 = load i32* %3
+  %4 = load i32, i32* %3
   ret i32 %4
 
 endif: