Fix pointer kernel argument detection in VC

The pointer kernel argument detection logic should properly handle
integer arithmetic operations to avoid false positives.

(cherry picked from commit 67a6ce3)

Author: vmustya

IGC/AdaptorOCL/ocl_igc_shared/indirect_access_detection/version.h

@@ -13,4 +13,4 @@ SPDX-License-Identifier: MIT
 
 #pragma once
 
-const uint32_t INDIRECT_ACCESS_DETECTION_VERSION = 6;
+const uint32_t INDIRECT_ACCESS_DETECTION_VERSION = 7;

IGC/VectorCompiler/lib/GenXCodeGen/GenXDetectPointerArg.cpp

@@ -414,6 +414,25 @@ void GenXDetectPointerArg::analyzeValue(Value *V) {
       continue;
     }
 
+    // Skip function calls and intrinsics.
+    if (isa<CallInst>(Inst))
+      continue;
+
+    switch (Inst->getOpcode()) {
+    default:
+      break;
+    case Instruction::Mul:
+    case Instruction::UDiv:
+    case Instruction::SDiv:
+    case Instruction::URem:
+    case Instruction::SRem:
+    case Instruction::Shl:
+    case Instruction::LShr:
+    case Instruction::AShr:
+      // Mul-like and div-like instructions cannot produce a pointer.
+      continue;
+    }
+
     for (auto &Op : Inst->operands())
       WorkList.push(Op.get());
   }

IGC/VectorCompiler/test/GenXDetectPointerArg/integer-arithmetic.ll

