1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
; Check that the translator doesn't fail on a translation of empty aliasing
; metadata
; RUN: llvm-as %s -o %t.bc
; RUN: llvm-spirv %t.bc --spirv-ext=+SPV_INTEL_memory_access_aliasing -o %t.spv
; RUN: llvm-spirv %t.spv -to-text -o %t.spt
; RUN: FileCheck < %t.spt %s --check-prefix=CHECK-SPIRV
; CHECK-SPIRV-NOT: Capability MemoryAccessAliasingINTEL
; CHECK-SPIRV-NOT: Extension "SPV_INTEL_memory_access_aliasing"
; CHECK-SPIRV-NOT: AliasDomainDeclINTEL
; CHECK-SPIRV-NOT: AliasScopeDeclINTEL
; CHECK-SPIRV-NOT: AliasScopeListDeclINTEL
; ModuleID = 'optimized_intel_restrict.bc'
source_filename = "intel_restrict.cpp"
target datalayout = "e-i64:64-v16:16-v24:32-v32:32-v48:64-v96:128-v192:256-v256:256-v512:512-v1024:1024-n8:16:32:64"
target triple = "spir64-unknown-unknown"
define dso_local spir_kernel void @_ZTSZ4mainE15kernel_restrict(i32 addrspace(1)* noalias %_arg_, i32 addrspace(1)* noalias %_arg_1, i32 addrspace(1)* noalias %_arg_3) local_unnamed_addr {
entry:
%0 = addrspacecast i32 addrspace(1)* %_arg_ to i32 addrspace(4)*
%1 = addrspacecast i32 addrspace(1)* %_arg_1 to i32 addrspace(4)*
%2 = addrspacecast i32 addrspace(1)* %_arg_3 to i32 addrspace(4)*
%3 = load i32, i32 addrspace(4)* %0, align 4, !alias.scope !4
%4 = load i32, i32 addrspace(4)* %1, align 4, !alias.scope !4
%add.i = add nsw i32 %4, %3
store i32 %add.i, i32 addrspace(4)* %2, align 4, !noalias !4
ret void
}
!llvm.module.flags = !{!0}
!opencl.spir.version = !{!1}
!spirv.Source = !{!2}
!llvm.ident = !{!3}
!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 1, i32 2}
!2 = !{i32 4, i32 100000}
!3 = !{!"clang version 13.0.0"}
!4 = !{}
|
