;=========================== begin_copyright_notice ============================
;
; Copyright (C) 2021-2025 Intel Corporation
;
; SPDX-License-Identifier: MIT
;
;============================ end_copyright_notice =============================

; RUN: %opt_typed_ptrs %use_old_pass_manager% -GenXPromoteArray -march=genx64 -mcpu=Xe2 -S < %s | FileCheck %s --check-prefixes=CHECK,CHECK-TYPED-PTRS
; RUN: %opt_opaque_ptrs %use_old_pass_manager% -GenXPromoteArray -march=genx64 -mcpu=Xe2 -S < %s | FileCheck %s --check-prefixes=CHECK,CHECK-OPAQUE-PTRS

; COM: Bitcast chains can contain currently unsupported bitcasts. This test checks
; COM: that no transformations are applied in this case.

; COM: There was a bug related to ptrtoint that made such casts valid so checking
; COM: such case here too. Before fix the test fails on assert in debug
; COM: and fails on FileCheck in release.

target datalayout = "e-p:64:64-i64:64-n8:16:32"

define dllexport void @test(i64 %offset) {
  %result = alloca [16 x i32], align 64

  %ptr = getelementptr inbounds [16 x i32], [16 x i32]* %result, i64 0, i64 %offset
  %first_cast = bitcast i32* %ptr to i8*
  %first_gep = getelementptr i8, i8* %first_cast, i64 0
; COM: The following casts are not supported
  %second_cast = bitcast i8* %first_gep to i32*
  %second_gep = getelementptr i32, i32* %second_cast, i64 0
  %final_cast = bitcast i32* %second_gep to <8 x i32>*
  store <8 x i32> zeroinitializer, <8 x i32>* %final_cast

; COM: ptrtoint checker expects some magical sequence
  %ptr.i = ptrtoint [16 x i32]* %result to i64
  %base.i = insertelement <16 x i64> undef, i64 %ptr.i, i32 0
  %shuffle.i = shufflevector <16 x i64> %base.i, <16 x i64> undef, <16 x i32> zeroinitializer
  %new_offsets.i = add nuw nsw <16 x i64> %shuffle.i, <i64 0, i64 4, i64 8, i64 12, i64 16, i64 20, i64 24, i64 28, i64 32, i64 36, i64 40, i64 44, i64 48, i64 52, i64 56, i64 60>
  %res = call <16 x i32> @llvm.genx.svm.gather.v16i32.v16i1.v16i64(<16 x i1> <i1 true, i1 true, i1 false, i1 false, i1 false, i1 false, i1 false, i1 false, i1 false, i1 false, i1 false, i1 false, i1 false, i1 false, i1 false, i1 false>, i32 0, <16 x i64> %new_offsets.i, <16 x i32> undef)

  ret void

; COM: We expect no changes at all.
; CHECK-LABEL: test
; CHECK-NEXT: %result = alloca [16 x i32], align 64
; CHECK-TYPED-PTRS-NEXT: %ptr = getelementptr inbounds [16 x i32], [16 x i32]* %result, i64 0, i64 %offset
; CHECK-TYPED-PTRS-NEXT: %first_cast = bitcast i32* %ptr to i8*
; CHECK-TYPED-PTRS-NEXT: %first_gep = getelementptr i8, i8* %first_cast, i64 0
; CHECK-TYPED-PTRS-NEXT: %second_cast = bitcast i8* %first_gep to i32*
; CHECK-TYPED-PTRS-NEXT: %second_gep = getelementptr i32, i32* %second_cast, i64 0
; CHECK-TYPED-PTRS-NEXT: %final_cast = bitcast i32* %second_gep to <8 x i32>*
; CHECK-TYPED-PTRS-NEXT: store <8 x i32> zeroinitializer, <8 x i32>* %final_cast
; CHECK-TYPED-PTRS-NEXT: %ptr.i = ptrtoint [16 x i32]* %result to i64
; CHECK-OPAQUE-PTRS-NEXT: %ptr = getelementptr inbounds [16 x i32], ptr %result, i64 0, i64 %offset
; CHECK-OPAQUE-PTRS-NEXT: %first_cast = bitcast ptr %ptr to ptr
; CHECK-OPAQUE-PTRS-NEXT: %first_gep = getelementptr i8, ptr %first_cast, i64 0
; CHECK-OPAQUE-PTRS-NEXT: %second_cast = bitcast ptr %first_gep to ptr
; CHECK-OPAQUE-PTRS-NEXT: %second_gep = getelementptr i32, ptr %second_cast, i64 0
; CHECK-OPAQUE-PTRS-NEXT: %final_cast = bitcast ptr %second_gep to ptr
; CHECK-OPAQUE-PTRS-NEXT: store <8 x i32> zeroinitializer, ptr %final_cast
; CHECK-OPAQUE-PTRS-NEXT: %ptr.i = ptrtoint ptr %result to i64
; CHECK-NEXT: %base.i = insertelement <16 x i64> undef, i64 %ptr.i, i32 0
; CHECK-NEXT: %shuffle.i = shufflevector <16 x i64> %base.i, <16 x i64> undef, <16 x i32> zeroinitializer
; CHECK-NEXT: %new_offsets.i = add nuw nsw <16 x i64> %shuffle.i, <i64 0, i64 4, i64 8, i64 12, i64 16, i64 20, i64 24, i64 28, i64 32, i64 36, i64 40, i64 44, i64 48, i64 52, i64 56, i64 60>
; CHECK-NEXT: %res = call <16 x i32> @llvm.genx.svm.gather.v16i32.v16i1.v16i64(<16 x i1> <i1 true, i1 true, i1 false, i1 false, i1 false, i1 false, i1 false, i1 false, i1 false, i1 false, i1 false, i1 false, i1 false, i1 false, i1 false, i1 false>, i32 0, <16 x i64> %new_offsets.i, <16 x i32> undef)
; CHECK-NEXT: ret void
}

declare <16 x i32> @llvm.genx.svm.gather.v16i32.v16i1.v16i64(<16 x i1>, i32, <16 x i64>, <16 x i32>)