@@ -0,0 +1,96 @@
+;=========================== begin_copyright_notice ============================
+;
+; Copyright (C) 2024 Intel Corporation
+;
+; SPDX-License-Identifier: MIT
+;
+;============================ end_copyright_notice =============================
+;
+; RUN: %opt_typed_ptrs %use_old_pass_manager% -GenXDetectPointerArg -march=genx64 -mtriple=spir64-unknown-unknown -mcpu=XeHPC -S < %s | FileCheck %s --check-prefixes=CHECK,CHECK-TYPED-PTRS
+; RUN: %opt_opaque_ptrs %use_old_pass_manager% -GenXDetectPointerArg -march=genx64 -mtriple=spir64-unknown-unknown -mcpu=XeHPC -S < %s | FileCheck %s --check-prefixes=CHECK,CHECK-OPAQUE-PTRS
+
+@data = internal global <8 x i64> undef, align 64, !spirv.Decorations !0 #0
+
+declare void @llvm.genx.vstore.v8i64.p0v8i64(<8 x i64>, <8 x i64>*) #1
+
+declare i64 @llvm.genx.absi.i64(i64)
+
+define dllexport spir_kernel void @kernel(i64 %arg0, i64 %arg1, i64 %arg2, i64 %arg3, i64 %arg4, i64 %arg5, i64 %arg6, i64 %arg7, i64 %arg8, i64 %arg9, i64 %impl.arg.private.base) local_unnamed_addr #2 {
+  %mul = mul i64 %arg1, 8
+  %x.0 = add i64 %mul, %arg0
+
+  %udiv = udiv i64 %arg2, 8
+  %x.1 = add i64 %udiv, %x.0
+
+  %sdiv = sdiv i64 %arg3, 8
+  %x.2 = add i64 %sdiv, %x.1
+
+  %urem = urem i64 %arg4, 8
+  %x.3 = add i64 %urem, %x.2
+
+  %srem = srem i64 %arg5, 8
+  %x.4 = add i64 %srem, %x.3
+
+  %shl = shl i64 %arg6, 3
+  %x.5 = add i64 %shl, %x.4
+
+  %lshr = lshr i64 %arg7, 3
+  %x.6 = add i64 %lshr, %x.5
+
+  %ashr = ashr i64 %arg8, 3
+  %x.7 = add i64 %ashr, %x.6
+
+  %abs = call i64 @llvm.genx.absi.i64(i64 %arg9)
+  %x.8 = add i64 %abs, %x.7
+
+  %load = tail call <8 x i64> @llvm.vc.internal.lsc.load.ugm.v8i64.i1.v2i8.i64(i1 true, i8 3, i8 4, i8 5, <2 x i8> zeroinitializer, i64 0, i64 %x.8, i16 1, i32 0, <8 x i64> undef)
+  tail call void @llvm.genx.vstore.v8i64.p0v8i64(<8 x i64> %load, <8 x i64>* nonnull @data)
+  ret void
+}
+
+declare <8 x i64> @llvm.vc.internal.lsc.load.ugm.v8i64.i1.v2i8.i64(i1, i8, i8, i8, <2 x i8>, i64, i64, i16, i32, <8 x i64>) #3
+
+attributes #0 = { "VCByteOffset"="0" "VCGlobalVariable" "VCVolatile" "genx_byte_offset"="0" "genx_volatile" }
+attributes #1 = { nounwind "target-cpu"="XeHPC" }
+attributes #2 = { noinline nounwind "CMGenxMain" "VC.Stack.Amount"="0" "oclrt"="1" "target-cpu"="XeHPC" }
+attributes #3 = { nofree nounwind readonly "target-cpu"="XeHPC" }
+
+!spirv.MemoryModel = !{!5}
+!opencl.enable.FP_CONTRACT = !{}
+!spirv.Source = !{!6}
+!opencl.spir.version = !{!7, !8, !8, !8, !8, !8, !8, !8, !8, !8, !8, !8, !8, !8, !8, !8, !8, !8}
+!opencl.ocl.version = !{!6, !8, !8, !8, !8, !8, !8, !8, !8, !8, !8, !8, !8, !8, !8, !8, !8, !8}
+!opencl.used.extensions = !{!9}
+!opencl.used.optional.core.features = !{!9}
+!spirv.Generator = !{!10}
+!genx.kernels = !{!11}
+!genx.kernel.internal = !{!16}
+!llvm.ident = !{!19, !19, !19, !19, !19, !19, !19, !19, !19, !19, !19, !19, !19, !19, !19, !19, !19}
+!llvm.module.flags = !{!20}
+
+; CHECK: !genx.kernels = !{![[KERNEL:[0-9]+]]}
+; CHECK-TYPED-PTRS: ![[KERNEL]] = !{void (i64, i64, i64, i64, i64, i64, i64, i64, i64, i64, i64)* @kernel, !"kernel", !{{[0-9]+}}, i32 0, !{{[0-9]+}}, !{{[0-9]+}}, ![[NODE:[0-9]+]], i32 0}
+; CHECK-OPAQUE-PTRS: ![[KERNEL]] = !{ptr @kernel, !"kernel", !{{[0-9]+}}, i32 0, !{{[0-9]+}}, !{{[0-9]+}}, ![[NODE:[0-9]+]], i32 0}
+; CHECK: ![[NODE]] = !{!"svmptr_t", !"", !"", !"", !"", !"", !"", !"", !"", !"", !""}
+
+!0 = !{!1, !2, !3, !4}
+!1 = !{i32 21}
+!2 = !{i32 44, i32 64}
+!3 = !{i32 5624}
+!4 = !{i32 5628, i32 0}
+!5 = !{i32 2, i32 2}
+!6 = !{i32 0, i32 0}
+!7 = !{i32 1, i32 2}
+!8 = !{i32 2, i32 0}
+!9 = !{}
+!10 = !{i16 6, i16 14}
+!11 = !{void (i64, i64, i64, i64, i64, i64, i64, i64, i64, i64, i64)* @kernel, !"kernel", !12, i32 0, !13, !14, !15, i32 0}
+!12 = !{i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 96}
+!13 = !{i32 136, i32 144, i32 152, i32 160, i32 168, i32 176, i32 184, i32 192, i32 200, i32 208, i32 128}
+!14 = !{i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0}
+!15 = !{!"", !"", !"", !"", !"", !"", !"", !"", !"", !""}
+!16 = !{void (i64, i64, i64, i64, i64, i64, i64, i64, i64, i64, i64)* @kernel, !14, !17, !9, !18}
+!17 = !{i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7, i32 8, i32 9, i32 10}
+!18 = !{i32 -1, i32 -1, i32 -1, i32 -1, i32 -1, i32 -1, i32 -1, i32 -1, i32 -1, i32 -1, i32 255}
+!19 = !{!"clang version 14.0.5"}
+!20 = !{i32 1, !"wchar_size", i32 4}