1 // Tests for the cfi-vcall feature:
2 // RUN: %clang_cc1 -no-opaque-pointers -flto -flto-unit -triple x86_64-unknown-linux -fvisibility hidden -fsanitize=cfi-vcall -fsanitize-trap=cfi-vcall -emit-llvm -o - %s | FileCheck --check-prefix=CFI --check-prefix=CFI-NVT --check-prefix=ITANIUM --check-prefix=TT-ITANIUM-HIDDEN --check-prefix=NDIAG %s
3 // RUN: %clang_cc1 -no-opaque-pointers -flto -flto-unit -triple x86_64-unknown-linux -fvisibility hidden -fsanitize=cfi-vcall -emit-llvm -o - %s | FileCheck --check-prefix=CFI --check-prefix=CFI-NVT --check-prefix=ITANIUM --check-prefix=TT-ITANIUM-HIDDEN --check-prefix=ITANIUM-DIAG --check-prefix=DIAG --check-prefix=DIAG-ABORT %s
4 // RUN: %clang_cc1 -no-opaque-pointers -flto -flto-unit -triple x86_64-unknown-linux -fvisibility hidden -fsanitize=cfi-vcall -fsanitize-recover=cfi-vcall -emit-llvm -o - %s | FileCheck --check-prefix=CFI --check-prefix=CFI-NVT --check-prefix=ITANIUM --check-prefix=TT-ITANIUM-HIDDEN --check-prefix=ITANIUM-DIAG --check-prefix=DIAG --check-prefix=DIAG-RECOVER %s
5 // RUN: %clang_cc1 -no-opaque-pointers -flto -flto-unit -triple x86_64-pc-windows-msvc -fsanitize=cfi-vcall -fsanitize-trap=cfi-vcall -emit-llvm -o - %s | FileCheck --check-prefix=CFI --check-prefix=CFI-NVT --check-prefix=MS --check-prefix=TT-MS --check-prefix=NDIAG %s
6 
7 // Tests for the whole-program-vtables feature:
8 // RUN: %clang_cc1 -no-opaque-pointers -flto -flto-unit -triple x86_64-unknown-linux -fvisibility hidden -fwhole-program-vtables -emit-llvm -o - %s | FileCheck --check-prefix=VTABLE-OPT --check-prefix=ITANIUM --check-prefix=TT-ITANIUM-HIDDEN %s
9 // RUN: %clang_cc1 -no-opaque-pointers -flto -flto-unit -triple x86_64-unknown-linux -fwhole-program-vtables -emit-llvm -o - %s | FileCheck --check-prefix=VTABLE-OPT --check-prefix=ITANIUM-DEFAULTVIS --check-prefix=TT-ITANIUM-DEFAULT %s
10 // RUN: %clang_cc1 -no-opaque-pointers -O2 -flto -flto-unit -triple x86_64-unknown-linux -fwhole-program-vtables -emit-llvm -o - %s | FileCheck --check-prefix=ITANIUM-OPT %s
11 // RUN: %clang_cc1 -no-opaque-pointers -flto -flto-unit -triple x86_64-pc-windows-msvc -fwhole-program-vtables -emit-llvm -o - %s | FileCheck --check-prefix=VTABLE-OPT --check-prefix=MS --check-prefix=TT-MS %s
12 
13 // Tests for cfi + whole-program-vtables:
14 // RUN: %clang_cc1 -no-opaque-pointers -flto -flto-unit -triple x86_64-unknown-linux -fvisibility hidden -fsanitize=cfi-vcall -fsanitize-trap=cfi-vcall -fwhole-program-vtables -emit-llvm -o - %s | FileCheck --check-prefix=CFI --check-prefix=CFI-VT --check-prefix=ITANIUM --check-prefix=TC-ITANIUM %s
15 // RUN: %clang_cc1 -no-opaque-pointers -flto -flto-unit -triple x86_64-pc-windows-msvc -fsanitize=cfi-vcall -fsanitize-trap=cfi-vcall -fwhole-program-vtables -emit-llvm -o - %s | FileCheck --check-prefix=CFI --check-prefix=CFI-VT --check-prefix=MS --check-prefix=TC-MS %s
16 
17 // ITANIUM: @_ZTV1A = {{[^!]*}}, !type [[A16:![0-9]+]]
18 // ITANIUM-DIAG-SAME: !type [[ALL16:![0-9]+]]
19 // ITANIUM-SAME: !type [[AF16:![0-9]+]]
20 
21 // ITANIUM: @_ZTV1B = {{[^!]*}}, !type [[A32:![0-9]+]]
22 // ITANIUM-DIAG-SAME: !type [[ALL32:![0-9]+]]
23 // ITANIUM-SAME: !type [[AF32:![0-9]+]]
24 // ITANIUM-SAME: !type [[AF40:![0-9]+]]
25 // ITANIUM-SAME: !type [[AF48:![0-9]+]]
26 // ITANIUM-SAME: !type [[B32:![0-9]+]]
27 // ITANIUM-DIAG-SAME: !type [[ALL32]]
28 // ITANIUM-SAME: !type [[BF32:![0-9]+]]
29 // ITANIUM-SAME: !type [[BF40:![0-9]+]]
30 // ITANIUM-SAME: !type [[BF48:![0-9]+]]
31 
32 // ITANIUM: @_ZTV1C = {{[^!]*}}, !type [[A32]]
33 // ITANIUM-DIAG-SAME: !type [[ALL32]]
34 // ITANIUM-SAME: !type [[AF32]]
35 // ITANIUM-SAME: !type [[C32:![0-9]+]]
36 // ITANIUM-DIAG-SAME: !type [[ALL32]]
37 // ITANIUM-SAME: !type [[CF32:![0-9]+]]
38 
39 // DIAG: @[[SRC:.*]] = private unnamed_addr constant [{{.*}} x i8] c"{{.*}}type-metadata.cpp\00", align 1
40 // DIAG: @[[TYPE:.*]] = private unnamed_addr constant { i16, i16, [4 x i8] } { i16 -1, i16 0, [4 x i8] c"'A'\00" }
41 // DIAG: @[[BADTYPESTATIC:.*]] = private unnamed_addr global { i8, { [{{.*}} x i8]*, i32, i32 }, { i16, i16, [4 x i8] }* } { i8 0, { [{{.*}} x i8]*, i32, i32 } { [{{.*}} x i8]* @[[SRC]], i32 123, i32 3 }, { i16, i16, [4 x i8] }* @[[TYPE]] }
42 
43 // ITANIUM: @_ZTVN12_GLOBAL__N_11DE = {{[^!]*}}, !type [[A32]]
44 // ITANIUM-DIAG-SAME: !type [[ALL32]]
45 // ITANIUM-SAME: !type [[AF32]]
46 // ITANIUM-SAME: !type [[AF40]]
47 // ITANIUM-SAME: !type [[AF48]]
48 // ITANIUM-SAME: !type [[B32]]
49 // ITANIUM-DIAG-SAME: !type [[ALL32]]
50 // ITANIUM-SAME: !type [[BF32]]
51 // ITANIUM-SAME: !type [[BF40]]
52 // ITANIUM-SAME: !type [[BF48]]
53 // ITANIUM-SAME: !type [[C88:![0-9]+]]
54 // ITANIUM-DIAG-SAME: !type [[ALL88:![0-9]+]]
55 // ITANIUM-SAME: !type [[CF32]]
56 // ITANIUM-SAME: !type [[CF40:![0-9]+]]
57 // ITANIUM-SAME: !type [[CF48:![0-9]+]]
58 // ITANIUM-SAME: !type [[D32:![0-9]+]]
59 // ITANIUM-DIAG-SAME: !type [[ALL32]]
60 // ITANIUM-SAME: !type [[DF32:![0-9]+]]
61 // ITANIUM-SAME: !type [[DF40:![0-9]+]]
62 // ITANIUM-SAME: !type [[DF48:![0-9]+]]
63 
64 // ITANIUM: @_ZTCN12_GLOBAL__N_11DE0_1B = {{[^!]*}}, !type [[A32]]
65 // ITANIUM-DIAG-SAME: !type [[ALL32]]
66 // ITANIUM-SAME: !type [[B32]]
67 // ITANIUM-DIAG-SAME: !type [[ALL32]]
68 
69 // ITANIUM: @_ZTCN12_GLOBAL__N_11DE8_1C = {{[^!]*}}, !type [[A64:![0-9]+]]
70 // ITANIUM-DIAG-SAME: !type [[ALL64:![0-9]+]]
71 // ITANIUM-SAME: !type [[AF64:![0-9]+]]
72 // ITANIUM-SAME: !type [[C32]]
73 // ITANIUM-DIAG-SAME: !type [[ALL32]]
74 // ITANIUM-SAME: !type [[CF64:![0-9]+]]
75 
76 // ITANIUM: @_ZTVZ3foovE2FA = {{[^!]*}}, !type [[A16]]
77 // ITANIUM-DIAG-SAME: !type [[ALL16]]
78 // ITANIUM-SAME: !type [[AF16]]
79 // ITANIUM-SAME: !type [[FA16:![0-9]+]]
80 // ITANIUM-DIAG-SAME: !type [[ALL16]]
81 // ITANIUM-SAME: !type [[FAF16:![0-9]+]]
82 
83 // ITANIUM: @_ZTVN5test31EE = external unnamed_addr constant
84 // ITANIUM-DEFAULTVIS: @_ZTVN5test31EE = external unnamed_addr constant
85 // ITANIUM-OPT: @_ZTVN5test31EE = available_externally unnamed_addr constant {{[^!]*}},
86 // ITANIUM-OPT-SAME: !type [[E16:![0-9]+]],
87 // ITANIUM-OPT-SAME: !type [[EF16:![0-9]+]]
88 // ITANIUM-OPT: @llvm.compiler.used = appending global [1 x i8*] [i8* bitcast ({ [3 x i8*] }* @_ZTVN5test31EE to i8*)]
89 
90 // MS: comdat($"??_7A@@6B@"), !type [[A8:![0-9]+]]
91 // MS: comdat($"??_7B@@6B0@@"), !type [[B8:![0-9]+]]
92 // MS: comdat($"??_7B@@6BA@@@"), !type [[A8]]
93 // MS: comdat($"??_7C@@6B@"), !type [[A8]]
94 // MS: comdat($"??_7D@?A0x{{[^@]*}}@@6BB@@@"), !type [[B8]], !type [[D8:![0-9]+]]
95 // MS: comdat($"??_7D@?A0x{{[^@]*}}@@6BA@@@"), !type [[A8]]
96 // MS: comdat($"??_7FA@?1??foo@@YAXXZ@6B@"), !type [[A8]], !type [[FA8:![0-9]+]]
97 
98 struct A {
99   A();
100   virtual void f();
101 };
102 
103 struct B : virtual A {
104   B();
105   virtual void g();
106   virtual void h();
107 };
108 
109 struct C : virtual A {
110   C();
111 };
112 
113 namespace {
114 
115 struct D : B, C {
116   D();
117   virtual void f();
118   virtual void h();
119 };
120 
121 }
122 
123 A::A() {}
124 B::B() {}
125 C::C() {}
126 D::D() {}
127 
128 void A::f() {
129 }
130 
131 void B::g() {
132 }
133 
134 void D::f() {
135 }
136 
137 void D::h() {
138 }
139 
140 // ITANIUM: define hidden void @_Z2afP1A
141 // ITANIUM-DEFAULTVIS: define{{.*}} void @_Z2afP1A
142 // MS: define dso_local void @"?af@@YAXPEAUA@@@Z"
143 void af(A *a) {
144   // TT-ITANIUM-HIDDEN: [[P:%[^ ]*]] = call i1 @llvm.type.test(i8* [[VT:%[^ ]*]], metadata !"_ZTS1A")
145   // TT-ITANIUM-DEFAULT: [[P:%[^ ]*]] = call i1 @llvm.public.type.test(i8* [[VT:%[^ ]*]], metadata !"_ZTS1A")
146   // TT-MS: [[P:%[^ ]*]] = call i1 @llvm.type.test(i8* [[VT:%[^ ]*]], metadata !"?AUA@@")
147   // TC-ITANIUM: [[PAIR:%[^ ]*]] = call { i8*, i1 } @llvm.type.checked.load(i8* {{%[^ ]*}}, i32 0, metadata !"_ZTS1A")
148   // TC-MS: [[PAIR:%[^ ]*]] = call { i8*, i1 } @llvm.type.checked.load(i8* {{%[^ ]*}}, i32 0, metadata !"?AUA@@")
149   // CFI-VT: [[P:%[^ ]*]] = extractvalue { i8*, i1 } [[PAIR]], 1
150   // DIAG-NEXT: [[VTVALID0:%[^ ]*]] = call i1 @llvm.type.test(i8* [[VT]], metadata !"all-vtables")
151   // VTABLE-OPT: call void @llvm.assume(i1 [[P]])
152   // CFI-NEXT: br i1 [[P]], label %[[CONTBB:[^ ,]*]], label %[[TRAPBB:[^ ,]*]]
153   // CFI-NEXT: {{^$}}
154 
155   // CFI: [[TRAPBB]]
156   // NDIAG-NEXT: call void @llvm.ubsantrap(i8 2)
157   // NDIAG-NEXT: unreachable
158   // DIAG-NEXT: [[VTINT:%[^ ]*]] = ptrtoint i8* [[VT]] to i64
159   // DIAG-NEXT: [[VTVALID:%[^ ]*]] = zext i1 [[VTVALID0]] to i64
160   // DIAG-ABORT-NEXT: call void @__ubsan_handle_cfi_check_fail_abort(i8* getelementptr inbounds ({{.*}} @[[BADTYPESTATIC]], i32 0, i32 0), i64 [[VTINT]], i64 [[VTVALID]])
161   // DIAG-ABORT-NEXT: unreachable
162   // DIAG-RECOVER-NEXT: call void @__ubsan_handle_cfi_check_fail(i8* getelementptr inbounds ({{.*}} @[[BADTYPESTATIC]], i32 0, i32 0), i64 [[VTINT]], i64 [[VTVALID]])
163   // DIAG-RECOVER-NEXT: br label %[[CONTBB]]
164 
165   // CFI: [[CONTBB]]
166   // CFI-NVT: [[PTR:%[^ ]*]] = load
167   // CFI-VT: [[PTRI8:%[^ ]*]] = extractvalue { i8*, i1 } [[PAIR]], 0
168   // CFI-VT: [[PTR:%[^ ]*]] = bitcast i8* [[PTRI8]] to
169   // CFI: call void [[PTR]]
170 #line 123
171   a->f();
172 }
173 
174 // ITANIUM: define internal void @_Z3df1PN12_GLOBAL__N_11DE
175 // MS: define internal void @"?df1@@YAXPEAUD@?A0x{{[^@]*}}@@@Z"
176 void df1(D *d) {
177   // TT-ITANIUM-HIDDEN: {{%[^ ]*}} = call i1 @llvm.type.test(i8* {{%[^ ]*}}, metadata ![[DTYPE:[0-9]+]])
178   // TT-ITANIUM-DEFAULT: {{%[^ ]*}} = call i1 @llvm.type.test(i8* {{%[^ ]*}}, metadata ![[DTYPE:[0-9]+]])
179   // TT-MS: {{%[^ ]*}} = call i1 @llvm.type.test(i8* {{%[^ ]*}}, metadata !"?AUA@@")
180   // TC-ITANIUM: {{%[^ ]*}} = call { i8*, i1 } @llvm.type.checked.load(i8* {{%[^ ]*}}, i32 0, metadata ![[DTYPE:[0-9]+]])
181   // TC-MS: {{%[^ ]*}} = call { i8*, i1 } @llvm.type.checked.load(i8* {{%[^ ]*}}, i32 0, metadata !"?AUA@@")
182   d->f();
183 }
184 
185 // ITANIUM: define internal void @_Z3dg1PN12_GLOBAL__N_11DE
186 // MS: define internal void @"?dg1@@YAXPEAUD@?A0x{{[^@]*}}@@@Z"
187 void dg1(D *d) {
188   // TT-ITANIUM-HIDDEN: {{%[^ ]*}} = call i1 @llvm.type.test(i8* {{%[^ ]*}}, metadata !"_ZTS1B")
189   // TT-ITANIUM-DEFAULT: {{%[^ ]*}} = call i1 @llvm.public.type.test(i8* {{%[^ ]*}}, metadata !"_ZTS1B")
190   // TT-MS: {{%[^ ]*}} = call i1 @llvm.type.test(i8* {{%[^ ]*}}, metadata !"?AUB@@")
191   // TC-ITANIUM: {{%[^ ]*}} = call { i8*, i1 } @llvm.type.checked.load(i8* {{%[^ ]*}}, i32 8, metadata !"_ZTS1B")
192   // TC-MS: {{%[^ ]*}} = call { i8*, i1 } @llvm.type.checked.load(i8* {{%[^ ]*}}, i32 0, metadata !"?AUB@@")
193   d->g();
194 }
195 
196 // ITANIUM: define internal void @_Z3dh1PN12_GLOBAL__N_11DE
197 // MS: define internal void @"?dh1@@YAXPEAUD@?A0x{{[^@]*}}@@@Z"
198 void dh1(D *d) {
199   // TT-ITANIUM-HIDDEN: {{%[^ ]*}} = call i1 @llvm.type.test(i8* {{%[^ ]*}}, metadata ![[DTYPE]])
200   // TT-ITANIUM-DEFAULT: {{%[^ ]*}} = call i1 @llvm.type.test(i8* {{%[^ ]*}}, metadata ![[DTYPE]])
201   // TT-MS: {{%[^ ]*}} = call i1 @llvm.type.test(i8* {{%[^ ]*}}, metadata ![[DTYPE:[0-9]+]])
202   // TC-ITANIUM: {{%[^ ]*}} = call { i8*, i1 } @llvm.type.checked.load(i8* {{%[^ ]*}}, i32 16, metadata ![[DTYPE]])
203   // TC-MS: {{%[^ ]*}} = call { i8*, i1 } @llvm.type.checked.load(i8* {{%[^ ]*}}, i32 8, metadata ![[DTYPE:[0-9]+]])
204   d->h();
205 }
206 
207 // ITANIUM: define internal void @_Z3df2PN12_GLOBAL__N_11DE
208 // MS: define internal void @"?df2@@YAXPEAUD@?A0x{{[^@]*}}@@@Z"
209 __attribute__((no_sanitize("cfi")))
210 void df2(D *d) {
211   // CFI-NVT-NOT: call i1 @llvm.type.test
212   // CFI-VT: [[P:%[^ ]*]] = call i1 @llvm.type.test
213   // CFI-VT: call void @llvm.assume(i1 [[P]])
214   d->f();
215 }
216 
217 // ITANIUM: define internal void @_Z3df3PN12_GLOBAL__N_11DE
218 // MS: define internal void @"?df3@@YAXPEAUD@?A0x{{[^@]*}}@@@Z"
219 __attribute__((no_sanitize("address"))) __attribute__((no_sanitize("cfi-vcall")))
220 void df3(D *d) {
221   // CFI-NVT-NOT: call i1 @llvm.type.test
222   // CFI-VT: [[P:%[^ ]*]] = call i1 @llvm.type.test
223   // CFI-VT: call void @llvm.assume(i1 [[P]])
224   d->f();
225 }
226 
227 D d;
228 
229 void foo() {
230   df1(&d);
231   dg1(&d);
232   dh1(&d);
233   df2(&d);
234   df3(&d);
235 
236   struct FA : A {
237     void f() {}
238   } fa;
239   af(&fa);
240 }
241 
242 namespace test2 {
243 
244 struct A {
245   virtual void m_fn1();
246 };
247 struct B {
248   virtual void m_fn2();
249 };
250 struct C : B, A {};
251 struct D : C {
252   void m_fn1();
253 };
254 
255 // ITANIUM: define hidden void @_ZN5test21fEPNS_1DE
256 // ITANIUM-DEFAULTVIS: define{{.*}} void @_ZN5test21fEPNS_1DE
257 // MS: define dso_local void @"?f@test2@@YAXPEAUD@1@@Z"
258 void f(D *d) {
259   // TT-ITANIUM-HIDDEN: {{%[^ ]*}} = call i1 @llvm.type.test(i8* {{%[^ ]*}}, metadata !"_ZTSN5test21DE")
260   // TT-ITANIUM-DEFAULT: {{%[^ ]*}} = call i1 @llvm.public.type.test(i8* {{%[^ ]*}}, metadata !"_ZTSN5test21DE")
261   // TT-MS: {{%[^ ]*}} = call i1 @llvm.type.test(i8* {{%[^ ]*}}, metadata !"?AUA@test2@@")
262   // TC-ITANIUM: {{%[^ ]*}} = call { i8*, i1 } @llvm.type.checked.load(i8* {{%[^ ]*}}, i32 8, metadata !"_ZTSN5test21DE")
263   // TC-MS: {{%[^ ]*}} = call { i8*, i1 } @llvm.type.checked.load(i8* {{%[^ ]*}}, i32 0, metadata !"?AUA@test2@@")
264   d->m_fn1();
265 }
266 
267 }
268 
269 namespace test3 {
270 // All virtual functions are outline, so we can assume that it will
271 // be generated in translation unit where foo is defined.
272 struct E {
273   virtual void foo();
274 };
275 
276 void g() {
277   E e;
278   e.foo();
279 }
280 
281 }  // Test9
282 
283 // ITANIUM: [[A16]] = !{i64 16, !"_ZTS1A"}
284 // ITANIUM-DIAG: [[ALL16]] = !{i64 16, !"all-vtables"}
285 // ITANIUM: [[AF16]] = !{i64 16, !"_ZTSM1AFvvE.virtual"}
286 // ITANIUM: [[A32]] = !{i64 32, !"_ZTS1A"}
287 // ITANIUM-DIAG: [[ALL32]] = !{i64 32, !"all-vtables"}
288 // ITANIUM: [[AF32]] = !{i64 32, !"_ZTSM1AFvvE.virtual"}
289 // ITANIUM: [[AF40]] = !{i64 40, !"_ZTSM1AFvvE.virtual"}
290 // ITANIUM: [[AF48]] = !{i64 48, !"_ZTSM1AFvvE.virtual"}
291 // ITANIUM: [[B32]] = !{i64 32, !"_ZTS1B"}
292 // ITANIUM: [[BF32]] = !{i64 32, !"_ZTSM1BFvvE.virtual"}
293 // ITANIUM: [[BF40]] = !{i64 40, !"_ZTSM1BFvvE.virtual"}
294 // ITANIUM: [[BF48]] = !{i64 48, !"_ZTSM1BFvvE.virtual"}
295 // ITANIUM: [[C32]] = !{i64 32, !"_ZTS1C"}
296 // ITANIUM: [[CF32]] = !{i64 32, !"_ZTSM1CFvvE.virtual"}
297 // ITANIUM: [[C88]] = !{i64 88, !"_ZTS1C"}
298 // ITANIUM-DIAG: [[ALL88]] = !{i64 88, !"all-vtables"}
299 // ITANIUM: [[CF40]] = !{i64 40, !"_ZTSM1CFvvE.virtual"}
300 // ITANIUM: [[CF48]] = !{i64 48, !"_ZTSM1CFvvE.virtual"}
301 // ITANIUM: [[D32]] = !{i64 32, [[D_ID:![0-9]+]]}
302 // ITANIUM: [[D_ID]] = distinct !{}
303 // ITANIUM: [[DF32]] = !{i64 32, [[DF_ID:![0-9]+]]}
304 // ITANIUM: [[DF_ID]] = distinct !{}
305 // ITANIUM: [[DF40]] = !{i64 40, [[DF_ID]]}
306 // ITANIUM: [[DF48]] = !{i64 48, [[DF_ID]]}
307 // ITANIUM: [[A64]] = !{i64 64, !"_ZTS1A"}
308 // ITANIUM-DIAG: [[ALL64]] = !{i64 64, !"all-vtables"}
309 // ITANIUM: [[AF64]] = !{i64 64, !"_ZTSM1AFvvE.virtual"}
310 // ITANIUM: [[CF64]] = !{i64 64, !"_ZTSM1CFvvE.virtual"}
311 // ITANIUM: [[FA16]] = !{i64 16, [[FA_ID:![0-9]+]]}
312 // ITANIUM: [[FA_ID]] = distinct !{}
313 // ITANIUM: [[FAF16]] = !{i64 16, [[FAF_ID:![0-9]+]]}
314 // ITANIUM: [[FAF_ID]] = distinct !{}
315 
316 // ITANIUM-OPT: [[E16]] = !{i64 16, !"_ZTSN5test31EE"}
317 // ITANIUM-OPT: [[EF16]] = !{i64 16, !"_ZTSMN5test31EEFvvE.virtual"}
318 
319 // MS: [[A8]] = !{i64 8, !"?AUA@@"}
320 // MS: [[B8]] = !{i64 8, !"?AUB@@"}
321 // MS: [[D8]] = !{i64 8, [[D_ID:![0-9]+]]}
322 // MS: [[D_ID]] = distinct !{}
323 // MS: [[FA8]] = !{i64 8, [[FA_ID:![0-9]+]]}
324 // MS: [[FA_ID]] = distinct !{}
325