[opaque pointer type] Add textual IR support for explicit type parameter to getelemen...
[oota-llvm.git] / test / Transforms / LoopRotate / simplifylatch.ll
index 62e5b1ae11d5f4bbf60f37aa027c6f1efd91a174..4bb3c79fb184527cebf52de25e432d6024836c37 100644 (file)
@@ -13,7 +13,7 @@ entry:
 bb:            ; preds = %bb4, %entry
        %mode.0 = phi i8 [ 0, %entry ], [ %indvar.next, %bb4 ]          ; <i8> [#uses=4]
        zext i8 %mode.0 to i32          ; <i32>:1 [#uses=1]
-       getelementptr [4 x i32]* @mode_table, i32 0, i32 %1             ; <i32*>:2 [#uses=1]
+       getelementptr [4 x i32], [4 x i32]* @mode_table, i32 0, i32 %1          ; <i32*>:2 [#uses=1]
        load i32* %2, align 4           ; <i32>:3 [#uses=1]
        icmp eq i32 %3, %0              ; <i1>:4 [#uses=1]
        br i1 %4, label %bb1, label %bb2
@@ -39,7 +39,7 @@ declare i32 @fegetround()
 declare void @raise_exception() noreturn
 
 ;CHECK: for.body.lr.ph:
-;CHECK-NEXT:  %arrayidx1 = getelementptr inbounds i8* %CurPtr, i64 0
+;CHECK-NEXT:  %arrayidx1 = getelementptr inbounds i8, i8* %CurPtr, i64 0
 ;CHECK-NEXT:  %0 = load i8* %arrayidx1, align 1
 ;CHECK-NEXT:  %conv2 = sext i8 %0 to i32
 ;CHECK-NEXT:  br label %for.body
@@ -55,10 +55,10 @@ for.cond:                                     ; preds = %for.inc, %entry
 
 for.body:                                        ; preds = %for.cond
   %idxprom = zext i32 %i.0 to i64
-  %arrayidx = getelementptr inbounds i8* %CurPtr, i64 %idxprom
+  %arrayidx = getelementptr inbounds i8, i8* %CurPtr, i64 %idxprom
   %0 = load i8* %arrayidx, align 1
   %conv = sext i8 %0 to i32
-  %arrayidx1 = getelementptr inbounds i8* %CurPtr, i64 0
+  %arrayidx1 = getelementptr inbounds i8, i8* %CurPtr, i64 0
   %1 = load i8* %arrayidx1, align 1
   %conv2 = sext i8 %1 to i32
   %cmp3 = icmp ne i32 %conv, %conv2