Update tests for vector splat insertelement LLVM change (#1807)

Update FileCheck patterns for llvm-project commit eae26b6640af
("[IRBuilder] Use canonical i64 type for insertelement index used by
vector splats.", 2023-01-11).

Author: svenvh

test/matrix_times_matrix.spt

@@ -42,103 +42,103 @@
 ; CHECK-LLVM: %2 = load [4 x <4 x float>], ptr %rhs
 ; CHECK-LLVM: %3 = extractvalue [4 x <4 x float>] %2, 0
 ; CHECK-LLVM: %4 = extractelement <4 x float> %3, i32 0
-; CHECK-LLVM: %.splatinsert = insertelement <4 x float> poison, float %4, i32 0
+; CHECK-LLVM: %.splatinsert = insertelement <4 x float> poison, float %4, i64 0
 ; CHECK-LLVM: %.splat = shufflevector <4 x float> %.splatinsert, <4 x float> poison, <4 x i32> zeroinitializer
 ; CHECK-LLVM: %5 = extractvalue [4 x <4 x float>] %1, 0
 ; CHECK-LLVM: %6 = fmul <4 x float> %.splat, %5
 ; CHECK-LLVM: %7 = fadd <4 x float> zeroinitializer, %6
 ; CHECK-LLVM: %8 = extractelement <4 x float> %3, i32 1
-; CHECK-LLVM: %.splatinsert1 = insertelement <4 x float> poison, float %8, i32 0
+; CHECK-LLVM: %.splatinsert1 = insertelement <4 x float> poison, float %8, i64 0
 ; CHECK-LLVM: %.splat2 = shufflevector <4 x float> %.splatinsert1, <4 x float> poison, <4 x i32> zeroinitializer
 ; CHECK-LLVM: %9 = extractvalue [4 x <4 x float>] %1, 1
 ; CHECK-LLVM: %10 = fmul <4 x float> %.splat2, %9
 ; CHECK-LLVM: %11 = fadd <4 x float> %7, %10
 ; CHECK-LLVM: %12 = extractelement <4 x float> %3, i32 2
-; CHECK-LLVM: %.splatinsert3 = insertelement <4 x float> poison, float %12, i32 0
+; CHECK-LLVM: %.splatinsert3 = insertelement <4 x float> poison, float %12, i64 0
 ; CHECK-LLVM: %.splat4 = shufflevector <4 x float> %.splatinsert3, <4 x float> poison, <4 x i32> zeroinitializer
 ; CHECK-LLVM: %13 = extractvalue [4 x <4 x float>] %1, 2
 ; CHECK-LLVM: %14 = fmul <4 x float> %.splat4, %13
 ; CHECK-LLVM: %15 = fadd <4 x float> %11, %14
 ; CHECK-LLVM: %16 = extractelement <4 x float> %3, i32 3
-; CHECK-LLVM: %.splatinsert5 = insertelement <4 x float> poison, float %16, i32 0
+; CHECK-LLVM: %.splatinsert5 = insertelement <4 x float> poison, float %16, i64 0
 ; CHECK-LLVM: %.splat6 = shufflevector <4 x float> %.splatinsert5, <4 x float> poison, <4 x i32> zeroinitializer
 ; CHECK-LLVM: %17 = extractvalue [4 x <4 x float>] %1, 3
 ; CHECK-LLVM: %18 = fmul <4 x float> %.splat6, %17
 ; CHECK-LLVM: %19 = fadd <4 x float> %15, %18
 ; CHECK-LLVM: %20 = insertvalue [4 x <4 x float>] undef, <4 x float> %19, 0
 ; CHECK-LLVM: %21 = extractvalue [4 x <4 x float>] %2, 1
 ; CHECK-LLVM: %22 = extractelement <4 x float> %21, i32 0
-; CHECK-LLVM: %.splatinsert7 = insertelement <4 x float> poison, float %22, i32 0
+; CHECK-LLVM: %.splatinsert7 = insertelement <4 x float> poison, float %22, i64 0
 ; CHECK-LLVM: %.splat8 = shufflevector <4 x float> %.splatinsert7, <4 x float> poison, <4 x i32> zeroinitializer
 ; CHECK-LLVM: %23 = extractvalue [4 x <4 x float>] %1, 0
 ; CHECK-LLVM: %24 = fmul <4 x float> %.splat8, %23
 ; CHECK-LLVM: %25 = fadd <4 x float> zeroinitializer, %24
 ; CHECK-LLVM: %26 = extractelement <4 x float> %21, i32 1
-; CHECK-LLVM: %.splatinsert9 = insertelement <4 x float> poison, float %26, i32 0
+; CHECK-LLVM: %.splatinsert9 = insertelement <4 x float> poison, float %26, i64 0
 ; CHECK-LLVM: %.splat10 = shufflevector <4 x float> %.splatinsert9, <4 x float> poison, <4 x i32> zeroinitializer
 ; CHECK-LLVM: %27 = extractvalue [4 x <4 x float>] %1, 1
 ; CHECK-LLVM: %28 = fmul <4 x float> %.splat10, %27
 ; CHECK-LLVM: %29 = fadd <4 x float> %25, %28
 ; CHECK-LLVM: %30 = extractelement <4 x float> %21, i32 2
-; CHECK-LLVM: %.splatinsert11 = insertelement <4 x float> poison, float %30, i32 0
+; CHECK-LLVM: %.splatinsert11 = insertelement <4 x float> poison, float %30, i64 0
 ; CHECK-LLVM: %.splat12 = shufflevector <4 x float> %.splatinsert11, <4 x float> poison, <4 x i32> zeroinitializer
 ; CHECK-LLVM: %31 = extractvalue [4 x <4 x float>] %1, 2
 ; CHECK-LLVM: %32 = fmul <4 x float> %.splat12, %31
 ; CHECK-LLVM: %33 = fadd <4 x float> %29, %32
 ; CHECK-LLVM: %34 = extractelement <4 x float> %21, i32 3
-; CHECK-LLVM: %.splatinsert13 = insertelement <4 x float> poison, float %34, i32 0
+; CHECK-LLVM: %.splatinsert13 = insertelement <4 x float> poison, float %34, i64 0
 ; CHECK-LLVM: %.splat14 = shufflevector <4 x float> %.splatinsert13, <4 x float> poison, <4 x i32> zeroinitializer
 ; CHECK-LLVM: %35 = extractvalue [4 x <4 x float>] %1, 3
 ; CHECK-LLVM: %36 = fmul <4 x float> %.splat14, %35
 ; CHECK-LLVM: %37 = fadd <4 x float> %33, %36
 ; CHECK-LLVM: %38 = insertvalue [4 x <4 x float>] %20, <4 x float> %37, 1
 ; CHECK-LLVM: %39 = extractvalue [4 x <4 x float>] %2, 2
 ; CHECK-LLVM: %40 = extractelement <4 x float> %39, i32 0
-; CHECK-LLVM: %.splatinsert15 = insertelement <4 x float> poison, float %40, i32 0
+; CHECK-LLVM: %.splatinsert15 = insertelement <4 x float> poison, float %40, i64 0
 ; CHECK-LLVM: %.splat16 = shufflevector <4 x float> %.splatinsert15, <4 x float> poison, <4 x i32> zeroinitializer
 ; CHECK-LLVM: %41 = extractvalue [4 x <4 x float>] %1, 0
 ; CHECK-LLVM: %42 = fmul <4 x float> %.splat16, %41
 ; CHECK-LLVM: %43 = fadd <4 x float> zeroinitializer, %42
 ; CHECK-LLVM: %44 = extractelement <4 x float> %39, i32 1
-; CHECK-LLVM: %.splatinsert17 = insertelement <4 x float> poison, float %44, i32 0
+; CHECK-LLVM: %.splatinsert17 = insertelement <4 x float> poison, float %44, i64 0
 ; CHECK-LLVM: %.splat18 = shufflevector <4 x float> %.splatinsert17, <4 x float> poison, <4 x i32> zeroinitializer
 ; CHECK-LLVM: %45 = extractvalue [4 x <4 x float>] %1, 1
 ; CHECK-LLVM: %46 = fmul <4 x float> %.splat18, %45
 ; CHECK-LLVM: %47 = fadd <4 x float> %43, %46
 ; CHECK-LLVM: %48 = extractelement <4 x float> %39, i32 2
-; CHECK-LLVM: %.splatinsert19 = insertelement <4 x float> poison, float %48, i32 0
+; CHECK-LLVM: %.splatinsert19 = insertelement <4 x float> poison, float %48, i64 0
 ; CHECK-LLVM: %.splat20 = shufflevector <4 x float> %.splatinsert19, <4 x float> poison, <4 x i32> zeroinitializer
 ; CHECK-LLVM: %49 = extractvalue [4 x <4 x float>] %1, 2
 ; CHECK-LLVM: %50 = fmul <4 x float> %.splat20, %49
 ; CHECK-LLVM: %51 = fadd <4 x float> %47, %50
 ; CHECK-LLVM: %52 = extractelement <4 x float> %39, i32 3
-; CHECK-LLVM: %.splatinsert21 = insertelement <4 x float> poison, float %52, i32 0
+; CHECK-LLVM: %.splatinsert21 = insertelement <4 x float> poison, float %52, i64 0
 ; CHECK-LLVM: %.splat22 = shufflevector <4 x float> %.splatinsert21, <4 x float> poison, <4 x i32> zeroinitializer
 ; CHECK-LLVM: %53 = extractvalue [4 x <4 x float>] %1, 3
 ; CHECK-LLVM: %54 = fmul <4 x float> %.splat22, %53
 ; CHECK-LLVM: %55 = fadd <4 x float> %51, %54
 ; CHECK-LLVM: %56 = insertvalue [4 x <4 x float>] %38, <4 x float> %55, 2
 ; CHECK-LLVM: %57 = extractvalue [4 x <4 x float>] %2, 3
 ; CHECK-LLVM: %58 = extractelement <4 x float> %57, i32 0
-; CHECK-LLVM: %.splatinsert23 = insertelement <4 x float> poison, float %58, i32 0
+; CHECK-LLVM: %.splatinsert23 = insertelement <4 x float> poison, float %58, i64 0
 ; CHECK-LLVM: %.splat24 = shufflevector <4 x float> %.splatinsert23, <4 x float> poison, <4 x i32> zeroinitializer
 ; CHECK-LLVM: %59 = extractvalue [4 x <4 x float>] %1, 0
 ; CHECK-LLVM: %60 = fmul <4 x float> %.splat24, %59
 ; CHECK-LLVM: %61 = fadd <4 x float> zeroinitializer, %60
 ; CHECK-LLVM: %62 = extractelement <4 x float> %57, i32 1
-; CHECK-LLVM: %.splatinsert25 = insertelement <4 x float> poison, float %62, i32 0
+; CHECK-LLVM: %.splatinsert25 = insertelement <4 x float> poison, float %62, i64 0
 ; CHECK-LLVM: %.splat26 = shufflevector <4 x float> %.splatinsert25, <4 x float> poison, <4 x i32> zeroinitializer
 ; CHECK-LLVM: %63 = extractvalue [4 x <4 x float>] %1, 1
 ; CHECK-LLVM: %64 = fmul <4 x float> %.splat26, %63
 ; CHECK-LLVM: %65 = fadd <4 x float> %61, %64
 ; CHECK-LLVM: %66 = extractelement <4 x float> %57, i32 2
-; CHECK-LLVM: %.splatinsert27 = insertelement <4 x float> poison, float %66, i32 0
+; CHECK-LLVM: %.splatinsert27 = insertelement <4 x float> poison, float %66, i64 0
 ; CHECK-LLVM: %.splat28 = shufflevector <4 x float> %.splatinsert27, <4 x float> poison, <4 x i32> zeroinitializer
 ; CHECK-LLVM: %67 = extractvalue [4 x <4 x float>] %1, 2
 ; CHECK-LLVM: %68 = fmul <4 x float> %.splat28, %67
 ; CHECK-LLVM: %69 = fadd <4 x float> %65, %68
 ; CHECK-LLVM: %70 = extractelement <4 x float> %57, i32 3
-; CHECK-LLVM: %.splatinsert29 = insertelement <4 x float> poison, float %70, i32 0
+; CHECK-LLVM: %.splatinsert29 = insertelement <4 x float> poison, float %70, i64 0
 ; CHECK-LLVM: %.splat30 = shufflevector <4 x float> %.splatinsert29, <4 x float> poison, <4 x i32> zeroinitializer
 ; CHECK-LLVM: %71 = extractvalue [4 x <4 x float>] %1, 3
 ; CHECK-LLVM: %72 = fmul <4 x float> %.splat30, %71

test/matrix_times_scalar.spt

@@ -5,7 +5,7 @@
 
 ; CHECK-LLVM: %1 = load [4 x <4 x float>], ptr %lhs
 ; CHECK-LLVM: %2 = load float, ptr %rhs
-; CHECK-LLVM: %.splatinsert = insertelement <4 x float> poison, float %2, i32 0
+; CHECK-LLVM: %.splatinsert = insertelement <4 x float> poison, float %2, i64 0
 ; CHECK-LLVM: %3 = shufflevector <4 x float> %.splatinsert, <4 x float> poison, <4 x i32> zeroinitializer
 ; CHECK-LLVM: %4 = extractvalue [4 x <4 x float>] %1, 0
 ; CHECK-LLVM: %5 = fmul <4 x float> %4, %3

test/matrix_times_vector.spt

@@ -41,25 +41,25 @@
 ; CHECK-LLVM: %1 = load [4 x <4 x float>], ptr %lhs
 ; CHECK-LLVM: %2 = load <4 x float>, ptr %rhs
 ; CHECK-LLVM: %3 = extractelement <4 x float> %2, i32 0
-; CHECK-LLVM: %.splatinsert = insertelement <4 x float> poison, float %3, i32 0
+; CHECK-LLVM: %.splatinsert = insertelement <4 x float> poison, float %3, i64 0
 ; CHECK-LLVM: %.splat = shufflevector <4 x float> %.splatinsert, <4 x float> poison, <4 x i32> zeroinitializer
 ; CHECK-LLVM: %4 = extractvalue [4 x <4 x float>] %1, 0
 ; CHECK-LLVM: %5 = fmul <4 x float> %.splat, %4
 ; CHECK-LLVM: %6 = fadd <4 x float> zeroinitializer, %5
 ; CHECK-LLVM: %7 = extractelement <4 x float> %2, i32 1
-; CHECK-LLVM: %.splatinsert1 = insertelement <4 x float> poison, float %7, i32 0
+; CHECK-LLVM: %.splatinsert1 = insertelement <4 x float> poison, float %7, i64 0
 ; CHECK-LLVM: %.splat2 = shufflevector <4 x float> %.splatinsert1, <4 x float> poison, <4 x i32> zeroinitializer
 ; CHECK-LLVM: %8 = extractvalue [4 x <4 x float>] %1, 1
 ; CHECK-LLVM: %9 = fmul <4 x float> %.splat2, %8
 ; CHECK-LLVM: %10 = fadd <4 x float> %6, %9
 ; CHECK-LLVM: %11 = extractelement <4 x float> %2, i32 2
-; CHECK-LLVM: %.splatinsert3 = insertelement <4 x float> poison, float %11, i32 0
+; CHECK-LLVM: %.splatinsert3 = insertelement <4 x float> poison, float %11, i64 0
 ; CHECK-LLVM: %.splat4 = shufflevector <4 x float> %.splatinsert3, <4 x float> poison, <4 x i32> zeroinitializer
 ; CHECK-LLVM: %12 = extractvalue [4 x <4 x float>] %1, 2
 ; CHECK-LLVM: %13 = fmul <4 x float> %.splat4, %12
 ; CHECK-LLVM: %14 = fadd <4 x float> %10, %13
 ; CHECK-LLVM: %15 = extractelement <4 x float> %2, i32 3
-; CHECK-LLVM: %.splatinsert5 = insertelement <4 x float> poison, float %15, i32 0
+; CHECK-LLVM: %.splatinsert5 = insertelement <4 x float> poison, float %15, i64 0
 ; CHECK-LLVM: %.splat6 = shufflevector <4 x float> %.splatinsert5, <4 x float> poison, <4 x i32> zeroinitializer
 ; CHECK-LLVM: %16 = extractvalue [4 x <4 x float>] %1, 3
 ; CHECK-LLVM: %17 = fmul <4 x float> %.splat6, %16

test/vector_times_matrix.spt

@@ -41,7 +41,7 @@
 ; CHECK-LLVM: %1 = load <4 x float>, ptr %lhs
 ; CHECK-LLVM: %2 = load [4 x <4 x float>], ptr %rhs
 ; CHECK-LLVM: %3 = extractelement <4 x float> %1, i32 0
-; CHECK-LLVM: %.splatinsert = insertelement <4 x float> poison, float %3, i32 0
+; CHECK-LLVM: %.splatinsert = insertelement <4 x float> poison, float %3, i64 0
 ; CHECK-LLVM: %.splat = shufflevector <4 x float> %.splatinsert, <4 x float> poison, <4 x i32> zeroinitializer
 ; CHECK-LLVM: %4 = extractvalue [4 x <4 x float>] %2, 0
 ; CHECK-LLVM: %5 = extractelement <4 x float> %4, i32 0
@@ -58,7 +58,7 @@
 ; CHECK-LLVM: %16 = fmul <4 x float> %.splat, %15
 ; CHECK-LLVM: %17 = fadd <4 x float> zeroinitializer, %16
 ; CHECK-LLVM: %18 = extractelement <4 x float> %1, i32 1
-; CHECK-LLVM: %.splatinsert1 = insertelement <4 x float> poison, float %18, i32 0
+; CHECK-LLVM: %.splatinsert1 = insertelement <4 x float> poison, float %18, i64 0
 ; CHECK-LLVM: %.splat2 = shufflevector <4 x float> %.splatinsert1, <4 x float> poison, <4 x i32> zeroinitializer
 ; CHECK-LLVM: %19 = extractvalue [4 x <4 x float>] %2, 0
 ; CHECK-LLVM: %20 = extractelement <4 x float> %19, i32 1
@@ -75,7 +75,7 @@
 ; CHECK-LLVM: %31 = fmul <4 x float> %.splat2, %30
 ; CHECK-LLVM: %32 = fadd <4 x float> %17, %31
 ; CHECK-LLVM: %33 = extractelement <4 x float> %1, i32 2
-; CHECK-LLVM: %.splatinsert3 = insertelement <4 x float> poison, float %33, i32 0
+; CHECK-LLVM: %.splatinsert3 = insertelement <4 x float> poison, float %33, i64 0
 ; CHECK-LLVM: %.splat4 = shufflevector <4 x float> %.splatinsert3, <4 x float> poison, <4 x i32> zeroinitializer
 ; CHECK-LLVM: %34 = extractvalue [4 x <4 x float>] %2, 0
 ; CHECK-LLVM: %35 = extractelement <4 x float> %34, i32 2
@@ -92,7 +92,7 @@
 ; CHECK-LLVM: %46 = fmul <4 x float> %.splat4, %45
 ; CHECK-LLVM: %47 = fadd <4 x float> %32, %46
 ; CHECK-LLVM: %48 = extractelement <4 x float> %1, i32 3
-; CHECK-LLVM: %.splatinsert5 = insertelement <4 x float> poison, float %48, i32 0
+; CHECK-LLVM: %.splatinsert5 = insertelement <4 x float> poison, float %48, i64 0
 ; CHECK-LLVM: %.splat6 = shufflevector <4 x float> %.splatinsert5, <4 x float> poison, <4 x i32> zeroinitializer
 ; CHECK-LLVM: %49 = extractvalue [4 x <4 x float>] %2, 0
 ; CHECK-LLVM: %50 = extractelement <4 x float> %49, i32 3

test/vector_times_scalar.spt

@@ -54,7 +54,7 @@
 ; RUN: llvm-spirv -r -emit-opaque-pointers %t.spv -o %t.bc
 ; RUN: llvm-dis < %t.bc | FileCheck %s --check-prefix=CHECK-LLVM
 
-; CHECK-LLVM: %.splatinsert = insertelement <4 x double> poison, double %{{[0-9]*}}, i32 0
+; CHECK-LLVM: %.splatinsert = insertelement <4 x double> poison, double %{{[0-9]*}}, i64 0
 ; CHECK-LLVM: %[[shufflevector:[0-9]+]] = shufflevector <4 x double> %.splatinsert, <4 x double> poison, <4 x i32> zeroinitializer
 ; CHECK-LLVM: %scale = fmul <4 x double> %{{[0-9]*}}, %[[shufflevector]]