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
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
|
;=========================== begin_copyright_notice ============================
;
; Copyright (C) 2021-2024 Intel Corporation
;
; SPDX-License-Identifier: MIT
;
;============================ end_copyright_notice =============================
; RUN: %opt_typed_ptrs %use_old_pass_manager% -GenXAggregatePseudoLowering -march=genx64 -mcpu=Gen9 -S < %s | FileCheck %s --check-prefixes=CHECK,CHECK-TYPED-PTRS
; RUN: %opt_opaque_ptrs %use_old_pass_manager% -GenXAggregatePseudoLowering -march=genx64 -mcpu=Gen9 -S < %s | FileCheck %s --check-prefixes=CHECK,CHECK-OPAQUE-PTRS
%simple_st = type { i32, i64 }
%folded_st = type { i8, %simple_st }
%complex_st = type { %folded_st, i64* }
%st_with_array = type { i8, [2 x <10 x i32>] }
define dllexport void @simple_store() {
; CHECK-LABEL: simple_store
%res.ptr = alloca %simple_st
store %simple_st { i32 12, i64 85 }, %simple_st* %res.ptr
; CHECK: %[[SIMPLE_A:[^ ]+]] = extractvalue %simple_st { i32 12, i64 85 }, 0
; CHECK: %[[SIMPLE_B:[^ ]+]] = extractvalue %simple_st { i32 12, i64 85 }, 1
; CHECK-TYPED-PTRS: %[[SIMPLE_GEP_A:[^ ]+]] = getelementptr inbounds %simple_st, %simple_st* %res.ptr, i32 0, i32 0
; CHECK-TYPED-PTRS: store i32 %[[SIMPLE_A]], i32* %[[SIMPLE_GEP_A]]
; CHECK-TYPED-PTRS: %[[SIMPLE_GEP_B:[^ ]+]] = getelementptr inbounds %simple_st, %simple_st* %res.ptr, i32 0, i32 1
; CHECK-TYPED-PTRS: store i64 %[[SIMPLE_B]], i64* %[[SIMPLE_GEP_B]]
; CHECK-OPAQUE-PTRS: %[[SIMPLE_GEP_A:[^ ]+]] = getelementptr inbounds %simple_st, ptr %res.ptr, i32 0, i32 0
; CHECK-OPAQUE-PTRS: store i32 %[[SIMPLE_A]], ptr %[[SIMPLE_GEP_A]]
; CHECK-OPAQUE-PTRS: %[[SIMPLE_GEP_B:[^ ]+]] = getelementptr inbounds %simple_st, ptr %res.ptr, i32 0, i32 1
; CHECK-OPAQUE-PTRS: store i64 %[[SIMPLE_B]], ptr %[[SIMPLE_GEP_B]]
ret void
}
define dllexport void @arg_store(%simple_st %st) {
; CHECK-LABEL: arg_store
%res.ptr = alloca %simple_st
store %simple_st %st, %simple_st* %res.ptr
; CHECK: %[[ARG_A:[^ ]+]] = extractvalue %simple_st %st, 0
; CHECK: %[[ARG_B:[^ ]+]] = extractvalue %simple_st %st, 1
; CHECK-TYPED-PTRS: %[[ARG_GEP_A:[^ ]+]] = getelementptr inbounds %simple_st, %simple_st* %res.ptr, i32 0, i32 0
; CHECK-TYPED-PTRS: store i32 %[[ARG_A]], i32* %[[ARG_GEP_A]]
; CHECK-TYPED-PTRS: %[[ARG_GEP_B:[^ ]+]] = getelementptr inbounds %simple_st, %simple_st* %res.ptr, i32 0, i32 1
; CHECK-TYPED-PTRS: store i64 %[[ARG_B]], i64* %[[ARG_GEP_B]]
; CHECK-OPAQUE-PTRS: %[[ARG_GEP_A:[^ ]+]] = getelementptr inbounds %simple_st, ptr %res.ptr, i32 0, i32 0
; CHECK-OPAQUE-PTRS: store i32 %[[ARG_A]], ptr %[[ARG_GEP_A]]
; CHECK-OPAQUE-PTRS: %[[ARG_GEP_B:[^ ]+]] = getelementptr inbounds %simple_st, ptr %res.ptr, i32 0, i32 1
; CHECK-OPAQUE-PTRS: store i64 %[[ARG_B]], ptr %[[ARG_GEP_B]]
ret void
}
define dllexport void @folded_store(%folded_st %st) {
; CHECK-LABEL: folded_store
%res.ptr = alloca %folded_st
store %folded_st %st, %folded_st* %res.ptr
; CHECK: %[[ARG_A:[^ ]+]] = extractvalue %folded_st %st, 0
; CHECK: %[[ARG_B:[^ ]+]] = extractvalue %folded_st %st, 1, 0
; CHECK: %[[ARG_C:[^ ]+]] = extractvalue %folded_st %st, 1, 1
; CHECK-TYPED-PTRS: %[[ARG_GEP_A:[^ ]+]] = getelementptr inbounds %folded_st, %folded_st* %res.ptr, i32 0, i32 0
; CHECK-TYPED-PTRS: store i8 %[[ARG_A]], i8* %[[ARG_GEP_A]]
; CHECK-TYPED-PTRS: %[[ARG_GEP_B:[^ ]+]] = getelementptr inbounds %folded_st, %folded_st* %res.ptr, i32 0, i32 1, i32 0
; CHECK-TYPED-PTRS: store i32 %[[ARG_B]], i32* %[[ARG_GEP_B]]
; CHECK-TYPED-PTRS: %[[ARG_GEP_C:[^ ]+]] = getelementptr inbounds %folded_st, %folded_st* %res.ptr, i32 0, i32 1, i32 1
; CHECK-TYPED-PTRS: store i64 %[[ARG_C]], i64* %[[ARG_GEP_C]]
; CHECK-OPAQUE-PTRS: %[[ARG_GEP_A:[^ ]+]] = getelementptr inbounds %folded_st, ptr %res.ptr, i32 0, i32 0
; CHECK-OPAQUE-PTRS: store i8 %[[ARG_A]], ptr %[[ARG_GEP_A]]
; CHECK-OPAQUE-PTRS: %[[ARG_GEP_B:[^ ]+]] = getelementptr inbounds %folded_st, ptr %res.ptr, i32 0, i32 1, i32 0
; CHECK-OPAQUE-PTRS: store i32 %[[ARG_B]], ptr %[[ARG_GEP_B]]
; CHECK-OPAQUE-PTRS: %[[ARG_GEP_C:[^ ]+]] = getelementptr inbounds %folded_st, ptr %res.ptr, i32 0, i32 1, i32 1
; CHECK-OPAQUE-PTRS: store i64 %[[ARG_C]], ptr %[[ARG_GEP_C]]
ret void
}
define dllexport void @complex_store(%complex_st %st) {
; CHECK-LABEL: complex_store
%res.ptr = alloca %complex_st
store %complex_st %st, %complex_st* %res.ptr
; CHECK: %[[ARG_A:[^ ]+]] = extractvalue %complex_st %st, 0, 0
; CHECK: %[[ARG_B:[^ ]+]] = extractvalue %complex_st %st, 0, 1, 0
; CHECK: %[[ARG_C:[^ ]+]] = extractvalue %complex_st %st, 0, 1, 1
; CHECK: %[[ARG_D:[^ ]+]] = extractvalue %complex_st %st, 1
; CHECK-TYPED-PTRS %[[ARG_GEP_A:[^ ]+]] = getelementptr inbounds %complex_st, %complex_st* %res.ptr, i32 0, i32 0, i32 0
; CHECK-TYPED-PTRS store i8 %[[ARG_A]], i8* %[[ARG_GEP_A]]
; CHECK-TYPED-PTRS %[[ARG_GEP_B:[^ ]+]] = getelementptr inbounds %complex_st, %complex_st* %res.ptr, i32 0, i32 0, i32 1, i32 0
; CHECK-TYPED-PTRS store i32 %[[ARG_B]], i32* %[[ARG_GEP_B]]
; CHECK-TYPED-PTRS %[[ARG_GEP_C:[^ ]+]] = getelementptr inbounds %complex_st, %complex_st* %res.ptr, i32 0, i32 0, i32 1, i32 1
; CHECK-TYPED-PTRS store i64 %[[ARG_C]], i64* %[[ARG_GEP_C]]
; CHECK-TYPED-PTRS %[[ARG_GEP_D:[^ ]+]] = getelementptr inbounds %complex_st, %complex_st* %res.ptr, i32 0, i32 1
; CHECK-TYPED-PTRS store i64* %[[ARG_D]], i64** %[[ARG_GEP_D]]
; CHECK-OPAQUE-PTRS %[[ARG_GEP_A:[^ ]+]] = getelementptr inbounds %complex_st, ptr %res.ptr, i32 0, i32 0, i32 0
; CHECK-OPAQUE-PTRS store i8 %[[ARG_A]], ptr %[[ARG_GEP_A]]
; CHECK-OPAQUE-PTRS %[[ARG_GEP_B:[^ ]+]] = getelementptr inbounds %complex_st, ptr %res.ptr, i32 0, i32 0, i32 1, i32 0
; CHECK-OPAQUE-PTRS store i32 %[[ARG_B]], ptr %[[ARG_GEP_B]]
; CHECK-OPAQUE-PTRS %[[ARG_GEP_C:[^ ]+]] = getelementptr inbounds %complex_st, ptr %res.ptr, i32 0, i32 0, i32 1, i32 1
; CHECK-OPAQUE-PTRS store i64 %[[ARG_C]], ptr %[[ARG_GEP_C]]
; CHECK-OPAQUE-PTRS %[[ARG_GEP_D:[^ ]+]] = getelementptr inbounds %complex_st, ptr %res.ptr, i32 0, i32 1
; CHECK-OPAQUE-PTRS store ptr %[[ARG_D]], ptr %[[ARG_GEP_D]]
ret void
}
define dllexport void @structure_with_array_store(%st_with_array %st) {
; CHECK-LABEL: structure_with_array_store
%res.ptr = alloca %st_with_array
store %st_with_array %st, %st_with_array* %res.ptr
; CHECK: %[[ARG_A:[^ ]+]] = extractvalue %st_with_array %st, 0
; CHECK: %[[ARG_B:[^ ]+]] = extractvalue %st_with_array %st, 1, 0
; CHECK: %[[ARG_C:[^ ]+]] = extractvalue %st_with_array %st, 1, 1
; CHECK-TYPED-PTRS %[[ARG_GEP_A:[^ ]+]] = getelementptr inbounds %st_with_array, %st_with_array* %res.ptr, i32 0, i32 0
; CHECK-TYPED-PTRS store i8 %[[ARG_A]], i8* %[[ARG_GEP_A]]
; CHECK-TYPED-PTRS %[[ARG_GEP_B:[^ ]+]] = getelementptr inbounds %st_with_array, %st_with_array* %res.ptr, i32 0, i32 1, i32 0
; CHECK-TYPED-PTRS store <10 x i32> %[[ARG_B]], <10 x i32>* %[[ARG_GEP_B]]
; CHECK-TYPED-PTRS %[[ARG_GEP_C:[^ ]+]] = getelementptr inbounds %st_with_array, %st_with_array* %res.ptr, i32 0, i32 1, i32 1
; CHECK-TYPED-PTRS store <10 x i32> %[[ARG_C]], <10 x i32>* %[[ARG_GEP_C]]
; CHECK-OPAQUE-PTRS %[[ARG_GEP_A:[^ ]+]] = getelementptr inbounds %st_with_array, ptr %res.ptr, i32 0, i32 0
; CHECK-OPAQUE-PTRS store i8 %[[ARG_A]], ptr %[[ARG_GEP_A]]
; CHECK-OPAQUE-PTRS %[[ARG_GEP_B:[^ ]+]] = getelementptr inbounds %st_with_array, ptr %res.ptr, i32 0, i32 1, i32 0
; CHECK-OPAQUE-PTRS store <10 x i32> %[[ARG_B]], ptr %[[ARG_GEP_B]]
; CHECK-OPAQUE-PTRS %[[ARG_GEP_C:[^ ]+]] = getelementptr inbounds %st_with_array, ptr %res.ptr, i32 0, i32 1, i32 1
; CHECK-OPAQUE-PTRS store <10 x i32> %[[ARG_C]], ptr %[[ARG_GEP_C]]
ret void
}
|
