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
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
|
;=========================== begin_copyright_notice ============================
;
; Copyright (C) 2020-2025 Intel Corporation
;
; SPDX-License-Identifier: MIT
;
;============================ end_copyright_notice =============================
; RUN: %opt_typed_ptrs %use_old_pass_manager% -CMABILegacy -march=genx64 -mcpu=XeHPG -S < %s | FileCheck %s --check-prefixes=CHECK,CHECK-TYPED-PTRS
; RUN: %opt_opaque_ptrs %use_old_pass_manager% -CMABILegacy -march=genx64 -mcpu=XeHPG -S < %s | FileCheck %s --check-prefixes=CHECK,CHECK-OPAQUE-PTRS
; RUN: %opt_new_pm_typed -passes=CMABI -march=genx64 -mcpu=XeHPG -S < %s | FileCheck %s --check-prefixes=CHECK,CHECK-TYPED-PTRS
; RUN: %opt_new_pm_opaque -passes=CMABI -march=genx64 -mcpu=XeHPG -S < %s | FileCheck %s --check-prefixes=CHECK,CHECK-OPAQUE-PTRS
target datalayout = "e-p:64:64-i64:64-n8:16:32"
; COM: global variables in non-private addrspaces aren't localized
@simple_global_array = internal addrspace(2) constant [8 x i32] [i32 42, i32 43, i32 44, i32 45, i32 46, i32 47, i32 48, i32 49], align 4
; CHECK: @simple_global_array = internal addrspace(2) constant [8 x i32] [i32 42, i32 43, i32 44, i32 45, i32 46, i32 47, i32 48, i32 49], align 4
; Function Attrs: noinline nounwind
define dllexport void @simple_array(i64 %provided.offset) {
entry:
%ptr = getelementptr inbounds [8 x i32], [8 x i32] addrspace(2)* @simple_global_array, i64 0, i64 %provided.offset
; CHECK-TYPED-PTRS: %ptr = getelementptr inbounds [8 x i32], [8 x i32] addrspace(2)* @simple_global_array, i64 0, i64 %provided.offset
; CHECK-OPAQUE-PTRS: %ptr = getelementptr inbounds [8 x i32], ptr addrspace(2) @simple_global_array, i64 0, i64 %provided.offset
%level.0.cmp = icmp slt i64 %provided.offset, 4
br i1 %level.0.cmp, label %level.1.less.4, label %level.1.greater.equal.4
level.1.less.4: ; preds = %entry
%level.1.ptr.cast = bitcast i32 addrspace(2)* %ptr to i8 addrspace(2)*
; CHECK-TYPED-PTRS-DAG: %level.1.ptr.cast = bitcast i32 addrspace(2)* %ptr to i8 addrspace(2)*
; CHECK-OPAQUE-PTRS-DAG: %level.1.ptr.cast = bitcast ptr addrspace(2) %ptr to ptr addrspace(2)
%level.1.less.4.cmp = icmp slt i64 %provided.offset, -1
br i1 %level.1.less.4.cmp, label %level.2.less.min.1, label %level.2.greater.equal.min.1
level.2.less.min.1: ; preds = %level.1.less.4
%level.2.val = load i8, i8 addrspace(2)* %level.1.ptr.cast, align 4
; CHECK-TYPED-PTRS-DAG: %level.2.val = load i8, i8 addrspace(2)* %level.1.ptr.cast, align 4
; CHECK-OPAQUE-PTRS-DAG: %level.2.val = load i8, ptr addrspace(2) %level.1.ptr.cast, align 4
%level.2.val.use = add i8 %level.2.val, 1
; CHECK-DAG: %level.2.val.use = add i8 %level.2.val, 1
br label %exit
level.2.greater.equal.min.1: ; preds = %level.1.less.4
%level.2.ptr.cast.back = bitcast i8 addrspace(2)* %level.1.ptr.cast to i32 addrspace(2)*
; CHECK-TYPED-PTRS-DAG: %level.2.ptr.cast.back = bitcast i8 addrspace(2)* %level.1.ptr.cast to i32 addrspace(2)*
; CHECK-OPAQUE-PTRS-DAG: %level.2.ptr.cast.back = bitcast ptr addrspace(2) %level.1.ptr.cast to ptr addrspace(2)
br label %exit
level.1.greater.equal.4: ; preds = %entry
%shifted.offset = add nsw i64 %provided.offset, -1
%level.1.ptr = getelementptr inbounds [8 x i32], [8 x i32] addrspace(2)* @simple_global_array, i64 0, i64 %shifted.offset
; CHECK-TYPED-PTRS-DAG: %level.1.ptr = getelementptr inbounds [8 x i32], [8 x i32] addrspace(2)* @simple_global_array, i64 0, i64 %shifted.offset
; CHECK-OPAQUE-PTRS-DAG: %level.1.ptr = getelementptr inbounds [8 x i32], ptr addrspace(2) @simple_global_array, i64 0, i64 %shifted.offset
%level.1.greater.equal.4.cmp = icmp sgt i64 %provided.offset, 7
br i1 %level.1.greater.equal.4.cmp, label %level.2.greater.7, label %level.2.less.equal.7
level.2.less.equal.7: ; preds = %level.1.greater.equal.4
%level.2.less.equal.7.val = load i32, i32 addrspace(2)* %level.1.ptr, align 4
; CHECK-TYPED-PTRS-DAG: %level.2.less.equal.7.val = load i32, i32 addrspace(2)* %level.1.ptr, align 4
; CHECK-OPAQUE-PTRS-DAG: %level.2.less.equal.7.val = load i32, ptr addrspace(2) %level.1.ptr, align 4
%level.2.less.equal.7.val.use = add i32 %level.2.less.equal.7.val, 1
; CHECK-DAG: %level.2.less.equal.7.val.use = add i32 %level.2.less.equal.7.val, 1
br label %exit
level.2.greater.7: ; preds = %level.1.greater.equal.4
%level.2.greater.7.ptr.cast = bitcast i32 addrspace(2)* %level.1.ptr to i8 addrspace(2)*
; CHECK-TYPED-PTRS-DAG: %level.2.greater.7.ptr.cast = bitcast i32 addrspace(2)* %level.1.ptr to i8 addrspace(2)*
; CHECK-OPAQUE-PTRS-DAG: %level.2.greater.7.ptr.cast = bitcast ptr addrspace(2) %level.1.ptr to ptr addrspace(2)
%level.2.greater.7.val = load i8, i8 addrspace(2)* %level.2.greater.7.ptr.cast, align 4
; CHECK-TYPED-PTRS-DAG: %level.2.greater.7.val = load i8, i8 addrspace(2)* %level.2.greater.7.ptr.cast, align 4
; CHECK-OPAQUE-PTRS-DAG: %level.2.greater.7.val = load i8, ptr addrspace(2) %level.2.greater.7.ptr.cast, align 4
%level.2.greater.7.val.use = add i8 %level.2.greater.7.val, 1
; CHECK-DAG: %level.2.greater.7.val.use = add i8 %level.2.greater.7.val, 1
br label %exit
exit: ; preds = %level.2.greater.7, %level.2.less.equal.7, %level.2.greater.equal.min.1, %level.2.less.min.1
ret void
}
!genx.kernels = !{!0}
!0 = !{void (i64)* @simple_array}
|
