[DA] update test to not use undef

Author: sebpop

llvm/test/Analysis/DependenceAnalysis/MIVCheckConst.ll

@@ -30,14 +30,14 @@ target datalayout = "e-m:e-p:32:32-i1:32-i64:64-a:0-v32:32-n16:32"
 %20 = type { [768 x i32] }
 %21 = type { [416 x i32] }
 
-define void @test(ptr %A, i1 %arg) #0 align 2 {
+define void @test(ptr %A, ptr %B, i1 %arg, i32 %n, i32 %m) #0 align 2 {
 ; CHECK-LABEL: 'test'
-; CHECK-NEXT:  Src: %v1 = load i32, ptr undef, align 4 --> Dst: %v1 = load i32, ptr undef, align 4
-; CHECK-NEXT:    da analyze - none!
-; CHECK-NEXT:  Src: %v1 = load i32, ptr undef, align 4 --> Dst: %v27 = load <32 x i32>, ptr %v25, align 256
-; CHECK-NEXT:    da analyze - none!
-; CHECK-NEXT:  Src: %v1 = load i32, ptr undef, align 4 --> Dst: %v32 = load <32 x i32>, ptr %v30, align 128
+; CHECK-NEXT:  Src: %v1 = load i32, ptr %B, align 4 --> Dst: %v1 = load i32, ptr %B, align 4
 ; CHECK-NEXT:    da analyze - none!
+; CHECK-NEXT:  Src: %v1 = load i32, ptr %B, align 4 --> Dst: %v27 = load <32 x i32>, ptr %v25, align 256
+; CHECK-NEXT:    da analyze - confused!
+; CHECK-NEXT:  Src: %v1 = load i32, ptr %B, align 4 --> Dst: %v32 = load <32 x i32>, ptr %v30, align 128
+; CHECK-NEXT:    da analyze - confused!
 ; CHECK-NEXT:  Src: %v27 = load <32 x i32>, ptr %v25, align 256 --> Dst: %v27 = load <32 x i32>, ptr %v25, align 256
 ; CHECK-NEXT:    da analyze - consistent input [0 S S]!
 ; CHECK-NEXT:  Src: %v27 = load <32 x i32>, ptr %v25, align 256 --> Dst: %v32 = load <32 x i32>, ptr %v30, align 128
@@ -46,27 +46,27 @@ define void @test(ptr %A, i1 %arg) #0 align 2 {
 ; CHECK-NEXT:    da analyze - consistent input [0 S S]!
 ;
 entry:
-  %v1 = load i32, ptr undef, align 4
+  %v1 = load i32, ptr %B, align 4
   br label %bb13
 
 bb13:
-  %v2 = phi i32 [ undef, %entry ], [ %v39, %bb38 ]
+  %v2 = phi i32 [ 0, %entry ], [ %v39, %bb38 ]
   br i1 %arg, label %bb15, label %bb38
 
 bb15:
-  %v3 = mul nsw i32 %v2, undef
+  %v3 = mul nsw i32 %v2, 2
   br label %bb17
 
 bb17:
   br i1 %arg, label %bb21, label %bb37
 
 bb21:
-  %v22 = add nsw i32 undef, 1
+  %v22 = add nsw i32 %n, 1
   %v23 = add i32 %v22, %v3
   %v24 = mul nsw i32 %v23, %v1
   %v25 = getelementptr inbounds %1, ptr %A, i32 0, i32 7, i32 1, i32 %v24
   %v27 = load <32 x i32>, ptr %v25, align 256
-  %v28 = add i32 undef, %v3
+  %v28 = add i32 %m, %v3
   %v29 = mul nsw i32 %v28, 32
   %v30 = getelementptr inbounds %1, ptr %A, i32 0, i32 7, i32 14, i32 %v29
   %v32 = load <32 x i32>, ptr %v30, align 128